🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Verification

Correctness Proofs, Model Checking, Theorem Proving, Program Analysis

Windows 11 Update KB5063878 corrupted my 8TB Seagate drive (RAW, data loss)
learn.microsoft.com·16h·
Discuss: Hacker News
🔍eBPF
Jack Dorsey launches White Noise, his next decentralized chat app after Bitchat
cryptopolitan.com·5d·
Discuss: Hacker News
👁️Observability
Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)
theguardian.com·4d·
Discuss: Hacker News
🔐Cryptography
We Are Headed Towards a System of National Capitalism
themarket.ch·2d·
Discuss: Hacker News
🦀Rust
<code>rv</code>, a new kind of Ruby management tool
andre.arko.net·3d·
Discuss: Lobsters, Hacker News, r/rust
📦WebAssembly
Pong Cloned by Neural Network
hackaday.com·4d·
Discuss: Hacker News
📡Distributed Systems
Crowdsourcing AI/ML Hedge Fund Gets $500M JPMorgan Commitment
blog.numer.ai·2d·
Discuss: Hacker News
🗄Database Systems
Unikernel Cronjobs on AWS
nanovms.com·4d·
Discuss: Hacker News
🚢DevOps
Reversing the damage of mindfulness meditation (2022)
hollyelmore.substack.com·2d·
Discuss: Substack
🦀Rust
FFmpeg 8.0 Released
ffmpeg.org·6d·
Discuss: Hacker News
🌐HTMX
Planning to Build Faster: A Solar Energy Case Study (2024)
rooseveltinstitute.org·2d·
Discuss: Hacker News
⚙️Engineering
Bland, easy to follow, for fans of everything: what has the Netflix algorithm done to our films?
theguardian.com·1d·
Discuss: Hacker News, r/Longreads
🌐HTMX
DigitalPlat FreeDomain: Free Domain for Everyone
github.com·2d·
Discuss: Hacker News
🌐HTMX
16 Failure Modes of RAG and LLM Agents and How to Fix Them With a Semantic Firewall
hackernoon.com·6d
📦WebAssembly
Learn every individual feature your CPU supports with SpecSeek
github.com·6d·
Discuss: Hacker News
🧠Computer Architecture
RunIT – Smart Terminal Assistant for Windows
github.com·5d·
Discuss: r/commandline, r/programming
🚢DevOps
Why is Delphi so popular according to the Tiobe index?
news.ycombinator.com·3d·
Discuss: Hacker News
🦀Rust
Show HN: A short story on developing a long-context World-Model with no money
francesco215.github.io·6d·
Discuss: Hacker News
⚡Performance Engineering
Malware-ridden apps made it into Google's Play Store, scored 19 million downloads
theregister.com·3d·
Discuss: Hacker News
🔍eBPF
Proposal to Ban Ghost Jobs: The Truth in Job Advertising and Accountability Act
cnbc.com·2d·
Discuss: Hacker News
🔐Cryptography
Loading...Loading more...
AboutBlogChangelogRoadmap