🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

A Land for All: Two States. One Homeland
2s1h.org·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Standards for Age Verification
avpassociation.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Clojure's Solutions to the Expression Problem
infoq.com·4d·
Discuss: Hacker News, r/programming
🐫OCaml
Findings from six months of running `govulncheck` in CI
brandur.org·1d·
Discuss: Hacker News
📊Runtime Verification
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·3d·
Discuss: Hacker News
🔧Unikernel Development
When more threads make things worse
ordep.dev·1d·
Discuss: Hacker News, r/programming
⚙️Operating System Design
Building an ARM64 home server the hard way
jforberg.se·17h·
Discuss: Hacker News
🔬Unikernels
Identifying rack-mountable drive chassis
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Tokenizing Loops of Antibodies
arxiv.org·1d
🧮Lambda Calculus
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·3d·
Discuss: Substack
🎮Verification Games
A layered architecture for log analysis in complex IT systems
arxiv.org·1d
👁️System Observability
Agentic AI Runs on Tools
simplicityissota.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
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
Help building a homeserver
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
Journey to 2-second Inter-node RL Weight Transfer
le.qun.ch·1d·
Discuss: Hacker News
👁️System Observability
How OpenAI Operator Works with AI Agents
anchorbrowser.io·1d·
Discuss: Hacker News
🧠Automated Reasoning
1.0 release of the Google Cloud client libraries for Rust
github.com·2d·
Discuss: Hacker News, r/rust
🔄Reproducible Builds