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
🔒 Language-based security
information-flow
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16890
posts in
319.2
ms
When Clever Hardware Hacks Bite Back: A Password
Keeper
Device
Autopsy
hackaday.com
·
2d
🔓
Hacking
Private Sum Computation:
Trade-Offs
between Communication,
Randomness
, and Privacy
arxiv.org
·
1d
🔐
Homomorphic Encryption
A
Unified
Framework for LLM
Watermarks
arxiv.org
·
1d
💧
Digital Watermarking
The End of
IPFS
: Centralized Pinning Single Points of Failure, Cryptographic Hash Backdoors, DDoS Exploitation, and Gossip-Based Distributed Node
Eradication
zenodo.org
·
1d
·
Discuss:
Hacker News
🌐
IPFS
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
19h
·
Discuss:
Hacker News
⚡
Incremental Computation
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚖️
Hoare Logic
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
1d
·
Discuss:
Hacker News
📝
ABNF Extensions
Database
Schema
as Code Intelligence
dev.to
·
2d
·
Discuss:
DEV
🗄️
Database Internals
Jokes
on You AI: Turning the
Tables
dev-log.me
·
2d
·
Discuss:
Hacker News
⚔️
Lean Tactics
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
🤝
Consensus Protocols
OCapN
and
Structural
Authority in Agentic AI
serefayar.substack.com
·
23h
·
Discuss:
Substack
,
r/programming
🔐
Capability Systems
The
logs
I never read
pydantic.dev
·
2d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Show HN: A framework that makes your AI coding agent learn from every
session
github.com
·
5h
·
Discuss:
Hacker News
⚡
Proof Automation
Sandboxing
Systemd
Services
ejaaskel.dev
·
2d
·
Discuss:
Hacker News
🛡️
CLI Security
Discord to start
assuming
all users are
underage
unless they prove otherwise
theregister.com
·
16h
🛡
Cybersecurity
Show HN:
Codesession-CLI
–
Teach
your AI agent to track its own token costs
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔐
CBOR
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
15h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Setting
Up an
IRC
Server
neatnik.net
·
1d
·
Discuss:
Hacker News
🏠
HomeLab
MCP
multiplexer
that cuts agent context
usage
by 95%
mcplexor.com
·
1d
·
Discuss:
Hacker News
🤖
Network Automation
Loading...
Loading more...
« Page 4
•
Page 6 »
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