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
Pete's QBASIC / QuickBasic Sitehttp://www.petesqbsite.com/index.php
an old-school, vintage programming language that was designed for beginners. QBasic ran on MS-DOS, and was a more advanced version of BASIC. QB was a lot of people’s first foray i
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.
Dr.RebeccaMercurihttp://www.thelandesreport.com/Dr.RebeccaMercuriComputerVoting.htm
the machine or its programming. That's convenient for Sequoia and the winner, but alarming for critics who believe the voting process should not be based on a Titanic leap of fait
Computer voting must include paper ballots and the ability of voters to approve their selection of candidates.
Referenceshttp://www.georgehart.com/virtual-polyhedra/references.html
for computer people programming polyhedra. David Paterson, "Two Dissections in 3-D," Journal of Recreational Mathematics, Vol. 20, p. 257-270, 1988. How to cut a cube into 15 piec
Zuse's Thesis - Zuse hypothesis -Algorithmic Theory of Everything - Digital Physics, Rechnender Raum (Computing Space, Computing Cosmos) - Cohttps://people.idsia.ch/~juergen/digitalphysics.html
the first higher-level programming language (1945), but also was the first to suggest (in 1967) that the entire universe is being computed on a computer, possibly a cellular autom
AboutMehttp://www.hufsoft.net/hank/aboutme.html
of my courses involved programming an IBM 360 punch-card computer, and by the time I graduated, I knew I wanted to work in the computer industry. From 1972 to 1975, I worked as a
Biography of Hank Hufnagel
Creativity - the unconscious source of the creative spirithttps://mats-winther.github.io/creativity.htm
creativity I am good at programming computers and writing intellectual articles, etc. But the unconscious form of creativity is something quite different. It is hard to get at whe
There exists an unconscious form of creativity that complements our daytime activity, a spiritual force that ever searches to manifest itself.
Jonathan Whitinghttps://jonathanwhiting.com/writing/blog/games_in_c/
explain why I do. Dry programming language opinions incoming, you have been warned . What I need from a language There's some things which are non-negotiable. First of, it has to
http://www.columbia.edu/cu/computinghistory/krawitz/profile.txthttp://www.columbia.edu/cu/computinghistory/krawitz/profile.txt
and doing Fortran programming. Many papers were published in this time. Dr. Green was given computing time on the new powerful CDC computer at NYU, which Eleanor used. She was sub
http://www.call-with-current-continuation.org/microfleng/microfleng.htmlhttp://www.call-with-current-continuation.org/microfleng/microfleng.html
level concurrent logic programming language descended from Prolog. A cross-compiler for UNIX-compatible systems is provided to translate programs written in FLENG into executable
ICPUG Electronic Journal - Article Number 6 - Volume 2 Number 6http://www.icpug.org.uk/national/journals/jnls2000/ej600/art6.htm
EFFICIENCY OF iCab AND PROGRAMMING IN THE 80s by John A. Ardelli: gelfling@syd.eastlink.ca Mario wrote: Makes me wonder how is it possible for an unknown German guy to crea
Find more...