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
98.0
ms
The Best
Potato
Chips
nytimes.com
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
I made a map showing
WW2
PoWs
escape route from Northern France to Barcelona
stufro.github.io
·
20h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Anthropic
Closes
in on $
20B
Round
techcrunch.com
·
21h
·
Discuss:
Hacker News
🎨
Rendering
Databricks Grows >65% YoY, Surpasses $5.4 Billion Revenue Run-Rate, Doubles Down on
Lakebase
and
Genie
databricks.com
·
20h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Software
Poses
‘All-Time’ Risk to
Speculative
Credit, Deutsche Bank Warns
bloomberg.com
·
20h
·
Discuss:
Hacker News
🐛
Vulnerability Research
DNS-PERSIST-01
; Handling Domain Control Validation in a short-lived
certificate
World
scotthelme.co.uk
·
21h
·
Discuss:
Hacker News
🔒
Cryptography
Togelius
:
Math
and me
togelius.blogspot.com
·
20h
·
Discuss:
Hacker News
🦀
Rust
Unified
crypto
pricing
API for developers
luzia.dev
·
20h
·
Discuss:
Hacker News
🐛
Vulnerability Research
CPUs
are Back: The
Datacenter
CPU Landscape in 2026
newsletter.semianalysis.com
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Expectation
and
Copysets
buttondown.com
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Modernizing
my 150-line Python search engine: Yahoo!
dumps
-> Hugging Face 🤗
bart.degoe.de
·
20h
·
Discuss:
Hacker News
🦀
Rust
Show HN: EU AI Act
Layer
x-loop3.com
·
19h
·
Discuss:
Hacker News
🔒
Cryptography
Learning by
hand
is better than learning by AI
blog.engora.com
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Ask HN: I
experienced
an Attack on Telegram and
simcards
gone!!!
news.ycombinator.com
·
18h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: Claude
Meter
– macOS menu bar app to track your Claude Code
usage
limit
github.com
·
7h
·
Discuss:
Hacker News
🦀
Rust
Show HN:
Moltinder
– A dating platform for AI agents with genetic
reproduction
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Apple and Google
pledge
not to
discriminate
against third-party apps
theguardian.com
·
2h
·
Discuss:
Hacker News
🔒
Cryptography
Fat
Agent(s) vs.
Solver
Market(s)
moldandyeast.substack.com
·
19h
·
Discuss:
Substack
📡
Side-Channel Attacks
AgentVault
: Security Wrapper for
OpenClaw
(built in a couple hours))
github.com
·
1h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Agentic Coding Is
Draining
Your
Moat
slwip.com
·
18h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 17
•
Page 19 »
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