Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·17h
📞Session Types
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·16h·
Discuss: Hacker News
👑Coq Tactics
Walking around the compiler
bernsteinbear.com·21h
🏗️Compiler Archaeology
Styx Emulator Public Release
stumbl.ing·55m·
Discuss: Hacker News
🎯Emulation Accuracy
Preemption in Go (2021)
hidetatz.github.io·4h·
Discuss: Lobsters, Hacker News, r/programming
⚖️Hoare Logic
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌳Trie Structures
GNU Coreutils 9.8 Released with SHA3 Support
linuxiac.com·7h
💿ZFS Internals
The Beginning of My Programming Journey
docs.google.com·1h·
Discuss: Hacker News
🦀Rust Macros
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·11h·
Discuss: Hacker News, r/Zig
🦀Rust Borrowing
Master Python Functions: A Complete Guide with Examples & Best Practices
dev.to·11h·
Discuss: DEV
🔗Lisp
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
💻Programming languages
Scaling Speculative Decoding with Lookahead Reasoning
hao-ai-lab.github.io·1d
🔧Reed-Solomon Decoders
The Point Is Addressing
cacm.acm.org·3h
⚡Hardware Transactional Memory
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·17h
🎯Performance Proofs
Building Your Own AI Agent
devblog.kogan.com·15h
⚡Proof Automation
My Software philosophy
michal.sapka.pl·2h
🔄Language Evolution
Compiling Python to Run Anywhere
blog.codingconfessions.com·3h·
Discuss: Hacker News
⚡Homebrew CPUs
Selective Population Protocols
arxiv.org·17h
🔲Cellular Automata
SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·17h
🏗️Compiler Archaeology
Status update, 22/09/2025
samthursfield.wordpress.com·1d
🔩Systems Programming