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
2607
posts in
85.4
ms
‘Hidden’
bugs
in our gut
appear
key to good health, finds global study
cam.ac.uk
·
15h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Covid
, War, Red Sea: 80% of Europe's Supply Chain
Rocked
by Crisis (2025)
modaes.com
·
15h
·
Discuss:
Hacker News
🦀
Rust
Building Netflix
colossus.com
·
14h
·
Discuss:
Hacker News
🎨
Rendering
Players discover once again that World of
Warcraft
is powered by invisible
bunnies
that make everything work
pcgamer.com
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Buying the
Kinesis
Advantage
360 keyboard was a mistake
angelika.me
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What's All This
Muntzing
Stuff,
Anyhow
? (1992)
electronicdesign.com
·
15h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Scientists Send Secure Quantum Keys Over 62 Miles of
Fiber
—Without
Trusted
Devices
singularityhub.com
·
15h
·
Discuss:
Hacker News
🔒
Cryptography
Instagram and YouTube owners built '
addiction
machines', trial
hears
bbc.com
·
14h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
California Wants Gun
Blueprints
Treated
Like Weapons
reclaimthenet.org
·
14h
·
Discuss:
Hacker News
🐛
Vulnerability Research
FxCapKyn
: A Study of
Socially-Engineered
Fraud
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
South Korean crypto exchange
races
to recover $
40bn
of bitcoin sent to customers by mistake
theguardian.com
·
8h
·
Discuss:
Hacker News
🔒
Cryptography
Against fancy
ligatures
in programming
fonts
practicaltypography.com
·
15h
·
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
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Discord
– How to
compromise
user privacy to 'protect children'
skids.fail
·
13h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Show HN: I spent 3 years reverse-engineering a 40
yo
stock market
sim
from 1986
wallstreetraider.com
·
10h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Ads
Don't Work That Way (2014)
meltingasphalt.com
·
13h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Client Logo Wall – a simple
embeddable
widget to manage client
logos
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
🦀
Rust
The
barrier
to identity theft is
crumbling
s-jac.github.io
·
14h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Geometrically
Allocated
Ads in AI Conversations
june.kim
·
10h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Are we in an AI Bubble? A
researched
thesis
detailing
both sides.
cjroth.com
·
6h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 10
•
Page 12 »
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