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
2627
posts in
188.6
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
DayTradingCentral
: Trading Journal, Stats,
Replay
& Tools
daytradingcentral.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
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
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
Jarvis2021/agent-vcr
: Agent
VCR
gives teams a way to test MCP: record client-server traffic into
.vcr
cassettes, replay it in tests and CI. No live servers, rate limits, or drift. Same format in Python and TypeScript so teams can share recordings. Built for compatibility gates, regression detection, and deterministic pipelines - the tool mature platform teams expect.
github.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
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
Show HN:
MemeOS
– The Ultimate Meme
Operating
System (iOS)
apps.apple.com
·
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
Last Generation of
Coder
medium.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Discord
Alternatives
, Ranked
taggart-tech.com
·
19h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
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