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
2635
posts in
397.5
ms
My
Airships/Chapter
22 -
Wikisource
, the free online library
en.wikisource.org
·
2d
·
Discuss:
Hacker News
🦀
Rust
Keeping
WSL
Alive
shift1w.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Japan's
Sanae
Takaichi wins a
landslide
in snap election, exit polls project
nbcnews.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
America does not trust Putin or Trump: Americans support increased military aid to Kyiv, have a low opinion of Trump's Ukraine policy, and
doubt
the
likelihood
of reaching a reliable agreement with Putin
re-russia.net
·
2d
·
Discuss:
Hacker News
🦀
Rust
Alien
Assumptions
mindlessalgorithm.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
How to
Destroy
a Space
Station
thequantumcat.space
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
A
failed
wantrepreneur
's view on common startup advice
developerwithacat.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
What do you expect from a Turkey-based
hosting
provider
?
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AI is making me
anxious
and
stupid
tom.so
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
United States – Crypto
Scam
Help – Intelligence Cyber
Wizard
Safe Guide
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
nathaniel-fargo/monitui
: a lovely tui for wrangling your hyprland monitors like
nobodies
business. built with rust ofc ofc
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Nabaztag
:
Embodiment
of "IoT" that was before its time
nabaztag.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
davidalber/geneagrapher
: Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Show HN:
MemeOS
– The Ultimate Meme
Operating
System (iOS)
apps.apple.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Context
Is Part of the Game
joy.pm
·
2d
·
Discuss:
Hacker News
🦀
Rust
Opus
4.5 really
changed
things
kylerush.org
·
1d
·
Discuss:
Hacker News
🦀
Rust
Discord
Alternatives
, Ranked
taggart-tech.com
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Here's what you need to know to avoid multi-million-dollar
subscription
traps
rnz.co.nz
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN: I built a festival tracker that
matches
lineups
to your music library
apps.apple.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 39
•
Page 41 »
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