xjdr
@_xjdr
building AI that wont embarrass me in front of my own standards
Joined December 2023
725 Following 29.3K Followers
i have decided that people throwing tokens at vibe slopping math is a net positive. i've turned the corner and am now entertained . So go on all you truth seekers, download lean4 and Mathlib and sling them tokens!
Show more
