Pseudo-Scientific Jargon Generator
davidbarrow.com·1d·
Discuss: Hacker News
🐫OCaml
My Favorite Word Is Discrete, What's Yours?
jacksonslipock.bearblog.dev·4d·
Discuss: Hacker News
🧩Separation Logic
Show HN: Infinite Talk AI – Create Realistic AI Videos with No Time Limit
infinitetalkai.com·4h·
Discuss: Hacker News
📚Automata Learning
Careers Are More Than Ladders: They're Cyclones and Rhymes
sungwc.substack.com·1d·
Discuss: Substack
🧗Climbing Tech
So you want to control flow in PyTorch 2
blog.ezyang.com·6d·
Discuss: Hacker News
✅Model Checking
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: A local first AI engine and orchestrator
krionis.com·4d·
Discuss: Hacker News
👁️System Observability
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·23h·
Discuss: Hacker News
🧩Parser Combinators
Why AI Challenges Us: Ego, Awareness, and the Nature of Reality
immaculateconstellation.info·18h·
Discuss: Hacker News
🩹Self-Healing Systems
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
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
Spiders and Moral Good
lesswrong.com·1d
🩹Self-Healing Systems
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·3d
📦Unikernel Systems