simonsafar.comhttps://simonsafar.com/
Outdated ( 2021/12/28 ) Programming Languages as Interfaces ( 2021/12/26 ) Life After Facebook: what is this "Fediverse" thing anyway? ( 2021/12/24 ) My Post-Writing Wor
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.
John Cocke: A Retrospective by Friendshttps://www.iment.com/maida/tv/computer/johncocke.htm
Interest Group on Programming Languages, and ran conferences and edited language newsletters, John would occasionally stop me in the halls of Yorktown and just talk. When he had f
John Cocke: A Retrospective by Friendss
The Writings of Leslie Lamporthttps://lamport.azurewebsites.net/pubs/pubs.html
Dijkstra's Concurrent Programming Problem On Self-stabilizing Systems On Programming Parallel Computers Parallel Execution on Array and Vector Computers Multiple Byte Processing w
What is Forth?http://www.figuk.plus.com/what.htm
have often dreamed of programming computers with a natural language such as English, but the problem of ambiguity remains insuperable. Forth, like English, is made up of words sep
CRN / Unixhttp://crn.hopto.org/unix.html
(LDAP) DTP-250 Perl Programming IN-351 Using LDAP as a naming service ES-222 Solaris Volume Management ES-311 Veritas Volume Manager ES-345-S10 Sun Cluster Administration (I love
Linux and Unix scripts, history, and fun. Come in and enjoy the prompt, again.
Ken Silverman's Build Engine Pagehttp://www.advsys.net/ken/build.htm
(& Answers) Any game programming in your future? For the near future I can tell you that the answer is no. Programming will always be a hobby of mine. Perhaps someday a great idea
Big Ball of Mudhttps://www.laputan.org/mud/mud.html
the PeterPrinciple of Programming by authors on the Wiki-Wiki web [Cunninghan 1999a]. Complexity increases rapidly until the it reaches a level of complexity just beyond that with
While much attention has been focused on high-level software architectural patterns,what is, in effect, the de-facto standard software architecture is seldom discussed. Thispaper e
The Myth of Technological Progress — Chadnethttps://wiki.chadnet.org/the-myth-of-technological-progress
telephony, advanced programming languages like Lisp, which remains the most advanced programming language, routine commercial jet flight, atomic power, internal combustion engines
The greatest website on the interwebz!
Douglas W. Jones's punched card indexhttp://homepage.divms.uiowa.edu/~jones/cards/history.html
for a fixed-format programming environment where fields of each line indicate addresses and operations. This particular card seems to include both symbolic locatons and numerical
A brief technical history of punched cards
Kermit Software Source Code Archivehttps://www.kermitproject.org/archive.html
systems in different programming languages. This page provides, for the first time, convenient Web (HTTP) access to all the programs in the Kermit software archive . Each program
Command Line Interface Guidelineshttps://clig.dev/
talking about ways of programming computers that offer the power of the CLI and that transcend writing software in text files. There is a belief among Kay’s disciples that we need
An open-source guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
Find more...