🐿️ 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 Verification
Correctness Proofs, Model Checking, Theorem Proving, Program Analysis
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
USA Cycling bans transgender athletes from female categories beginning Sep. 15
cyclingweekly.com
·
3d
·
Discuss:
Hacker News
⚙️
Engineering
Sodium-ion battery maker Natron closes shop
wral.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
How Often Do Health Insurers Say No to Patients? No One Knows
propublica.org
·
2d
·
Discuss:
Hacker News
👁️
Observability
Implementing an Unlimited PTO Policy
startupsoup.substack.com
·
5d
·
Discuss:
Substack
🚢
DevOps
They blew up a boat far offshore, killed eleven people, and called it justice
mitchthelawyer.substack.com
·
4d
·
Discuss:
Substack
👁️
Observability
Who is clearing Indonesia's forests – and why?
news.mongabay.com
·
1d
·
Discuss:
Hacker News
🚢
DevOps
Show HN: Amber – better Beeper, a modern all-in-one messenger
useamber.app
·
6d
·
Discuss:
Hacker News
🔐
Cryptography
How the Body's Trillions of Clocks Keep Time (2015)
wired.com
·
5d
·
Discuss:
Hacker News
🔐
Cryptography
Artists Pay $130k to Play Coachella While Publishers Cry Theft About AI Training
fluxus.io
·
4d
·
Discuss:
Hacker News
🌐
HTMX
Migrate a Peertube instance from Debian to FreeBSD
tumfatig.net
·
6d
·
Discuss:
Hacker News
🕸️
Service Mesh
A Suspense Novelist's Trail of Deceptions
newyorker.com
·
3d
·
Discuss:
Hacker News
🌐
HTMX
This blog is running on a recycled Google Pixel 5
blog.ctms.me
·
6d
·
Discuss:
Hacker News
,
r/Android
📦
WebAssembly
Florida Decided There Were Too Many Children
theatlantic.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Quantum computing firm reaches $10bn valuation as investor interest builds
theguardian.com
·
4d
·
Discuss:
Hacker News
🔐
Cryptography
DuckDB: Timestamp Issues
duckdb.org
·
6d
·
Discuss:
Hacker News
🔍
eBPF
One ROM: the Latest Incarnation of the Software Defined ROM
hackaday.com
·
5d
·
Discuss:
Hacker News
📡
Distributed Systems
The impact of the Salesloft Drift breach on Cloudflare and our customers
blog.cloudflare.com
·
6d
·
Discuss:
Hacker News
🕸️
Service Mesh
One mother for two species via obligate cross-species cloning in ants
nature.com
·
5d
·
Discuss:
Hacker News
,
Hacker News
🔐
Cryptography
In the rush to adopt hot new tech, security is often forgotten. AI is no exception
theregister.com
·
6d
·
Discuss:
Hacker News
🔍
eBPF
HHS warns US health care industry to share data with patients or else
theregister.com
·
3d
·
Discuss:
Hacker News
🌐
HTMX
Loading...
Loading more...
« Page 86
•
Page 88 »