A Lisp in 99LOC
github.com·17h·
Discuss: Hacker News
🔗Lisp
Typechecker Zoo
stephendiehl.com·2d·
Discuss: Lobsters
🔍Type Inference
Golang Concurrency: How to use Mutexes
cookie.engineer·19h
📞Session Types
Where to define return structs for the ‘accept interfaces, return structs’ idiom
reddit.com·9h·
Discuss: r/golang
🌐Protocol Synthesis
haskell/bytestring
github.com·10h
🧬Functional Programming
Haskell Crash Course
yager.io·4d
🔗Lisp
Multiple Reachability in Linear Dynamical Systems
arxiv.org·2d
🔄Finite State Machines
**Golang Memory Optimization: Reduce GC Pauses by 73% in High-Load Applications**
dev.to·16h·
Discuss: DEV
🔩Systems Programming
The theorem on formal functions
math.columbia.edu·1d
⚔️Lean Theorem
The C Pointer Card Game - Pointers, Arrays and Strings for Kids
punkx.org·6h
⚡Homebrew CPUs
Typechecker Zoo
sdiehl.github.io·1d·
Discuss: Lobsters, r/programming
λLambda Formalization
Dyna – Logic Programming for Machine Learning
dyna.org·16h·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·3d·
Discuss: Hacker News
✅Format Verification
Agentic Coding and the Weakness of Extensions for IDEs
thenewstack.io·23h
🚀Indie Hacking
How long would it take a monkey to write ‘Hamlet’?
english.elpais.com·8h
🔲Cellular Automata
DoodlePi: a Raspberry Pi Pico Pixel Art Drawing Toy
hackster.io·1d
⚡Homebrew CPUs
How to Build Abstractions in Rust Applications (2023)
orodu.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Beyond Booleans
overreacted.io·1d·
Discuss: r/javascript, r/programming
🔲Proof Irrelevance
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
A Better Vocabulary for Testing
alperenkeles.com·17h·
Discuss: Lobsters, r/compsci, r/programming
🔍Concolic Testing