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
Fresnel Lens comparisonhttp://www.modulatedlight.org/optical_comms/fresnel_lens_comparison.html
Observe that the theoretical size of the airy disc is not related to the size of the lens - just the F-number! The equation for the approximate size of the airy disc is: Where: &n
Rudy Rucker, "Notes For THE BIG AHA"https://www.rudyrucker.com/thebigaha/notesforthebigaha/Text/notesforthebigaha.xhtml
My practical and theoretical ideas about this process are explained in one of the sections of my short book, A Writer’s Toolkit , which is available online via my writing page . P
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".
Nanotechnologyhttps://www.zyvex.com/nano/
of this new technology. Theoretical studies of a hydrogen abstraction tool for nanotechnology is an ab initio study of a proposed molecular tool. A proof about molecular bearings
Nanotechnology is an expected future manufacturing technologythat will make most products lighter, stronger, cleaner,less expensive and more precise.
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
Anti-Nietzsche : A Critique of Friedrich Nietzschehttps://mats-winther.github.io/nietzscheen.htm
authentic flux-theoretical sentence, no. 12, does not align with Nietzsche’s radical position. Heraclitus seems to mean that the “fire wind” is identical wi
Nietzsche's irrational doctrines have led to self-destructive right-wing and left-wing extremism.
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...