Spin - Formal Verificationhttp://spinroot.com/spin/old.html
should know about computers and communications (published October 2011). Brian Kernighan's latest book, with a general introduction to the digital world, based on his course at Pr
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Welcome to Floodgap Systems' WWW serverhttp://www.floodgap.com/
a diverse group of computers and peripherals of all kinds from the early 1970s to today, from simple early computers and training boards like the Commodore KIM-1 , to video game s
Internationalization (I18n), Localization (L10n), Standards, and Amusementshttp://www.i18nguy.com/
Green PCs (personal computers) International Diets Americans Abroad 六曜 (ROKUYO) Lucky And Unlucky Days in Japan Japanese Wedding Western style Wedding in Japan + Jap
Information on internationalization, localization, Unicode, software design, and standards,
http://peramid.es/toward_an_electronic_bill_of_rights.txthttp://peramid.es/toward_an_electronic_bill_of_rights.txt
channels, and computers to: send and recieve mail/messages; hold "electronic meetings,, and conferences; conduct financial transactions; access special libraries ("databases") of
Referenceshttp://www.georgehart.com/virtual-polyhedra/references.html
Stellation I," Computers Math. Applic., Vol 17, p. 167-175, 1989. Stellates the chiral icositetrahedron. Lorraine L. Foster, Archimedean and Archimedean Dual Polyhedra , VHS video
The Edinburgh Multi Access Systemhttp://www.bobeager.uk/emas/index.html
Humour Projects Hacks Computers I have used Messages from the Future Famous People Software A University On The Move Installing a jitsi server Installing a framadate server The Ed
2019: November - February Political Notes - Richard Stallmanhttp://stallman.org/archives/2019-nov-feb.html
February 2020 ( Use of computers and software in elections ) The use of untrustworthy computers and software in elections — in other words, any computers and software &mdash
Abolitionist.com : synthetic lifehttps://www.abolitionist.com/resource/synthetic-biology.html
as you like. Because computers won’t care. And, if you wanted evolution, you can include random number generators.” That would have the effect of introducing the element of chance
Realtime Associates, Inc.http://www.rtassoc.com/
simulator using over 40 computers to generate a high end-immersive graphics experience; a series of Games for Health prototypes, and Cool School, a web site featuring over two hou
https://atariage.com/2600/faq/?SystemID=2600https://atariage.com/2600/faq/?SystemID=2600
Blip Electronic Fun w/ Computers and Games Electronic Games Joystik (Many complete issues are at stormaster and indexed at neonghost . TV Gamer (UK) (not to be confused with the n
MUCK Infohttp://transform.to/~starling/stuff/muckinfo.html
run on individual's computers, not the server, and allow the client computers to communicate with a server running Fuzzball in the language of Telnet. You don't need a server to p
The Nascom Home Pagehttp://www.nascomhomepage.com/#TheNascomRepository/pdf/Keys/mon/nassys1.txt
on and I bought more computers but didn't stop using my CP/M Nascom 2/Gemini hybrid system until I bought my first PC (around 1994). However thanks to CP/M emulators and vnascom I
Find more...