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
126.0
ms
The Best
Potato
Chips
nytimes.com
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Anthropic
Closes
in on $
20B
Round
techcrunch.com
·
15h
·
Discuss:
Hacker News
🎨
Rendering
Databricks Grows >65% YoY, Surpasses $5.4 Billion Revenue Run-Rate, Doubles Down on
Lakebase
and
Genie
databricks.com
·
15h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Can
creativity
survive
the loss of time and space?
kamilas.substack.com
·
15h
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Running my
kernel
on real
hardware
kamkow1lair.pl
·
15h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
'The most
anti-biking
bill in history' — Iowa’s near-total bike ban proposal is bizarre and
alarming
cyclingweekly.com
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Unified
crypto
pricing
API for developers
luzia.dev
·
14h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Togelius
:
Math
and me
togelius.blogspot.com
·
14h
·
Discuss:
Hacker News
🦀
Rust
Data
Modeling
Is
Changing
ssp.sh
·
9h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Inside
Mesa
26.0's
RADV
RT improvements
pixelcluster.github.io
·
10h
·
Discuss:
Hacker News
,
r/linux_gaming
🎨
Rendering
The
journey
was the point
mahdiyusuf.com
·
13h
·
Discuss:
Hacker News
🔒
Cryptography
CPUs
are Back: The
Datacenter
CPU Landscape in 2026
newsletter.semianalysis.com
·
15h
·
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
·
12h
·
Discuss:
Hacker News
,
Hacker News
🔐
Zero-Knowledge Proofs
How to Keep What You Built
Together
claudepress.substack.com
·
2h
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Better Python tests with
inline-snapshot
pydantic.dev
·
11h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Linker
Script Generation for
Firmware
Projects: A Primer
dnedic.github.io
·
13h
·
Discuss:
Hacker News
,
r/embedded
🦀
Rust
Introducing
Composer
1.5
cursor.com
·
12h
·
Discuss:
Hacker News
🦀
Rust
We
chose
a pipeline over speech-to-speech for
evaluative
voice AI
productfit.substack.com
·
4h
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Show HN: I made a Claude Code guide that's a
Win95
desktop
with games
gabezen.com
·
8h
·
Discuss:
Hacker News
🦀
Rust
The AI
Revolution
in Health Insurance: What It Means for Your
Coverage
and Costs
suretyinsights.com
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 11
•
Page 13 »
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