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
2647
posts in
233.6
ms
Why Do Olympic Athletes
Bite
Their
Medals
?
thv11.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Travel to
Cheap
Destinations
nomagicpill.substack.com
·
2d
·
Discuss:
Substack
📡
Side-Channel Attacks
Keeping
WSL
Alive
shift1w.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Praise
for Price
Gouging
grumpy-economist.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
You don't need
RAG
in 2026
ryanlineng.substack.com
·
2d
·
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
·
2d
·
Discuss:
Hacker News
🦀
Rust
A
failed
wantrepreneur
's view on common startup advice
developerwithacat.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
A hidden
Aloe
vera
compound
takes aim at Alzheimer’s
sciencedaily.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Sandboxing
Systemd
Services
ejaaskel.dev
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
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:
EdgeAI-OS
–
Air-gapped
Linux distro where AI is a system primitive
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
davidalber/geneagrapher
: Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
ctanas/tiles
:
Tagged
Instant Lightweight Emacs Snippets (TILES)
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
The AI
Bubble
I Live In (And You
Probably
Don’t)
thoughts.jock.pl
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
SpaceX-xAI Merger: Nobody's Talking About the von
Neumann
Elephant
in the Room
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Containers, cloud, blockchain, AI – it's all the same old
BS
, says
RH
veteran
theregister.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
📡
Side-Channel Attacks
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
Discord
Alternatives
, Ranked
taggart-tech.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 44
•
Page 46 »
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