🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Earliest direct evidence of Bronze Age betel nut use from Thai dental calculus
frontiersin.org·15h·
Discuss: Hacker News
✓Automated Theorem Proving
China-Plus-One Was Just China All Along
indiadispatch.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The 'godfather of AI' reveals how humanity can survive superintelligent AI
kimt.com·3h·
Discuss: Hacker News
🤖Program Synthesis
Capital Isn't Destiny
writing.nikunjk.com·3h·
Discuss: Hacker News
🍎Apple
Secure Boot and You
blog.elijahs.space·2d·
Discuss: Hacker News
📦Unikernel Systems
EU Commission Reactivates Bug Bounties
i-programmer.info·3d·
Discuss: Hacker News, r/opensource, r/programming
🔬Unikernels
Free Software and the Future of Software Business Models
generativevalue.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We inspire AI
swag.industries·2d·
Discuss: Hacker News
✓Automated Theorem Proving
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
Dell OEMR 210 II on Insyde 1.2.3 BIOS
reddit.com·1h·
Discuss: r/homelab
🍎XNU Internals
MS confidence in Windows 11: Pay us to host VMs for when your desktop inevitably dies
theregister.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI-designed antibiotics pave way for defeating superbugs
bbc.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Verification Method for Graph Isomorphism Criteria
arxiv.org·2d
✓Automated Theorem Proving
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
Sample-efficient LLM Optimization with Reset Replay
arxiv.org·3d
🐫OCaml
Beyond Prompt-Induced Lies: Investigating LLM Deception on Benign Prompts
arxiv.org·3d
🎮Verification Games
Deep Learning-Based Analysis of Power Consumption in Gasoline, Electric, and Hybrid Vehicles
arxiv.org·2d
🐫Embedded OCaml
Robust-Sub-Gaussian Model Predictive Control for Safe Ultrasound-Image-Guided Robotic Spinal Surgery
arxiv.org·2d
🔄Finite State Machines