Niklaus Wirth, 15.2.1934–1.1.2024
OBNC is a compiler for Niklaus Wirth’s programming language Oberon. OBNC translates source code written in Oberon to the lower-level programming language C.
Where is all of the fediverse?, Ben Cox found out.
The Mechanics of Proof, an online book by Heather Macbeth on using Lean for maths.
Soupault is a static website generator/framework that works with HTML element trees and can automatically manipulate them. It can be described as a robotic webmaster that can edit HTML pages according to your rules, but doesn’t get tired of editing them.
The Functional Essence of Imperative Binary Search Trees (PDF), by Anton Lorenzen, Daan Leijen, Wouter Swierstra, and Sam Lindley. “This paper presents several novel functional algorithms for accessing and inserting elements in a restructuring binary search tree that are as fast as their imperative counterparts; yet the correctness of these functional algorithms is established using a simple inductive argument.”
The Sorbus Computer started with the idea on building a very simple and cheap 65C02 based computer.
Franz Morat KG tv-computersystem 6800, 1MHz, 1KB RAM.
Unger versus Decker, and their influences on Fraktur type design.