(Lean) DoomBy plinkplonk · 2026-10-05 · 1 points · 0 commentshttps://github.com/alaskahoffman/leandoomBy plinkplonk · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews