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
2646
posts in
193.6
ms
Databricks Grows >65% YoY, Surpasses $5.4 Billion Revenue Run-Rate, Doubles Down on
Lakebase
and
Genie
databricks.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Can
creativity
survive
the loss of time and space?
kamilas.substack.com
·
1d
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
E2EE
Backend part 1:
Homomorphic
Encryption
peterspath.net
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Running my
kernel
on real
hardware
kamkow1lair.pl
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
CPUs
are Back: The
Datacenter
CPU Landscape in 2026
newsletter.semianalysis.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
How
Institutions
Forget
How to Move
seeingthesystem.com
·
1d
·
Discuss:
Hacker News
,
r/longform
📡
Side-Channel Attacks
Anthropic
Closes
in on $
20B
Round
techcrunch.com
·
1d
·
Discuss:
Hacker News
🎨
Rendering
The
Quest
for
Simplicity
prokeimenon.org
·
1d
·
Discuss:
Hacker News
🦀
Rust
A 24%
Success
Rate for AI Agents
bankinfosecurity.com
·
20h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN: I killed my
Calendly
link after people
booking
randomly
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Rise of the
Cowboy
Coder
jollycoder.com
·
18h
·
Discuss:
Hacker News
🐛
Vulnerability Research
CLIProxyAPIPlus
– use
antigravity
, Gemini CLI, & more with Claude Code
github.com
·
15h
·
Discuss:
Hacker News
🦀
Rust
AI
Flattened
the Engineering
Ladder
ossama.is
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AI is a High Pass
Filter
for Software
Delivery
bryanfinster.substack.com
·
20h
·
Discuss:
Substack
📡
Side-Channel Attacks
Discord
Is Not an
Acceptable
Choice for Free Software Projects (2020)
sneak.berlin
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
How
Discord
Is Building
Safer
Experiences for Teens
discord.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
I don't like
imports
kevincox.ca
·
1d
·
Discuss:
Hacker News
🦀
Rust
vassiliylakhonin/bizcard-ai-scanner
: AI-powered business card scanner (web app) that extracts structured contact details from photos or video using Google Gemini, deduplicates results, and exports to Excel/CSV/vCard
github.com
·
12h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Apple, Google agree to
loosen
grip
on UK app stores
theregister.com
·
7h
·
Discuss:
Hacker News
🔒
Cryptography
Loading...
Loading more...
« Page 23
•
Page 25 »
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