xjdr
@_xjdr
building AI that wont embarrass me in front of my own standards
参加 December 2023
725 フォロー中 29.3K ファン
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!
もっと見る
