Pseudo-Scientific Jargon Generator
davidbarrow.com·1d·
Discuss: Hacker News
🐫OCaml
The Art of Incident Management Pt. 1
rootly.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Making a cross-platform game in Go with WebRTC Datachannels and Ebitengine
pion.ly·1d·
Discuss: Hacker News, r/golang
🌐NetworkProtocols
My Favorite Word Is Discrete, What's Yours?
jacksonslipock.bearblog.dev·4d·
Discuss: Hacker News
🧩Separation Logic
Building AI-Powered Payments with MCP at Cashfree Payments
tech.cashfree.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why spreadsheets fail for AI-driven decision-making
whatifi.io·3d·
Discuss: Hacker News
🧠Automated Reasoning
Careers Are More Than Ladders: They're Cyclones and Rhymes
sungwc.substack.com·1d·
Discuss: Substack
🧗Climbing Tech
An objective Bayesian analysis of life's early start and our late arrival (2020)
pnas.org·3d·
Discuss: Hacker News
📚Automata Learning
So you want to control flow in PyTorch 2
blog.ezyang.com·6d·
Discuss: Hacker News
✅Model Checking
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·19h·
Discuss: Hacker News
🧩Parser Combinators
I built diff2ai — a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Show HN: Bootstrapped Terraform Orchestration in OCaml
news.ycombinator.com·2d·
Discuss: Hacker News
🐳Containerization
Using Claude's chat search and memory to build on previous context
support.anthropic.com·7h·
Discuss: Hacker News
🧩Separation Logic
COMPACT: Common-token Optimized Model Pruning Across Channels and Tokens
arxiv.org·3d
🧩Parser Combinators
Rust compiler performance survey 2025 results
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
❄️Nixified Development
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·1d
🛡️seL4
From Org Charts to Work Charts: Building Clarity in the New Work World
clearwork.io·1d·
Discuss: Hacker News
👁️System Observability
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·6d·
Discuss: Hacker News
🛡️seL4
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·1d
🔄Reproducible Builds
Boosted Training of Lightweight Early Exits for Optimizing CNN Image Classification Inference
arxiv.org·1d
🧩Separation Logic