Luka

I'm just a guy who's a programmer for fun.

[Luka @tseluka0]

@DaveShapi what do you mean no more "monopoly"

model providers are monopolizers but in a different way.

[Luka @tseluka0]

all the lonely people are saved

[Hassaan Raza @hassaanraza]

The whole point of building Tavus has been simple: talking to a machine should feel as natural as talking to a friend or coworker.

It’s hard to describe all the tiny nuances that make a conversation feel human. The little expressions. Moving around in your chair. Knowing when to speak and when to listen. The dance of it all.

Griffin is by far the closest anyone has come to a model that can capture those nuances. The first time I saw it being used, I had no idea I was watching our model rather than just a normal video call.

I’m so incredibly proud of this team and what they’ve built.

[Luka @tseluka0]

@charles_maddock refactoring gone wrong

[Luka @tseluka0]

@HugoDuprez was this made entirely with AI? because it doesn't seem like slop, It's actually fun.

[Luka @tseluka0]

You do realize this is only for a while right?

Soon people will just start running software businesses without developers and big companies will fire most of the developers because it will become too inefficient.

This might sound pessimistic but I think this is the way.

[sunil pai @threepointone]

I think I’m done mourning the death of programming. I’m ready to love again. I landed like 40 PRs while drinking with my friends in Scotland. This is the dream.

[Luka @tseluka0]

@tornikegomareli @OmarchyLinux I was about to list down the things I wanted but then I realized this plugin has settings, so every my need has been met.

I love it, first Omarchy plugin I installed.

[Luka @tseluka0]

@tornikegomareli what are they

[Luka @tseluka0]

Where is Bend2? I want to test it

release it please

[Taelin @VictorTaelin]

Bend2 launches tomorrow (maybe?)

Let me talk a little bit

For these who don't know me, I'm Victor. I've started programming when I was 11 years old, when I maintained a popular Open Tibia server in C++ and Lua. Since then, I enrolled Computer Engineering (never finished), helped build Ethereum, and have been studying programming language theory for the last decade. I've then built Kind (a minimal proof language), HVM (a parallel VM), and Bend1 (an early prototype of Bend2).

So, what is Bend2?

You can describe it as "the language design I honestly consider to be the best possible for a post-AGI economy".

Bend2 doesn't have interaction nets, because I could not make them as fast as lower-order variants on everyday hardware, and Bend2 is designed to be practical, not idealistic. So, these expecting a Haskell-like lambda calculus engine will be disappointed. It is closer to C than it is to Haskell. But it still feels incredibly high-level, with JS-like closures and allocation (yet no GC!), Lean-like dependent types, and, of course, Bend1-like parallelism (with up to 100x faster raw speeds).

So, Bend2 is something new that, on my honest PoV, has the potential to become the most sensible choice for any vibe-coded project. It is fast like C, parallel like CUDA, feels like Python. And, on top of that, it has something rare: a complete proof system, like Lean, which some of you may recognize as the language that labs like OpenAI and Anthropic have been using to solve open mathematical problems like Navier-Stokes.

Bend brings that same proof system to a super fast app-centric language, allowing you to shift these powerful theorem proving models into ensuring that your apps are bug-free and hack-proof. The same capabilities that proved Navier-Stokes will now be writing real proofs that your own apps are correct. And I envision this as the obvious future of vibe-coded codebases.

In a post-AGI economy, humans will eventually stop writing and reading code, but we still need a precise language to communicate our intents to the AI's maintaining our codebases. Bend is that language.

Of course, Bend is not perfect yet. Writing a programming language is hard. Writing a proof language is 10x harder than that. Proving its consistency is 10x harder than that. Compiling it to the GPU, including closures, unrestricted recursion, fast object allocation and GC-free collection... is something nobody else has done before.

So, needless to say: *expect bugs and limitations*.

There is a huge ass section in our README talking about current limitations. For example, u64 and f64 are out. I did try adding them, but Metal doesn't even support f64. I gave up for now. On the brigher side, we have 32-bit numbers now, and Bend1's 2 GB memory limit has been lifted to 8 TB. Bend2 has a LOT of features that Bend1 lacked, and you'll find them in our guide.

Bugs are expected mostly in the compiler, which, unlike the trusted proof kernel (which is very stable already), has a LOT of AI slop. There is no way on Earth there won't be many bugs. So, if your app crashes on day 1: please be patient, report and let us fix it <3

On the business: we ship without a product. Everything I could think of was either blocked by laws, or by the market not paying for compilers, and I'd rather increase our chances of success, than risk them just to make some immediate profit, or delay it foreer. Yes, years working in a project that isn't going to make a cent. I'm ok with it, because we have other, cooler things being cooked, and these are waaay easier to sell.

So, yes, I'm giving this all to the world. Wanna show some appreciation? Just use it, create some apps, tell your friends about it, give it a fair chance and don't immediately give up if the compiler crashes or someone proves Empty on day 1 (yes, the theory is formalized, but the kernel drifted, so early days exploits are not impossible). If you find any bug, report it. If you miss any feature, request it.

Our team of 4 humans (and 25 non-humans!) will be working hard to fix issues, address limitations, and make this language competitive with the mature alternatives in the market. I'm really proud of Bend2, I think it has the potential to become best language of choice for vibe-coded project, and I hope you find it as useful as I do.

That's it for now. See you tomorrow(?) ^-^

[Luka @tseluka0]

Why are people using agent chat workflow to write code? I think 'ai-powered' inline completion is the best way to interact with the AI while keeping touch with your codebase.

[Luka @tseluka0]

@marclou don't get sick before the race

[Luka @tseluka0]

@linguinelabs is this torture?

[Luka @tseluka0]

@dhh How about https://t.co/GMRY73EfCC

[Luka @tseluka0]

is it just me or are Omarchy updates super slow?

sometimes it takes ~1h to update to the latest version.

can’t it be optimized like installation speed? @dhh

[Luka @tseluka0]

@tornikegomareli reading and understanding the code. For a while, i was only browsing through the code agent generated, comparing the diffs and only getting the general idea of the codebase. If you really want to stay in the loop you have to understand every single line of code agent generates.

[Luka @tseluka0]

no fucking way

[Anthropic @AnthropicAI]

The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees.

The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance.

Access to all other Claude models is not affected.

We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible.

Read our full statement: https://t.co/bwn0sximKZ

[Luka @tseluka0]

looks like we’re entering the post-AI psychosis era.

[Luka @tseluka0]

@hthieblot cooked

[Luka @tseluka0]

cook or be cooked

[Luka @tseluka0]

@durov NO WHY WOULD YOU DO THIS TO TELEGRAM?

[Luka @tseluka0]

@0xlapiece @FFmpeg @AnthropicAI I might be hating on Claude a little too much here but this is the patch they sent

Nothing bad, but nothing special either.