Math that feels good: creating learning resources for blind students
aimath.org·1h
∫Mathematical DSLs
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·4d
🦀MIR Optimization
Consistency in Databases — Why it matters
medium.com·5h·
Discuss: r/programming
📡Protocol Buffers
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.com·2d
🚂Cranelift Backend
RSS feed in an Astro blog
amanhimself.dev·12h
📝Rope Editors
7 Essential Tech Talks Every Developer Should Watch
blog.mihaisafta.com·2h
🏺Code Archeology
New React Foundation To Manage Framework
thenewstack.io·23h
📦Monorepos
Introducing Honey Nudger, and Why We're Launching with a Founder's Circle
honeynudger.ai·1d·
Discuss: DEV
🔮Metacircular Evaluators
Mid-October 2025 AI Software Development News Roundup: Tools, Trends, and Breakthroughs
vibe.forem.com·8h·
Discuss: DEV
🎭Program Synthesis
Toy Binary Decision Diagrams
philipzucker.com·6d
✅Type Checking
Longreads + Open Thread
thediff.co·20h
🌊Gradual Effects
Lobsters Interview with Zdsmith
lobste.rs·2d·
Discuss: Lobsters
📚Stack Languages
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·5d
🌊Gradual Typing
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·2d·
Discuss: Hacker News
📝Text Editors
Padding
reddit.com·1d·
Discuss: r/golang
📚Stack Data Structures
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
scour.ing·1d·
Discuss: Lobsters
📖Literate Programming
SE371 - Assignment 1
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Spend Less Time Searching, More Time Contributing — GitHub Issue Alerts for open source beginners
github.com·23h·
Discuss: r/opensource
💬Error Messages
Quantifying Narrative Coherence: A Hybrid Symbolic-Neural Approach for Automated Literary Evaluation
dev.to·8h·
Discuss: DEV
⚖️Weighted Automata
The Case for Separating Thinking (GPU) and Compute (CPU)
gojiberries.io·7h·
Discuss: Hacker News
🎭Program Synthesis