🔤 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·20h·
Discuss: r/programming
🩹Self-Healing Systems
Introducing x402-mcp: Open protocol payments for MCP tools
vercel.com·20h·
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
Identifying rack-mountable drive chassis
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
No, AI won’t take all the jobs. Here’s why.
freethink.com·20h·
Discuss: Hacker News
🧠Automated Reasoning
Fclones – Efficient Duplicate File Finder
github.com·14h·
Discuss: Hacker News
❄️Nix
Book Review: If Anyone Builds It, Everyone Dies
lesswrong.com·17h
🩹Self-Healing Systems
Build Godot projects for iOS, on any platform, without the SDK!
github.com·21h·
Discuss: Hacker News, r/godot, r/golang
🍎Apple
Tokenizing Loops of Antibodies
arxiv.org·2d
🧮Lambda Calculus
Debunking the Claims of K2-Think
sri.inf.ethz.ch·20h·
Discuss: Hacker News, r/LocalLLaMA
🧠Automated Reasoning
A layered architecture for log analysis in complex IT systems
arxiv.org·2d
👁️System Observability
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·2d
🧩Separation Logic
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·4d
🌐NetworkProtocols
Journey to 2-second Inter-node RL Weight Transfer
le.qun.ch·1d·
Discuss: Hacker News
👁️System Observability
A New Type of Computing
news.ycombinator.com·1d·
Discuss: Hacker News
🧩Separation Logic