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
2640
posts in
89.4
ms
Dozens of researchers will move to France from US following
high-profile
bid to
lure
talent
nature.com
·
15h
·
Discuss:
Hacker News
🦀
Rust
Baby
headcams
reveal how babies
encounter
faces during development
medicalxpress.com
·
13h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The French university where
spies
go for training
bbc.com
·
14h
·
Discuss:
Hacker News
🔒
Cryptography
De-Enshittify
Windows 11:
OneDrive
⭐
thurrott.com
·
14h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
The first time I
visited
Meta’s headquarters in
Menlo
Park, it didn’t quite register as a real place.
k2xl.substack.com
·
13h
·
Discuss:
Substack
🐛
Vulnerability Research
Shades
of
Halftone
blog.maximeheckel.com
·
13h
·
Discuss:
Hacker News
🎨
Rendering
Shades
of
Meaning
(2018)
mag.uchicago.edu
·
13h
·
Discuss:
Hacker News
🎨
Rendering
ChatGPT as a doctor
replacement
? Study shows
sobering
results
heise.de
·
14h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Email verification API at $
5/10k
(vs $75 for
competitors
)
verifly.email
·
14h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Don't use
escaping
closures in
SwiftUI
rensbr.eu
·
13h
·
Discuss:
Hacker News
🦀
Rust
I2PChat
| Secure P2P Instant
Messenger
vituperative.github.io
·
11h
·
Discuss:
Hacker News
🔒
Cryptography
FxCapKyn
: A Study of
Socially-Engineered
Fraud
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Extract
structured data from any website. Real-time search API with JSON,
Markdown
& HTML output.
searchresult.dev
·
6h
·
Discuss:
Hacker News
🐛
Vulnerability Research
South Korean crypto exchange
races
to recover $
40bn
of bitcoin sent to customers by mistake
theguardian.com
·
10h
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: I spent 3 years reverse-engineering a 40
yo
stock market
sim
from 1986
wallstreetraider.com
·
12h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Client Logo Wall – a simple
embeddable
widget to manage client
logos
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🦀
Rust
Geometrically
Allocated
Ads in AI Conversations
june.kim
·
12h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What Would Good Agent
Productivity
Metrics
Look Like?
m16g.com
·
32m
·
Discuss:
Hacker News
📡
Side-Channel Attacks
You've
Always
Been Your Own Company. You Just
Forgot
.
codecabin.dev
·
15h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Are we in an AI Bubble? A
researched
thesis
detailing
both sides.
cjroth.com
·
8h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 11
•
Page 13 »
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