The Early Years of Academic Computinghttps://www.cs.cornell.edu/wya/AcademicComputing/text/dtss.html
they created the Basic programming language and the Dartmouth Time Sharing System (DTSS). Kemeny later became President of Dartmouth and Kurtz was the first director of the Kiewit
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
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
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
Daring Fireballhttps://daringfireball.net/
from Google. Sports Programming Accounts for Almost 30 Percent of All Ad-Supported TV Viewing ★ Dade Hayes, reporting for Deadline: While the rise of sports programmi
Commentary on Apple, technology, design, politics, and more.
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
Miller Microcomputer Services - Index Pagehttp://www.millermicro.com/
History Computer Programming Languages Computer Tidbits Techie Comics/Humor Otherwise links from Dick and Jill Miller: Bicycle and Pedestrian Environment Environment Resources Fai
Business and pleasure by Dick and Jill Miller of Miller Microcomputer Services.
Loper OS » "Cryostat" Genesis.http://www.loper-os.org/?p=3791
family. The decay of programming therefore seems to have happened in (at least) two stages: first, the sacrificing of homoiconism and macros, and second, the death of the "managed
Don’t Use ISO/IEC 14977 Extended Backus-Naur Form (EBNF)https://dwheeler.com/essays/dont-use-iso-14977-ebnf.html
a language (such as a programming language or complex data structure) it’s often helpful to use some kind of Extended Backus-Naur form (EBNF). Often people do a Google searc
A description of why you should not use ISO
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.
Find more...