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
2659
posts in
146.2
ms
Inside
Euronews
: How Europe’s
broadcaster
became an influence network
euractiv.com
·
10h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Russian Watchdog Starts
Limiting
Access to Telegram,
RBC
Reports
bloomberg.com
·
10h
·
Discuss:
Hacker News
🔒
Cryptography
'E-bike for your feet': How
bionic
sneakers
could change human mobility
npr.org
·
11h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
CIA
Launches New Acquisition Framework to
Turbocharge
Collaboration with Private Sector
cia.gov
·
10h
·
Discuss:
Hacker News
🔒
Cryptography
The End of Books
Coverage
at the Washington Post
newyorker.com
·
10h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What
Happens
in a
Performer
’s Brain While Playing Music?
nytimes.com
·
10h
·
Discuss:
Hacker News
🎨
Rendering
Show HN:
Minibrew
– Run
Homebrew
packages without
Homebrew
dryark.com
·
10h
·
Discuss:
Hacker News
🦀
Rust
How Many Years of
Pizza
Do You Have?
parkscomputing.com
·
10h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Corruption
Perceptions
Index 2025
transparency.org
·
10h
·
Discuss:
Hacker News
🔒
Cryptography
The boss of a 'Black
Swan
' fund expects stocks to
explode
higher, then suffer a historic crash
businessinsider.com
·
10h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Cut down on
meetings
with
clear
writing. Here's how
qz.com
·
11h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Echo, a new
SSH
client for iOS built on
Ghostty
replay.software
·
10h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Real-time infrastructure that
respects
your privacy
ephemeral.ws
·
10h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
We
bootstrapped
to 450 stars by giving away risk free
arbitrage
opportunities
news.ycombinator.com
·
10h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The State of
Agentic
Graph
RAG
localoptimumai.substack.com
·
8h
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
bbu/classic-pirates.sh
: Keep track of your collection of vintage Lego Pirates sets
github.com
·
47m
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Khronos
at 25:
Shaping
Visual Computing with Open Standards
khronos.org
·
7h
·
Discuss:
Hacker News
⚡
CUDA
FxCapKyn
: A Study of
Socially-Engineered
Fraud
news.ycombinator.com
·
9h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
4h
·
Discuss:
Hacker News
🦀
Rust
Why Shipping?
owain.bearblog.dev
·
10h
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 12
•
Page 14 »
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