🔤 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·2h·
Discuss: r/homelab
🏠HomeLab
Data Science Weekly – Issue 607
datascienceweekly.substack.com·8h·
Discuss: Substack
👁️System Observability
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·14h·
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
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
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·17h·
Discuss: Hacker News
🔄Reproducible Builds
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·14h·
Discuss: Hacker News
🔄Reproducible Builds
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·7h
🐫Embedded OCaml
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·18h·
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·16h·
Discuss: Hacker News
💾Retro Computing
A language model built for the public good
ethz.ch·2d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🛡️seL4
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·23h·
Discuss: Substack
🧪Property-Based Testing
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml