🐿️ 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
HTTP Headers to Build 10X APIs 🔥
newsletter.systemdesign.one
·
2d
·
Discuss:
r/programming
🌐
HTMX
Things We Learned from the New Assassin's Creed Shadows Developer AMA
kotaku.com
·
6h
·
Discuss:
Hacker News
🚢
DevOps
UGC Maker: Real UGC Ads and Shorts, Made with AI
ugcmaker.io
·
1d
·
Discuss:
Hacker News
🚢
DevOps
Working with Btrfs – Snapshots
fedoramagazine.org
·
2d
·
Discuss:
Hacker News
🗄
Database Systems
Former ORNL and NCI Director Accuses Uni of Workplace Misconduct
anu-observer.org
·
1d
·
Discuss:
Hacker News
🔐
Cryptography
How churches use data and AI as engines of surveillance
technologyreview.com
·
3d
·
Discuss:
Hacker News
👁️
Observability
SubBuddy: Never Miss a Payment Again
subbuddy.io
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
Hacker News
🕸️
Service Mesh
Not-So-Great Firewall: China Blocks the Web for 74 Min
securityboulevard.com
·
2h
·
Discuss:
Hacker News
🕸️
Service Mesh
Creating a read-only PostgreSQL user
crunchydata.com
·
1d
·
Discuss:
Hacker News
🗄
Database Systems
Star for star?
github.com
·
21h
·
Discuss:
r/programming
🔍
eBPF
2.4 Wi-Fi's and Counting
reloadin.net
·
2d
·
Discuss:
Hacker News
🕸️
Service Mesh
[arch-announce] Recent services outages
archlinux.org
·
10h
·
Discuss:
Hacker News
,
r/archlinux
🕸️
Service Mesh
OpenAI vs. Microsoft vs. Google: Wiring AI Within Products
docs.google.com
·
23h
·
Discuss:
Hacker News
🌐
HTMX
How Nexo’s AI Changes Crypto Account Management With Built-In Native Intelligence
hackernoon.com
·
1d
🕸️
Service Mesh
Modular 'PipeMagic' backdoor used to deploy ransomware
scworld.com
·
2d
·
Discuss:
Hacker News
🔍
eBPF
Show HN: Building a web search engine from scratch (a reply to Wilson Lin)
medium.com
·
3d
·
Discuss:
Hacker News
📦
WebAssembly
Hijacking Windsurf: How Prompt Injection Leaks Developer Secrets
embracethered.com
·
23h
·
Discuss:
Hacker News
🔍
eBPF
Best performance and fastest memory with the new Amazon EC2 R8i and R8i-flex instances
aws.amazon.com
·
2d
·
Discuss:
Hacker News
⚡
Performance Engineering
Why do people keep writing about the imaginary compound Cr2Gr2Te6?
righto.com
·
2d
·
Discuss:
Hacker News
⚙️
Engineering
Two Hours With Cursor Changed How I See AI Coding
hackernoon.com
·
2d
🚢
DevOps
Loading...
Loading more...
« Page 36
•
Page 38 »