Breaking the Sound Barrier of 1M TPS Blockchain
blog.ormilabs.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Three Kinds of Contrarians
overcomingbias.com·15h·
Discuss: Hacker News
🧠Automated Reasoning
Entitlements and billing should be the same system
getlago.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Findings from six months of running `govulncheck` in CI
brandur.org·3d·
Discuss: Hacker News
📊Runtime Verification
Memory Speed Terminology Guide
pugetsystems.com·6d·
Discuss: Hacker News
🔧Unikernel Development
Non T series Processor in mini pc?
preview.redd.it·17h·
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·1d·
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·6d·
Discuss: Hacker News
🩹Self-Healing Systems
You are not going to turn into Google eventually
idiallo.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Close the loop: analytics that teach your chatbot to fix itself
hoverbot.ai·5d·
Discuss: Hacker News
👁️System Observability
You and Your Local Gradient
whybyfire.net·4d·
Discuss: Hacker News
🩹Self-Healing Systems
You're a Slow Thinker. Now What?
chillphysicsenjoyer.substack.com·4d·
Discuss: Substack
✓Automated Theorem Proving
Outcome-based Exploration for LLM Reasoning
arxiv.org·6d·
Discuss: Hacker News
📚Automata Learning
In the Works
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
LAVA: Language Model Assisted Verbal Autopsy for Cause-of-Death Determination
arxiv.org·3d
🧩Parser Combinators
Co-Investigator AI: The Rise of Agentic AI for Smarter, Trustworthy AML Compliance Narratives
arxiv.org·4d
✓Automated Theorem Proving
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Gacua: An open-source computer use agent with one-command start
github.com·5d·
Discuss: Hacker News
🐳Containerization