🐿️ 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
Lesser-known food allergens are actually behind many serious reactions
newscientist.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
China’s Guowang megaconstellation is more than another version of Starlink
arstechnica.com
·
17h
·
Discuss:
Hacker News
,
r/China
,
r/zhongwen
🕸️
Service Mesh
A late night obsession turned into a SaaS
poyashad.com
·
23h
·
Discuss:
Hacker News
🌐
HTMX
The decline in reading for pleasure over 20 years of the American Time Use Survey
cell.com
·
11h
·
Discuss:
Hacker News
👁️
Observability
Increased animal pollination during the Paleocene–Eocene thermal maximum
cambridge.org
·
1d
·
Discuss:
Hacker News
⚙️
Engineering
Careful Communication
blog.lyall.co
·
3d
·
Discuss:
Lobsters
🔐
Cryptography
Wyoming's 'Frontier' Stablecoin Debuts on Ethereum, Solana and Avalanche
decrypt.co
·
7h
·
Discuss:
Hacker News
🔐
Cryptography
I've Never Had a Real Adversary
inoticeiamconfused.substack.com
·
8h
·
Discuss:
Substack
🔐
Cryptography
QuantoniumOS: Unitary Resonance Fourier Transform + 48-round Feistel (open research, reproducible tests)
reddit.com
·
3d
·
Discuss:
r/programming
🔐
Cryptography
Python isn't dead - despite funding cuts, programming language powers on
techradar.com
·
1d
·
Discuss:
r/programming
🔌
Network Programming
How Nexo’s AI Changes Crypto Account Management With Built-In Native Intelligence
hackernoon.com
·
17h
🕸️
Service Mesh
How I went from New-Grad to Staff in 5 years in FAANG
thomaskaratzas.substack.com
·
1d
·
Discuss:
Substack
🚢
DevOps
If agents are building your app, who gets the W-2?
vercel.com
·
2d
·
Discuss:
Hacker News
🚢
DevOps
Misago is fully featured modern forum that is fast/scalable/responsive
github.com
·
1d
·
Discuss:
Hacker News
📦
WebAssembly
And What Could Be
writings.alethia.news
·
2d
·
Discuss:
Hacker News
📡
Distributed Systems
Storage at GPU Speed: Benchmarking Graid SupremeRAID AE for AI
storagereview.com
·
2d
·
Discuss:
Hacker News
⚡
Performance Engineering
Best performance and fastest memory with the new Amazon EC2 R8i and R8i-flex instances
aws.amazon.com
·
1d
·
Discuss:
Hacker News
⚡
Performance Engineering
Why do people keep writing about the imaginary compound Cr2Gr2Te6?
righto.com
·
1d
·
Discuss:
Hacker News
⚙️
Engineering
Two Hours With Cursor Changed How I See AI Coding
hackernoon.com
·
1d
🚢
DevOps
Feedback on Masterit.ai – AI Interview Platform
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🚢
DevOps
Loading...
Loading more...
« Page 26
•
Page 28 »