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
2636
posts in
247.8
ms
Thermal
modeling revealed a 48-hour anomaly that
repeats
every spring
bassfinity.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Sandwich
Bill of
Materials
nesbitt.io
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Paths
of
MySQL
, vector search edition
theconsensus.dev
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Re-Identification
vs
Anonymization
Strength
testingbranch.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Font
Rendering
from First Principles
mccloskeybr.com
·
2d
·
Discuss:
Hacker News
🎨
Rendering
Java UI in 2026: an
overview
of current
frameworks
and approaches
robintegg.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Building
Mockingjay
: A Video
Recorder
for When It Matters Most
tskulbru.dev
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Deep dive into
Hierarchical
Navigable
Small Worlds
amandeepsp.github.io
·
2d
·
Discuss:
Hacker News
,
r/Zig
,
r/programming
📡
Side-Channel Attacks
Framework 13
Initial
Impressions
abgn.me
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
How We
Improved
Rails
Response Times by 87%
fastretro.app
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Major political
upheaval
in Japan? Sanae Takaichi may
dissolve
the Diet
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Hiring AI Developers Fast: Direct Hire vs.
Agencies
vs.
Marketplaces
vindler.solutions
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN:
Standardized
robot brain with
hardware
safety
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Prepare your OSS
repo
for AI coding
assistants
angiejones.tech
·
2d
·
Discuss:
Hacker News
🦀
Rust
Self-improving
CLAUDE.md
files
martinalderson.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
A
timeline
of claims about AI/LLMs
blog.nethuml.xyz
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Noam
Chomsky
's wife responds to Epstein controversy
aaronmate.net
·
2d
·
Discuss:
Hacker News
🦀
Rust
Musk
clips
his Mars settlement
ambition
, aims for the moon instead
cnn.com
·
1d
·
Discuss:
Hacker News
,
r/space
🔒
Cryptography
Show HN:
Seedance2.live
– One place to
try
many AI image and video models
seedance2.live
·
13h
·
Discuss:
Hacker News
🎨
Rendering
OpenClaw
Is
Changing
My Life
reorx.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 46
•
Page 48 »
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