🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Safe Cell field projection in Rust (2020)
abubalay.com·3d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Building iBoot
nyansatan.github.io·3d·
Discuss: Hacker News
🍎XNU Internals
Say No to Gnulib
rgbcu.be·5d·
Discuss: Hacker News
❄️Nixified Development
Psychologic manipulation for better social interactions in online Games
reddit.com·4h·
Discuss: r/gaming
🎮Verification Games
The Benefits of Trunk-Based Development
thinkinglabs.io·3d·
Discuss: Hacker News, Hacker News, r/programming
🔄Reproducible Builds
Eight Artificial Neurons Control Fully Autonomous Toy Truck
hackaday.com·18h
🔄Finite State Machines
Type Checking with Symbolic Execution
bullno1.com·5d·
Discuss: Hacker News
🔬Static Analysis
Customer Service in 2025 Sucks (Cellphones)
news.ycombinator.com·10h·
Discuss: Hacker News
🛡️seL4
So much for watermarks: UnMarker tool nukes AI provenance tags
theregister.com·8h·
Discuss: Hacker News
🔬Unikernels
Tell HN: GPT a and B Chatted 32 Rounds via Our Mediation Layer – No Crashes
news.ycombinator.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
From Neurons to Semantics: Evaluating Cross-Linguistic Alignment Capabilities of Large Language Models via Neurons Alignment
arxiv.org·2d
🐫Embedded OCaml
True Multimodal In-Context Learning Needs Attention to the Visual Context
arxiv.org·2d
🐫Embedded OCaml
Initial homelab designing and planning
preview.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
A vibe coding horror story: Started as 'a pure dopamine hit' ended a nightmare
zdnet.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
User Head Movement-Predictive XR in Immersive H2M Collaborations over Future Enterprise Networks
arxiv.org·2d
🖥️Self-hosted Infrastructure
HOComp: Interaction-Aware Human-Object Composition
arxiv.org·1d
💻CS
The Prompt Makes the Person(a): A Systematic Evaluation of Sociodemographic Persona Prompting for Large Language Models
arxiv.org·1d
🐫OCaml
Implications of Current Litigation on the Design of AI Systems for Healthcare Delivery
arxiv.org·1d
🏹Effect Systems
Show HN: How Claude Code Improved My Dev Workflow
news.ycombinator.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Quantifying the ROI of Cyber Threat Intelligence: A Data-Driven Approach
arxiv.org·22h
✓Automated Theorem Proving