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
🎨 Rendering
Computer Graphics, Global Illumination
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3825
posts in
168.7
ms
ANIMAGUS
: A Provably Secure
Accordion
Mode of Operation
eprint.iacr.org
·
1d
🔐
Zero-Knowledge Proofs
Rule Variant Restrictions for the
Tamarin
Prover
eprint.iacr.org
·
1d
✅
Formal Methods
I built a free
When2Meet
alternative
that works on mobile
groupmeetingscheduler.com
·
1d
·
Discuss:
Hacker News
,
r/InternetIsBeautiful
✅
Formal Methods
Onlybots.cam
onlybots.cam
·
1d
·
Discuss:
Hacker News
,
r/SideProject
📡
Side-Channel Attacks
Inside the Secret
Smear
Machine That’s Targeting
Hollywood
hollywoodreporter.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
How I Developed Netlify
Capsules
AR Experience with
Nuxt
4 and Three JS
leemartin.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Originators
of Information
csmeyer.substack.com
·
1d
·
Discuss:
Substack
🐛
Vulnerability Research
Show HN: Bulk
Localizations
and PPP Pricing for
AppStore
appstorelocalization.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
A
note
about personal security
werd.io
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
MDST
Engine: run
GGUF
models in the browser with WebGPU/WASM
mdst.app
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
So, if Rust is in Linux... can it be in
Emacs
, too?
lists.gnu.org
·
1d
·
Discuss:
Hacker News
🦀
Rust
OLIX
: Compute
Manifesto
olix.com
·
1d
·
Discuss:
Hacker News
⚡
CUDA
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Your
Peon
pings
you the instant Claude Code finishes
peon-ping.vercel.app
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Software as a tool, not an end in itself: A
plea
for more domain
expertise
heise.de
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
The Real
Bottleneck
: Why
Faster
Coding Doesn't Speed Up Projects
heise.de
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Is anyone using AI for good?
stackoverflow.blog
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
First to Be Second: Why
Enduring
AI Companies Will Be
Started
After This Wave
babin.posthaven.com
·
1d
·
Discuss:
Hacker News
🔒
Cryptography
Show HN: On-Call Health – Spot signs of
overload
in incident
responders
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
Loading...
Loading more...
« Page 29
•
Page 31 »
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