🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

What Caused Democrats' No-Show Problem in 2024?
thenation.com·13h·
Discuss: Hacker News
📐Denotational Semantics
Solar Power or Forests? Cost-Benefit Analysis of Forest Land Conversion in NE US
sciencedirect.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: How to Spot AI Chatbots vs. Real Humans: 5 Proven Detection Methods
tolearn.blog·1d·
Discuss: Hacker News
🎮Verification Games
The Weekly Win
yusufaytas.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Compounding Effect of Version Control Performance
diversion.dev·3d·
Discuss: Hacker News
🔧Unikernel Development
The founder of ID.me on war, vocation, and identity
joincolossus.com·14h·
Discuss: Hacker News
🩹Self-Healing Systems
TIL Engineers at Apple spent years trying to fix the Apple Newton because of The Simpsons' "Eat Up Martha" scene.
cnet.com·1d·
Discuss: Hacker News, r/todayilearned
🍎Apple
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·6d·
Discuss: Hacker News
👁️System Observability
Screen History MCP Server
newbry.bearblog.dev·1d·
Discuss: Hacker News
⚡Process Calculi
Securing MCP Servers
corgea.com·6d·
Discuss: Hacker News
🛡️seL4
Agentic AI Runs on Tools
simplicityissota.substack.com·6d·
Discuss: Substack
✓Automated Theorem Proving
How OpenAI Operator Works with AI Agents
anchorbrowser.io·4d·
Discuss: Hacker News
🧠Automated Reasoning
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Senescence-resistant human mesenchymal cells counter aging in primates
cell.com·1d·
Discuss: Hacker News
💾Retro Computing
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·5d·
Discuss: Hacker News
🔧Unikernel Development
Documents Are People and Words Are Items: A Psychometric Approach to Textual Data with Contextual Embeddings
arxiv.org·3d
🧩Parser Combinators
Running Code On a PAX Credit Card Payment Machine
hackaday.com·2d
🔧Unikernel Development
After AI Led to Layoffs, Coders Are Being Hired to Fix ‘Vibe-Coded’ Screwups
gizmodo.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Hyperbolic Large Language Models
arxiv.org·6d
📚Automata Learning
A Masked Representation Learning to Model Cardiac Functions Using Multiple Physiological Signals
arxiv.org·3d
📚Automata Learning