🐿️ 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
Why WADA Has Its Eye on Ozempic
triathlete.com
·
2d
·
Discuss:
Hacker News
🕸️
Service Mesh
Oracle leapfrogs petabyte barrier with release 8 (1997)
route-fifty.com
·
5d
·
Discuss:
Hacker News
🌐
HTMX
Imagining the Drone Air Force
austinvernon.substack.com
·
3d
·
Discuss:
Substack
🔐
Cryptography
Twenty Years of Blog Posts
charlespetzold.com
·
3d
·
Discuss:
Hacker News
🌐
HTMX
As Measles Exploded Officials in Texas Looked to CDC Scientists. No One Answered
kffhealthnews.org
·
1d
·
Discuss:
Hacker News
🦀
Rust
This many points is surely out of scope!
aras-p.info
·
2d
·
Discuss:
Hacker News
🧠
Computer Architecture
Why 'sleeping on it' may improve learning and memory
medicalxpress.com
·
22h
·
Discuss:
Hacker News
🧠
Computer Architecture
Closer than ever: It is now 89 seconds to midnight
thebulletin.org
·
4d
·
Discuss:
Hacker News
🔐
Cryptography
Bloom patterns: radially expansive, developable and flat-foldable origami
royalsocietypublishing.org
·
5d
·
Discuss:
Hacker News
,
r/programming
🌐
HTMX
Google expands age verification to Search
reclaimthenet.org
·
5d
·
Discuss:
Hacker News
,
r/privacy
🔐
Cryptography
Anno 1800 Frame Analysis
blog.thomaspoulet.fr
·
6d
·
Discuss:
Hacker News
🌐
HTMX
The Two Versions of Parquet
jeronimo.dev
·
5d
·
Discuss:
Hacker News
,
r/programming
🗄
Database Systems
LeRobot Brings Autonomy to Hobby Robots
hackaday.com
·
3d
·
Discuss:
Hacker News
⚙️
Engineering
Show HN: Pluely v0.1.1 – OSS Cluely alternative with custom/local LLM support
github.com
·
6d
·
Discuss:
Hacker News
🌐
HTMX
"Surprises" in BLS Jobs Revisions Became More Frequent After 2020
medium.com
·
5d
·
Discuss:
Hacker News
🔄
Compiler Design
Fifty Years of Microsoft Developer Tools
ricomariani.medium.com
·
5d
·
Discuss:
Hacker News
,
Hacker News
🚢
DevOps
Can AIs suffer? Big tech and users grapple with one of most unsettling questions of our times
theguardian.com
·
16h
·
Discuss:
Hacker News
📡
Distributed Systems
Now, Together
natashajaffe.substack.com
·
6d
·
Discuss:
Substack
🚢
DevOps
Our approach to energy innovation and AI’s environmental footprint
blog.google
·
5d
·
Discuss:
Hacker News
⚡
Performance Engineering
How to Push Back Against Unreasonable Management Expectations in the Age of AI?
deepdocs.dev
·
5d
·
Discuss:
Hacker News
,
r/programming
🚢
DevOps
Loading...
Loading more...
« Page 63
•
Page 65 »