Proving Liveness with TLA: Using TLAPS’ New Temporal Logic Support
TL;DR The TLA+ Toolbox has gained the ability to support liveness proofs, prompting a re-evaluation of the Xen vchan protocol…
Blaze: Rust-based emulator revives DEC VT420 terminal hardware and more
TL;DR Blaze is a terminal emulator that reproduces the DEC VT420’s hardware and features, implemented in Rust. It supports multiple…
A Basic Just-In-Time Compiler: building x86-64 JIT for recurrence relations
TL;DR The author implemented a small x86-64 just-in-time compiler that turns simple recurrence operations into native machine code instead of…
Publish on Your Own Site and Syndicate Elsewhere: POSSE Explained
TL;DR POSSE (Publish on your Own Site, Syndicate Elsewhere) is a publishing model that puts the canonical version of content…
Unix v4 (1973) Live Web Terminal Emulation of PDP‑11/45 Environment
TL;DR A web site offers a live, browser-accessible terminal running Unix v4 from 1973, emulated on a PDP-11/45. The service…
Jank, a Native Clojure Dialect on LLVM with C++ Interop Hits Alpha
TL;DR Jank is a new Clojure dialect that targets LLVM and offers direct interoperation with C++. The project is in…
The rsync Algorithm (1996) — PDF Listing and Availability Notes
TL;DR A PDF titled 'The rsync algorithm (1996)' is listed but the full article text is not available in the…
TinyTinyTPU: 2×2 systolic-array TPU-style matrix-multiply unit on Basys3
TL;DR TinyTinyTPU is an educational, open-source 2×2 systolic-array implementation of a TPU-style matrix-multiply unit written in SystemVerilog and deployed on…