History of Computing Science: BASIC & Other Languageshttp://lecture.eingang.org/other.html
the standard choice for programming requiring detailed control of hardware. After that came COBOL--COmmon Business Oriented Language. COBOL was developed in 1960 by a joint commit
Part of a multipage presentation on the history of computers. This page talks about BASIC and other computer languages.
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.
Welcome!https://aartaka.me/
ed(1) is a versatile programming system. Yet no one talks about metaprogramming and algorithms in it. Now someone did, and that’s me! Line-based Lisp Editing (13 Oct 2025) Not all
A blog of Artyom Bologov, programmer-poet, privacy freak, and eco-activist. Programming, art, F
IS THIS WORKING???https://lukesmith.neocities.org/vids/is_this_working
that. Neuro-linguistic programming. Is that like the Dilbert merchant stuff? I think a lot of the stuff actually talking about the Dilbert merchant, Scott Adams or whatever, I thi
UNATLe: United Nations AntiTerrorism Leaugehttp://www.unatle.net/NuclearWar.html
control education in programming/hacking among practically everything else there is to learn, which will program you to red flag any hacker occurrences which may arise while progr
A load out of the current Nuclear Cold War Scenario. Everything you need to know about nukes and the New World Order!
Todos los enlaces @ cidoku.nethttp://cidoku.net/links/all
Steen likes weird programming languages, VR games, and reading manga. His blog features lots of programming-related articles. suboptimalism Incomplete perfection and complete impe
ASCII INFOhttps://ascii.co.uk/info
data transmission, programming ASCII Character Ranges 0-31: Control Characters Non-printable characters used for text control and communication. NULL (0): Null character LF (10):
Website containing ASCII INFO and much more. Enjoy our collection of ASCII ART, ASCII Tables and other interactive tools. The place for all things textual.
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.
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
Noel Welsh: About Mehttps://noelwelsh.com/landing/about/
I'm more involved with programming and programming languages. A large part of my work is helping people become more effective with functional programming. This has put me in conta
Directory | An IndieWeb Webringhttps://xn--sr8hvo.ws/directory
leadership, functional programming, distributed systems, artificial intelligence, and software infrastructure. In my free time, I enjoy traveling, running, playing with technology
An IndieWeb Webring
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
Find more...