🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

The String Theory [David Foster Wallace, 1996]
esquire.com·2d·
Discuss: Hacker News
➡️Category Theory
Solving a 13-Billion-Year-Old Mystery: Scientists Recreate the Universe’s First Chemical Reaction
scitechdaily.com·11h·
Discuss: Hacker News
🤖Program Synthesis
SecureFlow Extension to Vibe Code Securely – Codepathfinder.dev
codepathfinder.dev·4d·
Discuss: Hacker News
🔬Static Analysis
Pleasure of Learning
supermemo.guru·9h·
Discuss: Hacker News
🎮Verification Games
Are Robots the Future of the Data Center Workforce? (2022)
novva.com·1d·
Discuss: Hacker News
🏠HomeLab
The AI Stack No One Talks About: Data Acquisition as Infrastructure
ai.plainenglish.io·6d·
Discuss: r/programming
👁️System Observability
There is no free lunch when dealing with engineering processes
taoem.com·2d·
Discuss: Hacker News
👁️System Observability
Wait, why are we paying more for VSCode forks again?
trunk.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Ask HN: Startups, 0 Stability – Is It Time to Move on from Tech?
news.ycombinator.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
All About The New Stack’s New Registration Feature
thenewstack.io·3d
🍎Apple
The Mystery of the Claude 3 Tokenizer (2024)
tokencontributions.substack.com·5d·
Discuss: Substack
🐫Embedded OCaml
Artificial Intelligence and the Linux Community
blogs.gnome.org·4d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
AI Is a Floor Raiser, Not a Ceiling Raiser
elroy.bot·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Microsoft gives in to Chromebook bullies and drops Windows 11 SE
theregister.com·1d·
Discuss: Hacker News
🔬Unikernels
CUS-QA: Local-Knowledge-Oriented Open-Ended Question Answering Dataset
arxiv.org·3d
🐫OCaml
AI in Agriculture: A Survey of Deep Learning Techniques for Crops, Fisheries and Livestock
arxiv.org·3d
💻CS
Silk Typhoon spun a web of patents for offensive cyber tools, report says
theregister.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Evaluating the cognitive reality of Spanish irregular morphomic patterns: Humans vs. Transformers
arxiv.org·4d
🐫OCaml
The Evolution of Video Anomaly Detection: A Unified Framework from DNN to MLLM
arxiv.org·4d
🎮Verification Games
Strategic Motivators for Ethical AI System Development: An Empirical and Holistic Model
arxiv.org·5d
🤖Program Synthesis