arctic_
423 posts

arctic_ retweetledi

arctic_ retweetledi
arctic_ retweetledi
arctic_ retweetledi

> be taeyang lee
> read kernel crypto and notice a 2017 optimization in algif_aead
> realize any user can overwrite /usr/bin/su in ram
> any user can become root in 2 seconds on every linux box since 2017
> every cloud. every k8s cluster. every ai sandbox.
> give the bug to an llm
> ai produces a 732-byte exploit working on all of them
The Smart Ape 🔥@the_smart_ape
English
arctic_ retweetledi

Thanks to everyone for your support over the last decade, but it's time to move on and close this chapter. More info here: bakk.es/articles/bakke…
English
arctic_ retweetledi

Being happy. Being funny. Being healthy. Being in shape. Being financially secure. Being mentally stable. Being consciousness. Being charismatic. Being sharp and witty in conversations. Not getting addicted to drugs or substances. Being opinionated yet open minded.
🦢@jaayyvvv
what is the biggest sign of high intelligence?
English
arctic_ retweetledi
arctic_ retweetledi
arctic_ retweetledi

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!

Taelin@VictorTaelin
@alexalbert__ I'm the maintainer of Bend, a new programming language with 19k+ stars on GitHub. We're about to launch a major update. Having access to this model to audit it would greatly improve the project's security, and of projects built with it. Lmk if there's any way to get involved.
English



