🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Building a BLE-Powered Air Quality Dashboard with Grafana
bleuio.com·1d·
Discuss: r/homelab
👁️System Observability
Reengineered carbon-to-acetylene process with negative carbon emission (2023)
pubs.rsc.org·10h·
Discuss: Hacker News
💻CS
The Game Genie Generation
tedium.co·20h·
Discuss: Hacker News
💾Retro Computing
GHC will start maintaining an LTS release/branch in the near future
blog.haskell.org·3d·
Discuss: Hacker News
🐫OCaml
The smooth resize test (2019)
raphlinus.github.io·1d·
Discuss: Hacker News
👁️System Observability
Front End Assets in Ruby on Rails Through the Years
cassey.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·4d·
Discuss: Hacker News
🔬Static Analysis
AI Can Make You Laugh. But Can It Ever Be Truly Humorous?
undark.org·1d·
Discuss: Hacker News
🎮Verification Games
Asynchrony is not Concurrency
kristoff.it·4d·
Discuss: Lobsters, Hacker News, r/programming
🔄Finite State Machines
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·3d·
Discuss: Hacker News
🛡️seL4
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
utkarshkanwat.com·2d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Show HN: Upload training plans defined in natural language into you Garmin watch
github.com·1h·
Discuss: Hacker News
🧗Climbing Tech
Apple details how it trained its new AI models: 4 interesting highlights
9to5mac.com·1d·
Discuss: Hacker News
🍎Apple
Microsoft releases emergency patches for SharePoint RCE flaw exploited in attack
bleepingcomputer.com·1d·
Discuss: Hacker News
👁️System Observability
User Invariant Preference Learning for Multi-Behavior Recommendation
arxiv.org·9h
🔠Type-Level Programming
MorphoNAS: Embryogenic Neural Architecture Search Through Morphogen-Guided Development
arxiv.org·1d
🐫OCaml
Any concerns? Supermicro X11SPW
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
One Step is Enough: Multi-Agent Reinforcement Learning based on One-Step Policy Optimization for Order Dispatch on Ride-Sharing Platforms
arxiv.org·9h
✓Automated Theorem Proving
Rethinking Suicidal Ideation Detection: A Trustworthy Annotation Framework and Cross-Lingual Model Evaluation
arxiv.org·9h
🐫OCaml
FOCUS: Fused Observation of Channels for Unveiling Spectra
arxiv.org·9h
🐫OCaml