Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·4h·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
The Prompt Architect's Playbook: 12 Patterns Defining 2025
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Incremental query updating in adhesive categories
topos.institute·8h
🔗Combinatory Logic
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·2d
🎯Performance Proofs
Micro DSLs for scenario tests with Rust macros
dystroy.org·23h
🦀Rust Macros
Tic-tac-toe meets Lean 4
ochagavia.nl·3d·
Discuss: Lobsters, Hacker News, r/programming
🎯Proof Tactics
Baby's first type checker
austinhenley.com·5h·
Discuss: Lobsters, Hacker News
🔤Type Theory
I built 59 open-source Claude Code subagents to supercharge software development
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
LLMs running locally
markjgsmith.com·1d
🌀Brotli Internals
Vibe Coding Terminal Editor
matklad.github.io·23h·
Discuss: Lobsters, Hacker News
✨Effect Handlers
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1h·
Discuss: Hacker News
🔍Type Inference
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🎯Gradual Typing
Jujutsu for Everyone
jj-for-everyone.github.io·7h·
Discuss: Lobsters, Hacker News
🌳Git Internals
This Page Is a Quine
pranavg.me·13h·
Discuss: Hacker News
🔤Type Theory
Codeminer42 Dev Weekly #76
blog.codeminer42.com·2d
🔄Language Evolution
Benchmarking compression programs
maskray.me·16h
📦Deflate
I Taught Myself to Vibe Code: A Free Bootcamp
rafaelviana.com·1d·
Discuss: Hacker News
🏺ZIP Archaeology
Antonio Cuni: Porting the JIT to CLI (part 3)
antocuni.eu·2d
⚙️RISC-V Microcode