Arash

Facebook & Google Ads expert. Nothing gives me more pleasure than intellectually stimulating conversations.

[Arash @arash_hi]

@Abomination81 Analyzing 100000 call transcript using an llm like gpt5 mini with medium reasoning is cheap but takes a long time (even if you do batch processing) Jev can do this classification much cheaper and more importantly 100x quicker.

[Arash @arash_hi]

@Abomination81 Imagine a company that most of it revenue comes from phone calls and has years of call recordings and call transcripts. Now they want to use it to understand customers sentiment toward their product. Old machine learning classified is practically useless.

[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(?) ^-^

[Taelin @VictorTaelin]

it is done. presentation week now, then launch

finally

I'm tired, proud and excited for the future

it is novel, it is great, it works, and it will move tech forward

let's go

[kache @yacineMTB]

The current state of AI would be nowhere as good as it is if it wasn't for deepseek openly contributing their research. They invented GRPO, they invented the concept of test time compute, they invented agentic LLMs, as well as countless infra inventions. All open sourced.

[Goldie Ghamari | گلسا قمری 🇮🇷 @gghamari]

This is Ghalibaf, leading the "Death to America" chants in the Islamic Regime Parliament.

This is the most "reasonable" and "moderate" person left alive in the Islamic Regime for the United States to negotiate with.

[Andrea Stroppa 🐺 Claudius Nero's Legion 🐺 @andst7]

“Mr. Bean” on free speech in UK.

Video: @christianorguk

[Sana Ebrahimi Ledene @SanaELedene]

Iran's state media has sunk to a new level of evil. On live TV, they're openly mocking the dead by running a multiple-choice poll and asking viewers to text in an answer:

"Which refrigerator do you think the Islamic Republic uses to store bodies?"
Side-by-side fridge?
Ice cream machine?
Supermarket freezer?
Or "I sell ice"?

This is the level of cruelty they now broadcast as entertainment.

[Hamidreza @justchangingun]

اگر تعداد دنبال‌کننده‌های شما کمه و توییت‌هایی که درباره جاویدنام‌هایی که می‌شناسید زدید دیده نمیشه، زیر همین توییت با عکسشون منشن کنید، من ریتوییت کنم.
کمک کنیم اسم همه برده بشه.
#IranMassacre

[Mohsen Tavoli @MTavoli]

Many people wonder how a regime can commit such atrocities against its own citizens.
They don’t see us as fellow citizens.
Islam rejects the concepts of citizenship, country, or nation.
Muslims form the Ummah;
non-Muslims (Jews, Christians, Zoroastrians) are mere subjects, paying heavy jizya taxes without equal rights.
To them , we’re expendable enemies of Allah.

[Air @Airf0rArts]

YOU WON’T ESCAPE WHAT YOU’VE DONE, and you will have to pay for every single crime you committed against the people of Iran and the world.

( لطفا با انتشار عکسهای کشتار مردم ایران در کامنتهای نمایندگان فرانسه، اسپانیا و ایتالیا از آنها بخواهید دست از مماشات برداشته و هرچه زودتر سپاه رو تروریستی اعلام کنند.)

Designer: @RZabihian

#IRGCTerrorist
#iranmassacre
#iranrevolution2026

[Arash @arash_hi]

@21WIRE As a journalist, you really lack critical thinking. Or you are getting bribed by a child killer.

[Arash @arash_hi]

@21WIRE When it mattered most, Islamic dictatorship sat back, relaxed and just watched people of Gaza, their allies, to get massacred. And now they are executing kids, pregnant women and kids in the street. 43000 dead so far. This the type of government you are defending.

[Farzad Fattahi @FattahiFarzad]

برگه حکم ماموریت ویژه بسیج؛ مشخصات ۵ تن از سرکوبگران در #رشت، پیربازار، بیجارخاله

راننده: سیدنقی عسکری فرزند تقی

همراهان: محمد شفقی فرزند محمدرضا، گداعلی عبدی فرزند علینقی، عزیزاله عزیززاده فرزند سلیمان، هادی سلمانی فرزند صفر

تلاش می‌کنم تصویرشان را پیدا کنم.

#اعتراضات_سراسری

[Tanasoli @Tanasoli_Return]

هموطنی که‌ اینرا میخوانی!
تو در خارج هستی چون اینترنت داخل قطع است،
یحتمل در یک دموکراسی پارلمانی ( مشروطه) یا دموکراسی مانند آمریکا یا آلمان زندگی میکنی.
پس از جمهوری اسلامی، برای هموطنانت دموکراسی میخواهی، یعنی پس از جمهوری اسلامی گروه‌ها و گرایشها و احزاب رقیب باید بتوانند زیر یک سقف در پارلمان با ایجاد ائتلاف‌ها و همکاری‌ها بودجه و لوایح را تصویب و مشکلات کشور را حل کنند.

در میان میلیونها تجربه زیست در دموکراسی فرنگ بین ایرانیان خارج، این ظرفیت باید نمود پیدا کند تا دنیا باور کند
*پس از رژیم مشکلاتمان را میتوانیم با گفتگو حل کنیم!*

برای نجات هموطنانمون در داخل و تضمین دموکراسی در آینده. برای جلب نظر جامعه جهانی برای اقدام عملی؛ یک جبهه فراگیر متکثر ولی همصدامیتواند بسیار اثرگذار باشد.

فلذا؛ صدای افراد معقول و میانه جناح‌های اپوزیسیون باید شنیده شود تا این این تعقل بتواند جمهوری اسلامی را بالاخره سرنگون کند.

از صداهایی که افراط و کینه و نفرت نسبت به بقیه مخالفین پخش میکنند دوری کنید. اینها باید بفهمند فرصت برای جلب توجه بعدا هست، الان وقت تمرکز روی ایران است نه شما دوست عزیز!

[Henry Knight 2nd @ml_writer_guy2]

🚨 The Islamic Republic abducts wounded protesters from hospitals and executes them.

This young protester was taken alive from a hospital, then finished with a point-blank shot to the forehead. A man already shot in the head wouldn’t be hooked to heart monitors and IV lines.

[Persian God @RealPersianGod]

How is it “not foreign intervention” when the Islamic Republic brings in Hashd al-Shaabi militias to slaughter Iranians, but foreign military aid to the Iranian people is called foreign intervention? #IranMassacre

[maryam hasani @mery_h_pv]

پدرم مهدی حسنی اعدام شد ...
بی پدر شدم .
#مهدی_حسنی