Taelin

RELEASE DAY After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world! Bend compiles modern programming features, including: -…

BTW, as some of you know, my team is actively looking to join a larger AI lab so we can make this day arrive faster We're one of the few people in the world capable of building proof assistants (like Lean), compilers and GPU kernels from scratch; we built the world's fastest…

I'm still waiting for this moment TBH And that's from someone who *wants* to be surpassed by AIs. Mostly because all I care about is shipping great tech, and using great tech. I became competent at programming, studied type theory, mastered the λ-calculus not to feel good about…

crackpottery alert :3 So I think the image below could be the fundamentally canonical way to implement equality in a proof lang. Basically, the identity type *reduces* to a value of the type it identifies. So, for ex, the type `Id Nat 2 2` reduces to `2`. We then allow values to…

Am I crazy or is logic a non-factor in medicine? As in, if there is no *data* to support an action, then, that action is, by default, considered harmful - even when *logic* would say otherwise? (Note: this post will be a 100% uninformed rant about my health, and topics I don't…

then, once in a blue moon, it will just to one shot a super hard prompt that all other models failed I don't get this model perhaps it is actually good and I should spend more time learning how to extract the best it has to offer...

ok fuck I'm getting obsessed with this 💀 there is simply no way this is true, 40%+ with 200 GPU hours. when I clear this big Bend2 task I think I'll just clone that repo and attempt to reproduce it myself. getting ready for yet another disappointment