🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

OneLLM - Better open router?
onellm.dev·1d·
Discuss: r/programming
📦Unikernel Systems
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·2d·
Discuss: r/homelab
🏠HomeLab
Mosaic Launches an Internet Revolution (2004)
nsf.gov·8h·
Discuss: Hacker News
📡Network Protocol Design
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·1d·
Discuss: Hacker News
👁️System Observability
Cocoindex: Data Transformation for AI
cocoindex.io·2d·
Discuss: Hacker News
🛡️seL4
An InfoSec Architect's First Taste of Temporal
supasaf.com·4d·
Discuss: Hacker News
⚙️PL Implementation
My first verified (imperative) program
markushimmel.de·5d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Structuring unstructured data is a correct use of AI
mechanicalsurvival.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
guile lab notebook: on the move!
wingolog.org·4d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Searchcraft: Advanced Search Developer Tools
searchcraft.io·2d·
Discuss: Hacker News
⎈Kubernetes
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·11h
🛡️seL4
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·2d
📡Network Protocol Design
Making Docs Better for AI and Humans
redmonk.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Dispytch – Python framework for event-driven services
github.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
LISTEN: Lightweight Industrial Sound-representable Transformer for Edge Notification
arxiv.org·1d
🔬Unikernels
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·1d
✓Automated Theorem Proving
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·3d
🔠Type-Level Programming
I Chose Software Engineering… Now I'm Completely Lost. Need Help
reddit.com·2d·
Discuss: r/programming
💻CS
Why can't anything in open source work following the instructions.
reddit.com·1d·
Discuss: r/homelab
📦Unikernel Systems
Differential Mamba
arxiv.org·3d
🔠Type-Level Programming