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
Stroustrup: FAQhttps://www.stroustrup.com/bs_faq.html
of any particular software development environment or foundation library (except the standard library, of course). It contain comprehensive coverage of the standard library. If yo
Juergen Schmidhuber's home page -Universal Artificial Intelligence - AI - Deep Learning - Recurrent Neural Networks -Computer Vision - Objecthttps://people.idsia.ch/~juergen/
rewrite any part of its software (including the proof searcher) as soon as it has found a proof that this will improve its future performance, given the utility function and the t
The Early History Of Smalltalkhttps://worrydream.com/EarlyHistoryOfSmalltalk/
capacity, and its best software is object-oriented. It has advanced networking built-in and there are already options for wireless networking. Smalltalk runs on this system, and i
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. SolveSpace: 3D Printable Waterproof Cup A SolveSpace design
A site for people who think. Intellectual resources, programming, astronomy, science, mathematics, Java
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/
in general-purpose software obsolete. Including all the ones I've written. AESIG-128X2 for example (which uses AESENC) encrypts plus produces a secure 128-bit authentication code
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 [...]
Find more...