🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Game theory shows that it often makes sense for judges to rule at random
insight.kellogg.northwestern.edu·3d·
Discuss: Hacker News
🎮Verification Games
Fatal stabbing of Ukrainian refugee in North Carolina ignites crime debate
bbc.com·15h·
Discuss: Hacker News
💻CS
'Unidentified product' in tap water identified after 40 years
popsci.com·3d·
Discuss: Hacker News
🐳Containerization
Large interview with E.T. designer Howard Scott Warshaw
spillhistorie.no·6d·
Discuss: Hacker News
💾Retro Computing
A Bill Meant To Crack Down on AI Deepfakes Could Get Gamers, Modders, and Small Developers in Legal Trouble
reason.com·3d·
Discuss: Hacker News
🎮Verification Games
A Million Is Made Out of a Million Ones
benthams.substack.com·2d·
Discuss: Substack
🩹Self-Healing Systems
A new generative AI approach to predicting chemical reactions
news.mit.edu·5d·
Discuss: Hacker News, Hacker News
📚Automata Learning
[Sponsor] TextJam
textjam.com·6d·
Discuss: Hacker News
🍎Apple
First-of-its-kind study finds secret fresh water; may stretch from NJ to Maine
fortune.com·1d·
Discuss: Hacker News
⎈Kubernetes
Measuring cryptographic strength in liters of boiling water
johndcook.com·6d·
Discuss: Hacker News
🛡️seL4
First brain-wide map of decision-making charted in mice
eurekalert.org·4d·
Discuss: Hacker News
💻CS
Ban Phones in Schools
therectangle.substack.com·3d·
Discuss: Substack
🍎Apple
Scale AI’s former CTO launches AI agent that could solve big data’s biggest problem
techcrunch.com·4d·
Discuss: Hacker News
⎈Kubernetes
Non-Obviously Great Startups
postround.substack.com·4d·
Discuss: Substack
⎈Kubernetes
SurGBSA: Learning Representations From Molecular Dynamics Simulations
arxiv.org·5d
💎Refinement Types
Scalable and Loosely-Coupled Multimodal Deep Learning for Breast Cancer Subtyping
arxiv.org·5d
🐳Containerization
A Theoretical Framework of the Processes of Change in Psychotherapy Delivered by Artificial Agents
arxiv.org·6d
➡️Category Theory
IDEAlign: Comparing Large Language Models to Human Experts in Open-ended Interpretive Annotations
arxiv.org·5d
🧩Parser Combinators
Parallel-Constraint Model Predictive Control: Exploiting Parallel Computation for Improving Safety
arxiv.org·5d
✅Model Checking
Gravity Well Echo Chamber Modeling With An LLM-Based Confirmation Bias Model
arxiv.org·4d
🧩Parser Combinators