Three Kinds of Contrarians
overcomingbias.com·1h·
Discuss: Hacker News
🧠Automated Reasoning
Findings from six months of running `govulncheck` in CI
brandur.org·3d·
Discuss: Hacker News
📊Runtime Verification
Memory Speed Terminology Guide
pugetsystems.com·5d·
Discuss: Hacker News
🔧Unikernel Development
Non T series Processor in mini pc?
preview.redd.it·3h·
Discuss: r/homelab
💾Retro Computing
humanely dealing with humungus crawlers
flak.tedunangst.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🍎Apple
A third of UK firms using ‘bossware’ to monitor workers’ activity, survey reveals
theguardian.com·13h·
Discuss: Hacker News
👁️System Observability
When the job search becomes impossible: three phases of burnout
jeffwofford.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Built an AI news agent that stops information overload
reckoning.dev·5d·
Discuss: Hacker News
🩹Self-Healing Systems
You are not going to turn into Google eventually
idiallo.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
You and Your Local Gradient
whybyfire.net·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Gacua: An open-source computer use agent with one-command start
github.com·5d·
Discuss: Hacker News
🐳Containerization
A Scoping Review of Machine Learning Applications in Power System Protection and Disturbance Management
arxiv.org·2d
🩹Self-Healing Systems
The Astronaut and the Planet: Part I
lesswrong.com·3d
🩹Self-Healing Systems
Show HN: VibeDbg – Cconversational, LLM-Powered AI Assistant for WinDbg
github.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·5d·
Discuss: Hacker News
💎Refinement Types
Show HN: EZLive – lightweight serverless self-hosted livestream
github.com·7h·
Discuss: Hacker News
🏠HomeLab
A Low-Rank tensor framework for THB-Splines
arxiv.org·2d
🐫OCaml
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·5d
📚Automata Learning
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·3d
📚Automata Learning