Math that feels good: creating learning resources for blind students
aimath.org·3h
∫Mathematical DSLs
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·4d
🦀MIR Optimization
Consistency in Databases — Why it matters
medium.com·7h·
Discuss: r/programming
📡Protocol Buffers
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.com·3d
🚂Cranelift Backend
7 Essential Tech Talks Every Developer Should Watch
blog.mihaisafta.com·4h
🏺Code Archeology
RSS feed in an Astro blog
amanhimself.dev·15h
📝Rope Editors
New React Foundation To Manage Framework
thenewstack.io·1d
📦Monorepos
Mid-October 2025 AI Software Development News Roundup: Tools, Trends, and Breakthroughs
vibe.forem.com·10h·
Discuss: DEV
🎭Program Synthesis
Toy Binary Decision Diagrams
philipzucker.com·6d
✅Type Checking
Longreads + Open Thread
thediff.co·23h
🌊Gradual Effects
TASI Lectures On Topological Field Theories And Differential Cohomology
arxiv.org·2d
🎯Type Theory
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
Spend Less Time Searching, More Time Contributing — GitHub Issue Alerts for open source beginners
github.com·1d·
Discuss: r/opensource
💬Error Messages
I made a free library to run Java inside Node.js (and it downloads Java if you don't have it)
reddit.com·2d·
Discuss: r/node
🏠indieweb
Raw string literals in .NET, both useful and entertaining
dev.to·3d·
Discuss: DEV
📝Rope Editors
Wild and Dangling Pointers in C
dev.to·1d·
Discuss: DEV
🏷️Memory Tagging
The Sculptor's Studio: YAGNI, KISSS, and DRY as Tools of the Trade
dev.to·18h·
Discuss: DEV
🪞Metaprogramming
ParsTranslit: Truly Versatile Tajik-Farsi Transliteration
arxiv.org·2d
🔤Language Tokenizers