Feeds to Scour
SubscribedAll
Scoured 5728 posts in 16.4 ms
Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.)  ∀Lean4
semiengineering.com·2d
Barbara Liskov, Turing Award'08: Data Abstraction, Dijkstra, Distributed Systems  🔗Dependent Types
developing.dev·3d·Hacker News, r/programming
Deterministic routing is one of the most effective ways distributed systems reduce consistency problems at scale • Benjamin Cane  🌐Distributed Systems
bencane.com·6h
KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design.  ∀Lean4
github.com·1d·Hacker News
Replacing probabilistic AI with deterministic math and Dafny formal verification  ∀Lean4
gist.github.com·5d·Hacker News
Show HN: 1990s Game Dev Algorithms for Distributed Systems  ⚡Incremental Computation
docs.merca.earth·1d·Hacker News
Show HN: Distributed-correctness tests using Jepsen tooling pass on ArcadeDB  🔄CRDT
arcadedb.com·2d·Hacker News
Pact: Trustworthy Coordination for Multi-Agentic Ecosystems  🌐Distributed Systems
basis.ai·6d·Hacker News
BugBash'26 Morning of Day 1  🛡️Byzantine Consensus
muratbuffalo.blogspot.com·5d·Blogger
Feature Preview: RLS Tester · supabase  🎙️Whisper
github.com·3d·Hacker News
Barbara Liskov – Data Abstraction, Dijkstra, Distributed Systems [video]  λFunctional Programming
youtube.com·3d·Hacker News

No more posts from nmarshall's subscribed feeds.

Scour all 24432 feedsLearn more about Feeds

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
Save / unsave
s
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