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.
AllA’s Grand Unified Theoryhttp://www.omniscientcomputers.org/GrandUnifiedTheory.html
Because of this theoretical near infinite complexity of quantum mechanics unification and complete wisdom, knowledge, and understanding of all quantum law can only tendered by a q
A Grand Unified Theory: A fundamental framework of the Fullverse, fractal of universes, implementing string theory, Einstein’s Theory of General and Special Relativity, and wormhol
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".
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
M. Hobart "The Paradox of Historical Constructionism"https://abuss.narod.ru/Biblio/eng/hobart.htm
have the status of theoretical sentences." But nothing in the skeptic's hypothesis precludes our assuming the world sprang into existence three minutes ago, rather than the f
2blowhards.com: Climate Models Written in ... Fortran?!?http://www.2blowhards.com/archives/2009/07/climate_models.html
extent. An example is theoretical physics. It's undoubtedly infested with a significant amount of bullshit work, as demonstrated by incidents such as the Bogdanoff affair -- no ma
2blowhards.com - a weblog
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
Find more...