🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

It's Nothing But Its a Start
preview.redd.it·1d·
Discuss: r/homelab
🔬Unikernels
Guide to Implementing a GraphRAG Workflow with FalkorDB, LangChain and LangGraph
falkordb.com·4d·
Discuss: Hacker News
🐫OCaml
Seeing the unseen: Trinity team builds game-changing particle impact machine
tcd.ie·2d·
Discuss: Hacker News
🐫Embedded OCaml
How to Use Antlr Pattern Matching
tomassetti.me·6d·
Discuss: Hacker News
🔬Static Analysis
First simulated image of a black hole
en.wikipedia.org·23h·
Discuss: Hacker News
🐫OCaml
Claude is competitive with humans in (some) cyber competitions
red.anthropic.com·4d·
Discuss: Hacker News
🎮Verification Games
The Curious Case of Bedrock's GPT Deployment
benanderson.work·1d·
Discuss: Hacker News, Hacker News
🔬Unikernels
Mistakes Made and Lessons Learned Building HubSpot
businessofsoftware.org·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Identity Crisis: Why LLMs Don't Know Who They Are
eval.16x.engineer·4d·
Discuss: Hacker News
🛡️seL4
How we found TeaOnHer spilling users’ driver’s licenses in less than 10 minutes
techcrunch.com·1d·
Discuss: Hacker News
🍎Apple
We Fixed AI's Broken Promise
understoryai.substack.com·3d·
Discuss: Substack
🎮Verification Games
AI: Great Expectations
rodneybrooks.com·3d·
Discuss: Hacker News
💾Retro Computing
miRKatAI: An Integrated Database and Multi-agent AI system for microRNA Research
arxiv.org·1d
🔠Type-Level Programming
AI-designed antibiotics pave way for defeating superbugs
bbc.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Shaping a Profession, Building a Community: A Practitioner-Led Investigation of Public Interest Technologists in Civil Society
arxiv.org·2d
💻CS
MeanAudio: Fast and Faithful Text-to-Audio Generation with Mean Flows
arxiv.org·3d
🐫OCaml
Small Host Machine for 2xNVMe (TrueNAS ZFS Striped), 1xSATA, SFP+ NIC (Probably ConnectX3)
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
FNBT: Full Negation Belief Transformation for Open-World Information Fusion Based on Dempster-Shafer Theory of Evidence
arxiv.org·2d
✓Automated Theorem Proving
Security Release
matrix.org·4d·
Discuss: Lobsters, Hacker News
🏠HomeLab
Sample-efficient LLM Optimization with Reset Replay
arxiv.org·3d
🐫OCaml