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
2607
posts in
46.8
ms
michaelzixizhou/codag
: Visualize AI/LLM workflows in your codebase.
github.com
·
5d
·
Discuss:
Hacker News
🦀
Rust
intelligenthack/moonbuggy
: .NET i18n library — PO + ICU MessageFormat with zero-allocation source-generated translations
github.com
·
23h
·
Discuss:
Hacker News
🦀
Rust
Hims
cancels plans to sell
compounded
GLP-1 pill after FDA backlash
biopharmadive.com
·
11h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
‘Hidden’
bugs
in our gut
appear
key to good health, finds global study
cam.ac.uk
·
11h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Covid
, War, Red Sea: 80% of Europe's Supply Chain
Rocked
by Crisis (2025)
modaes.com
·
10h
·
Discuss:
Hacker News
🦀
Rust
A few design
decisions
for a new
chat
platform
sporks.space
·
2h
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
Building Netflix
colossus.com
·
9h
·
Discuss:
Hacker News
🎨
Rendering
Show HN: A daily news app that
helps
kids build reading and thinking
skills
zaplearner.com
·
4h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The power of anime: using anime for education and
outreach
in
STEM
frontiersin.org
·
11h
·
Discuss:
Hacker News
🎨
Rendering
Political
Extremism
in Japan and Its
Dangers
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
NULLFS
& OPEN_TREE_
NAMESPACE
Features Merged For Linux 7.0
phoronix.com
·
6h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Having a well
paid
side-hustle
while working in tech leadership
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🔒
Cryptography
Buying the
Kinesis
Advantage
360 keyboard was a mistake
angelika.me
·
9h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
How
Noam
Chomsky
Became the Establishment's Favorite Radical
josealnino.org
·
8h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
What's All This
Muntzing
Stuff,
Anyhow
? (1992)
electronicdesign.com
·
10h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The $5 Million Mistake: How a Single Phishing Email Brought a Federal
Contractor
to Its
Knees
syncsuptech.substack.com
·
2h
·
Discuss:
Substack
🐛
Vulnerability Research
Trapped Between Pitch,
Disclaimer
, and
Confession
gilpignol.substack.com
·
3h
·
Discuss:
Substack
📡
Side-Channel Attacks
Why did
fabless
eat
semiconductors
?
siliconimist.substack.com
·
4h
·
Discuss:
Substack
📡
Side-Channel Attacks
Scientists Send Secure Quantum Keys Over 62 Miles of
Fiber
—Without
Trusted
Devices
singularityhub.com
·
10h
·
Discuss:
Hacker News
🔒
Cryptography
One AI Platform for Your
Entire
Investment
Journey
getneliva.com
·
4h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 7
•
Page 9 »
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