Feeds to Scour
SubscribedAll
Scoured 9691 posts in 129.1 ms
Automating Authentication Flows for High Traffic Events Using Python
dev.to·21h·
Discuss: DEV
🌐Network Protocols
Preview
Report Post
akshat666/ephemeral-first-security-framework: Security through transience, not just encryption
github.com·18h·
Discuss: Hacker News
🌐NetworkProtocols
Preview
Report Post
MAS-ProVe: Understanding the Process Verification of Multi-Agent Systems
arxiv.org·5h
✅Model Checking
Preview
Report Post
Fitness Functions: Automating Your Architecture Decisions
lukasniessen.medium.com·3h·
Discuss: r/devops, r/node, r/programming, r/typescript
🧪Property-Based Testing
Preview
Report Post
Formally Verifying PBS Kids with Lean4
shadaj.me·1d·
Discuss: Hacker News
🎮Verification Games
Preview
Report Post
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
📦Module Systems
Preview
Report Post
Building Robust Email Verification Flows with Go and Open Source Tools
dev.to·11h·
Discuss: DEV
🌐NetworkProtocols
Preview
Report Post
a Pingora-based reverse proxy (inspired by River)
sentinel.raskell.io·3h·
Discuss: Hacker News
🌐NetworkProtocols
Preview
Report Post
CIPHER: Cryptographic Insecurity Profiling via Hybrid Evaluation of Responses
arxiv.org·1d
🧪Property-Based Testing
Preview
Report Post
Simple vanilla restaurant booking system
vanillife.substack.com·2h·
Discuss: Substack
🎯GADT
Preview
Report Post
MoltID – OAuth-Style Identity Verification for Autonomous Agents
news.ycombinator.com·2h·
Discuss: Hacker News
🌐ActivityPub
Preview
Report Post
A Black Box Made Less Opaque (part 2)
lesswrong.com·6h
🔢Algebraic Data Types
Preview
Report Post
Multi-layer defense for LLM agents inspired by immune systems (seeking critique)
gist.github.com·1h·
Discuss: Hacker News
🛡️seL4
Preview
Report Post
RP2350 Hacking Challenge 2: Less randomisation, more correlation
raspberrypi.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Preview
Report Post
MoaV: Multi-Protocol Internet Censorship Circumvention Stack
moav.sh·22h·
Discuss: Hacker News
🌐Network Protocols
Preview
Report Post
How to write a WebSocket Server in Simple Steps
betterengineers.substack.com·1d·
Discuss: r/programming
🌐Network Protocols
Preview
Report Post
How LSP Works: Building a Grammar Checker LSP from Scratch in Rust
aroy.sh·1d·
Discuss: Hacker News
📦Module Systems
Preview
Report Post
Pascal-J/type-system-j: adds an optional type system to J language
github.com·14h·
Discuss: Lobsters
🎯GADT
Preview
Report Post
Digital ID done right: verifiable claims without the surveillance
willhackett.uk·13h·
Discuss: Hacker News
🛡️macOS Security
Preview
Report Post
Zero-Knowledge Leaks: Implementation Flaws in ZK-Proof Authentication
instatunnel.my·1d·
Discuss: r/programming
🧮Z3
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help