Song recommendations with pipes and filters
blog.ploeh.dk·2d
λLambda Formalization
Bazel Knowledge: Beyond _deploy.jar for OCI images
fzakaria.com·1d
🔌Interface Evolution
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·2d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·3d·
Discuss: r/programming
✅Format Verification
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·4h
🔍Information Retrieval
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·4h
💻Local LLMs
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·1d
🎼Computational Musicology
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
🔗Functional Compilers
Sandcastles Made of Bits
jsfour.substack.com·1d·
Discuss: Substack
🧱Immutable Infrastructure
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·2h·
Discuss: DEV
🔄Language Evolution
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·4h
🛡️Proof-Carrying Archives
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·4h
🔲Cellular Automata
Sandboxing AI - Extending AI Responsibly
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
AI whiplash, and Neovim in the age of AI
dlants.me·1h·
Discuss: Hacker News
✨Effect Handlers
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·2d
✨Effect Handlers
Agent Memory with Spring AI & Redis
dev.to·12h·
Discuss: DEV
⚡Redis Internals
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·3d
🎯Gradual Typing