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
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
Bit permutationshttp://programming.sirrida.de/bit_perm.html
stuff on http://programming.sirrida.de (setup on 2011-06-01), Intel introduced (published 2011-06-11, proposed for 2013, released about 2013-06) two new instructions for x86 proce
An essay about bit permutations in software
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
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
Why did Prolog lose steam? | Mark J. Nelsonhttps://www.kmjn.org/notes/prolog_lost_steam.html
, asks: of the major programming traditions—imperative, functional, object-oriented, and logic—why did the logic-programming one, exemplified by Prolog, more or less d
Its declarative lunch was partly eaten
How Flash games shaped the video game industryhttps://www.flashgamehistory.com/
but when it got its own programming language in 2000, developers started to use it to make games. That was the same year we saw the rise of the first automated Flash games website
Flash is dead. But the influence of Flash games on modern gameplay is inescapable.
2blowhards.com: Climate Models Written in ... Fortran?!?http://www.2blowhards.com/archives/2009/07/climate_models.html
written in the Fortran programming language . My reaction was: Good Lord! No wonder the results are questionable. Actually, the results of almost any computer model used to foreca
2blowhards.com - a weblog
Find more...