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
2587
posts in
31.0
ms
qcc4cp/qcc
: Source code for the book "Quantum Computing for
Programmers
", Cambridge University Press
github.com
·
5d
·
Discuss:
Hacker News
🔒
Cryptography
MatPy
– Pure Python linear algebra library with ODE
solvers
github.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Enforcing
rules and
managing
expectations for AI agents with CI and code review
rubyonai.com
·
6d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Coding Agents Need More Than
Examples
. They Need
Guardrails
.
medium.com
·
6d
·
Discuss:
Hacker News
🐛
Vulnerability Research
six
thoughts
on
generating
c
wingolog.org
·
11h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Why you should
consider
F#
asfaload.com
·
3d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Accelerating
Scientific Research with Gemini: Case
Studies
and Common Techniques
arxiv.org
·
5d
·
Discuss:
Hacker News
🦀
Rust
Less than 14% of those arrested by ICE in Trump's 1st year back in office had
violent
criminal records,
document
shows
cbsnews.com
·
2h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The French university where
spies
go for training
bbc.com
·
35m
·
Discuss:
Hacker News
🔒
Cryptography
Tenure
Eliminated
at Oklahoma Colleges
insidehighered.com
·
2h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Fintech
unicorn
Zepz
to lay off 20% of its global workforce, sources say
cnbc.com
·
2h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Hims
cancels plans to sell
compounded
GLP-1 pill after FDA backlash
biopharmadive.com
·
4h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
How
Noam
Chomsky
Became the Establishment's Favorite Radical
josealnino.org
·
1h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
‘Hidden’
bugs
in our gut
appear
key to good health, finds global study
cam.ac.uk
·
4h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Windows
WLAN
Netsh
Report
apocryphos.com
·
1h
·
Discuss:
Hacker News
🐛
Vulnerability Research
America Has a
Tungsten
Problem
noleary.com
·
4h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
California Wants Gun
Blueprints
Treated
Like Weapons
reclaimthenet.org
·
3h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Covid
, War, Red Sea: 80% of Europe's Supply Chain
Rocked
by Crisis (2025)
modaes.com
·
3h
·
Discuss:
Hacker News
🦀
Rust
Ads
Don't Work That Way (2014)
meltingasphalt.com
·
1h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Asteroid
Bennu
Just Changed the Origin Story of Life
scitechdaily.com
·
5h
·
Discuss:
Hacker News
🔒
Cryptography
Loading...
Loading more...
« Page 5
•
Page 7 »
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