Proving that every program halts
ntietz.com·3d
👑Isabelle
Gemini CLI
simonwillison.net·11h·
Discuss: Hacker News
📟Terminals
A computer worth 7k$ and the question if it had internet
berti92.github.io·14h·
Discuss: Hacker News
🔓Hacking
Abusing copyright strings to trick software into thinking it’s running on your competitor’s PC
devblogs.microsoft.com·1d·
Discuss: Lobsters, Hacker News
🏺Kerberos Archaeology
My Pygame Evolution: Embracing Asyncio and Immutability for Scalable Design
dev.to·1d·
Discuss: DEV
⚡Effectful Programming
The Guide to the Foundation Models Framework
azamsharp.com·15h·
Discuss: Hacker News
λLambda Formalization
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·5h·
Discuss: Hacker News
📟Terminal Typography
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·14h·
Discuss: Substack
🦀Rust Macros
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·1h
🔲Cellular Automata
Serialization from Node.js
adamfaulkner.github.io·2d·
Discuss: Hacker News
🔢Binary Formats
Rise of OpenJDK & Oracle vs Others
dev.to·3h·
Discuss: DEV
🔄Language Evolution
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·22h
📝Concrete Syntax
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·4h·
Discuss: Hacker News
🔤DSLs
Apps Script MCP Server
dev.to·9h·
Discuss: DEV
🔐CBOR
An in-depth look at the implementation of an Undo/Redo system in a large complex visual application
mlacast.com·2d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·2d·
Discuss: r/rust
🦀Rust Verification
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.to·20h·
Discuss: DEV
⚡Modern Compression