🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Earliest direct evidence of Bronze Age betel nut use from Thai dental calculus
frontiersin.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
China-Plus-One Was Just China All Along
indiadispatch.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
First simulated image of a black hole
en.wikipedia.org·2d·
Discuss: Hacker News
🐫OCaml
Claude is competitive with humans in (some) cyber competitions
red.anthropic.com·5d·
Discuss: Hacker News
🎮Verification Games
Why communication skills drive career growth for technical experts
togetherlondon.com·3d·
Discuss: Hacker News
🧗Climbing Tech
GitHub Copilot: Remote Code Execution via Prompt Injection (CVE-2025-53773)
embracethered.com·3d·
Discuss: Hacker News
❄️Nixified Development
Secure Boot and You
blog.elijahs.space·4d·
Discuss: Hacker News
📦Unikernel Systems
HTTP/2: The Sequel is Always Worse
portswigger.net·6d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
EU Commission Reactivates Bug Bounties
i-programmer.info·4d·
Discuss: Hacker News, r/opensource, r/programming
🔬Unikernels
Free Software and the Future of Software Business Models
generativevalue.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We inspire AI
swag.industries·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Lockpicking in CTFs (WHY2025)
cdn.media.ccc.de·3d
🎮Verification Games
Dell OEMR 210 II on Insyde 1.2.3 BIOS
reddit.com·1d·
Discuss: r/homelab
🍎XNU Internals
Verification Method for Graph Isomorphism Criteria
arxiv.org·4d
✓Automated Theorem Proving
Sample-efficient LLM Optimization with Reset Replay
arxiv.org·5d
🐫OCaml
Beyond Prompt-Induced Lies: Investigating LLM Deception on Benign Prompts
arxiv.org·5d
🎮Verification Games
Deep Learning-Based Analysis of Power Consumption in Gasoline, Electric, and Hybrid Vehicles
arxiv.org·4d
🐫Embedded OCaml
Robust, fast, and adaptive splitting schemes for nonlinear doubly-degenerate diffusion equations
arxiv.org·4d
🐫OCaml
Robust-Sub-Gaussian Model Predictive Control for Safe Ultrasound-Image-Guided Robotic Spinal Surgery
arxiv.org·4d
🔄Finite State Machines
Random Modulation: Achieving Asymptotic Replica Optimality over Arbitrary Norm-Bounded and Spectrally Convergent Channel Matrices
arxiv.org·4d
💻CS