The Retrocomputing Museumhttp://www.catb.org/retro/
combination of theoretical success and practical failure in the history of programming languages. More Algol68 resources can be found at the Software Preservation Group . ADVSYS A
A museum of archaic computer languages
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
Tool Documentation and Theoretical Background Performance Language Extensions Eclipse Plugin Buchi Store Emacs Mode Support Sample Spin Related Projects (new) Site and Web Search:
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Great Works in Programming Languageshttps://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml
the λ-calculus. Theoretical Computer Science , 1:125-159, 1975. [ bib ] John C. Reynolds. Towards a theory of type structure. In Colloque sur la Programmation, Paris,
The Writings of Leslie Lamporthttps://lamport.azurewebsites.net/pubs/pubs.html
ignored, even among the theoretical concurrency community. I find this ironic. There is a field of research known by the pretentious name of "true concurrency".
http://VFTonline.org/VFTprayer/heaven/000list.txthttp://VFTonline.org/VFTprayer/heaven/000list.txt
Machinery Textiles Theoretical Aerodynamics Therapeutic Drug Monitoring Thermodynamics Thermodynamics, Classical Thermodynamics, Statistical Thermoforming Threat Investigation Tid
Abolitionist.com : synthetic lifehttps://www.abolitionist.com/resource/synthetic-biology.html
envision any number of theoretical public-health disasters in the world. But this is not theoretical. This is real. Without artemisinin, millions of people could die.” Keasling re
An Evaluative Study of Modern Technology in Educationhttp://papert.org/articles/AnEvaluativeStudyofModernTechnology.html
on LOGO and in more theoretical parts of Artificial Intelligence; development of a center for work on using LOGO-like methods for educational and vocational assistance to people w
Art and Culture in the 20th and 21st Centuryhttps://www.scaruffi.com/art/20th.html
"The Principles of Theoretical Logic" 1928 : Karl Blossfeldt publishes the photograph series "Art Forms in Nature" 1928 : Kurt Weill composes the opera "The Three-Penny Opera" 192
Lewis Loflin Electronics Background Biographyhttps://www.bristolwatch.com/biolewis.htm
on the abstract and theoretical and not the practical and hands-on. Do you have any experimental stories you'd like to share? Yes. When I was a kid I did make gunpowder and liked
How a general interest in science led to an interest in electronics technology. This led to a career in electronics and technology.
HK Interviewhttp://www.konaka.com/alice6/lain/hkint_e.html
feel that it was too theoretical. I should to write more sensuously. And, another different point between animation and camera-movie is that animation's scenario can be written, w
Find more...