🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Solar Power or Forests? Cost-Benefit Analysis of Forest Land Conversion in NE US
sciencedirect.com·16h·
Discuss: Hacker News
🧱Immutable Infrastructure
Securing MCP Servers
corgea.com·4d·
Discuss: Hacker News
🛡️seL4
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·2d·
Discuss: Hacker News
📚Automata Learning
The Compounding Effect of Version Control Performance
diversion.dev·1d·
Discuss: Hacker News
🔧Unikernel Development
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
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·4d·
Discuss: Hacker News
👁️System Observability
Fclones – Efficient Duplicate File Finder
github.com·17h·
Discuss: Hacker News
❄️Nix
Most Rust GUI frameworks suck
reddit.com·2d·
Discuss: r/rust
❄️Nixified Development
A layered architecture for log analysis in complex IT systems
arxiv.org·2d
👁️System Observability
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
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
A New Type of Computing
news.ycombinator.com·1d·
Discuss: Hacker News
🧩Separation Logic
Journey to 2-second Inter-node RL Weight Transfer
le.qun.ch·1d·
Discuss: Hacker News
👁️System Observability
Image-GS: Content-Adaptive Image Representation via 2D Gaussians
github.com·1d·
Discuss: Hacker News
🔧Unikernel Development
How OpenAI Operator Works with AI Agents
anchorbrowser.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·4d
🧠Automated Reasoning