More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.comยท2d
โšกProof Automation
First release: Popcorn โ€“ Bring Elixir to the browser
blog.swmansion.comยท9hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWASM Archives
A deterministic ฯ€-driven algorithm for the Partition Problem (NP-complete)
osf.ioยท1dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Trying to understand homelab/NAS software solutions
reddit.comยท2dยท
Discuss: r/homelab
๐Ÿ HomeLab
Zeitwerk: The Autoloader That Rails Deserves, but Not the One It Needs
rubystacknews.comยท3dยท
Discuss: Hacker News
๐Ÿ”—Static Linking
Invisible Programming Language
en.wikipedia.orgยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ”—Concatenative Languages
New AI architecture delivers 100x faster reasoning than LLMs with just 1,000 training examples
venturebeat.comยท1dยท
Discuss: Hacker News, r/LocalLLaMA
๐Ÿ”ฒCellular Automata
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.comยท1dยท
Discuss: Hacker News, r/programming
๐Ÿค–Lisp Machines
Erase Your Darlings
grahamc.comยท2dยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
A Full Code Agent in 200 Lines
cthiriet.comยท5dยท
Discuss: Hacker News
โšกProof Automation
DevLog 20250726: C# is the way, Python gets things done, JavaScript is convenient
dev.toยท20hยท
Discuss: DEV
๐Ÿš€Indie Hacking
Why Java is Still a Top Backend Language in the AI Era
dev.toยท13hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Machine Learning Fundamentals: hyperparameter tuning
dev.toยท18hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
Your AI Knowledge System is Garbage (And Here's How to Fix It)
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Machine Learning Fundamentals: hyperparameter tuning project
dev.toยท16hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
The Joy of a Boring Codebase
trunk.ioยท2dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Axiomatizing Rumsfeld Ignorance
arxiv.orgยท2d
๐Ÿ”ฒProof Irrelevance
The Polymath Tool for All Your Audio and Document Needs
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
๐Ÿ“ˆ Code quality improvement after switching to workflow optim
dev.toยท39mยท
Discuss: DEV
โš™๏ธBatch Processing
Building Neurostash - I
dev.toยท3hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals