🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Rock as Heat Storage
tu-darmstadt.de·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Exposing the Unseen: Mapping MCP Servers Across the Internet
knostic.ai·2d·
Discuss: Hacker News
🌐NetworkProtocols
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·6d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Exhausted man defeats AI model in world coding championship
arstechnica.com·2d·
Discuss: Hacker News, r/programming, r/technews
🎮Verification Games
We tried running AI in browsers and low-end phones. Here's what actually worked
blog.extrieve.com·3d·
Discuss: r/programming
🔬Unikernels
Silence Is a Commons by Ivan Illich (1983)
davidtinapple.com·2d·
Discuss: Hacker News
🔬Unikernels
Why I said "no" for a year: rethinking dev-to-prod environment promotion · Logto blog
blog.logto.io·3d·
Discuss: r/programming
🧱Immutable Infrastructure
Why LangGraph Overcomplicates AI Agents (And My Go Alternative)
vitaliihonchar.com·5d·
Discuss: r/golang, r/programming
🐫OCaml
Microsoft Names Threat Actors
learn.microsoft.com·3d·
Discuss: Hacker News
🍎Apple
Benchmarking AWS Nova on Log Data: How It Compares to ChatGPT-3.5
bronto.io·5d·
Discuss: Hacker News
👁️System Observability
Achieving SOTA LongMemEval scores (80%) with RAG alone
mastra.ai·3d·
Discuss: Hacker News
🐫Embedded OCaml
Watch out, another max-severity, make-me-root Cisco bug on the loose
theregister.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: ProjectD – Google Drive-based, AES-encrypted C2 in C/C++
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·2d
🎮Verification Games
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·5d
🐫OCaml
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·2d
➡️Category Theory
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·4d
🎮Verification Games
Are we trading our hard-earned intelligence for convenience?
lmyslinski.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Newcomer looking for guidance on securing my homelab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Self hosted "thin client" setup?
reddit.com·1d·
Discuss: r/homelab
🖥️Self-hosted Infrastructure