🔤 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
Cocoindex: Data Transformation for AI
cocoindex.io·2d·
Discuss: Hacker News
🛡️seL4
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·1d·
Discuss: Hacker News
👁️System Observability
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·18h
🛡️seL4
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·3d
📡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·2d
🔬Unikernels
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·2d
✓Automated Theorem Proving
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·4d
🔠Type-Level Programming
I Chose Software Engineering… Now I'm Completely Lost. Need Help
reddit.com·3d·
Discuss: r/programming
💻CS
Differential Mamba
arxiv.org·4d
🔠Type-Level Programming
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·2d
🌐NetworkProtocols
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·3d·
Discuss: Hacker News
📦Unikernel Systems