🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

My roommates and I are in the process of buying a home, and I am researching the things I can do to facilitate a home lab of my own.
reddit.com·52m·
Discuss: r/homelab
🏠HomeLab
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Data Science Weekly – Issue 607
datascienceweekly.substack.com·7h·
Discuss: Substack
👁️System Observability
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·13h·
Discuss: Hacker News
💾Retro Computing
Business Wire: "JEDEC Releases New LPDDR6 Standard to Enhance Mobile and AI Memory Performance"
businesswire.com·1d·
Discuss: Hacker News, r/hardware
⚙️Operating System Design
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·15h·
Discuss: Hacker News
🔄Reproducible Builds
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·12h·
Discuss: Hacker News
🔄Reproducible Builds
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
🔄Reproducible Builds
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·6h
🐫Embedded OCaml
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·17h·
Discuss: r/programming
📦Unikernel Systems
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Inheritance and Polymorphism in Plain C
coz.is·2d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·15h·
Discuss: Hacker News
💾Retro Computing
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·21h·
Discuss: Substack
🧪Property-Based Testing
Orca Build System
orca-app.dev·20h·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
A language model built for the public good
ethz.ch·2d·
Discuss: Hacker News, Hacker News
🛡️seL4