
Birjold
1K posts



Anthropic claims they won't launch Mythos because it exposes bugs in software, making it too dangerous. I'm the creator of a new language named Bend (19k stars on GitHub). Its version 2 is coming next month, including a 10x faster CPU and GPU runtime, compilers to 5 different languages, a massive stdlib, and, most importantly, a *complete proof checker*. That makes it the first general language that can prove the correctness of its own programs, so, conveniently enough, it could be the way out of this very mess Anthropic is worried about. Sadly, Bend2 is now reaching 100k lines of code, making it increasingly hard for us to audit and verify it all. Proof checkers are particularly security-sensitive, because a single bug can lead to false theorems being accepted, undermining the entire trust model of the system. Even Lean, Coq and Agda had bugs in the past. We just finished Bend's initial consistency checker. Having Myhos audit our implementation would greatly improve Bend's security. In turn, a secure Bend could greatly improve the security of all other software, providing a solution the very problem that prevents Mythos from being released. I hope this message reaches someone from Anthropic, and they kindly consider letting Bend2 be part of Glasswing!














🚨Una joven de 19 años ha dejado al mundo en shock tras dar a luz a gemelos que, luego de pruebas genéticas, resultaron tener padres diferentes. El caso fue confirmado mediante análisis de ADN que demostraron que cada bebé comparte material genético con un hombre distinto. Este fenómeno, conocido como superfecundación heteropaterna, ocurre cuando dos óvulos liberados en el mismo ciclo son fecundados por espermatozoides de diferentes hombres en un corto periodo de tiempo. Aunque es extremadamente raro en humanos, la ciencia reconoce su existencia y ha documentado casos similares en distintos países.

















