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!
더 보기
