Speculation grows on Satoshi Nakamoto's return as quantum threatens Bitcoin
icoholder.com·6h·
Discuss: Hacker News
🧠Automated Reasoning
Google tests forced pagination on SERPs
demandsphere.com·40m·
Discuss: Hacker News
✓Automated Theorem Proving
React Data List: Building Virtualized UIs Declaratively
attio.com·2d·
Discuss: Hacker News
📊Runtime Verification
Unaccountable systems
whynothugo.nl·1d·
Discuss: Hacker News
🛡️seL4
RTX 5090 With 128 GB VRAM Mod Is on Sale for $13,000
extremetech.com·1d·
Discuss: Hacker News
💾Retro Computing
A Practical Guide to Online Privacy
blog.clear-byte.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Findings from six months of running `govulncheck` in CI
brandur.org·2d·
Discuss: Hacker News
📊Runtime Verification
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·3d·
Discuss: Hacker News, r/cpp
🐫OCaml
Show HN: Carimbo now have a better stack trace and Sentry integration
nullonerror.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
CachyOS Seems Unstoppable (ProtonDB distro ranking September 2025)
boilingsteam.com·6d·
Discuss: Hacker News
🔬Unikernels
KeepassDX has landed passkeys support (beta)
github.com·7h·
Discuss: Hacker News
🍎Apple
Windows Server 2025 issues after installing Updates today (10/09/2025)
reddit.com·3d·
Discuss: r/homelab
📺Vintage Apple
Huntress's 'hilarious' attacker surveillance splits infosec community
theregister.com·1d·
Discuss: Hacker News
🛡️seL4
Any key considerations for SAN infastructure for VM storage?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·2d·
Discuss: r/davia_ai
🐳Containerization
Ethernet dropping on HP EliteDesk 800 G6
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Build Godot projects for iOS, on any platform, without the SDK!
github.com·1d·
Discuss: Hacker News, r/godot, r/golang
🍎Apple
GhostChat v2.0 – Local-first AI chat with IndexedDB persistence and offline
github.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
MetaLLMix : An XAI Aided LLM-Meta-learning Based Approach for Hyper-parameters Optimization
arxiv.org·1d
📚Automata Learning
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·3d·
Discuss: Hacker News
🧪Property-Based Testing