🔤 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
Navigating AI in translation: Why human expertise still matters
gulf-times.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·22h·
Discuss: Hacker News
👁️System Observability
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·20h·
Discuss: Hacker News
🎮Verification Games
So Microsoft Deleted Some of Our Packages from Nuget.org Without Notice
aaronstannard.com·18h·
Discuss: Hacker News
❄️Nixified Development
My first verified (imperative) program
markushimmel.de·4d·
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
Don’t compare programming to the real world
expressionstatement.com·1d·
Discuss: r/programming
👁️System Observability
Beyond the Linear Separability Ceiling
arxiv.org·1d
➡️Category Theory
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·1d
🐫OCaml
Narrowing the Gap: Supervised Fine-Tuning of Open-Source LLMs as a Viable Alternative to Proprietary Models for Pedagogical Tools
arxiv.org·3d
🛡️seL4
Making Docs Better for AI and Humans
redmonk.com·21h·
Discuss: Hacker News
🤖Program Synthesis
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