Baby's first type checker
austinhenley.com·7h·
Discuss: Lobsters, Hacker News
🔤Type Theory
They can't always be good days
dev.to·9h·
Discuss: DEV
⬌Bidirectional Typing
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🔒Type Safety
Incremental query updating in adhesive categories
topos.institute·10h
🔗Combinatory Logic
One language to rule them all?
aardvark.co.nz·7h
💻programming languages
A type system for RCL (2024)
ruudvanasseldonk.com·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Ollama Feature Parity for ACP
github.com·10h·
Discuss: Hacker News
🔓Open Source Software
Book Review: "The Language of Deception"
lockboxx.blogspot.com·7h·
Discuss: www.blogger.com
📼Cassette Hacking
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·5d
🔤Type Theory
Micro DSLs for scenario tests with Rust macros
dystroy.org·1d
🦀Rust Macros
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·1d·
Discuss: Hacker News
🦀Rust Verification
2025.08.DisappearingMoment
newsletter.disappearingmoment.com·5h
⬜Minimalism
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·22h·
Discuss: Hacker News
🔩Systems Programming
We need to seriously think about what to do with C++ modules
nibblestew.blogspot.com·6h·
Discuss: Lobsters, Hacker News, nibblestew.blogspot.com, r/cpp
🔗Static Linking
Benchmarking compression programs
maskray.me·18h
📦Deflate
Whodunit: LLM Murder Mysteries
blog.apartment304.com·2d·
Discuss: Hacker News
🔮Proof Search
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·2d
🎯Performance Proofs
Embedding MicroHs
thma.github.io·2d
🔗Functional Compilers