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
2613
posts in
160.7
ms
The California peak so deadly public safety officials
compare
it to
Everest
sfgate.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Denmark's Red Street
Lighting
Solves
A Problem Every City Has
newsweek.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Here's
Jony
Ive's Ferrari
Luce
EV Interior and Interface Design
macrumors.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Native voice
cloning
for Mac,
runs
on-device
speaklone.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Live updates: Trump administration news,
Ghislaine
Maxwell pleads the
Fifth
, DHS funding talks deadline approaches
cnn.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Three Cache
Layers
Between Select and
Disk
frn.sh
·
23h
·
Discuss:
Hacker News
,
r/programming
📡
Side-Channel Attacks
Extract
Audio from Video Online Free
eranol.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Mars
Organics
Can’t Be Fully Explained by
Geological
Processes Alone, NASA Study Says
sci.news
·
1d
·
Discuss:
Hacker News
🎨
Rendering
Using light-based computing to
tackle
complex
challenges
queensu.ca
·
23h
·
Discuss:
Hacker News
🔒
Cryptography
Why
Canvas
Breaks Your Screen
Recorder
(and What to Do Instead)
sendrec.eu
·
1d
·
Discuss:
Hacker News
🎨
Rendering
The
Homunculus
explodi.tubatuba.net
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
A
raycasting
engine in 7 easy
steps
austinhenley.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
The
Styx
Architecture for
Distributed
Systems (1999)
inferno-os.org
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Rethinking
the Linux Desktop: Base OS and
AppImages
world.hey.com
·
23h
·
Discuss:
Hacker News
🐛
Vulnerability Research
To The
Botkeeper
Community
botkeeper.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
AirPods
Pro 4 Could Feature
Cameras
to 'See Around You'
macrumors.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
OCapN
and
Structural
Authority in Agentic AI
serefayar.substack.com
·
1d
·
Discuss:
Substack
,
r/programming
🔐
Zero-Knowledge Proofs
Learn
Weird
Programming
Languages
okienko.day
·
1d
·
Discuss:
Hacker News
🦀
Rust
CLIProxyAPIPlus
– use
antigravity
, Gemini CLI, & more with Claude Code
github.com
·
9h
·
Discuss:
Hacker News
🦀
Rust
I'm a
therapist
who built a self-aware AI
therapist
with no coding
background
medium.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 21
•
Page 23 »
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