logoalt Hacker News

dmos62today at 7:26 AM1 replyview on HN

Do you find Lean 4 sufficient for highly async systems?


Replies

iFiretoday at 7:58 AM

I haven't made money on yet, but I'm trying to model a webtransport (http/3, quic) system for massive multiplay vr games.

See https://aws.amazon.com/builders-library/challenges-with-dist... for how async related to distributed systems.