Toot

Written by Jarrod Urban on 2025-01-13 at 06:32

@ahelwer I took a quick look. It is mostly logic. It would also take me some time to work through it.

Thanks for sharing. It has been a while since I thought about Lamport.

=> More informations about this toot | View the thread | More toots from jarrodu@social.tchncs.de

Mentions

=> View ahelwer@discuss.systems profile

Tags

Proxy Information

Original URL: gemini://mastogem.picasoft.net/toot/113819645024381749
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 324.628958 milliseconds
Gemini-to-HTML Time: 0.303654 milliseconds

This content has been proxied by September (ba2dc).