⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
aron
Loading...
uhh happy pride month??
I hate that I'm noticing my writing become more claude-like. not even in obvious egregious ways, but subtle. under the surface. but it's definitely happening.
fable find a flaw in the bitcoin algorithm making me billions in the process
so what do we think, foom before sunrise?
fable solve a millennium problem but for real this time
FOMO as a service
@yetanotheruseless.com btw if you click auto update in the live lean share infoview extension you should automatically get the fix for the rpc error you saw (for next time)
how the hell is everyone already using fable it literally just came out
