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
2611
posts in
165.3
ms
My
Airships/Chapter
22 -
Wikisource
, the free online library
en.wikisource.org
·
1d
·
Discuss:
Hacker News
🦀
Rust
Keeping
WSL
Alive
shift1w.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Japan's
Sanae
Takaichi wins a
landslide
in snap election, exit polls project
nbcnews.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
You don't need
RAG
in 2026
ryanlineng.substack.com
·
1d
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
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
·
1d
·
Discuss:
Hacker News
🦀
Rust
How to
Destroy
a Space
Station
thequantumcat.space
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
A
failed
wantrepreneur
's view on common startup advice
developerwithacat.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
What do you expect from a Turkey-based
hosting
provider
?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
AI is making me
anxious
and
stupid
tom.so
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Ask HN: How do you
maintain
integrations
once they're in production?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
GoodluckH/hibernate
: Permanently store what makes you who you are for reconstruction
github.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Yattee
2 – Privacy oriented video player for iOS,
tvOS
and macOS
github.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Everyone should play more games
offline
gabrielcornish.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
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Last Generation of
Coder
medium.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Exploiting signed
bootloaders
to
circumvent
UEFI Secure Boot
habr.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
Discord
Alternatives
, Ranked
taggart-tech.com
·
14h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Opinion | It’s the A.I. Economy,
Stupid
nytimes.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 33
•
Page 35 »
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