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
290.6
ms
KPMG
pressed its
auditor
to pass on AI cost savings
irishtimes.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Dell
support (and hardware) is so bad, I almost
sued
them
blog.joshattic.us
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
What Is
Stoicism
?
stoacentral.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Run
Node.js
, Next.js, and
Express
in the Browser
almostnode.dev
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Researchers ‘
surprised
’ by the brain benefits of
cannabis
usage in adults over 40
nypost.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
How patient are AI
scrapers
,
anyway
?
lars.ingebrigtsen.no
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
2d
·
Discuss:
Hacker News
,
r/Compilers
🦀
Rust
Azure: Virtual network
routing
appliance
overview
learn.microsoft.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
V.I.
Arnold
, On teaching
mathematics
karlin.mff.cuni.cz
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
NSA
detected
phone call between foreign intelligence and a person close to Trump
theguardian.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
How Meta turned the Linux Kernel into a planet-scale
Load
Balancer
. Part I
softwarefrontier.substack.com
·
2d
·
Discuss:
Substack
📡
Side-Channel Attacks
A2CDVI
– HDMI output from from the Apple
IIc
's digital video output connector
github.com
·
2d
·
Discuss:
Hacker News
🎨
Rendering
qrafty-ai/teleop
_xr: Transforms your VR/AR headset into a powerful, precise robot controller
github.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
We are not
scared
of AI, we are
scared
of
irrelevance
adlrocha.substack.com
·
2d
·
Discuss:
Substack
📡
Side-Channel Attacks
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Beyond
agentic
coding
haskellforall.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
🦀
Rust
Revealed: How
Substack
makes money from hosting Nazi
newsletters
theguardian.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Startup founder behind San
Francisco
pro-billionaire
rally
sfgate.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
How to Identify and
Eliminate
Unused
AWS Resources
medium.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
The End of Software as a Business?
thatwastheweek.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 45
•
Page 47 »
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