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
2628
posts in
280.8
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
Show HN: One app to
command
CLI
agents across projects
rex.mindmeld360.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
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
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
You Should Be Take as Much Tech Debt as You
Possibly
Can
singularitea.bearblog.dev
·
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
Show HN:
Textream
: Dynamic Island-style
teleprompter
for macOS with voice track
blog.fka.dev
·
2d
·
Discuss:
Hacker News
🦀
Rust
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
Opus
4.5 really
changed
things
kylerush.org
·
1d
·
Discuss:
Hacker News
🦀
Rust
Show HN: I built a festival tracker that
matches
lineups
to your music library
apps.apple.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Last Generation of
Coder
medium.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Loading...
Loading more...
« Page 38
•
Page 40 »
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