🐿️ 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

AMD EPYC 4545P Achieves 2.24x The Performance At Half The Power Of The First EPYC CPU
phoronix.com·4d
⚡Zero-Copy
Debian 13 "trixie" released
debian.org·6d·
Discuss: Hacker News, r/linux, r/opensource
❄️Nix
The dead need right to delete their data so they can't be AI-ified, lawyer says
theregister.com·6d·
Discuss: Hacker News
🔒Cryptography
Wikipedia loses challenge against Online Safety Act verification rules
bbc.com·4d·
Discuss: Hacker News
🧩WebAssembly
Btrfs Has Saved Meta "Billions Of Dollars" In Infrastructure Costs
phoronix.com·6d·
Discuss: Hacker News, r/homelab
🔍eBPF
A Love Letter to Prototype Zero
hackaday.com·6d
⚡Zero-Copy
SparcStation 1+ Finally Gets Attention
hackaday.com·6d
🌐Distributed Systems
How to Turn Your Power Plant Into a Gold Factory
theatlantic.com·6d·
Discuss: Hacker News
🔒Cryptography
Linus Torvalds Rejects RISC-V Changes For Linux 6.17: "Garbage"
phoronix.com·6d·
Discuss: Hacker News, Hacker News
❄️Nix
Homekit-steam-user-switcher: A way to remotely switch Steam users using HomeKit
github.com·5d·
Discuss: Hacker News
🧩WebAssembly
Jen Pawol becomes first woman to umpire a Major League Baseball game
apnews.com·6d·
Discuss: Hacker News
🤖ai
"The Hollow Men" at 100
prufrock.substack.com·6d·
Discuss: Substack
🧮Functional Programming
Where Babies Come From
xkcd.com·5d
🦀rust
How Kentucky bourbon went from boom to bust
bbc.com·5d·
Discuss: Hacker News, Hacker News
🦀rust
KDE Plasma 6.5 Continues Seeing More Features Added & Polishing
phoronix.com·6d
🔍eBPF
Linux 6.17 EFI Stub Will Try To Maintain a Cleaner Boot Experience
phoronix.com·6d
⚡Zero-Copy
Residents cheer as Tucson rejects Amazon's massive Project Blue data center campus in Arizona
datacenterdynamics.com·6d·
Discuss: Hacker News
🔗P2P Networks
2025 One Hertz Challenge: Estimating Pi With An Arduino Nano R4
hackaday.com·6d
🤖ai
AOL Will Shut Its Dial-Up Internet Service (Yes, It’s Still Operating)
nytimes.com·5d·
Discuss: Hacker News
🔗P2P Networks
GNOME Mutter On Wayland Adds ICC Profile Support, Backlight Improvements
phoronix.com·6d
🧩WebAssembly
Loading...Loading more...
AboutBlogChangelogRoadmap