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
2631
posts in
67.8
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
·
19h
·
Discuss:
Hacker News
🐛
Vulnerability Research
100 Days of
Sex
: Day 108
stevepavlina.com
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
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
'The most
anti-biking
bill in history' — Iowa’s near-total bike ban proposal is bizarre and
alarming
cyclingweekly.com
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
DNS-PERSIST-01
; Handling Domain Control Validation in a short-lived
certificate
World
scotthelme.co.uk
·
20h
·
Discuss:
Hacker News
🔒
Cryptography
Togelius
:
Math
and me
togelius.blogspot.com
·
19h
·
Discuss:
Hacker News
🦀
Rust
Unified
crypto
pricing
API for developers
luzia.dev
·
19h
·
Discuss:
Hacker News
🐛
Vulnerability Research
CPUs
are Back: The
Datacenter
CPU Landscape in 2026
newsletter.semianalysis.com
·
20h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
A open-source
database
studio
querystudio.dev
·
19h
·
Discuss:
Hacker News
🦀
Rust
The AI
Revolution
in Health Insurance: What It Means for Your
Coverage
and Costs
suretyinsights.com
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
How I used Claude Code in a real data
journalism
project
kschaul.com
·
20h
·
Discuss:
Hacker News
🦀
Rust
Btrfs
Brings Experimental
Remap-Tree
Feature & More In Linux 7.0
phoronix.com
·
13h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
bilalnaseer/shopify-sections
: Free Shopify Sections by
WebSensePro
github.com
·
1h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Secret
Criticism
medium.com
·
5h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: EU AI Act
Layer
x-loop3.com
·
18h
·
Discuss:
Hacker News
🔒
Cryptography
Ask HN: I
experienced
an Attack on Telegram and
simcards
gone!!!
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The hidden
danger
of shipping fast
newsletter.posthog.com
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN:
Moltinder
– A dating platform for AI agents with genetic
reproduction
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 16
•
Page 18 »
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