Home Page - Metamathhttps://us.metamath.org/
by David A. Wheeler. Software developers may want to see the Metamath-lamp source code repository . yamma - Yamma is a Metamath proof assistant for Visual Studio Code (VS Code). I
How To Become A Hackerhttp://www.catb.org/%7Eesr/faqs/hacker-howto.html
1. Write open-source software 2. Help test and debug open-source software 3. Publish useful information 4. Help keep the infrastructure working 5. Serve the hacker culture itself
Commentshttps://www.lkessler.com/myfacebook/my_comments.html
FastSpring to sell my software, and they've always charged VAT to my EU customers including the UK. I can't believe the UK would want to change that. https://fastspring.
* arachnoid.comhttps://arachnoid.com/
this new 3D printer. Software-Defined Radios II An updated account of the revolution in computer-aided radio reception. The Best and Worst College Majors Choosing the right course
A site for people who think. Intellectual resources, programming, astronomy, science, mathematics, Java
The Matrix: MEME 2.13http://memex.org/meme2-13.html
most parents accept the software industry's definition of what makes a computer educational. Often I think that definition is retrograde, pushing down to lower levels the schoolin
Rank Systemhttp://www.greenmagi.com/
Any Calculus Software But Can't Discover Complex Calculus Systems As A Whole But Understands Them Eventually, Understands Einstein's General And Special Theory of Relativity, Has
The Official Rank System Of The Illuminati; The SciMag Order Of Illuminated Sky.Netarians
Home page, Bob Jenkinshttp://burtleburtle.net/bob/
, a resume , a bit on software patents , SQL tricks from Oracle, the Book of Isaac , some birds , some music , some cartoons that I wrote in college, and some early Bob photos . H
Linkshttps://triptico.com/links/
Toward Concurrency in Software » http://www.gotw.ca/publications/concurrency-ddj.htm Dictionary of Algorithms and Data Structures » https://xlinux.nist.gov/dads/ science (6) Color
Dave Raggetthttps://www.w3.org/People/Raggett/
I enjoy working on software projects, e.g. the Arena Web Hub for the Web of Things, HTML Tidy for cleaning up HTML markup, and HTML Slidy which is a JavaScript library for HTML ba
Peter Neumann's Home Pagehttps://www.csl.sri.com/users/neumann/
tolerance, safety, software-engineering methodology, systems in the large, applications of formal methods, and risk avoidance. (I am apparently an Eclectical Engineer, a Zennish Z
The Kernel Hacker's Bookshelf: Ultimate Physical Limits of Computation [LWN.net]https://lwn.net/Articles/286233/
computers: write better software. It is amazing what vintage computer fans get out of ancient designs. We are used to write software for computers that get faster and have more me
Moore's Law - we all know it (or at least think we do). To be annoyingly exact, Moore's Law i [...]
Computation isn't Consciousness: The Chinese Room Experimenthttps://lukesmith.neocities.org/vids/chinese_room
the conclusion is that software can be conscious past a certain point in complexity. The lack of understanding about what truly is to be conscious is what leads to these baseless
Find more...