Breaking the Sound Barrier of 1M TPS Blockchain
blog.ormilabs.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Three Kinds of Contrarians
overcomingbias.com·4h·
Discuss: Hacker News
🧠Automated Reasoning
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·5d·
Discuss: Hacker News
💎Refinement Types
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·5d·
Discuss: Hacker News
🔧Unikernel Development
Non T series Processor in mini pc?
preview.redd.it·6h·
Discuss: r/homelab
💾Retro Computing
A third of UK firms using ‘bossware’ to monitor workers’ activity, survey reveals
theguardian.com·15h·
Discuss: Hacker News
👁️System Observability
humanely dealing with humungus crawlers
flak.tedunangst.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🍎Apple
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
Close the loop: analytics that teach your chatbot to fix itself
hoverbot.ai·4d·
Discuss: Hacker News
👁️System Observability
You and Your Local Gradient
whybyfire.net·3d·
Discuss: Hacker News
🩹Self-Healing Systems
The LLM models the user, and then it models itself
animassteward.substack.com·5d·
Discuss: Substack
📚Automata Learning
Show HN: VibeDbg – Cconversational, LLM-Powered AI Assistant for WinDbg
github.com·1d·
Discuss: Hacker News
🔧Unikernel Development
A Low-Rank tensor framework for THB-Splines
arxiv.org·2d
🐫OCaml
R640 or R740 for upgrading my homelab
reddit.com·53m·
Discuss: r/homelab
🏠HomeLab
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·5d·
Discuss: Hacker News
💎Refinement Types
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·5d
📚Automata Learning