Proving that every program halts
ntietz.com·3d
👑Isabelle
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·15h·
Discuss: DEV
🦀Rust Borrowing
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·8h
🔗Parser Combinators
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Solving LinkedIn Queens Using Haskell
imiron.io·2d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·1d·
Discuss: DEV
🌐Network Protocols
N8N, Local LLM, MCP proxy in 1 compose file
ajeetraina.com·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Agent Lineage Evolution: A Novel Framework for Managing LLM Agent Degradation
danieltan.weblog.lol·6h·
Discuss: Hacker News
⚙️TLA+
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·23h·
Discuss: DEV
🤖Lisp Machines
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·3h·
Discuss: DEV
✅Format Verification
How to Write a Software Project Proposal: Complete Template & Guide
dev.to·7h·
Discuss: DEV
🦋Format Metamorphosis
Programming Entry Level: basics bash
dev.to·3d·
Discuss: DEV
🐚Shell Automation
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·1d·
Discuss: Hacker News
🦀Rust Macros
The MIDL compiler still has trouble with double greater-than signs, sadly
devblogs.microsoft.com·2d·
Discuss: Hacker News
💻Programming languages
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
Counter Service: How we rewrote it in Rust
engineering.grab.com·3d·
Discuss: Hacker News
🔒Linear Types
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·8h
🎯Performance Proofs
Web Development with Homebrew in 2025: Is It Still a Good Idea?
dev.to·1d·
Discuss: DEV
🔌Interface Evolution