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

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·6d·
Discuss: Hacker News, r/programming
⚡Zig
Mozilla flags phishing wave aimed at hijacking trusted Firefox add-ons
theregister.com·1d·
Discuss: Hacker News
🧩WebAssembly
Reverse engineering some updates to Claude
simonwillison.net·4d·
Discuss: Hacker News
💻programming
Nova: A New Web Framework for Erlang
news.ycombinator.com·5d·
Discuss: Hacker News
🧩WebAssembly
Deep Think in the Gemini app
simonwillison.net·3d
🔄Concurrency
Introducing Cerebras Code
cerebras.ai·4d·
Discuss: Hacker News
🔄Concurrency
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·5d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
Benchmarking MicroPython
blog.miguelgrinberg.com·5d·
Discuss: Hacker News, r/programming
⚙️Systems Programming
Ex-Barclays VP who completed a PhD in prison: "All my former colleagues ignore"
efinancialcareers.com·1d·
Discuss: Hacker News
🔒Cryptography
The Untold Impact of Cancellation
pretty.direct·4d·
Discuss: Hacker News
🧮Functional Programming
openSUSE Leap 16.0 Enters RC Phase With New Installer, Xfce On Wayland Option
phoronix.com·14h
❄️Nix
Fire Alarm Disco Party
hackaday.com·1d
🔍eBPF
Texas House Democrats flee state in bid to block GOP proposed congressional map
texastribune.org·1d·
Discuss: Hacker News
🌐Distributed Systems
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·5d·
Discuss: Hacker News
🔨Compilers
Happy Birthday 6502
hackaday.com·1d·
Discuss: Hacker News
⚙️Systems Programming
Researchers Map Where Solar Energy Delivers the Biggest Climate Payoff
rutgers.edu·3d·
Discuss: Hacker News
🌐Distributed Systems
ACM Transitions to Full Open Access
acm.org·6d·
Discuss: Hacker News
🔒Cryptography
Git 2.51-rc0 Makes More Preparations For Git 3.0 Where It Will Use SHA-256 By Default
phoronix.com·20h
❄️Nix
Lina Khan points to Figma IPO as vindication of M&A scrutiny
techcrunch.com·2d·
Discuss: Hacker News
💻programming
Engineering Buy-In
venki.dev·4d·
Discuss: Hacker News
🌐Distributed Systems
Loading...Loading more...
AboutBlogChangelogRoadmap