https://jack-vanlightly.com/blog?format=rss
{ dist sys, formal verification, event streaming }
Aug 28, 2026
The AtomicLog + LogDrive: Strong vs weak sealing
This post continues to elaborate on Virtual Consensus and the new Loglet abstractions of the AtomicLog and LogDrive. My last post focused on composability, this post looks at log sealing. A common
None found.
If you are the site owner, you can add <link rel="me" ...> elements to link to your other sites or profile pages.
These will appear after the next crawl.
None found.
Web feeds (RSS feeds or Atom feeds) will appear here. If you are the site owner you can add an OPML blogroll to recommend other blogs or websites.
None found.
If you'd like to promote this feed you can add it to your OPML blogroll. You'll appear here as a subscriber after the next crawl if your site is part of the network.
This feed scored 18 point in our rating.
A feed can increase its score (and appear higher on our list) by implementing an OPML blogroll, adding a title, description, categories, and more.
cats - 0See criteria
description - 3
feedlangs - 1
hascontent - 0
hasposts - 3
postcats - 1
promoted - 5
promotes - 0
relme - 0
title - 3
website - 2