🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

New glasses will supercharge hearing with AI
hw.ac.uk·2d·
Discuss: Hacker News
🔬Unikernels
Texas Private Schools Hire Relatives and Enrich Insiders
texastribune.org·1d·
Discuss: Hacker News
🛡️seL4
Open Banking and payments competition
bitsaboutmoney.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Redis 8.2 is GA and brings more performance, efficiency, and new commands
redis.io·5d·
Discuss: Hacker News
👁️System Observability
Einstein Fields: A Neural Perspective to Computational General Relativity
arxiviq.substack.com·3d·
Discuss: Substack
🐫OCaml
How to Build a Smart Website Analyzer with GPT-5, FastAPI, and Celery
fastlaunchapi.dev·6d·
Discuss: r/programming
✓Automated Theorem Proving
The Closed Internet Protocol
mirz.ai·3d·
Discuss: Hacker News
📡Network Protocol Design
The Secret HQ of Synchron, One of Neuralink's Biggest Competitors
pcmag.com·2d·
Discuss: Hacker News
🍎Apple
Rendering 120k+ Entities
mobcitygame.com·4d·
Discuss: Hacker News
👁️System Observability
I Am a Windows User
vowe.net·1d·
Discuss: Hacker News
🍎Apple
The Undersupply Theorem Meets the Extraction Equilibrium
gojiberries.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Fusion Propulsion and Other Science Projects We Swore Would Be Done by Now
multiverseemployeehandbook.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Debian GNU/Hurd 2025 Released With Completed 64-bit Support, Rust Ported
phoronix.com·3d·
Discuss: Hacker News
🍎XNU Internals
Creating a New Keyboard Flex for an Old Calculator
hackaday.com·2d
💾Retro Computing
I Built Revenue‑Generating SaaS with Loveable, N8n, and Helpful Freelancers
news.ycombinator.com·3d·
Discuss: Hacker News
🛡️seL4
New Mac Pro could boast M4 Ultra chip, per report
9to5mac.com·1d
🍎Apple
About Time (WHY2025)
cdn.media.ccc.de·3d
📡Network Protocol Design
Multi-Level Service Performance Forecasting via Spatiotemporal Graph Neural Networks
arxiv.org·3d
💻CS
Quantifying Conversation Drift in MCP via Latent Polytope
arxiv.org·4d
➡️Category Theory
Hybrid Node-Destroyer Model with Large Neighborhood Search for Solving the Capacitated Vehicle Routing Problem
arxiv.org·2d
📡Network Protocol Design