HomePage for Brian Harvey (bh@cs.Berkeley.EDU)http://people.eecs.berkeley.edu/~bh/
development of the Logo programming language. More recently I've been helping develop the Snap ! language (see below). Brian's Last Lecture (Quicktime) (download it to watch; don'
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
Frank Chimero · Everything Easy is Hard Againhttps://frankchimero.com/blog/2018/everything-easy/
progressed into full-on programming, because we were only willing to go as far as things were legible. If knowledge about the web deteriorates quickly, it’s worthwhile to develop
Frank Chimero’s Personal Website
Advinsula - The Adventure Island MMO RPGhttps://advinsula.com/
to Chicago . As for programming, Jim is the creator of the very popular website builder N.nu , web analytics service Redistats and data collection system Domainstats.com . Jim als
Explore - nekoweb.orghttps://nekoweb.org/explore
writing ocs videogames programming cute 2000s artist games portfolio autism retro gaming lgbt silly gamedev oc nsfw vocaloid linux y2k cat wip diary pink cats photography kawaii f
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
Bucaro Techelphttp://bucarotechelp.com/
rs Networking Web Design Programming Get Paid STEM Drawing Search Home About User Agreement Privacy Policy Site Map Search Contact News Feeds Article Submission Guidelines Online A
Learn web design, computer maintenance, programming, computer architecture, computer networking, electronics, mathematics, art and graphic design..
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
Papers on ML/I and related topicshttp://www.ml1.org.uk/papers.html
review in Automatic Programming , 6 , 2, Pergamon Press, Oxford, pp. 37-88 (1969). Eager, Bob, ' ML/I - Son of GPM? ', Resurrection - The Journal of the Computer Conservation Soci
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
OS X as a UNIX workstation (for Astronomers)http://www.netpurgatory.com/osx-unix.html
practice in FORTRAN programming is to have source files end with .F and contain C preprocessor directives. After preprocessing, the new files end in .f and are then processed by t
Find more...