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
35.7
ms
The French university where
spies
go for training
bbc.com
·
10h
·
Discuss:
Hacker News
🔒
Cryptography
De-Enshittify
Windows 11:
OneDrive
⭐
thurrott.com
·
11h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Baby
headcams
reveal how babies
encounter
faces during development
medicalxpress.com
·
10h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The first time I
visited
Meta’s headquarters in
Menlo
Park, it didn’t quite register as a real place.
k2xl.substack.com
·
10h
·
Discuss:
Substack
🐛
Vulnerability Research
The committee problem: why
B2B
demos
die after the form
blog.skipup.ai
·
7h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Shades
of
Meaning
(2018)
mag.uchicago.edu
·
9h
·
Discuss:
Hacker News
🎨
Rendering
I
guess
we’re doing Moon
factories
now
caseyhandmer.wordpress.com
·
4h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
HeartMuLa
: Open-source music foundation model
achieving
commercial-grade quality
heart-mula.com
·
6h
·
Discuss:
Hacker News
🔒
Cryptography
A few design
decisions
for a new
chat
platform
sporks.space
·
5h
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
Kernel-Level
Stealthy
Observation of
TTY
Streams
blog.cybervelia.com
·
51m
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Political
Extremism
in Japan and Its
Dangers
news.ycombinator.com
·
9h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: A daily news app that
helps
kids build reading and thinking
skills
zaplearner.com
·
8h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The risks of OpenAI's
Whisper
audio
transcription
model
baldurbjarnason.com
·
47m
·
Discuss:
Hacker News
🐛
Vulnerability Research
"What Questions Do You Have for Me?":
Acing
the
Reverse
Interview
robbygrodin.substack.com
·
7h
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Getting Started with
Sapphire
Edge+ and AMD
Embedded
+
hackster.io
·
2h
·
Discuss:
Hacker News
⚡
CUDA
The Age of
Marketing
Speak
gilpignol.substack.com
·
9h
·
Discuss:
Substack
🔒
Cryptography
We
bootstrapped
to 450 stars by giving away risk free
arbitrage
opportunities
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
NULLFS
& OPEN_TREE_
NAMESPACE
Features Merged For Linux 7.0
phoronix.com
·
10h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN: Echo, a new
SSH
client for iOS built on
Ghostty
replay.software
·
1h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN: Run AWS
CDK
apps locally -
speeding
up agentic coding
local-web-services.github.io
·
24m
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 7
•
Page 9 »
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