🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: I automated code security to help vibe coders from getting busted
elara-app.ai·1h·
Discuss: Hacker News
🛡️seL4
Mosaic Launches an Internet Revolution (2004)
nsf.gov·2h·
Discuss: Hacker News
📡Network Protocol Design
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
guile lab notebook: on the move!
wingolog.org·4d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Structuring unstructured data is a correct use of AI
mechanicalsurvival.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Searchcraft: Advanced Search Developer Tools
searchcraft.io·2d·
Discuss: Hacker News
⎈Kubernetes
Making Docs Better for AI and Humans
redmonk.com·1d·
Discuss: Hacker News
🤖Program Synthesis
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·1h·
Discuss: Hacker News
❄️Nixified Development
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·5h
🛡️seL4
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·2d
📡Network Protocol Design
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
(Quite) a few words about async
yoric.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·3d
🔠Type-Level Programming
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·2d·
Discuss: Hacker News
📦Unikernel Systems
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