🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Topological symmetry in quantum field theory (2024)
ems.press·1d·
Discuss: Hacker News
➡️Category Theory
Show HN: Get Wildcard Subdomain Instantly
wildcard.jolly-ops.com·2d·
Discuss: Hacker News
📡Network Protocol Design
No record left behind: How Warpstream can withstand regional outages
warpstream.com·23h·
Discuss: Hacker News
⎈Kubernetes
Discovering Player Tracking in a Minimal Tic-Tac-Toe Transformer
omar.bet·1d·
Discuss: Hacker News
🎮Verification Games
RNNoise: Learning Noise Suppression
jmvalin.ca·1d·
Discuss: Hacker News
🐫Embedded OCaml
Pre-Auth SQLi to RCE – Fortinet FortiWeb Fabric Connector (CVE-2025-25257)
labs.watchtowr.com·4d·
Discuss: Hacker News
🛡️seL4
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·5d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Project Servfail: One Year In
sdomi.pl·2d·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
Reading in the Age of AI
damngrav.substack.com·1d·
Discuss: Substack
🔬Unikernels
Russian infostealer sends commands to public LLM to craft requests on the fly
bleepingcomputer.com·1d·
Discuss: Hacker News
🛡️seL4
Show HN: Metaexodus – utility to migrate production Metabase to local Postgres
github.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·1d
✓Automated Theorem Proving
Show HN: Default-Exploitability Context for CISA Known Exploited Vulnerabilities
github.com·2d·
Discuss: Hacker News, Hacker News
🛡️seL4
Source code analysis of Amazon Kiro
ghuntley.com·4d·
Discuss: Hacker News
❄️Nixified Development
Life Finds A Way: Emergence of Cooperative Structures in Adaptive Threshold Networks
arxiv.org·1d
➡️Category Theory
GeoReg: Weight-Constrained Few-Shot Regression for Socio-Economic Estimation using LLM
arxiv.org·1d
🐫Embedded OCaml
Show HN: DataFlow: makes LLM data processing fast, powerful, and EASY
github.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Supporting SEN\'{C}OTEN Language Documentation Efforts with Automatic Speech Recognition
arxiv.org·3d
🐫OCaml