Post #1490224
2026-04-02 18:47 UTC
@lindsey @jonmsterling @zwarich the paragraph after "Lean is implemented in Lean" sounds like the beginning of a copypasta 😭
Replies (1)
-
@zwarich@hachyderm.io 2026-04-02 18:57
@nemo @lindsey @jonmsterling One decision. Everything else follows from it. My code, blog posts, emails, birthday cards, and tax returns are all slop. There are no band-aids. No glue between thoughts and words. No obscure exertion for a dead medium.