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
2639
posts in
88.4
ms
Hims
cancels plans to sell
compounded
GLP-1 pill after FDA backlash
biopharmadive.com
·
18h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
‘Hidden’
bugs
in our gut
appear
key to good health, finds global study
cam.ac.uk
·
18h
·
Discuss:
Hacker News
🐛
Vulnerability Research
The power of anime: using anime for education and
outreach
in
STEM
frontiersin.org
·
18h
·
Discuss:
Hacker News
🎨
Rendering
Covid
, War, Red Sea: 80% of Europe's Supply Chain
Rocked
by Crisis (2025)
modaes.com
·
17h
·
Discuss:
Hacker News
🦀
Rust
Scientists Send Secure Quantum Keys Over 62 Miles of
Fiber
—Without
Trusted
Devices
singularityhub.com
·
17h
·
Discuss:
Hacker News
🔒
Cryptography
What's All This
Muntzing
Stuff,
Anyhow
? (1992)
electronicdesign.com
·
17h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Ultrasound-Activated
Nonvolatile
State Storage in
Piezoelectric-Memristive
Core-Shell Particles: A Theoretical Framework
zenodo.org
·
18h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Against fancy
ligatures
in programming
fonts
practicaltypography.com
·
17h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AI
Personality
Extraction from Faces: Labor Market
Implications
nber.org
·
18h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Strengthening
Windows trust and security through User Transparency and
Consent
blogs.windows.com
·
18h
·
Discuss:
Hacker News
🔒
Cryptography
A Brief History of
Oral
Peptides
seangeiger.substack.com
·
18h
·
Discuss:
Substack
📡
Side-Channel Attacks
AI Helps Scam Centers
Evade
Crackdown in Asia,
Dupe
More Victims
bloomberg.com
·
18h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
QFuture
❤️ C++
coroutines
arnorehn.de
·
17h
·
Discuss:
Lobsters
,
Hacker News
🔒
Cryptography
Ask HN: Am I
holding
it wrong?
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
🦀
Rust
New comment by
tabbott
in "Discord will require a face
scan
or ID for full access next month"
zulip.com
·
18h
·
Discuss:
Hacker News
,
Hacker News
🔐
Zero-Knowledge Proofs
Introducing
Composer
1.5
cursor.com
·
18h
·
Discuss:
Hacker News
🦀
Rust
We
chose
a pipeline over speech-to-speech for
evaluative
voice AI
productfit.substack.com
·
10h
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Ask HN: How to find
joy
in
writing/learning
about tech in this AI world?
news.ycombinator.com
·
50m
·
Discuss:
Hacker News
🐛
Vulnerability Research
Building a
Slack
Bot
siivikko.fi
·
6h
·
Discuss:
Hacker News
🦀
Rust
Show HN: I made a Claude Code guide that's a
Win95
desktop
with games
gabezen.com
·
14h
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 14
•
Page 16 »
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