🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Anyone good at problem solving ? I need to synchronise my e-commerce stock with my suppliers
nourl.com·13h·
Discuss: r/programming
🩹Self-Healing Systems
Introducing x402-mcp: Open protocol payments for MCP tools
vercel.com·13h·
Discuss: Hacker News
🌐NetworkProtocols
Write Better with Vale
pragprog.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·2d·
Discuss: Hacker News
📚Automata Learning
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·3d·
Discuss: Hacker News
❄️Nixified Development
Generating Website Banners Algorithmically
golfed.xyz·1d·
Discuss: Hacker News
💾Retro Computing
The Expression Problem and its solutions
eli.thegreenplace.net·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
FreeCAD Foray: Good Practices
hackaday.com·1d
🔬Unikernels
No, AI won’t take all the jobs. Here’s why.
freethink.com·13h·
Discuss: Hacker News
🧠Automated Reasoning
Fclones – Efficient Duplicate File Finder
github.com·7h·
Discuss: Hacker News
❄️Nix
Book Review: If Anyone Builds It, Everyone Dies
lesswrong.com·10h
🩹Self-Healing Systems
Build Godot projects for iOS, on any platform, without the SDK!
github.com·14h·
Discuss: Hacker News, r/godot, r/golang
🍎Apple
Tokenizing Loops of Antibodies
arxiv.org·1d
🧮Lambda Calculus
Debunking the Claims of K2-Think
sri.inf.ethz.ch·13h·
Discuss: Hacker News, r/LocalLLaMA
🧠Automated Reasoning
A layered architecture for log analysis in complex IT systems
arxiv.org·1d
👁️System Observability
Agentic AI Runs on Tools
simplicityissota.substack.com·4d·
Discuss: Substack
✓Automated Theorem Proving
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
How the EU’s Cyber Act Burdens Lone Open Source Developers
thenewstack.io·1d
🔧Unikernel Development
Depth-Bounded Epistemic Planning
arxiv.org·1d
🧩Separation Logic
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·3d
🌐NetworkProtocols