🐿️ 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
Network IV (1973)
seawright.net
·
1d
·
Discuss:
Lobsters
🔌
Network Programming
Practice Mock Quiz for Driving
likhitnepal.com
·
4d
·
Discuss:
Hacker News
🕸️
Service Mesh
Notion Releases Offline Mode
notion.com
·
3d
·
Discuss:
Hacker News
🌐
HTMX
USB Device Identifier – Identify USB Devices in the Browser (VID/PID and WebUSB)
nodeloop.org
·
20h
·
Discuss:
Hacker News
👁️
Observability
Whistleblower Alleges Meta Artificially Boosted Shops Ads Performance
adweek.com
·
2d
·
Discuss:
Hacker News
🌐
HTMX
Add Indexes to Foreign Key Refs in PostgreSQL
rishigoomar.com
·
4d
·
Discuss:
Hacker News
🗄
Database Systems
History of IRC (Internet Relay Chat)
daniel.haxx.se
·
4d
·
Discuss:
Hacker News
🔌
Network Programming
Cursor doesn't work for data teams
thenewaiorder.substack.com
·
2d
·
Discuss:
Substack
🗄
Database Systems
Even Amazon Just Got Burned by an AI Security Breach
maybedont.ai
·
2d
·
Discuss:
Hacker News
🚢
DevOps
Show HN: Self-hosted Amazon Bedrock router that learns from feedback (online RL)
arfniia.com
·
3d
·
Discuss:
Hacker News
🔍
eBPF
Release Notes for Safari Technology Preview 226
webkit.org
·
2d
·
Discuss:
Hacker News
,
r/webdev
🌐
HTMX
Who will maintain the future? Rethinking open source leadership for a new generation
github.blog
·
2d
·
Discuss:
Hacker News
🚢
DevOps
Why People Read Assembly
codestyleandtaste.com
·
6d
·
Discuss:
r/programming
🔄
Compiler Design
Kilowatt Madness
paulkrugman.substack.com
·
20h
·
Discuss:
Substack
🦀
Rust
bitdrift turns 2: a retrospective
blog.bitdrift.io
·
5d
·
Discuss:
Hacker News
👁️
Observability
Why the 21st century could bring a new “consciousness winter”
bigthink.com
·
2d
·
Discuss:
Hacker News
🔐
Cryptography
The AI Agile Era: How AI Is Compressing the Software Lifecycle
blog.withmantle.com
·
4d
·
Discuss:
Hacker News
🚢
DevOps
Pepc – Power, Energy, and Performance Configurator
github.com
·
3d
·
Discuss:
Hacker News
🔍
eBPF
Microsoft Invented a Calculator That Is Wrong Sometimes
defector.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
Using Claude Code with your Team plan
support.anthropic.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
Loading...
Loading more...
« Page 43
•
Page 45 »