🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Mute-by-default is why your video calls suck
caseyavila.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: A rudimentary game engine to build four dimensional VR evironments
brainpaingames.com·2d·
Discuss: Hacker News
🔬Unikernels
Prove me wrong, earn money!
nintil.com·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Ruby 3.4.5 Released
ruby-lang.org·2d·
Discuss: Hacker News
❄️Nixified Development
ASUS brings Nvidia’s GB300 Blackwell Ultra “desktop superchip” to workstations — plain-looking desktop more powerful than most server racks, features up to 784G...
tomshardware.com·16h·
Discuss: Hacker News, r/technews
🏠HomeLab
Door Wide AI: The 64M Users McDonald's Left Behind
vitraag.com·1d·
Discuss: Hacker News
🍎Apple
AI is fueling job cuts, but is it really making work more efficient?
nbcnews.com·21h·
Discuss: r/programming
🤖Program Synthesis
Is AI Leaving the Python Community Behind?
georgiker.com·17h·
Discuss: Hacker News
🐫Embedded OCaml
Cline Feels Like an Upgrade
koaning.io·20h·
Discuss: Hacker News
🔍Formal Verification
AtCoder Finals Problem Statement
atcoder.jp·5d·
Discuss: Hacker News
💻CS
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
I built a free, open-source SQLite client that runs directly inside VS Code. This is my first OS project and I'd love your feedback!
reddit.com·4d·
Discuss: r/programming
❄️Nixified Development
Designing an Open Source Multimeter: the HydraMeter
hackaday.com·1d
💾Retro Computing
Herringbone Tiles
nothings.org·19h·
Discuss: Hacker News
🔄Finite State Machines
Kotlinwind.css
github.com·2d·
Discuss: Hacker News
🐫OCaml
Mining Voter Behaviour and Confidence: A Rule-Based Analysis of the 2022 U.S. Elections
arxiv.org·3h
💻CS
Integrating Newton's Laws with deep learning for enhanced physics-informed compound flood modelling
arxiv.org·3h
🐫OCaml
Robust Control with Gradient Uncertainty
arxiv.org·3h
🧪Property-Based Testing
Kubernetes homelab v1
reddit.com·1d·
Discuss: r/homelab
⎈Kubernetes
Geophysics-informed neural network for model-based seismic inversion using surrogate point spread functions
arxiv.org·3h
✓Automated Theorem Proving