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
2612
posts in
245.4
ms
Microsoft purges Windows 11 printer drivers, putting millions of devices on
borrowed
time — legacy printers face extinction as Microsoft stops
distributing
V3 and V4 drivers
tomshardware.com
·
2d
·
Discuss:
Hacker News
⚡
CUDA
We
mourn
our
craft
nolanlawson.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Micro-Front
Ends in 2026: Architecture Win or
Enterprise
Tax?
iocombats.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The Story of
Heroku
(2022)
leerob.com
·
2d
·
Discuss:
Hacker News
🦀
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
Tech Things:
Moltbook
isn’t real but it can still
hurt
you
12gramsofcarbon.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
ClassicOldSong/Plexsonic
: Plex Music to Subsonic bridge
github.com
·
1d
·
Discuss:
Hacker News
,
r/selfhosted
📡
Side-Channel Attacks
lowobservable/oec
: IBM 3270 terminal controller - IBM 3174 replacement
github.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
·
2d
·
Discuss:
Hacker News
,
nibblestew.blogspot.com
,
r/cpp
🦀
Rust
AI Is Finally
Eating
Software’s
Total
Market: Here’s What’s Next
vinvashishta.substack.com
·
2d
·
Discuss:
Substack
📡
Side-Channel Attacks
California urges people to avoid wild
mushrooms
after 4 deaths, 3 liver
transplants
cbsnews.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Ask HN: Was my first management job bad, or is this what management is like?
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Research: Major Pirate Site Shutdown
Boosted
Visits to other Pirate Sites (and Netflix) *
TorrentFreak
torrentfreak.com
·
2d
·
Discuss:
Hacker News
,
r/Piracy
🐛
Vulnerability Research
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
Startup founder behind San
Francisco
pro-billionaire
rally
sfgate.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 43
•
Page 45 »
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