🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

OneLLM - Better open router?
onellm.dev·23h·
Discuss: r/programming
📦Unikernel Systems
The XINU Page
xinu.cs.purdue.edu·1d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: ByteWise Search a Privacy, Zero-Traffic, Community-Driven Search Engine
news.ycombinator.com·20h·
Discuss: Hacker News
🔬Unikernels
Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps
soatok.blog·2d·
Discuss: Hacker News
🌐NetworkProtocols
Cocoindex: Data Transformation for AI
cocoindex.io·1d·
Discuss: Hacker News
🛡️seL4
Memory-level parallelism :: Apple M2 vs Apple M4
lemire.me·2d·
Discuss: Hacker News
⚙️Operating System Design
Running a static website in AWS for $0.55
cottongeeks.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
An InfoSec Architect's First Taste of Temporal
supasaf.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Beauty Comes from Absence
karlkoch.me·1d·
Discuss: Hacker News
➡️Category Theory
Open Source, Hidden Costs: A Systematic Literature Review on OSS License Management
arxiv.org·3d
📦Unikernel Systems
METR's AI productivity study is really good
seangoedecke.com·1d·
Discuss: Hacker News
👁️System Observability
My first verified (imperative) program
markushimmel.de·4d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
guile lab notebook: on the move!
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·3d
🐫Embedded OCaml
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Wallets as Universal Access Devices
arxiv.org·2d
🔬Unikernels
Show HN: Dispytch – Python framework for event-driven services
github.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·1d
✓Automated Theorem Proving
Thank you for calling Web Dev. How may we complicate things for you?
newslttrs.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: gRPC to MCP Gateway – Let AI models call your existing gRPC services
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols