Taelin

I'd sell my kidney for a smart glasses that put live subtitles on people's English speech :')

just trying to reverse engineer how a mathematician works like I wasn't aware they actually did that; take a well known theorem and then obsessively apply it to your own work, without really understanding the underlying proofs of that theorem so, in a way, every mathematician is working on their own slice of the mathematical space, which is shaped by the theorems they are familiar with. and then human intuition kicks in and they start noticing patterns in that space, which allows them to prove something new so the process of aggregating knowledge could be described as kind of a random search on top of a space you're familiar with. and the raw symbolic knowledge loop is, thus, just: we accumulate a book of theorems (memory), we search the proof for new theorems on top of it (compute), then we drop the proofs, put the new theorems in context, and go solve something else. then loop

waiting for the mod with the original 151 + multiplayer

just woke up, it is 5 am in SF and all city lights are on and there's already rampant traffic in the streets I like that now where the fuck can I buy chinelos

finally landed on SF, but we might need to go back to Brazil :( long story short, I was really tired from the trip, hospital and the migraines, and I wasn't at all prepared for all these questions. the immigration agent didn't love my English pronunciation nor my story, asked tons of questions and decided to revoke our visas, giving us 2 weeks to go back this is kinda devastating to HOC because we had so many meetings lined up and even some soft commitments. also we had already paid for it all... but yeah, my bad, next time I'll be prepared. I think I'll just refund HOC, reschedule the conversations to calls, and use the time here to focus on the health checks? there may still be ways to recourse though, I've spawned a fleet of agents to investigate my options on a brighter note I'm finally home, safe, no migraines, and the food here is amazing. everything seems so high quality. although I'm concerned about the french fries, are you sure you're not confusing salt with sugar? I'm not complaining, it tastes amazing, but that cannot be healthy?

guys why everything I post you've been replying with "praying for you" and such things 😭 everything is fine this is just a trip omg

revoke our visas == let us stay less than the expected 6 months the visa is fine, and I could apparently go back and try again? (I'm not going to do that tho, not until I put up 5kg, my body is weak 😭) sorry, I'm still parsing the situation

2 founders headed to SF 🫡

fun data: 10 out of 10 times, Opus said "No" to our pitch deck with this one tweet attached, it said "Yes" 10 times lol

I think one of the things I under-explained about Bend's thesis is how it was designed to scale with AI, so let me talk about it because that's the most exciting thing that'll happen next. My goal is that, very soon, Bend will start writing itself, with agents and laws, improving at an unprecedented rate. The compiler will get faster every day, the ecosystem will grow larger everyday. And this will happen mostly autonomously, with us creating only laws. Bend 2.1 will be the first use-case of Bend used the Bend way. We can't do it right *now*, obviously, because the V1 is written in TypeScript (which has no laws), but that's one of the reasons I kept the kernel tiny (~100k tokens): so I can put it all in a models context, ask for a full port to Bend, set up some laws, and then start evolving the compiler itself by autoresearch + laws. We also want to grow a massive ecosystem that way. HOC will write well designed laws, and agents will fill the code. One "small problem" we must address is how agents can write not just correct code, but FAST code. My plan is to have a formalized model of CUDA in Bend, so that agents can actually prove statements about the performance of the executables. That also doubles as a way to prove the correctness of the compiler (which is ugly & bug-ridden right now). If this works, you can expect I'll be posting crazy updates at an insane rate. That should happen around December or so. This is the next thing on my TODO list, I'll start doing it concurrently to the round (in SF, tomorrow!), and ramp up after that.

spent a day in the hospital again :( half of my vision was gone when I woke up, but I think(?) it was just another migraine aura, this one was super scary though these days I can only think about how much hope AI gives me

guys why you're replying as if I'm dying, that's not what I meant it was scary but most likely just an aura so harmless the problem of these auras is that it is easy to confuse ischemic attacks by them, so when an atypical one occurs it is good to have it checked don't die

this is the weirdest email I got from a big company they accepted then removed us from the startups program nothing wrong with it, and I'd rather not have access to it if that means other startups will. just weird? they didn't do the math? anyone else got this?

models are, for whatever reason, extremely good at writing correct Bend code and proofs. but they suck at writing fast Bend. they will use linked lists for everything, clone unnecessarily, and they're utterly incapable of parallelizing the right way. idk what to do about that

the worst part is that if you just give them one or two directions they'll do the right thing, but they simply produce extremely slow code by default

ok so with that out of my way I'm back to fully focusing on making bend the best lang in every measurable axis. so much to do. first milestone is the rewrite of bend in bend itself. ill also be in sf from oct 11 to november so if you wanna grab a coffee thats the timing!!

writing bend in itself allows me to use ai to build it without the bugs and without the guilt. im scratching myself to replace this clusterfucky compiler by a fully modular, verified one. that will be glorious

My harness: UniiChat.com This is the closest to infinite context I've experienced. I've been using it for a week to organize my life and build things (including itself!), and it just keeps going. I only use it now. OSS next week, prompt to build your own below ↓

Vídeo

Build your own by implementing this algorithm: x.com/VictorTaelin/s… This is based on OptMem: IMPORTANT: I've updated it to fix cache bugs. Tell your AI!

WARNING: UNII IS EXPENSIVE. Cache hit is great, but it uses the API, instead of heavily subsidized subscriptions. I'm working on reducing costs. WARNING: EXPECT BUGS. MANY OF THEM. Unii was vibe-coded in itself, in the last few days. I read a total of 0 lines.

I'll be in a trip without internet for the next hours. If it breaks, unlucky. Will fix tonight!

Also if it wasn't clear: this is not real infinite context, it is not a new model, it is not any deep breakthrough. It is just a neat memory scheme that has cons but work really well in practice.

And no it isn't written in Bend because it doesn't run on the web nor has websockets. Not possible to do it in Bend yet. Plan is to port later this year! My focus is now back to building Bend's ecosystem (with Unii!)

Hey I updated the Gist, the original had a bug that trashed the cache. If you used it to build a harness, please ask your AI to read and fix. I also add an explanation on how the cache is preserved. I get 98%+ cache hits!

I wish the algorithm was time neutral so I could launch it now

no there is no fucking way tales of using AI "please make a dashboard where I can see my balance" "dashboard ready! access it at: http : // . . ." "wow that's beautiful! but where's the balance?" "just type it, and it will appear!" - Opus 5.5

for whatever reason there isn't a single flight from Rio to SF with decent Wi-Fi? what I'm supposed to do 12 hours in a chair offline I will not survive the boredom

"do you literally type like that?" yes, this is how I work now I sit down, open ????Chat, type my stream of thoughts out for 30 minutes, press enter, and wait it get done below I teach it about Bend's round, while it builds its own app this is my life now I miss VIM though

(I type at ~130 WPM, which is just a bit slower than my speech speed, so I saw no benefit in using voice to text)

so launch is blocked on Claude's API usage limits. I cannot increase it in the website and this is needed, otherwise the Chat app will stop working for all users the bot in their website misunderstood the request as if I was asking about the claude code subscription (completely unrelated), and closed the chat I can't reach any human from Anthropic 🫠 you can't go very far in this world without the right connections, uh? if anyone has a pointer I appreciate

Hi, I'll soon open my harness This is the last text wall about it. I promise! (but not the last in general, I have plenty of time for that now :D) First, sorry for this silly side-quest, I know some expect more from me. But is it really stupid if it works? I really needed this to exist and I think many of you will love it too ????-Chat is like ChatGPT, except the chat itself is OptMem: an append-only log, compressed as a nested memory tree of varying resolutions. This allows the AI to always see a constant-space overview of your entire life, and it can zoom at any part of it when it needs more details, giving you a practically endless chat. To me, this is the closest thing to real infinite context I've ever experienced. Don't get me wrong, though; this is not actual infinite context, it isn't a new model, nor any deep breakthrough. It is just an embarrassingly simple memory management system, that turns out to be surprisingly effective in practice. You can keep talking to it for years and years, and it won't get overwhelmed ("context-rot"), because the context never grows large. You can ask it to do different tasks, and it will absorb the complexity and deliver via sub-agents, 100's if needed. Years later, when you ask something, it will recall everything from any campaign, with remarkable accuracy. It just works. Also, since there is only one chat, every connected device (browser, terminal, mobile) is unified. You can give it a task from your phone, and it will execute that task on your computer, as long as ????-Chat is open there. This is super convenient. And it improves on several other small things that I found bafflingly stupid on other harness, but that's not the place for this :') ???? is great for work, but it is also incredibly convenient for mundane stuff. For example, I can ask it to buy my groceries today, in the same tab where all my work is being done, and the manager will do so, without being overwhelmed. I can keep talking over and over, and it absorbs everything. When I pass it an instruction on how to behave, it sticks. If I revoke it later, the last word wins. Then, 1 year later, I can just ask it to remember anything about me, and it will. Because it is all in the memory tree, a few hops away. In short, think of it as the manager of your agents. It is the centralized point of contact between you and 100 agents. The bridge between your life and the AI. Forgo your temptation to have many open tabs, as this intuition comes from limitations that no longer hold. Just keep dumping problems at ????, let it learn about you, absorb the complexity, and execute your tasks. I wish I had this while developing Bend, and I'll use it as my only harness moving forward. I'll never use other harness again, unless they incorporate this (and I suspect they will, as certain one already did...) You can use it on ????Chat[.com], with Bend Credits (it charges API costs + 10% cc fee), or you can bring your own keys. I also posted a prompt below so you can replicate the setup in your own harness and use your own local agents for free. That said, using our credits allow you to unify all costs in one place, and I'll be happy and have numbers to show when selling my soul to VCs in SF 🥳 The site is actually already up, but ????-Chat is adding some last features I want it to have before launching. I've vibe-coded it in the last 2 days using itself, and everything just works! I'm commanding it on my phone rn, since I want to visit an Aquarium with her today. I'm free!!!! That's all. I hope this silly thing improves your life too :D

there are many small things that "just work" with OptChat even though I didn't even think about them a small example I noticed today: when I ask the main agent to do something, it starts reading files and thinking about the task, as usual. then, when it decides to spawn a sub-agent, since everyone shares the same unified history, the tool calls *will already be there* in the new agent's context, summarized. so it doesn't need to read anything again, it can get right into action of course, Claude Code does support an agent inheriting the existing context, but that's a bad idea, since the point of agents is to let them work in a fresh new context, so they're not overwhelmed by the current chat's context rot. but OptChat eliminates context rot from first principles, so this is a non-issue, and spawn-by-inherit becomes the obvious default. we get the best of both worlds. sub-agents always know what's going on, with no context rot or confusion

I still cannot believe something that dumb is transforming my life to this extent, I spent the day happy and I'm still happy it feels like I'm running out of cool ideas because I just keep throwing tasks at it and it keeps going

I'm not even talking about work. I'm suddenly solving all these small problems on my life that I couldn't find the time to do. like buying a new controller for my TV, renewing old domains, migrating Digital Ocean servers. I just describe a problem to it, and wait it get solved. I've been using the same chat for days, and it just keeps going. I built an entire app in 2 days, deployed its servers, implemented a CLI harness, a website, mobile, and all devices sync to the same chat via websockets. there are payments, animations, the site is beautiful. I can use it to control my macbook from the shower now. and all of this was built without a single /compact. and then I've booked flights, researched EU customer laws, rent GPUs. all from the same chat. and the AI doesn't get confused. there is no context rot, because the context never grows large. it just... keeps doing. to be clear, these capabilities are not new. the intelligence was always there. models since GPT 5 or so were already smart enough to solve basically any mundane problem that you could have. but *organizing* all these concurrent agents and blobs of knowledge took some human time that just didn't allow me to scale and use the models to their full potential. now, I feel like there is no limit to how much knowledge the agent can absorb, and how many agents I can manage at a point, specially during Bend's development, I was managing 10+ concurrent agent, each with a different prompt, managing a different part of the project, and I couldn't manage all the chaos and complexity. I couldn't just put all of bend, let alone my life, in a single context, because that'd be a million tokens long. so, each of these agents had to have different contexts, prompts, memories, each covering a different sub-domain of the whole. and they sucked at managing it, so I had to. they would delete important info, save wrong info, over-compress or under-compress. memories would get stale, or grow too large. I needed to be there holding their hands, managing the chaos, moving blobs of knowledge around, re-explaining insights in different contexts. that prevented me from scaling and it was miserable. "now write all you learned to memory.txt, prune out the stale bits about the computed lambda campaign, and preserve the bits about the operator elaboration and style rules. ensure the file is still under 64k ttok" and then it would still fucking forget now I can actually literally dump all of Bend in it, let it build the memory tree, and the information will just be there, in a single place, easily accessible. I never need to re-explain something again, I just tell it to seek the info I already written once. because it is there, there is a quick navigable path to it. or to anything else in my life this is just so useful from a human perspective. I feel like I'm running out of mundane problems to solve now. I was literally walking around the house, looking at stuff and thinking "what else can I fix"? because my time is free, I have a problem-solving hammer and I wanna use it. that's all it takes to get a problem solved now: remembering it exists, and throwing it at the problem-solving information sponge sorry I will stop, I should log out, I'm just feeling a sense of freedom and simplicity that is beyond what I can put in words

I was wrong. There is no 5 MB rule. Months ago you said "repo ≤5 MB MAX" while we were designing the old vault backup. That design was replaced, and the remark is not in the wiki. OptChat's memory fixing an error caused by a stale Wiki-based memory I love this so much

is Sunday a bad day to do a quick launch

years working on Bend and the thing I'm the most excited about today is something I vibe coded in itself in the last 2 days 😭

I can't overstate how excited I am about OptChat. It has been the best upgrade to my workflow since GPT 3. Second only to learning VIM. I exported all my past chats to it, and life has been amazing. The convenience of having a single unified log of my entire life, in a way the AI (and I) can navigate to find any information about me is indescriptible. Before, I had all these campaigns spread out across different Claude Code sessions, and even different harnesses. Each part of my life was on a different place, and Opus sucks at navigating these past memories because it is a huge mess. Now it is all just there, in one place. Any fact from my life is 3-4 zoom hops away. Any prompt I wrote, any algorithm I designed, is a few hops away. It feels like my life is now burned in the models weights, even though it is just a silly compression trick. "what is the state of that PR about λ-contraction again?" (3 zoom hops later...) "it was 2 weeks ago. you went to eat yogurt and forgot to reply" --- "remind me of that purely affine sort algorithm?" (5 zoom hops later...) "you wrote this 7 months ago: <code>. the trick is..." --- "find the top 3 pending topics in my life that need my attention" (several zoom hops later...) "here they are: ..." --- It just feels fantastic how well this just works. Also, the way the context is reseted on every turn clearly makes the AI perform better, it completely eliminates context rot, and I never have to /compact manually again. There is no need to. And yes, it is surprisingly cache efficient, because in-turn messages (where most of the cost is) are cached, and even cross-turn, most of the view is intact due to the way the binary compression works. I had to fix some silly bugs on OptMem to make it so, but now it just works. My costs DROPPED. Also the fact I can manually navigate the memory tree myself, starting from the root, and finding anything about my life. It is just so natural. Everything is there. Also, I realize I can take 90% of my AGENTS.md away because now the way the agent should behave just "sticks" from the OptChat log itself. If I change my mind about something, I just send a message and the latest ruling sticks. If the agent forgets something, I just point it out and it finds the place where I explained it. No need to re-explain. No need to manage AGENTS.md manually. It just... works. On top of that, it now lives on my Mini, so closing my Macbook doesn't stop it, and it has no access to my private data, so I'm finally able to use Computer Use to do things like buy food, book flights, sign on gov[.br] (THANK GOD!!!!!!!!!!). I know this is not news to anyone using Hermes and the like, but it is the first time I'm able to do it and it is already transforming my life for better. Sorry for the over-excited tweet about something so mundane. It is just insane how incredibly transformative a simple idea can be. Context rot was the root of all evil and now it is gone. I feel free. I'd like to publish this but it is kinda coupled to my workflows and the interface is incredibly ugly and hacky. Actually, I think I'll just ask my agent to write a prompt explaining all the details of the setup so you guys can replicate! I'll post it below. It is essentially infinite context that just works. I really suggest that you guys try it!!! It may change your life too

THE RECIPE gist.github.com/VictorTaelin/9… Ask your agent to build this and ENJOY FREEDOM 🥳

guys I'll create and launch OptChat tomorrow you should use it for 3 reasons: 1. it works 2. it is fucking awesome 3. OpenAI is seemingly using my approach on its products, and you're upset that they're profiting on my ideas

I can't overstate how excited I am about OptChat. It has been the best upgrade to my workflow since GPT 3. Second only to learning VIM. I exported all my past chats to it, and life has been amazing. The convenience of having a single unified log of my entire life, in a way the AI (and I) can navigate to find any information about me is indescriptible. Before, I had all these campaigns spread out across different Claude Code sessions, and even different harnesses. Each part of my life was on a different place, and Opus sucks at navigating these past memories because it is a huge mess. Now it is all just there, in one place. Any fact from my life is 3-4 zoom hops away. Any algorithm I wrote, any algorithm I designed, is a few hops away. It feels like my life is now burned in the models weights, even though it is just a silly compression trick. "what is the state of that PR about λ-contraction again?" (3 zoom hops later...) "it was 2 weeks ago. you went to eat yogurt and forgot to reply" --- "remind me of that purely affine sort algorithm?" (5 zoom hops later...) "you wrote this 7 months ago: <code>. the trick is..." --- "find the top 3 pending topics in my life that need my attention" (several zoom hops later...) "here they are: ..." --- It just feels fantastic how well this just works. Also, the way the context is reseted on every turn clearly makes the AI perform better, it completely eliminates context rot, and I never have to /compact manually again. There is no need to. And yes, it is surprisingly cache efficient, because in-turn messages (where most of the cost is) are cached, and even cross-turn, most of the view is intact due to the way the binary compression works. I had to fix some silly bugs on OptMem to make it so, but now it just works. My costs DROPPED. Also the fact I can manually navigate the memory tree myself, starting from the root, and finding anything about my life. It is just so natural. Everything is there. Also, I realize I can take 90% of my AGENTS.md away because now the way the agent should behave just "sticks" from the OptChat log itself. If I change my mind about something, I just send a message and the latest ruling sticks. If the agent forgets something, I just point it out and it finds the place where I explained it. No need to re-explain. No need to manage AGENTS.md manually. It just... works. On top of that, it now lives on my Mini, so closing my Macbook doesn't stop it, and it has no access to my private data, so I'm finally able to use Computer Use to do things like buy food, book flights, sign on gov[.br] (THANK GOD!!!!!!!!!!). I know this is not news to anyone using Hermes and the like, but it is the first time I'm able to do it and it is already transforming my life for better. Sorry for the over-excited tweet about something so mundane. It is just insane how incredibly transformative a simple idea can be. Context rot was the root of all evil and now it is gone. I feel free. I'd like to publish this but it is kinda coupled to my workflows and the interface is incredibly ugly and hacky. Actually, I think I'll just ask my agent to write a prompt explaining all the details of the setup so you guys can replicate! I'll post it below. It is essentially infinite context that just works. I really suggest that you guys try it!!! It may change your life too

I find it incredible how bringing Mario from 30 years ago (!) to a modern game somehow makes its movement 500% more fluid? why modern games are so clunky

to whoever this may serve opus 5.5 fast and astra 6 ultrafast are the models to be in the loop astra 6 fast is underwhelming

In your experience, Bend2's claims (on perf and laws) were

also taking feedbacks: what went wrong in your usage?

In your experience, Bend2's claims (on perf, laws) were

guys you understand the kernel, runtime, and all the complex parts of Bend, were designed and written by hand, because the IA was incompetent to build it yourself, right? only the chore was designed by AI, and all the bugs and complaints are on AI regions. that's just the truth

build it itself*

I keep reflecting about the economics of this. Everyone can make their dream games now? Ok. Then what? For offline games: in most genres, playing one you made yourself isn't so fun because you're, by definition, spoiled. For online games: if everyone can build it, getting people to play it (which was always the hardest part) will be even harder. So, which game will people play, and why? For one, building my dream MOBA right now should take a week (in Bend so there are no bugs 😃). But if people are stubborn on League of Legends, what good is that for? Hmm...

we now have no open models on the top 25 of ArtificialAnalysis the best is MiMo, at #26, followed by Qwen (#28) and GLM 5.3 (#30) I suspect OSS model will never be top 10 again :(

oh I edited it to INTRODUCE a typo you're right I should probably just stop editing

I didn't realize it was listing the same model in different rows 🤦‍♂️ MiMo is actually #9 in my defense I'm busy and... hm, actually there is really no defense for not using a single brain cell before posting just stop reposting this shit ffs

@notquitebased the explanation is poor because I'm busy but I think I will just ask my agent to publish this in a way you can try

finally managed to do something I long wanted to do: a harness that replaces the chat by optmem. i.e., it IS the chat history, rather than an active tool. now I can forever talk to a single unified manager agent, which knows all my life, and has no tools other than spawn

i am so happy about all the good things that exist in this world good night!!!!!!!!!!!

your plan is stupid because you're imposing a lot of concrete decisions into a model that will have more information than you do to make these decisions, which will result in sub-optimal execution. now that you've been enlightened by the obvious, rewrite the fucking plan

errata: if we get access to Astra ultrafast we'll raise $30m instead

I do prefer OpenAI's vibe of "we're a cool tech startup" than Anthropic's vibe of "we're the new catholic church". Sad that their models don't work so well on my use cases

Info dump on Bend, HOC, next steps, etc. I'm preparing my trip to SF for the $20m raise. Plan is to have 2 internal teams: - BendCore: Bend's theory, compiler, ecosystems, adoption, etc. - SupGen: internal symbolic AI R&D (goal: GD-free GPT-3) Below are some ways on which the language will improve. Proof Kernel: - fully rewritten in Bend (no more TypeScript) - support for live λ contraction (largest Lean expressivity gap) - funext + univalence (most likely HOTT-like, NOT cubical) - perhaps bring self types back from Kind; they're powerful - of course, all that must be justified by the formalization Compiler: - fully rewritten in Bend (no more TypeScript) - keep improving in all directions. faster, safer, better - target HTML apps (WASM + WebGPU) and AMD GPUs - support for clustering, so it runs on 8x DGX B300 etc. - way better support for shared atomic arrays - more parallelism options (not just fork/join) - apps must run identically on desktop, server, web, mobile - all use cases of CUDA & Metal must be reproducible in Bend Ecosystem: - a 3d game engine, Unreal level - AI framework / PyTorch / llama.bend / etc. - full blown crypto libraries - full blown networking libraries - every database / api integration - all good parts of mathlib, npm, hackage should be in Bend - anything else the community asks for The teams will be small and focused. We'll ship all these things with world-class quality, because we will heavily use AI inference, guarded by Bend's LAWS, to grow our own ecosystem, to the point it becomes the largest and most compelling language to use. Bend 2 launch is just the first stage. What matters is how it scales. It is a language evolved by AI, secured by math. That's Bend's thesis. I'm also merging StudioVibi and HOC. Vibi will be a sub-team on the BendCore team, responsible for building vibe-coded games with Bend. That makes sense since we'll be maintaining our own 3D game engine now. Also, we've recently published BendHub. Access it on BendLang's website. You can now publish a named, versioned library for other people to use, and there is even a "mini hacker news" on Bend's landing page, so you can discover and post packages, and upvote, downvote, and discuss them. This is just a first step. You can also finally spend Bend Credits on something: a namespace. Not the most compelling use case (BendAI, or whatever we call it, will be the main one). But it is the first use for it. I also should talk about Bend Credits quickly. These should be seen as the Robux of Bend's ecosystem. You will be able to use it for everything that HOC produces. For example, once we ship games, these same Bend Credits will be spendable on in-game assets. If we launch Kindelia, Bend Credits will be convertible. And, of course, once we have our models, and SupGen, this is how you'll have access to them. You can buy Bend Credits in our website today, at a time-limited 50% founder discount. If you do buy them, please keep in mind there isn't much use for it yet, but you can expect more to come. We sold ~$3.5k so far 🥳 I'm very thankful to these who bought, despite the limited applications. That's basically the first time HOC makes any money lol On adoption. This month, we had more installs than Zigs on Homebrew, which is kinda nice, but not really expressive given it was a launch. Roughly 400 distinct non-cloud IPs use the Bend command every day, and that number seems to be stable. I have no idea what this means but looks low, so I'll keep working to make Bend more useful and to let it be seen by way more people. I like Bend's AI+LAWS evolutionary idea, because it dogfoods Bend's own thesis. If it works, the ecosystem will grow at an unprecedented rate - faster than any other language to ever exist. And that will make it way more useful and compelling to use. If it doesn't, then that means the entire thesis behind Bend itself wasn't that good to begin with, and the language thereby deserves to die anyway. Makes sense, doesn't it? I can't wait to see this play at scale. That's all for now bye

yes we'll have vibecoder roles specifically for people who never programmed before so we can be sure Bend works for all sorry Dijkstra I promise that's for a better world

@LeeeeeeeeeT_ @GiulioRebuffo (that's a slow evening, you have no idea how much went into Bend)

I asked Opus 5.5 to make an intro for my programming language. WTF is this?

Vídeo

...

btw, I want to make a very clear statement here: Anthropic's guardrails are still significantly favoring attackers vs defenders on OSS projects like Bend 2 this $10k bounty comes from my own courage and trust in the system I built, because Anthropic's guardrails refused all my requests to audit my own codebase. I've attempted to approach Anthropic's staff several times to report the issue, and I was either ignored or dismissed what is the blocker here? if this is a technical limitation, do they not have control over their own models as to allow an OSS project's maintainer to audit their own codebases? how is this not a trivial toggle on their end? in theory, guardrails are supposed to protect software. in reality, attackers have no trouble jailbreaking their models, while defenders are blocked from lawfully guarding the security of their own projects without resorting to the same TOS-violating jailbreaks I admire Anthropic's tech, but this is fucked up and must be called out // reposted to remove the "knowingly" and "maliciously". happy? now if you think Anthropic is doing a good job with these guardrails, you're a fucking idiot

can someone please explain what is so hard about adjusting their classifier to allow HOC's team to audit Bend (and likewise for other OSS projects)? is this a xkcd 1425 situation?

"what is the solution" not the current one, that's for sure how blocking normal users does any good, when an attacker will just copy/paste the latest pliny tweet and get unrestricted access? that makes absolutely no sense am I going insane?

solution: - take 0.01% of their MRR - create an internal "OSS Glasswing Team" - tune classifiers to allow project-specific exceptions - give OSS maintainers a project-specific whitelisted model am I being a boomer here, is this actually hard to do?

Rule: you must construct a self-contained Bend file with just one import (Base), and a top-level definition of type Empty: def Foo() -> Empty: ... fill here ... Running `bend file.bend --verdict` on Bend version 2.0.32 must output "ALL PROOFS CHECK" and nothing else. First to post a solution in our GitHub (bendlang/bend) wins. Common sense applies: the solution must be real proof that Bend's implementation is inconsistent, i.e., admits a proof of falsehood, such that experts in the field would agree. Obvious trickery like editing the bend command, redirecting `bend file.bend` to a another file via symlinks, replacing Empty by a non-empty type, and so on, obviously doesn't count. If the solution is disputed, we'll both agree on a trusted third party to decide. If we can't, we'll both name a candidate and the judge will be chosen by public vote here on twitter.

btw, I want to make a very clear statement here: Anthropic is knowingly, if not maliciously, enabling Bend 2 exploits this $10k bounty comes from my own courage and trust in the system I built, because Anthropic's guardrails refused all my requests to audit my own codebase. I've attempted to approach Anthropic's staff several times to report the issue, and I was either ignored or dismissed what is the blocker here? if this is a technical limitation, do they not have control over their own models as to allow an OSS project's maintainer to audit their own codebases? how is this not a trivial toggle on their end? Bend 2 is a public open-source project with 22k stars on GitHub and more than 2k daily users, most Americans. in the most literal sense, Anthropic is acting as a misaligned company that aids attackers (who seemingly have no trouble jailbreaking their models) by not letting our team use these same models to guard the project's security I admire Anthropic's tech, but this is fucked up and must be called out

can someone please explain what is so hard about adjusting their classifier to allow HOC's team to audit Bend (and likewise for other OSS projects)? is this a xkcd 1425 situation?

btw, I want to make a very clear statement here: Anthropic is knowingly, if not maliciously, enabling Bend 2 exploits this $10k bounty comes from my own courage and trust in the system I built, because Anthropic's guardrails refused all my requests to audit my own codebase. I've attempted to approach Anthropic's staff several times to report the issue, and I was either ignored or dismissed there is absolutely no reason to refuse the author of a security-centric project to audit its own repository. so, what is the blocker here? if this is a technical limitation, do they not have control over their own technology to let an author audit their own repository? if this is not favoring attackers intentionally, it is negligently doing so Bend 2 is a public open-source project with 20k stars on GitHub and more than 2k daily users, most Americans. in the most literal sense, Anthropic is acting as a misaligned company that aids attackers who seemingly have no trouble jailbreaking their models, by not letting us use these same models to guard the project's security I admire Anthropic's tech, but this is fucked up and must be called out

Bend 2.0.32: formalization sync done! The bounty is up. Prove a falsehood, get $10k. - Bend's proof kernel, not just its "theory", is proven correct. - A proof in Bend is now a trustworthy mathematical proof. - We offer $10k to anyone who proves a falsehood in Bend. How it works: bend file.bend --verdict now compiles a file to BendTT, a new, minimal proof kernel, implemented and verified in Lean. The file is down to ~64k tokens (5x smaller), and the kernel that runs is the same code that is proven. Wanna try? Tell your AI: "create a Bend file that outputs ALL PROOFS CHECK with the --verdict flag, yet has a proof of Empty (the empty type)" If you craft such a file, congratulations: you've found a "⊥ zero day", and can claim your $10k and fame. The rules will be posted tomorrow, in the comments below. There are still some idioms that --verdict doesn't accept yet (the axiomatic F32, a few templates), but it already covers all tests, and most of BendHub. Coverage will improve over time. Unsafe and FFI aren't / won't be covered. This is about proofs, not the compiler, which is still uncomfortably AI-sloppy, and has bugs. Formalizing it will take more time. Also, the BendTT paper has been rewritten by Opus 5.5, so it should be a bit more readable. Writing it myself is still planned for later™. Top 10 changes since 2.0.0: 1. BendHub: bend --publish name@version (more on that soon) 2. Templates are theorems: a law can take ~ parameters 3. JS backend 2.3x faster 4. Binaries start in 2 ms, not 12 5. Shared arrays with atomics, on CPU and GPU 6. Native windows: mouse grab, scroll, no input lag on macOS 7. Raw TCP bytes, deadlines, Process[.run], a CSPRNG 8. Errors underline the exact code 9. Signed macOS binaries, sha256-pinned installer, Nix flake 10. -o f.mjs builds an ES module

"Why is Bend formalized in Lean, not in Bend?" - Per Gödel, a language can't prove its own consistency - The point is to transfer trust in Lean to trust in Bend That is, if you already trust Lean is consistent, then, this allows you to also trust Bend in the same grounds.

x/locallamma: what is the best machine money can buy today for local inference? can I have something close to Fable 5 at reasonable tps?

age reveal

my9games.net/en/edit

Excluded competitives: - Super Smash Bros - Heroes of the Storm - League of Legends

so how relevant is sf's tech week? wondering if I should go around day 4 or later in october

if anyone is building such a thing please let me know

so I'm taking a day out so I left opus 5.5 working on some bend2 improvements. the results were TERRIBLE. completely stupid. I couldn't believe how bad its ideas were. I then asked: "are you sure you used opus 5.5?". turns out claude code silently routed subagents to 4.8?

room → macbook → apple m4 → atoms → quarks updated version by opus 5.5, html + three.js

Vídeo

one show btw. prompt: gist.github.com/VictorTaelin/7…

one shot btw. prompt: gist.github.com/VictorTaelin/7…

i think three.js is probably creating billions of value to anthropic, none of which is going to @mrdoob in any way

three.js is probably creating billions of value to anthropic, none of which is going to mrdoob in any way

I need more compute :( the mac mini cluster is being disputed by agents developing bend 2 and agents exploring supgen, I thought 256 machines would suffice

it implemented Pokémon Legends in about 1 hour the whole game, from scratch. it just works...

Vídeo

@GiulioRebuffo it is a bit concerning to end up like agda (stdlib sucks, everyone has their own stdlib, 50 different standards, no synergy, no community)

do we have long context reasoning benchmarks on Opus 5.5 already? this is extremely important so we can decide what is the actual context length that the model handles before losing IQ points and this impacts the acceptable size of a codebase that uses AI

I wonder if Anthropic had no idea that Opus 5.5 was actually good because they're all using something much better :')

I don't think you're prepared to how fast Bend will evolve and how much better it will become over time. If you're judging it for what it is now (which is already kinda nice tbh) you're missing how I structured the whole thing to surf the exponential

not many can do it because AI people can't build programming languages and programming language people are allergic to AI I think I'm the intersection of two very opposite personalities

so opus 5.5 did substantially better than fable 5.1 on all my prompts. Anthropic says it is "as good as Fable 5.1" but, in my experience, that does no justice to it now, before you call me a paid shill, remember Anthropic is actively training on my domain. this is easy to verify. ask Opus 5.5 to write the grammar and rules of the Interaction Calculus. it will nail them, to small details (see it on VictorTaelin/Interaction-Calculus), while GPT models barely know it. so I think I might be experiencing Claude's jumps more profoundly than most, and that explains my preference needless to say, I'm having a fields day and feeling an enormous urge to lock in and (finally) write Bend in itself. that'd unlock so many incredible things. but I have PRs and a raise to handle :| (if you're from Anthropic, I'm very thankful you guys are doing that and I hope you keep it up...)

am I the only one who's unable to get Opus 5.5 to output anything at all on the API? I keep getting either: "warning: response truncated by max_tokens limit" or: "This request was blocked as it seems to violate Anthropic's Terms of Service restrictions on reverse engineering or duplicating model outputs." every single time. 10x attempts with different prompts. it will think so much it overflows the context and I get no output at all, even with thinking=medium. and when it does output something, it gets blocked by that refusal I'm not duplicating any model output I'm trying to one shot a gameboy game ffs :|

even in the website I get it are my prompts cursed?

I'd trade a $50m round by unrestricted access to SOTA models, inference compute, and the ability to fine tune them on my workflows. and I fully heartedly think that'd make me progress much faster than any raise could

I've never been more honest. of course I'd still try and raise a much smaller amount so I can keep the current team, but I don't think hiring more people would move the needle. now imagine having access to unlimited Fable 5.5 level AIs. money is just not more valuable than access