🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Trump’s BLS Pick E.J. Antoni Is — Shocker — a Crackpot Hack
axios.com·2d
✓Automated Theorem Proving
U.S. Navy's first autonomous ship takes the Port of Everett waters
komonews.com·3d·
Discuss: Hacker News
⎈Kubernetes
★ OpenAI Brings Back Legacy ChatGPT 4o Model in Response to Outcry From Users Who Find GPT-5 Emotionally Unsatisfying
daringfireball.net·6d
💾Retro Computing
Tiny tips for an elevated macOS experience
vvvincent.me·5d·
Discuss: Hacker News
🍎Apple
What Are Outcomes?
leadinginproduct.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Terminal User Interfaces
onbreakpoint.com·5d·
Discuss: Hacker News
💾Retro Computing
Scientists Announce a Physical Warp Drive Is Now Possible. Seriously.
popularmechanics.com·6d·
Discuss: Hacker News
🔬Unikernels
Firefox 143 no longer works on certain Windows 10 versions, here is why
neowin.net·3d·
Discuss: Hacker News
❄️Nixified Development
Ask HN: Why don't LLMs replace bosses instead of engineers?
news.ycombinator.com·6d·
Discuss: Hacker News
🛡️seL4
Zero-Direction Probing: A Linear-Algebraic Framework for Deep Analysis of Large-Language-Model Drift
arxiv.org·6d
➡️Category Theory
Apple releases public beta 3 for watchOS 26, tvOS 26, and more
9to5mac.com·3d
🍎Apple
Crypto(graphy) 101 (WHY2025)
cdn.media.ccc.de·6d
🌐NetworkProtocols
MedReasoner: Reinforcement Learning Drives Reasoning Grounding from Clinical Thought to Pixel-Level Precision
arxiv.org·6d
✓Automated Theorem Proving
Ethics2vec: aligning automatic agents and human preferences
arxiv.org·6d
🔠Type-Level Programming
Chain of Thought Still Thinks Fast: APriCoT Helps with Thinking Slow
arxiv.org·6d
✓Automated Theorem Proving
When and how can inexact generative models still sample from the data manifold?
arxiv.org·6d
➡️Category Theory
RSVLM-QA: A Benchmark Dataset for Remote Sensing Vision Language Model-based Question Answering
arxiv.org·6d
🐫OCaml
Geometry-Aware Spiking Graph Neural Network
arxiv.org·6d
💻CS
The #1 Reason Buyers Choose Competitors Who Aren't Better Than You
businessofsoftware.org·4d·
Discuss: Hacker News
🛡️seL4
Multi-level Advantage Credit Assignment for Cooperative Multi-Agent Reinforcement Learning
arxiv.org·6d
🎮Verification Games