Distributed Systems Workbench, Testing Framework, Jepsen-style, Consistency Validation

Feeds to Scour
SubscribedAll
Scoured 72673 posts in 639.7 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.orgยท1d
๐Ÿ“TLA+
Preview
Report Post
datahaven-xyz/datahaven: An EVM compatible Substrate chain, powered by StorageHub and secured by EigenLayer
github.comยท6h
๐ŸŽš๏ธTiered Storage
Preview
Report Post
Getting from tested to battle-tested
blog.janestreet.comยท1d
๐ŸงชJepsen Testing
Preview
Report Post
Real-Time Data Stream Processing in Go: Backpressure, Windowing, and Fault Tolerance Explained
dev.toยท18hยท
Discuss: DEV
โฐTimely Dataflow
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.siteยท16hยท
Discuss: Hacker News
๐Ÿ“žTauri IPC
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust Async
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.ioยท10h
โš“Anchors
Preview
Report Post
Improving Async Workflow Observability in Dapr
opentelemetry.ioยท1d
๐Ÿ”ญTracing
Preview
Report Post
ARISE -- Adaptive Refinement and Iterative Scenario Engineering
arxiv.orgยท3h
โšกIncremental Computation
Preview
Report Post
Merging To Test Is Killing Your Microservices Velocity
dev.toยท2dยท
Discuss: DEV
โ˜ธ๏ธKubernetes
Preview
Report Post
TigerBeetle vs PostgreSQL Performance: Benchmark Setup, Local Tests
softwaremill.comยท1d
๐Ÿ…TigerBeetle Protocol
Preview
Report Post
Experiments on Reward Hacking Monitorability in Language Models
lesswrong.comยท3h
๐Ÿ”“Binary Exploitation
Preview
Report Post
Vibe coding is a moving target (so donโ€™t marry the tool)
nothingeasyaboutthis.comยท6h
๐Ÿ’ฌPrompt Engineering
Preview
Report Post
Troubleshooting with fault tree analysis and PIOSEE
developers.redhat.comยท1d
๐Ÿ”Tokio Tracing
Preview
Report Post
Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors
towardsdatascience.comยท18h
๐Ÿฆ™Ollama
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.comยท1dยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.ioยท1d
๐Ÿ”Linux BPF
Preview
Report Post
Show HN: BackBuild โ€“ A framework for sequencing complex software delivery
arcaned.coยท20hยท
Discuss: Hacker News
๐Ÿ—๏ธCranelift
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.netยท1dยท
Discuss: Hacker News
๐Ÿ”eBPF Verifier
Preview
Report Post
Don't Trip[wire] Yourself: Testing Error Recovery in Zig
mitchellh.comยท1dยท
โš™๏ธZig
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