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!
显示更多
