Bend2's state is a bit sad right now, the last prompt failed The situation is: - theory is formalized in Lean and proven consistent. BUT the formalized statement has some silly, non critical errors that require update - the core implementation is very stable. I audited each line obsessively, several times. AI models can't find any exploit (inconsistency / proof of Empty). this is the most solid part and I'll place a bounty in its consistency - the compiler and runtime are working. Bend outperforms C in most benchmarks, it parallelizes with near ideal speedup up to 1000's cores, 10x-100x faster than Bend1. but the code is a mess. layers upon layers of AI slop, a bunch of r-word stuff I didn't have the time to purge yet. "it works" is the best I can say about it I'm now torn between: 1. launch all as is, clean up AI slop and fix bugs later 2. launch just the core, leave the compiler + runtime to later 3. not launch anything at all and wait 1-2 months til each line is pristine I'm super stressed because I wish the AI would just write good code so this would be done already. launch is strategically relevant because it is when many people outside of this small bubble will try it, and they won't be as kind. if things break they might just give up and not come back