Feeds to Scour
SubscribedAll
Scoured 72707 posts in 310.5 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
📐TLA+
Preview
Report Post
Lambda Durable Functions - Keeping your Payloads Secure
dev.to·6h·
Discuss: DEV
📋etcd
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🦀Rust Async
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🔍eBPF Verifier
Preview
Report Post
AI AWS Diagram Generator
eraser.io·14h
📊Earley Parser
Preview
Report Post
datahaven-xyz/datahaven: An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer
github.com·7h
🎚️Tiered Storage
Preview
Report Post
Robust Verification of Concurrent Stochastic Games
arxiv.org·1d
✅Model Checking
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.io·10h
⚓Anchors
Preview
Report Post
**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...
freederia.com·2d
🧮SMT Solvers
Preview
Report Post
0-RTT Replay: The High-Speed Flaw in HTTP/3 That Bypasses Idempotency
instatunnel.my·1d·
Discuss: r/javascript, r/programming
📡QUIC Loss Detection
Preview
Report Post
Setting Up A Cluster of Tiny PCs For Parallel Computing - A Note To Myself
kenkoonwong.com·13h·
Discuss: Hacker News
📜MultiPaxos
Preview
Report Post
How bunq handles 97% of support with Amazon Bedrock
aws.amazon.com·15h
🌳Tree-sitter
Preview
Report Post
AWS Lambda From Scratch
forgestream.idverse.com·2d·
Discuss: r/rust
⚡FastAPI
Preview
Report Post
Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors
towardsdatascience.com·19h
🦙Ollama
Preview
Report Post
a transport layer for agentic apps
ably.com·11h·
Discuss: Hacker News
⚡NATS JetStream
Preview
Report Post
Amazon shopping automation without vision: verification gate+local model (3B)
news.ycombinator.com·18h·
Discuss: Hacker News
⚡X-Fast Tries
Preview
Report Post
Verifying a Quantum State More Efficiently
link.aps.org·1d
⚛️Quantum Computing
Preview
Report Post
Vitalik Buterin proposes simpler ‘distributed validator’ staking for Ethereum
coindesk.com·19h
🐅TigerBeetle Protocol
Preview
Report Post
Introducing ethlambda: A Lean Consensus Client for Ethereum's Next Era
blog.lambdaclass.com·1d
🐼Redpanda
Preview
Report Post
PyPI Package Impersonates SymPy to Deliver Cryptomining Malware
socket.dev·19h
🔓Binary Exploitation
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