Log inSign up
Image
user avatar
Taelin
@VictorTaelin
₍^. .^₎⟆
São Paulo
github.com/VictorTaelin
Joined March 2011
2,464
Following
79.1K
Followers
RepliesMedia
  • Pinned
    user avatar
    Taelin
    @VictorTaelin
    May 16, 2024
    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: -
    Image
    00:00
  • user avatar
    Taelin
    @VictorTaelin
    5h
    "write good code" → good is relative "make it elegant" → relative "make it simple" → can mean many things "don't make mistakes" → it won't make an LLM smarter what you want is to move the fuck out of a dumb latent space try this instead: "Linus Torvalds looked at our code,
  • user avatar
    Taelin
    @VictorTaelin
    19h
    GPT 5.6 Pro spent ~4h trying to find a hole in Bend2, ran out of ideas and now it is apparently watching YouTube?
    Image
    user avatar
    Taelin
    @VictorTaelin
    20h
    if all else fails, I'll sell Bend as DDOS for LLMs. just paste it into any chat, ask for a proof of ⊥, and watch the LLM think forever!
  • user avatar
    Taelin
    @VictorTaelin
    20h
    if all else fails, I'll sell Bend as DDOS for LLMs. just paste it into any chat, ask for a proof of ⊥, and watch the LLM think forever!
  • user avatar
    Taelin
    @VictorTaelin
    23h
    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