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
2637
posts in
363.8
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
Saving sunny days for a
rainy
day: a new molecule for
storing
green energy
nouvelles.umontreal.ca
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Praise
for Price
Gouging
grumpy-economist.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Computing large
Fibonacci
numbers
johndcook.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
You don't need
RAG
in 2026
ryanlineng.substack.com
·
2d
·
Discuss:
Substack
🔐
Zero-Knowledge Proofs
Electrobun
v1: Build fast, tiny, and cross-platform desktop apps with
TypeScript
blackboard.sh
·
2d
·
Discuss:
Hacker News
🦀
Rust
Gorge
(2022)
qntm.org
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
Running Your Own AS: BGP on FreeBSD with
FRR
,
GRE
Tunnels, and Policy Routing
blog.hofstede.it
·
2d
·
Discuss:
Lobsters
,
Hacker News
📡
Side-Channel Attacks
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
ctanas/tiles
:
Tagged
Instant Lightweight Emacs Snippets (TILES)
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
ShellScope
– open-source flight recorder for
transient
Windows processes
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
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
Teaching
Computers
to
Laugh
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
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
Intel Recently
Shelved
Numerous
Open-Source Projects
phoronix.com
·
1d
·
Discuss:
Hacker News
,
r/linux
⚡
CUDA
The AI
Bubble
I Live In (And You
Probably
Don’t)
thoughts.jock.pl
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Show HN:
MemeOS
– The Ultimate Meme
Operating
System (iOS)
apps.apple.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 40
•
Page 42 »
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