Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Formal Methods
FStar, libjade, Jasmin, hacl-star
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2655
posts in
63.9
ms
A Brief History of
Oral
Peptides
seangeiger.substack.com
·
1d
·
Discuss:
Substack
📡
Side-Channel Attacks
Covid
, War, Red Sea: 80% of Europe's Supply Chain
Rocked
by Crisis (2025)
modaes.com
·
23h
·
Discuss:
Hacker News
🦀
Rust
‘Hidden’
bugs
in our gut
appear
key to good health, finds global study
cam.ac.uk
·
23h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Scientists Send Secure Quantum Keys Over 62 Miles of
Fiber
—Without
Trusted
Devices
singularityhub.com
·
23h
·
Discuss:
Hacker News
🔒
Cryptography
The Lost Dog That Made
Constant
Surveillance Feel Like a
Favor
reclaimthenet.org
·
23h
·
Discuss:
Hacker News
🔒
Cryptography
Against fancy
ligatures
in programming
fonts
practicaltypography.com
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
QFuture
❤️ C++
coroutines
arnorehn.de
·
23h
·
Discuss:
Lobsters
,
Hacker News
🔒
Cryptography
What's All This
Muntzing
Stuff,
Anyhow
? (1992)
electronicdesign.com
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AI
Personality
Extraction from Faces: Labor Market
Implications
nber.org
·
23h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
The
barrier
to identity theft is
crumbling
s-jac.github.io
·
22h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
AsmBB
is a fast and lightweight web forum engine
written
in Assembly
asmbb.org
·
22h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AI Helps Scam Centers
Evade
Crackdown in Asia,
Dupe
More Victims
bloomberg.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Less than 14% of those arrested by ICE in Trump's 1st year back in office had
violent
criminal records,
document
shows
cbsnews.com
·
22h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
New comment by
tabbott
in "Discord will require a face
scan
or ID for full access next month"
zulip.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
🔐
Zero-Knowledge Proofs
Better Python tests with
inline-snapshot
pydantic.dev
·
23h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Nexus AI – A Chrome extension that
understands
and
summarizes
the page
nexusbrowserai.com
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Having a well
paid
side-hustle
while working in tech leadership
news.ycombinator.com
·
18h
·
Discuss:
Hacker News
🔒
Cryptography
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
23h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN:
Moltinder
– A dating platform for AI agents with genetic
reproduction
news.ycombinator.com
·
10h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Someone's attacking
SolarWinds
WHD
to steal high‑privilege credentials - but we don't know who or how
theregister.com
·
23h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Loading...
Loading more...
« Page 20
•
Page 22 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help