🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Formal Methods
TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
AOL Will Shut Its Dial-Up Internet Service (Yes, It’s Still Operating)
nytimes.com
·
5d
·
Discuss:
Hacker News
🔗
P2P Networks
Blender 5.0 Will Likely Default To Using OpenGL Rather Than Vulkan
phoronix.com
·
5d
⚙
LLVM
GNOME Shell 49 Beta Finally Brings Media Controls To The Lock Screen
phoronix.com
·
6d
🧩
WebAssembly
Prominent Al Jazeera journalist killed in Israeli airstrike on Gaza
theguardian.com
·
5d
·
Discuss:
Hacker News
🔍
eBPF
« Page 20