🔤 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·9h·
Discuss: r/programming
🩹Self-Healing Systems
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
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·2d·
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
Home Servers with dynamic IPv6 prefix, and external DNS entries.
reddit.com·19h·
Discuss: r/homelab
📡Network Protocol Design
Unionists vs. Separatists
lesswrong.com·6h
🔬Unikernels
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·9h·
Discuss: Hacker News
🧠Automated Reasoning
Show HN: Valkyrie – A community-powered security scanner for your CI/CD
github.com·13h·
Discuss: Hacker News
📊Runtime Verification
Book Review: If Anyone Builds It, Everyone Dies
lesswrong.com·6h
🩹Self-Healing Systems
Tokenizing Loops of Antibodies
arxiv.org·1d
🧮Lambda Calculus
Debunking the Claims of K2-Think
sri.inf.ethz.ch·9h·
Discuss: Hacker News, r/LocalLLaMA
🧠Automated Reasoning
A New Type of Computing
news.ycombinator.com·17h·
Discuss: Hacker News
🧩Separation Logic
A layered architecture for log analysis in complex IT systems
arxiv.org·1d
👁️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·1d
🧩Separation Logic