🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Earliest direct evidence of Bronze Age betel nut use from Thai dental calculus
frontiersin.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
China-Plus-One Was Just China All Along
indiadispatch.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
First simulated image of a black hole
en.wikipedia.org·1d·
Discuss: Hacker News
🐫OCaml
Claude is competitive with humans in (some) cyber competitions
red.anthropic.com·4d·
Discuss: Hacker News
🎮Verification Games
Why communication skills drive career growth for technical experts
togetherlondon.com·2d·
Discuss: Hacker News
🧗Climbing Tech
GitHub Copilot: Remote Code Execution via Prompt Injection (CVE-2025-53773)
embracethered.com·2d·
Discuss: Hacker News
❄️Nixified Development
Secure Boot and You
blog.elijahs.space·3d·
Discuss: Hacker News
📦Unikernel Systems
HTTP/2: The Sequel is Always Worse
portswigger.net·5d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
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
Lockpicking in CTFs (WHY2025)
cdn.media.ccc.de·2d
🎮Verification Games
Verification Method for Graph Isomorphism Criteria
arxiv.org·3d
✓Automated Theorem Proving
FNBT: Full Negation Belief Transformation for Open-World Information Fusion Based on Dempster-Shafer Theory of Evidence
arxiv.org·3d
✓Automated Theorem Proving
Security Release
matrix.org·4d·
Discuss: Lobsters, Hacker News
🏠HomeLab
Sample-efficient LLM Optimization with Reset Replay
arxiv.org·4d
🐫OCaml
Beyond Prompt-Induced Lies: Investigating LLM Deception on Benign Prompts
arxiv.org·4d
🎮Verification Games
Deep Learning-Based Analysis of Power Consumption in Gasoline, Electric, and Hybrid Vehicles
arxiv.org·3d
🐫Embedded OCaml
Robust, fast, and adaptive splitting schemes for nonlinear doubly-degenerate diffusion equations
arxiv.org·3d
🐫OCaml
Robust-Sub-Gaussian Model Predictive Control for Safe Ultrasound-Image-Guided Robotic Spinal Surgery
arxiv.org·3d
🔄Finite State Machines