GNU's Who - GNU Project - Free Software Foundation (FSF)http://www.gnu.msn.by/people/people.html
of GNU Sather programming language. Also a contributor of some other Open Source projects. Henrik Abelsson tries to do his part in bringing Free Software to the world by being a m
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.
NLnet; All projectshttps://nlnet.nl/project/
2024 Purely functional programming language designed to "type" binary files Arkin NGI0 Commons Fund 2026 Optical Tweezers Microscope Armbian User-operated Internet Fund 2021 Versa
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.
Old, but Interesting Programshttps://invisible-island.net/personal/oldprogs.html
array. In my initial programming class, we used a 1620 model I, with 12,000 characters of memory. Midway through that year, the college purchased a model II from a neighboring col
Thomas Dickey has been writing software programs since 1970, and discusses here some of the more interesting ones.
Solene'%https://dataswamp.org/~solene/index-full.html
them properly using any programming language able to deserialize JSON data, this is far more robust than piping lines to AWK / grep, although it can work "most of the time" (until
Lewis Loflin Electronics Background Biographyhttps://www.bristolwatch.com/biolewis.htm
learn some hardware and programming at little cost. See Build Serial HD44780 LCD Display Connect to Parallel Port . Who would have thought to use a SIDAC or DIAC (used for solid s
How a general interest in science led to an interest in electronics technology. This led to a career in electronics and technology.
1401Restoration-CHMhttps://ibm-1401.info/
Comments Nov 2012 Programming Class Proposal(s) Programming the IBM 1401 a 6.0 megabyte .pdf file BillWorthington-1401Tour--VisibleStorageSegment.pdf updated Dec 28, 2007 Power On
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 December 2025. A new
Computer latency: 1977-2017http://danluu.com/input-lag/
pushes the problem of “programming” the keyboard from hardware into software, which reduces the cost of making the keyboard. The more expensive chip increases the manufacturing co
SPACEWAR - by Stewart Brand - Fanatic Life and Symbolic Death Among the Computer Bums.https://www.wheels.org/spacewar/stone/rolling_stone.html
Spacewar: “The programming of the thing was a remarkable tour de forge, because the machine did not have a multiply or divide, The way that the outline of the spaceship was
PDP-11/20 System and Exhibithttp://www.retrotechnology.com/pdp11/
of a papertape programming environment like the 11/20's. I produced a set of Web pages (this is a subset) and the exhibit posters and the exhibit displays. David Gesswein of pdp8.
Find more...