Niklaus Wirth, 15.2.1934–1.1.2024
Oberon RISC Emulator
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
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
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.
k on a PDP11/40