🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

QUIC! Jump to User Space!
hackaday.com·8h
🌐Network Protocols
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
⚔️Lean Tactics
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·53m·
Discuss: Hacker News
⬌Bidirectional Typing
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
🎯Performance Proofs
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·3d
🔓Decompilation
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·1d·
Discuss: r/golang
🌊Streaming Systems
The effective LLM multi-tenant security with SQL
getbruin.com·1d·
Discuss: Hacker News
🗄️Database Internals
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🔗Graph Isomorphism
Item Patterns and Struct Await
noratrieb.dev·18h·
Discuss: Hacker News
🦀Rust Macros
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·1d·
Discuss: Hacker News
🌊Stream Processing
Taming Video Processing Chaos with Domain-Driven Design in Symfony
hackernoon.com·2d
🌊Streaming Systems
IASC: Interactive Agentic System for ConLangs
arxiv.org·19h
🌳Context free grammars
The Trillion Dollar AI Software Development Stack
a16z.com·2h·
Discuss: Hacker News
⚡Proof Automation
Att&Df: Update the Operating System's "Dead Drop"
zenodo.org·1d·
Discuss: Hacker News
🛡️eBPF Security
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3d
💻Programming languages
What's new in Python 3.14
docs.python.org·3d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·3h·
Discuss: Hacker News
🛡️Error Boundaries
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·2d·
Discuss: Hacker News
🔒Language-based security