🐿️ 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
Ex-Barclays VP who completed a PhD in prison: "All my former colleagues ignore"
efinancialcareers.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
When Did Apple's Obsession with Design Stagnate?
mirz.ai
·
4d
·
Discuss:
Hacker News
🧩
WebAssembly
GNOME Mutter 49 Beta Released With Pointer Warp Protocol, Wayland Fixes
phoronix.com
·
3d
🧩
WebAssembly
Passkeys are just passwords that require a password manager
danfabulich.medium.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Nova: A New Web Framework for Erlang
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🧩
WebAssembly
Reverse engineering some updates to Claude
simonwillison.net
·
6d
·
Discuss:
Hacker News
💻
programming
Introducing Cerebras Code
cerebras.ai
·
6d
·
Discuss:
Hacker News
🔄
Concurrency
Linux 6.17 Getting More Rusty With Many Rust Language Additions
phoronix.com
·
4d
🦀
rust
The Untold Impact of Cancellation
pretty.direct
·
5d
·
Discuss:
Hacker News
🧮
Functional Programming
Fire Alarm Disco Party
hackaday.com
·
2d
🔍
eBPF
Texas House Democrats flee state in bid to block GOP proposed congressional map
texastribune.org
·
3d
·
Discuss:
Hacker News
🌐
Distributed Systems
Secuso – Our Farewell from Google Play
secuso.aifb.kit.edu
·
6d
·
Discuss:
Hacker News
🌐
Distributed Systems
Mozilla flags phishing wave aimed at hijacking trusted Firefox add-ons
theregister.com
·
2d
·
Discuss:
Hacker News
🧩
WebAssembly
The "cracked coder" fetish: Epistemic arrogance in Silicon Valley
maxread.substack.com
·
4d
·
Discuss:
Substack
⚡
Zig
When Disney Went Digital
animationobsessive.substack.com
·
3d
·
Discuss:
Substack
🤖
ai
Raspberry Pi RP2350 A4 Stepping Addresses E9 Current Leakage Bug
hackaday.com
·
6d
🔍
eBPF
When Flatpak’s Sandbox Cracks: Real‑Life Security Issues Beyond the Ideal
linuxjournal.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
❄️
Nix
Microsoft tops $4T in valuation: Great news for MSFT, not so great for workers
computerworld.com
·
2d
·
Discuss:
Hacker News
⚙️
Systems Programming
I couldn't submit a PR, so I got hired and fixed it myself
skeptrune.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
🧩
WebAssembly
Live coding interviews measure stress, not coding skills
hadid.dev
·
5d
·
Discuss:
Hacker News
,
r/programming
💻
programming
Loading...
Loading more...
« Page 12
•
Page 14 »