Domain-Specific Languages, Language Design, Compilers, Interpreters

How to Build Python Code with Bazel (and Why)
ohadravid.github.io·2d·
❄️Nixified Development
The Origin Story of Merge Queues
mergify.com·1d·
🔄Reproducible Builds
React Data List: Building Virtualized UIs Declaratively
attio.com·14h·
Discuss: Hacker News
📊Runtime Verification
Observability for Databases in CI/CD
blog.sonichigo.com·3d·
Discuss: Hacker News
👁️System Observability
Choosing a model for a research platform with real data and metrics
maxirwin.com·1d·
Discuss: Hacker News
👁️System Observability
'Make invalid states representable' considered harmful
seangoedecke.com·4d·
🧪Property-Based Testing
Rust Support Now in Beta
socket.dev·11h·
Discuss: Hacker News
❄️Nixified Development
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Depth-Bounded Epistemic Planning
arxiv.org·1d
🧩Separation Logic
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·3d
🌐NetworkProtocols
Agentic AI Runs on Tools
simplicityissota.substack.com·3d·
Discuss: Substack
Automated Theorem Proving
Journey to 2-second Inter-node RL Weight Transfer
le.qun.ch·14h·
Discuss: Hacker News
👁️System Observability
How OpenAI Operator Works with AI Agents
anchorbrowser.io·1d·
Discuss: Hacker News
🧠Automated Reasoning
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·3d
🧠Automated Reasoning
Language Native Lightly Structured Databases for Large Language Model Driven Composite Materials Research
arxiv.org·3d
🐫OCaml
LLM Ensemble for RAG: Role of Context Length in Zero-Shot Question Answering for BioASQ Challenge
arxiv.org·1d
🧩Parser Combinators
1.0 release of the Google Cloud client libraries for Rust
github.com·2d·
🔄Reproducible Builds
Vibecoding is scarily powerful: minutes to get C and Python recursive pdf-to-txt
news.ycombinator.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Rewriting Dataframes for MicroHaskell
mchav.github.io·3d·
🧮Lambda Calculus
Why Todays Identity and Access Management Can't Survive the AI Age
identityfusion.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure