Home Page - Metamathhttps://us.metamath.org/
people in different programming languages, reducing the risk of accepting an invalid proof. Metamath's fundamental operation (substitution) is easy to understand, even by those wh
How To Become A Hackerhttp://www.catb.org/%7Eesr/faqs/hacker-howto.html
it used to include programming in machine language, and didn't until recently involve HTML. But right now it pretty clearly includes the following: 1. Learn how to program. This,
Dave Gnukem - Cross-platform open source 2D side-scrolling shooter gamehttps://djoffe.com/gnukem/
music and live game programming (Volume Warning) Rockets Jumping Monsters: Trancy dancy music and live game programming: Sprite work: Trancy dancy music and live #gamedev bugfixin
Dave Gnukem, a retro-style open source cross-platform 2D side scrolling shooter game, inspired loosely by Duke Nukem 1
Welcome to Caz' Websitehttp://cdecas.free.fr/
too much) an included programming language, then it would be very close to my dream machine. I still have a machine to add to the list, and another one waiting to arrive from Japa
An interview with Joey Hess [LWN.net]https://lwn.net/Articles/672352/
to do exploratory programming in an established code base than when I'm stumbling over technical debt at every turn. But I feel in the case of Debian, a lot of it does have to do
Two of the earliest figures in the Linux community were Lars Wirzenius and Joey Hess. So when [...]
WAI-ARIA 1.0 User Agent Implementation Guidehttps://www.w3.org/TR/2014/REC-wai-aria-implementation-20140320/
application programming interfaces (APIs) are used to communicate semantic information about the user interface to assistive technology software used by people with disabilities.
List of Emacs implementationshttps://emacs.org.ntnu.no/implementations.html
familiar[ity] with programming and with Emacs." Lisp fundamentals are presented, with "Lisp Quick Reference." GNU-Emacs binaries GNU-Emacs name: GNU-Emacs last changed/verified: 1
Amicus Briefhttps://archive.epic.org/crypto/export_controls/bernstein_brief.html
written in a high-level programminglanguage called C. Professor Bernstein sought to publish both theSnuffle source code and related information about Snuffle through theordinary c
Forth explorationshttp://felix.plesoianu.ro/languages/forth/
: Make your own programming language That worked out great, but didn't help me use the language better. Reading Leo Brodie's classic Starting Forth and Thinking Forth books ( free
Understanding a mysterious, underrated language interpreter by interpreter.
The UCS-X Family of UCS Extensions (Draft Proposal)http://ucsx.org/
and UCS-∞ in the C programming language (to supplement the existing Perl implementation for UCS-X, and C implementation for UCS-G) implement “filtering” utilities, for removing (o
The Dockhttp://koshka.love/links.html
Web culture, music, programming, and so forth. - The personal website of the supremely talented indie musician and writer Grafo Volaverunt. Check out his work and donate to him if
A hand-curated website directory containing links to over 250 (largely Web 1.0
Antoine Amarilli's websitehttp://a3nm.net/
about competitive programming, algorithms and data structures, formal languages, data management, and Web technologies: see my teaching page for details. From 2019 to 2024, I repr
Antoine Amarilli's website
Find more...