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
Getting updates and software for old Windows - skipster1337's Sitehttps://skipster1337.github.io/posts/windows-software.html
drag and drop practice programming environment, very cool! Space Cadet Pinball (reverse engineered port) 1.1.1 GitHub.com Reverse engineered Windows and Linux port of the Space Ca
Dave Raggetthttps://www.w3.org/People/Raggett/
for object oriented programming languages as well as from the tree regular expressions that form the basis for RelaxNG. The new approach is called Exert as a contraction for XML a
LISP Information and Resourceshttp://www.lispmachine.net/
reflective programming language with a long history. The name Lisp derives from "List Processing". Linked lists are one of Lisp languages' major data structures, and identical bas
Building software for yourself with Linus Lee (Changelog Interviews #455)https://changelog.com/podcast/455
typed functional programming language called Ink that he used to write his full text personal search engine called Monocle . Linus is focused on writing software that solves his o
Today we're talking to Linus Lee about the practice of building software for yourself. Linus has several side projects we could talk about, but today's show is focused on L
ForwardCom: Forward compatible computer architecturehttps://forwardcom.info/
between different programming languages and different platforms. It is possible to code different parts of a program in different programming languages. Everything is open source
Computation isn't Consciousness: The Chinese Room Experimenthttps://lukesmith.neocities.org/vids/chinese_room
know anything about programming. And that all code can be essentially boiled down to the same few logical gates. +2 @npicini - 2025-05-28 10:47:43 The emergent/complexity presuppo
requiem for a stringref — wingologhttp://wingolog.org/archives/2023/10/19/requiem-for-a-stringref
nature of encoding, programming languages should just use that. As a model for how strings are represented, array-of-codepoints is outdated, as indeed is UTF-16. Outdated doesn’t
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
The Nascom Home Pagehttp://nascomhomepage.com/
his book 'Machine Code Programming for the Nascom 1 & 2'. 2011-12-28 Rebecca Yates contributed the manual for Dungeon Quest and the game Dungeon Quest . 2011-12-25 Rebecca Yates c
Find more...