🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Computer-vision, Pi3 and losing hackathons
mtende.blog·2h·
Discuss: Hacker News, r/programming
🔬Unikernels
IBM Profs: The Networked Office
ibm.com·12h·
Discuss: Hacker News
💻CS
Exploiting All Google kernelCTF Instances And Debian 12 With A 0-Day For $82k: A RBTree Family Drama (Part One)
syst3mfailure.io·3d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️Operating System Design
Claude for Financial Services
anthropic.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Claude is kicking ChatGPT's butt (in one thing)
ben-mini.com·22h·
Discuss: Hacker News
🏹Effect Systems
I need advice on my web app
github.com·1h·
Discuss: r/programming
🍎Apple
A http parser single-header library written in C89 which is 50 lines total.
github.com·4d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
A summer of security: empowering cyber defenders with AI
blog.google·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Local Lens – MCP that captures logs and network reqs for debugging
github.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: Decision-layer – your refund logic doesn't belong in Slack
github.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
LF: Online Multi-Robot Path Planning Meets Optimal Trajectory Control
arxiv.org·18h
🔄Finite State Machines
Fairness-Aware Grouping for Continuous Sensitive Variables: Application for Debiasing Face Analysis with respect to Skin Tone
arxiv.org·18h
🔬Static Analysis
ExpStar: Towards Automatic Commentary Generation for Multi-discipline Scientific Experiments
arxiv.org·1d
✓Automated Theorem Proving
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·1d
🧪Property-Based Testing
A parametric activation function based on Wendland RBF
arxiv.org·18h
➡️Category Theory
Need Help Choosing NAS OS For New Build
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·6d·
Discuss: r/programming
🐫OCaml
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.org·18h
🔠Type-Level Programming
Representation learning with a transformer by contrastive learning for money laundering detection
arxiv.org·1d
➡️Category Theory
Introducing Amazon S3 Vectors: First cloud storage with native vector support at scale (preview)
aws.amazon.com·22h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure