top | item 46220086 (no title) yuppiemephisto | 2 months ago Maybe (vibe) coding it in lean would be fun discuss order hn newest No comments yet.
No comments yet.