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
2659
posts in
81.4
ms
Hims
cancels plans to sell
compounded
GLP-1 pill after FDA backlash
biopharmadive.com
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Covid
, War, Red Sea: 80% of Europe's Supply Chain
Rocked
by Crisis (2025)
modaes.com
·
22h
·
Discuss:
Hacker News
🦀
Rust
The power of anime: using anime for education and
outreach
in
STEM
frontiersin.org
·
23h
·
Discuss:
Hacker News
🎨
Rendering
Scientists Send Secure Quantum Keys Over 62 Miles of
Fiber
—Without
Trusted
Devices
singularityhub.com
·
22h
·
Discuss:
Hacker News
🔒
Cryptography
‘Hidden’
bugs
in our gut
appear
key to good health, finds global study
cam.ac.uk
·
23h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Ultrasound-Activated
Nonvolatile
State Storage in
Piezoelectric-Memristive
Core-Shell Particles: A Theoretical Framework
zenodo.org
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Against fancy
ligatures
in programming
fonts
practicaltypography.com
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What's All This
Muntzing
Stuff,
Anyhow
? (1992)
electronicdesign.com
·
22h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
QFuture
❤️ C++
coroutines
arnorehn.de
·
23h
·
Discuss:
Lobsters
,
Hacker News
🔒
Cryptography
Strengthening
Windows trust and security through User Transparency and
Consent
blogs.windows.com
·
23h
·
Discuss:
Hacker News
🔒
Cryptography
A Brief History of
Oral
Peptides
seangeiger.substack.com
·
23h
·
Discuss:
Substack
📡
Side-Channel Attacks
AI
Personality
Extraction from Faces: Labor Market
Implications
nber.org
·
23h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
AI Helps Scam Centers
Evade
Crackdown in Asia,
Dupe
More Victims
bloomberg.com
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
New comment by
tabbott
in "Discord will require a face
scan
or ID for full access next month"
zulip.com
·
23h
·
Discuss:
Hacker News
,
Hacker News
🔐
Zero-Knowledge Proofs
Better Python tests with
inline-snapshot
pydantic.dev
·
23h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
23h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Someone's attacking
SolarWinds
WHD
to steal high‑privilege credentials - but we don't know who or how
theregister.com
·
22h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Memory and Learning
layer
be built in-house or bought
externally
?
medium.com
·
4h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Request: Preserve
Recursive
Access to GPT‑
4o
(Cognitive Memory + Persona Mode) · Issue #2426
github.com
·
3h
·
Discuss:
Hacker News
🔒
Cryptography
Why
securing
AI model
weights
isn’t enough
the-substrate.net
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 20
•
Page 22 »
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