C-Kermit Unix Hints and Tipshttps://www.kermitproject.org/ckubwr.html
the date-related script programming constructs, such as \v(date) , \v(ndate) , \v(day) , \v(nday) , and perhaps also the time-related ones, \v(time) and \v(ntime) , insofar as the
OS X as a UNIX workstation (for Astronomers)http://www.netpurgatory.com/osx-unix.html
practice in FORTRAN programming is to have source files end with .F and contain C preprocessor directives. After preprocessing, the new files end in .f and are then processed by t
The Retrocomputing Museumhttp://www.catb.org/retro/
in the history of programming languages. More Algol68 resources can be found at the Software Preservation Group . ADVSYS ADVenture SYStem, another adventure-writing system by Davi
A museum of archaic computer languages
The C10K problemhttp://www.kegel.com/c10k.html
a copy of Unix Network Programming : Networking Apis: Sockets and Xti (Volume 1) by the late W. Richard Stevens. It describes many of the I/O strategies and pitfalls related to wr
Introduction: Why Lisp?https://gigamonkeys.com/book/introduction-why-lisp.html
greatest pleasure in programming comes from getting a lot done with code that simply and clearly expresses your intention, then programming in Common Lisp is likely to be about th
Greg A. Woodshttp://www.weird.com/~woods/
FreeWare Software and Programming Projects pages. Note that you can find my home-directory dot files (user login, session setup, and configuration files) here: http://www.planix.c
Sniffin' the Ether v2.0http://unixgeeks.org/security/newbie/security/sniffer/sniffer.html
the basic elements of programming a sniffer which requires a working knowledge of the C programming language. If you understand Renfro's article well, you should advance on to stu
https://www.humprog.org/~stephen/https://www.humprog.org/~stephen/
has mostly focused on programming languages and the systems that support them—including language runtimes and operating systems. Micro-blog and calendar October 2026. Enjoye
Emergent Technologies Inc. -- Security Kernel</TITLEhttp://mumble.net/~jar/pubs/secureos/secureos.html
operating systems and programming environments. This report describes Scheme 48, a programming environment whose design is guided by established principles of operating system sec
CADR
BiMAVs; Bipedal Mechanized Assault Vehicleshttp://www.bimavs.com/
statements, any kind of programming code, or anything else that has been designed in(she does some of that). A good analogy is a Japanese character which has the variation on the
Sky Net: What makes nukes fly, what commands navies and armies, what makes all organisms think and intercommunicate, and what tweaks all the Ons in the universe, Sky Command: Defen
The Nascom Home Pagehttp://www.nascomhomepage.com/#TheNascomRepository/pdf/Keys/mon/nassys1.txt
his book 'Machine Code Programming for the Nascom 1 & 2'. 2011-12-28 Rebecca Yates contributed the manual for Dungeon Quest and the game Dungeon Quest . 2011-12-25 Rebecca Yates c
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
and Distributed Programming (the 2nd Edition , which is based on Spin), Ben-Ari, Addison-Wesley, 2006. Model Checking with Spin (in Japanese), by Shin Nakajima, Publ. Kindai Kagud
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Find more...