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
2596
posts in
65.6
ms
Groverkss/mlir-tutor
: Exercises for Learning MLIR (Originally written for
PPoPP
2026)
github.com
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🦀
Rust
intelligenthack/moonbuggy
: .NET i18n library — PO + ICU MessageFormat with zero-allocation source-generated translations
github.com
·
18h
·
Discuss:
Hacker News
🦀
Rust
America Has a
Tungsten
Problem
noleary.com
·
7h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Covid
, War, Red Sea: 80% of Europe's Supply Chain
Rocked
by Crisis (2025)
modaes.com
·
5h
·
Discuss:
Hacker News
🦀
Rust
The first time I
visited
Meta’s headquarters in
Menlo
Park, it didn’t quite register as a real place.
k2xl.substack.com
·
2h
·
Discuss:
Substack
🐛
Vulnerability Research
Shades
of
Meaning
(2018)
mag.uchicago.edu
·
1h
·
Discuss:
Hacker News
🎨
Rendering
ChatGPT as a doctor
replacement
? Study shows
sobering
results
heise.de
·
2h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Ads
Don't Work That Way (2014)
meltingasphalt.com
·
3h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Google AI Tools Start
Blocking
Disney-Related
Prompts
After Mouse House’s Legal Threat
deadline.com
·
4h
·
Discuss:
Hacker News
🎨
Rendering
Building Netflix
colossus.com
·
4h
·
Discuss:
Hacker News
🎨
Rendering
Will the Remote Access Security Act close the cloud
loophole
in the US Export Administration
Regulations
?
exportcompliancemanager.com
·
7h
·
Discuss:
Hacker News
🔒
Cryptography
The power of anime: using anime for education and
outreach
in
STEM
frontiersin.org
·
6h
·
Discuss:
Hacker News
🎨
Rendering
Political
Extremism
in Japan and Its
Dangers
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Instagram and YouTube owners built '
addiction
machines', trial
hears
bbc.com
·
4h
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Having a well
paid
side-hustle
while working in tech leadership
news.ycombinator.com
·
49m
·
Discuss:
Hacker News
🔒
Cryptography
Show HN:
DayTape
– record thoughts, get
transcripts
, takeaways, and patterns
apps.apple.com
·
7h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Buying the
Kinesis
Advantage
360 keyboard was a mistake
angelika.me
·
4h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Strengthening
Windows trust and security through User Transparency and
Consent
blogs.windows.com
·
6h
·
Discuss:
Hacker News
🔒
Cryptography
What's All This
Muntzing
Stuff,
Anyhow
? (1992)
electronicdesign.com
·
5h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Btrfs
Brings Experimental
Remap-Tree
Feature & More In Linux 7.0
phoronix.com
·
2h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 6
•
Page 8 »
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