🔤 DSLs

Domain-Specific Languages, Language Design, Compilers, Interpreters

Show HN: Binary Translator
binarytranslate.com·5h·
Discuss: Hacker News
🐫Embedded OCaml
Apple’s Browser Engine Ban Persists, Even Under the DMA
open-web-advocacy.org·11h·
Discuss: Hacker News
🍎Apple
Computational understanding of Li-ion batteries (2016)
nature.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Business Wire: "JEDEC Releases New LPDDR6 Standard to Enhance Mobile and AI Memory Performance"
businesswire.com·4d·
Discuss: Hacker News, r/hardware
⚙️Operating System Design
How to build a new chip architecture, ft. Nvidia
chipinsights.substack.com·17h·
Discuss: Substack
⚙️Operating System Design
Coded my homelab from scratch using Ansible
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Building Your First ETL Pipeline in Rust
ryuru.com·5d·
Discuss: r/programming
🔬Static Analysis
Generating Almost Equally-Spaced Points Along a Parabola
arjuns07.github.io·13h·
Discuss: Hacker News
🎮Verification Games
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com·3d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
The Silent Exploitation of APIs by AI Agents and Why It Needs Regulating Immediately
medium.com·26m·
Discuss: r/programming
🎮Verification Games
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·3d
🎮Verification Games
Domain adaptation of large language models for geotechnical applications
arxiv.org·5d
⚙️PL Implementation
Maneuver Detection via a Confidence Dominance Maneuver Indicator
arxiv.org·7h
✓Automated Theorem Proving
Ground Truth Ambient Occlusion
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Generating Proto-Personas through Prompt Engineering: A Case Study on Efficiency, Effectiveness and Empathy
arxiv.org·7h
🔄Reproducible Builds
Prox Mox Performance (What they didn't teach you)
reddit.com·13h·
Discuss: r/homelab
💾Retro Computing
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·5d
🤖Program Synthesis
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·3d
✓Automated Theorem Proving
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·5d
✓Automated Theorem Proving
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure