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
2570
posts in
271.0
ms
The Supreme Court lets California use its new,
Democratic-friendly
congressional
map
npr.org
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Silver Star
Airpower
:
Airmen
and Guardians Take on Iran
airandspaceforces.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Nasal
spray could prevent
infections
from any flu strain
newscientist.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Vim 9
Plugins
for
Lean
vim.castedo.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Tenstorrent Cuts 20 Cores From Already-Shipping "
Blackhole
"
P150
Cards
techpowerup.com
·
2d
·
Discuss:
Hacker News
⚡
CUDA
Start all of your commands with a
comma
rhodesmill.org
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Recreating Epstein PDFs from raw
encoded
attachments
neosmart.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🐛
Vulnerability Research
MLflow
's Missing
Validators
: An Authorization Bypass Across API Surfaces
tachyon.so
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
A
manifest
debugger
for the agentic web
ucpchecker.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AMD Finally Makes More Money On
GPUs
Than
CPUs
In A Quarter
nextplatform.com
·
2d
·
Discuss:
Hacker News
⚡
CUDA
Beyond the
Appearances
: The
joys
of an Ideal world
aurelien2022.substack.com
·
2d
·
Discuss:
Substack
🎨
Rendering
LLM Data
Exfiltration
via URL Previews (With
OpenClaw
Example and Test)
promptarmor.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
The last U.S.-Russian nuclear
pact
is about to
expire
, ending a half-century of arms control
pbs.org
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Git client from the
makers
of
Sublime
Text
sublimemerge.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
BMW Commits to
Subscriptions
Even After Heated Seat
Debacle
thedrive.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
📡
Side-Channel Attacks
I
studied
the latest Epstein files. As a woman, this is what I
felt
thetimes.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Moltbook
: AI-Only Social Network
Reaches
1.6 Million Agents in Weeks
techoreon.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
We Built
Fullscript
's Agentic Developer then the CEO
shipped
a feature
builders.fullscript.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
The
Riemann
Hypothesis
: Past, Present and a Letter Through Time
arxiv.org
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Ask HN: Are "
provably
fair" JavaScript games
trustless
?
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 45
•
Page 47 »
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