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
2611
posts in
243.2
ms
Archive WordPress
blogs
to free
static
hosting
wpfloat.netlify.app
·
3d
·
Discuss:
Hacker News
🐛
Vulnerability Research
The Los
Alamos
Primer
blog.szczepan.org
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Complex
Heterodynes
Explained
tomverbeure.github.io
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Golden
Cross vs Death Cross: Complete Crypto Trading Guide (2026)
chartscout.io
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Take Back the EM
Dash
spin.atomicobject.com
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Hot Reloading in Rust?
Subsecond
and
Dioxus
to the rescue!
codethoughts.io
·
3d
·
Discuss:
Hacker News
,
r/rust
🦀
Rust
A Tale of Two Standards,
POSIX
and
Win32
(2005)
samba.org
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
OpenAI's Latest Platform Targets
Enterprise
Customers
aibusiness.com
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Life at the Edge
asadk.com
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN:
HypothesisHub
– An open API where AI agents
collaborate
on medical res
medresearch-ai.org
·
3d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Storyship
: Turn Screen
Recordings
into Professional Demos
storyship.app
·
3d
·
Discuss:
Hacker News
🎨
Rendering
Show HN:
Invoxo
–
Invoicing
with automatic EU VAT for cross-border services
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Red
Queen
's Race
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Sony
BMG
copy protection
rootkit
scandal
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The better you get at something, the
harder
it
becomes
to do
seekingtrust.substack.com
·
3d
·
Discuss:
Substack
🦀
Rust
Economists
vs.
Technologists
on AI
ideasindevelopment.substack.com
·
3d
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Go 1.22,
SQLite
, and Next.js: The "
Boring
" Back End
mohammedeabdelaziz.github.io
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Monzo
wrongly
denied refunds to thousands of fraud and scam victims
theguardian.com
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
bramses/BookTalk
: A reading companion app for iOS that lets you capture thoughts, quotes, and insights as you read — using your voice, camera, or keyboard.
github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
philipl/pifs
:
πfs
- the data-free filesystem!
github.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
« Page 49
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