Feeds to Scour
SubscribedAll
Scoured 9689 posts in 200.2 ms
Automating Authentication Flows for High Traffic Events Using Python
dev.to·1d·
Discuss: DEV
🌐Network Protocols
akshat666/ephemeral-first-security-framework: Security through transience, not just encryption
github.com·22h·
Discuss: Hacker News
🌐NetworkProtocols
MAS-ProVe: Understanding the Process Verification of Multi-Agent Systems
arxiv.org·9h
✅Model Checking
Fitness Functions: Automating Your Architecture Decisions
lukasniessen.medium.com·7h·
Discuss: r/devops, r/node, r/programming, r/typescript
🧪Property-Based Testing
Formally Verifying PBS Kids with Lean4
shadaj.me·1d·
Discuss: Hacker News
🎮Verification Games
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
📦Module Systems
Building Robust Email Verification Flows with Go and Open Source Tools
dev.to·14h·
Discuss: DEV
🌐NetworkProtocols
a Pingora-based reverse proxy (inspired by River)
sentinel.raskell.io·6h·
Discuss: Hacker News
🌐NetworkProtocols
CIPHER: Cryptographic Insecurity Profiling via Hybrid Evaluation of Responses
arxiv.org·1d
🧪Property-Based Testing
Simple vanilla restaurant booking system
vanillife.substack.com·5h·
Discuss: Substack
🎯GADT
MoltID – OAuth-Style Identity Verification for Autonomous Agents
news.ycombinator.com·6h·
Discuss: Hacker News
🌐ActivityPub
A Black Box Made Less Opaque (part 2)
lesswrong.com·9h
🔢Algebraic Data Types
I Am Not a Functional Programmer
blog.daniel-beskin.com·54m·
Discuss: r/programming
λFunctional Programming
Multi-layer defense for LLM agents inspired by immune systems (seeking critique)
gist.github.com·4h·
Discuss: Hacker News
🛡️seL4
MoaV: Multi-Protocol Internet Censorship Circumvention Stack
moav.sh·1d·
Discuss: Hacker News
🌐Network Protocols
Pascal-J/type-system-j: adds an optional type system to J language
github.com·17h·
Discuss: Lobsters
🎯GADT
How LSP Works: Building a Grammar Checker LSP from Scratch in Rust
aroy.sh·1d·
Discuss: Hacker News
📦Module Systems
RP2350 Hacking Challenge 2: Less randomisation, more correlation
raspberrypi.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Digital ID done right: verifiable claims without the surveillance
willhackett.uk·17h·
Discuss: Hacker News
🛡️macOS Security
Python 3.14.3 and 3.13.12 are now available!
pythoninsider.blogspot.com·16h·
Discuss: Blogger
📦Opam

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