Mind-bending new programming language for GPUs just dropped...

[@WorstDeveloper]

Time to become a code bender.

[@igorthelight]

But what about non-benders? ;-)

[@mishanya1162]

@@igorthelight Folders you mean?

[@kipchickensout]

​@@mishanya1162 is that with or without hard R

[@catakuri6678]

Everything changed when the Bug nation attacked

[@Sq7Arno]

Finally, I have a chance to step into my father's shoes. Grow a pair. Live the life I was born to live.

[@hamadaelwarky3640]

Time to add 10 years of experience to my resume/CV

[@lionlike5856]

Can we stop making this joke every fucking video

[@Eichro]

My work experience is multithreaded, that's how

[@atemoc]

@@lionlike5856 We would if it wouldn't still be true

[@alexander1989x]

Recruiters be like: Do you have 10 years experience in bend?

[@ds920]

@@lionlike5856it was the first time I’ve seen this, now I know it’s a joke😂

[@noname-ql5fn]

Watched this video on 8000 Cores in parallel, added 500h of bend experience to my resume

[@axelnick1]

I just knew you actually calculated the time x cores, instead of giving random numbers

[@augustday9483]

5head 🧠

[@cbaesemanai]

I will hire you for my job listing which requires 10 years of production bend programming experience

[@davideographer4410]

ACKCHYUALLY... 500h = 30,000m = 4m video x 7,500 cores 😋

[@nu1x]

500 ? You need to start with 50 000 hours for entry level positions, or no one will take you seriously.

[@VictorTaelin]

That video was *extremely* well done. Seems like someone has read the docs! Thanks for making it. We're long-term fans of your content here at HOC. If you or any other content creator wants to reach out, we're available to talk about the technology and answer any questions. We know there's a lot of work to do, but we're excited about it. You can expect Bend to become faster with every release. There are also many missing features (64-bit numbers, larger memory limit, etc.) that will be added very soon!

[@steinerkelvin]

Let's do it. 🚀🚀

[@xeon39688]

excited*

[@mysterry2000]

Thank you for commenting! Shouldn't it be possible to model for loops to work like the tree model that Jeff showed, or am I missing something?

[@Rasperin]

This might legitimately make my life so much easier. It looks like I have some docs and playing around to do.

[@ben_car_8115]

⁠@@mysterry2000In the circles that would be using this language, the “fold” keyword and everything that comes along with it is actually more understandable that calling it a loop. When he said no loops I originally was confused but as soon as he said it’s replaced by “fold” I immediately got it. It’s just one of those things :/

[@samwalker7567]

Folds have been a mainstay of the functional programming world for a very long time. I remember teaching students how to implement folds in Python a few years back and it blowing their minds. The basic concept that all loops are simply a subset of a wider class of iterative constructs called folds is transformational - I love the simplicity and inherent understanding of a fold. This new concept of a bend is incredibly interesting, as like the fold it appears to be able to emulate any kind of loop or iterative function, but instead of going from many to one, goes from one to many. I will be playing around with this over the next few weeks I am sure!

[@asdfghyter]

Yeah, these concepts are really fascinating! The paper "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire" from 1991 gives a deep-dive in the different kinds of recursion schemas you can work with, though unfortunately not in the most accessible way possible. In that paper a fold is called a catamorphism, while a bend/unfold is called an anamorphism. Having these concepts built into the language is very interesting, as it both gives them more directly to users and allows the compiler to optimize them directly. Another interesting related concept is the Church-encoding of data-types, allows any algebraic data type to be encoded as a (higher order) function. The Church-encoding of a data type is literally just the data applied to its fold. This is actually used for list-fusions in Haskell, where the lists are temporarily converted church-encoding, which can allow skipping construction of intermediate lists that would've been immediately folded away. Afterwards, you can recover the original data by giving the fold the original constructors. As the video mentioned, a fold is basically just a search-and-replace, where each constructor is replaced by some function, so replacing them with the original constructors is obviously a no-op. I'm not sure if there is a corresponding concept to the Church-encoding for bends, but it feels like there should be one

[@asdfghyter]

Looking at the Haskell module Data.Fix, I believe that what it calls the Least Fixpoint data Mu f = Mu { unMu :: forall a. (f a -> a) -> a } corresponds to the church-encoding, which would mean that the Greatest Fixpoint is the corresponding thing for a bend data Nu f = forall a. Nu (a -> f a) a both of these are equivalent to the basic recursive fixpoint data Fix f = Fix { unFix :: f (Fix f) } which allows you to write recursive data types without explicit recursion, which also means that you get the folds and bends for free In the bend language, you wouldn't need the Fix datatype, since folds and bends are built into the language

[@AlexRodriguez-gb9ez]

BTW you also know that FOLDS can be done not only on lists and graphs, they can be done on AST of code, and the fold on the AST is what is reffered to as an interpreter (the LISP eval function) O_o. Also in Haskell Monads are cata mappables, where the cata operation of monoids (i.e: (0,+,sum),([],++,concat),(true,&&,and) is a fold operation. Monads(programmable semicolons; chainable functions) literally are calling evaluate then map on your embedded languages as ASTs, and they split the embedded languages into their semantics so that Monads are programmable semantics.

[@Tony-ow9bo]

You talk like somebody who thinks IQ is an important number.

[@asdfghyter]

@@Tony-ow9bo huh, what? why?

[@jonathanjeshualaniba5958]

“1 week of problem, instead 7 days with 7 computers” 🤣🤣🤣

[@deadlock107]

doesn't make any sense, especially in the context of parallel computing

[@Qohist]

wooosh or no?

[@ashenmint]

@@Qohist it's definitely a r/wooosh

[@TeslaPixel]

@@deadlock107 The joke is that the time saved running parallel was spent on the extra complexity of developing a parallel solution.

[@alexlofka360]

Thanks it wasn't stated in seconds😂

[@farouk_bloncko]

someone tomorrow will start recruiting people with 10 years of experience in this

[@MmMRmaxim]

This reminds me. Fuck the modern industry.

[@nKe.]

With salary being "valuable experience"

[@realbigsquid]

😂

[@AMan-xz7tx]

yeah, lol. The only reasons that companies will ask for that is, either because they want the employee to do the work of making the company look better on statistics, or because they want the credentials to be impossible so they have an excuse to cut costs with dirt-cheap outsourced labor (or, with a textbook "do less with more effort" lack of experience that only an executive could have, with a GPT AI model)

[@MmMRmaxim]

@@AMan-xz7tx Problem is, that at a certain level this approach just won't work anymore. If a company demands unattainable experience , the few candidates that will have a somewhat relevant portfolio will demand a lot more than the company is willing to pay.

[@_ptoni_]

Saw this on Twitter/X and was like 'no way, this is a scam'. Then I saw their pfp was an anime avatar and ngl kinda trusted them immediately lmao

[@FlowAshley]

😂😂

[@fresh218]

Certificate of trust spotted

[@mahersafadii]

Same, I saw it from anime pfp account yesterday lol

[@Manivelarino]

Anime nerds single handedly pushing humanity 100s of years ahead just to make their waifus real in their lifetime 💪

[@genghiskhan6688]

why are weeaboos like that lol

[@richtigmann1]

That diagram showing the combinators being untangled is just so awesome.

[@ChrisMazzerbo]

Yoo!! The guy who wrote that paper you mentioned at 2:15 was one of my teachers at my first year of my maths bachelor, that's sick

[@neposis]

Yoooo new programming thing dropped that's not a new js library finally letsgoo

[@DeltaByte]

not a js library yet*

[@FenrirRobu]

​@@DeltaByte chatgpt how do I compile a rust based programming language for wasm

[@thejoycode]

just started working on the JS binding to bend so we can write bend in js using bun

[@okachobe1]

Its not AI!

[@carlosmspk]

I'm not super on top of JS world, but haven't new frameworks kinda stopped releasing lately?

[@cherubin7th]

But GPU guy said we will never have to code again.

[@Meleeman011]

he did say that didn't he? LOL

[@andrewboldi47]

*the* GPU guy

[@Eleganttf2]

all hail the lord mighty Jensen huang

[@andrewboldi47]

@@Eleganttf2 shhh it's an insider joke people aren't supposed to know 😂

[@cognitive-carpenter]

Dude that guy is becoming a hack quicker than you can fold

[@komeelali3832]

7 days 7 computers joke was hilarious 🤣🤣🤣

[@lovwanshichetan]

Well, that's somewhat true for some cases. As this language heavily relies on recursion which takes a lot of resources & time for the same thing can be done with a normal for-loop but since it uses parallel computing it makes up for that. And that 7 computer analogy was used there because it can use all cores of cpu/gpu unlike what traditional languages do.

[@AMan-xz7tx]

I initially thought he made a joke about crypto miners, both before and after I got the joke it was still funny

[@supercompooper]

I liked his random numbers ❤

[@notaspectator]

did it lol , buggy distributed node code

[@ydne]

Was it a typo or a satirical analysis of how we are becoming frozen in a block of new good-intended time-savers?

[@EllGeeLabs]

People are rediscovering functional programming without knowing it.

[@leftaroundabout]

I think it's more accurate to say that people are copying features from Haskell without giving it enough credit.

[@bearwynn]

@@leftaroundabout the description for bend literally shouts out haskell

[@xaaal11122]

​@@bearwynn bend is running on interaction combinators, that are optimal implementation of lambda calculus, which haskell is running on

[@keepmehomeplease]

@@leftaroundaboutyou have no idea what you’re talking about

[@leftaroundabout]

@@keepmehomeplease you sure excel at phrasing criticism diplomatically, hm? But, what's your point? There can't be much doubt that the designers of Bend were well aware of Haskell from the start, and so were the designers of, say, Rust. So who do you mean that supposedly didn't know about functional programming?

[@pamus6242]

We needed this 17 years ago. It is happening 17 years too late. Imagine what we could have done with those core2quads and Phenoms !!

[@mho...]

🥺 My Phenom2 x4 955BE ran for over 10 years 💪& the Motherboard died before the CPU! Was a really great Piece of Silicon!

[@richm368]

@@mho... I had the same processor! Gave mine to my dad it was working perfectly fine and even still running games until the motherboard gave out in January this year. I think I might frame it.

[@mho...]

@@richm368 i did "frame" mine in a little diplay cube, standing on his corner on my desk 😅

[@mephilees7866]

Parallel Language: Check. Supports GPU: Check. Built with Rust(has thread safety, fast, beautiful, runs everywhere): What? ALL IN. let's integrate to Python and push to production now.

[@vidal9747]

Python Integration is a must unfortunately. I don't like that it is necessary, but a lot of people are using it

[@marcs9451]

rust is as thread ""safe"" as any language, the compiler is simply more restrictive about mutations

[@jailsonmendes6120]

in what world rust is beautiful? lmao

[@the_mastermage]

@@marcs9451 thats why bend doesnt even allow mutations in the first place.

[@geroutathat]

It's neat but putting it in production shouldn't happen. Your computer isnt made to run one python app, it runs an os and all sorts, if your app can run in one thread to the satisfaction of people do it that way, let the computer manage it.

[@AlamKanak]

takes the order, cleans the toilet and cooks the food, in that order lmao 😂😂

[@mu3a.d215]

ngl that someone looks like you, respectfully.

[@displayname7t4]

@@mu3a.d215 delete this

[@shoopddawhooped]

In parallel now they can clean the toilet 3x before cooking the order.

[@stephenkolostyak4087]

​@@mu3a.d215 that's really ignorant, if the toilet doesn't get cleaned what are we going to cook in?

[@Nina-cd2eh]

Smh these damn customers can't even appreciate concurrency

[@Walker-ky9vy]

1:20 “may even lead to conflicts with demons”😂

[@paulstelian97]

daemon, as apparently some dialects call demons daemons

[@sinistressdreams7243]

@@paulstelian97 I think that was the whole joke and thats why he is laughing about it...

[@nuggert]

@@paulstelian97🤓

[@---..]

@@paulstelian97 I think it might be referencing the famous "nasal demons" meme from 1992 on comp.std.c noting how undefined behavior (which is common in incorrect parallel programs) can permit compilers to do arbitrarily strange things, giving "make demons fly out of your nose" as an example.

[@ivoryas1696]

​@@---.. Neat. Thanks.

[@MorganEarlJones]

I'm not in tech but I've been following this one after a few people on Haskell Twitter mentioned it, the first of whom exclaimed something along the lines of "this guy is turning GPUs into real modern LISP machines!" which is exciting in and of itself, and then I think Ed Kmett engaged with something indicating that this does reduction of something akin to the lambda calculus really efficiently with GPU acceleration which is REALLY exciting

[@spdcrzy]

oooooooooooooooh. I just went down the lambda calculus rabbit hole again. ooooooooooooooooooooooooooooooooooooooooooooooooooh. This is VERY interesting (if true).

[@bob_mikhail]

I don't know Bend, however my favourite Futurama character is Bender. That goes straight into my CV

[@BlackHairedTidus]

Favorite -character- programming language: Bend -er-

[@douglaskrause3737]

0:30 So THAT'S why my CUDA code wasn't running close to optimally... it's not my sophomoric understanding of algebra, it was that I wasn't leveraging REGEX!!!

[@stephenkolostyak4087]

how else will you parse... large text files...

[@mage3690]

Simply ripgrep your way to Blazingly Fast Code™, young padawan.

[@zimriel]

"and now you have two problems"

[@Shazam999]

you now have a sophomoric understanding of regex.

[@asdfghyter]

@@stephenkolostyak4087 how else will you parse (X)HTML?

[@Mersoh]

Imagine running this on cloud servers. They'll hate you for maxing out their resources constantly lol

[@igorthelight]

You could make them hate you in any language. Bend is just a little bit easier ;-)

[@xSNJVideos]

​@@igorthelight A lot a bit easier my friend, a lot a bit. The amount of money my company has lost/wasted on parallelism issues is honestly insane. Time to present this to my team...

[@fred.flintstone4099]

Cloud servers run virtual machines on hypervisors so each customer can only run on as many threads as the virtual machine is configured for, and virtual machines come in different sizes like small, medium and big depending on which one you pay for.

[@sennetor]

You mean the CFO or however set the cloud spend budget would hate you. CSP's would love you for this.

[@sugo8479]

@@igorthelight you might even say that you can get them "bent" out of shape pretty easily

[@DecadantHandshake]

The first video on all of youtube about this language. Nice.

[@4RILDIGITAL]

The parallelism promise sounds revolutionary for computing. The way you explained the workings makes it seem less complex. Looking forward to exploring more about this language.

[@michaelbuckers]

Parallelism has been a thing since as early as computers had multiple CPUs, which is almost as soon as computers became a thing. The difference this makes, is that being a room temperature IQ chatGPT user does not preclude you from writing multithreaded code.

[@travotravo6190]

The problem has always been that coding stuff in that way is just super complicated and adds a whole other level of potential failure points to code. It will be interesting to see if this actually fixes it, or it's just a "cool idea but not up to the task."

[@thecancermen245]

Props for covering this project

[@NaN-se8ye]

The multi-threaded example on Python isn't correct, the code shown in the video around 1:11 is creating Python threads which are executed under GIL meaning that only one thread is executed at a time under a single system thread (being Python interpreter itself). So while providing multi-threaded languages feeling, the threading module in Python is not suitable for CPU bound tasks and you'd have to mingle your software parts around to achieve parallel execution on multiple threads/cpus.

[@cristianbenescu7949]

🤓 well ackchyually

[@arie1906]

Thank you, I learned something

[@angelmusonda7951]

Exactly what I wanted to say.

[@kjgoebel7098]

Also worth noting, there is a multiprocessing library in Python, which does get around the GIL.

[@megaspazos1496]

​@@kjgoebel7098yes but python multiprocessing cannot exploit hyperthreaded architectures in the same way multithreading does in C/C++ for example. Also threads are more lightweight and efficient than processes.

[@Miss0Demon]

I’m just gonna stick with C, like God intended.

[@RawFish2DChannel]

the Holy-C?

[@cherubin7th]

O yes God hates people.

[@inversemicron]

@@RawFish2DChannel The Holy C.

[@prontomatias3081]

Temple OS this is the way

[@jakezepeda1267]

God's Language

[@rodrigosimoes7103]

Babe wake up Fireship uploaded

[@karanr3ddy]

Your babe is with me. she's had a good time.

[@LittleMicho]

​@@karanr3ddy Bad joke :/

[@DrDiabolical000]

​@@karanr3ddybruh... that was way too cringe.

[@akshorts2115]

Your babe is sleeping with me 😴

[@turolretar]

The babe is woken. You, however, are sleeping on the couch tonight

[@johngodoy2929]

the way you talk about code is so satisfying

[@kmuralikrishna1998]

Time to fold 10 years of bend to my resume

[@divine203]

4 minutes and one poo later. I now have 10 years experience of Bend. Thanks fireship 🔥

[@zimriel]

they won't hire you unless there's streetcam evidence

[@ivandenkov7446]

How do you poo so fast?

[@SianaGearz]

@@ivandenkov7446 Usually 60 years of training (accelerated at triple rate). You need to get your pooping game up mate.

[@P-39_Airacobra]

Sorry but the industry is already ages ahead of you and left you behind, you're gonna have to find a new specialty

[@jeffh4581]

That's actually so sick. Gonna check it out now

[@carlosmspk]

it's VERY early stages. It's probably not the best dev experience right now

[@gblargg]

0:40 I so wanted to see that program written as a bunch of threads each writing one character, with synchronization between them.

[@last8exile]

look into sleep sort

[@gblargg]

@@last8exile Hah, I think I already get it. Clever (but potentially a looong time until the last element gets appended).

[@taisiyaaksenova-b7g]

I heard a lot of positive stuff about you and then I met this video. First video of yours i am watching... Totally hooked and I subscribed before I even finished watchng. Thanx you.

[@vladislavkaras491]

That quite comfy, that by modifying launching argument, you can specify on the fly, if you would like to use single or multithreaded and either CPU or GPU! Thanks for the video!

[@lipepaniguel]

Brazil mentioned! Let’s gooo!!

[@Sergio_Loureiro]

France mentioned! Let’s gooo!!

[@igorbaltarejo4745]

"Hi mom!" ❤

[@igorbaltarejo4745]

0:40

[@ada0015]

rip for his mom

[@ryanleffler58]

😢 I’m sure she’s proud

[@anonl5877]

You should do a video about Lean, it's a language that can understand mathematical logic and be used to prove theorems. It also has a very unique type system.

[@paulstelian97]

There’s also a tiny game where you have to prove some stuff about natural numbers online.

[@anon_148]

He should do a video about doing some actual lean

[@d3lta_p]

I LOVE LEAN, CHARLIE. I LOVE LEAN!

[@marcuss.abildskov7175]

Next he should do a video about Gleam

[@ripplerxeon]

We are looking for a code bender with 10 years experience in code bending. I liked my own comment cuz I like it that's why I posted it. GigaChad

[@gtgunar]

APL was made with built-in compatibility with parallel algorithms and reasoning. It could do all of it on a modern interpreter.

[@igorthelight]

Including Cuda? ;-)

[@JohnnyUtah488]

1:02 "handling one instruction per cycle" *** CISC has left the chat ***

[@wezzernium]

Uhhh... x86 has been doing more than one instruction per cycle for decades and I'm pretty sure the only ISA more CISC that it was VAX...

[@devnom9143]

DIV over in a corner ruining everything by taking multiple cycles on the majority of architectures; Unless it's an integer division by 2 cause then you can typically get away with a bit shift to the right

[@JohnnyUtah488]

​@@devnom9143 Haha, beat me to it. The Motorola 68HC11 microcontroller takes 41 cycles (!) for an integer divide.

[@JohnnyUtah488]

​@@devnom9143 Haha, beat me to it. IDIV takes a whopping 41 cycles on a M68HC11 microcontroller.

[@JohnnyUtah488]

​@@devnom9143 Haha, yes! I once worked on a microcontroller that took ~40 cycles for a DIV instruction.

[@explodestudios]

Will this help me build my todo app

[@newchallengers9420]

Yes if it's a ToDo app for all your parallel universe personas

[@leviathan5792]

Funilly enough, I just spent my afternoon reading about Bend, and then stumbled upon this video! It's definitelly very interesting, and it seems promising. Honestly, I wish this had come out 3 weeks ago, maybe it could have saved a project of mine...

[@TerabyteTy300]

I love that he still puts the “Hi Mom” references in. Gets me every time.

[@sortysciaofiscia]

I DID NOT UNDERSTAND I need a follow-up tutorial on folds and bends

[@sortysciaofiscia]

Edit: I read the github page and I firmly believe that nobody will ever understand folds and bends.

[@footballuniverse6522]

@@sortysciaofiscia gotta ask gpt4 to summarize for us simpletons xD

[@CaarabaloneDZN]

Amazing to see this featuring on fireship crazy stuff from the HOC guys

[@piked86]

This sounds like a nightmare for compiler bugs

[@rip4real437]

the picture used for the daemon conflict was perfect 🤣

[@mastermandan89]

I never understand any of these videos, but I watch them all and nod, "interesting"

[@YasmineCheddadi]

3:56 "this is bend the code report" was a missed joke

[@wezzelinator]

Finally. Procedural Haskell.

[@evergreen-]

Wait, what? Can you elaborate, please? 2 questions: what’s procedural about this language? Folds and recursions associate with FP. Haskell is said to be good for parallelism also. What’s different with this language that it’s better than Haskell?

[@Gigasharik5]

Its not haskell and its not procedural at all

[@brendanfay2017]

​@@evergreen- the language is procedural but has folds and bends and parallelization like haskell. it's better because stuff like parallel arrays is really hard in haskell, but I don't think it claims ot be better than Haskell anyway. different use cases

[@wezzelinator]

@@brendanfay2017 :^)

[@artificiyal]

came after i spent 3 months learning cuda

[@SVVV97]

It really targets a different domain than cuda. It's for things that you specifically don't want to implement in cuda: just normal, general purpose programming. As the name implies it's a VM and that VM comes with some overhead - so if you implement something once in bare cuda and once in bend the cuda version will be faster. Bend / HVM(2) won't magically speed up your matrix multiplications and stuff like that. But since you already know cuda you'd surely agree that there's a ton of things you would never implement with it simple because it's fucking hard to do so or simply not practical. That's where bend comes in: putting algorithms on the GPU that were traditionally relegated to the CPU due to the limitation of the current implementations of high-level languages. (There's apparently also some room for super new algorithms / making already known algorithms that have issues in current systems more feasible in practice, for example around symbolic computing) (At least that's my current understanding - I'm not involved with the project I've just been following it for some time)

[@NielsGx]

@@SVVV97 feels like GPU will replace CPU completely damn If you can get an OS working like this

[@Dom-zy1qy]

You know I was just about to write a comment along the lines of "Man I'm glad I didn't invest my time into studying GPU architecture & learning cuda"

[@tacokoneko]

@@NielsGx OS are fundamentally single threaded concepts at a low level, that's why when supercomputers run, the operating system the supercomputer runs doesn't boot once it boots thousands of times, once for each individual SoC node in the cluster, and the init system of Linux is a single process PID 1 that all other processes fork from, and the bootloader of an SoC initializes the processor through a series of mode changes and all of these occur in a single thread. multithreading and multitasking is a _feature_ that gets enabled and active at a certain point in the SoC boot process but it can't be instantly active it takes a few milliseconds

[@dhvcc8182]

​@@NielsGx I don't, because the system still needs high hz cores, it's a dandem of GPU/CPU where CPU is the main head

[@KingVoodoo226]

You're in a league of your own bro, these videos are hella informative and have me rolling lmao

[@realityChemist]

Honestly, as someone who deals with parallelization pretty often (scientific computing), this is kinda huge

[@labden9540]

Ive been watching victor and HOC build this for 3 years. Everything he’s said he was gonna build he has. He’s gonna change the worlf.

[@elxakiltse8773]

and after the worlf, he's gonna change the world!

[@AdnanTahirofficial]

Finally, with Bend, we can drink 10 coffees at the same, parallelism.

[@alexanderst.7993]

"Two completely random numbers". Yeah i believe you :)

[@rafaeldeleon3386]

Here's another two completely random numbers if you don't like those: 80085 + 7175 Happy?

[@zweitekonto9654]

Holy shit how did i missed this joke

[@artoriapd]

​@@zweitekonto9654 same lmao 😂😂

[@animatorslife9733]

yeah, I believe him as well!

[@feynstein1004]

What a time to be alive!

[@JavArButt]

Love your humor, 1 week in serial or 7 days in parallel with 7 different pcs

[@littlejack59]

The ways deveolpers are gonna use this to right shitter but faster code is gonna be incredible.

[@ric8248]

Episode 5476 of "coders" afraid of C++ looking for an easy way out.

[@BlackQuest575]

C++ isn't *that* bad

[@RandomGamingDev]

I mean, it sounds great and all, but at least right now, I don't see how this is going to be much better than the solutions we already have for running code on the GPU like compute shaders (OpenGL/OpenCL/CUDA) or a library like tensorflow or pytorch, and the multiple solutions for multiple threads and async/await in all the major programming languages, all of which already abstract away everything quite a lot. Trying to make hardware accelerated computing and general parallelism more accessible is great, but this is the sorta thing where you get into the nitty gritty bits of your algorithm's performance and with that explicit's almost always better than implicit especially with algorithms which require complex human thought and logic to optimize, something much harder to put in a compiler compared to say, the comparatively much more basic optimizations made by the C compiler, and when GPU cores can be easily compared to the CPUs of the yesterdecades: not exactly something you want something running high level code in an application worried about performance to this degree. So you end up left in a weird limbo where most applications are fine with a single thread, most of the few applications left that aren't delve into async/await and stay in the same language, and then the applications that really care about performance like simulations end up going with the more performant options mentioned previously that are already the industry standard anyways, and for good reason too. In my opinion, I love the project and its idea. It sounds great and I want it to succeed, but what I think it'll be great for and largely used for will probably be smaller scripts and data science computations and especially as an educational tool, but using it as something more than that, like to replace the industry standard solutions in an actual large project doesn't feel like it'd catch on nearly as much as just using the standard in the current tech landscape and most likely for years to come. Edit: Yes, this has promise for doing the things industry standard solutions can do and yes it abstracts a lot away which especially helps with things like race conditions (the industry standard solutions I listed also help significantly with that), but what I'm saying is that even then, most of the tasks are ones that are better off done with those industry standard solutions. Also, as for rj7259a's comment I doubt using a GPU for compilation say, for languages like C/C++ is a good idea at least in most cases.

[@khlorghaal]

interaction combinators are extremely promising, its attainable in the near term

[@rj7250a]

You write serial code and it runs in parallel. That is the greatest invention in programming since subroutines. If you are not a average JS developer, you know how complicated it is to write parallel code, you will always need to deal with a deadlock or race condition, and they are non reproducible bugs, the worst kind of bug. (Heisenbug) There is software that could run on a GPU, but would be pratically impossible to be coded by humans, like a compiler.

[@SimonBuchanNz]

​@@rj7250ayou don't get that sort of bug in (safe) Rust. Deadlocks can happen, sure, but they're probably the easiest bug to diagnose, they're their own breakpoint. And what do you mean humans can't program GPUs? We've been doing that for decades? It's a little fiddly to shuffle data in and out, but honestly it's just not that bad.

[@RandomGamingDev]

@@rj7250a Yes, I understand that writing parallel code is difficult, but not only are most applications fine with a single thread, but those that truly need the extra threads are oftentimes better off with the more industry standard solutions I previously listed. They already have the developers with the skills needed to utilize those libraries as well.

[@DevKumar-ci7eu]

1:21 wtf is that picture is that a devil . Chat is this real ?

[@panda-_-dreamer2.030]

Do not fuck around with the daemon, it will haunt your CPU forever looking for processes to keep alive

[@bazookaman1353]

That's a 100% real photo, his name is Michael and he's a gentle giant.

[@ivyZorz]

Finally, I can calculate the 100th number in the Fibonacci sequence in less than a week

[@Toleich]

My first reaction was: "Who even asked for this?!" then you mentioned that it's based on Rust. It's just the safety cultists trying to make themselves relevant. Bend is safe to ignore.

[@thisisjaymehta]

0:15 You mean 1 Day with 7 Computers?

[@allliver123]

interpreter written in rust is crazy

[@michaelrfalkowski2446]

1.5 seconds, that’s amazing! I’ve been stuck on 69 + 420 for years

[@mho...]

who knew, all you needed was to get Bend

[@bestintentions6089]

Data partitioning is the hard thing about parrel programming. If blocks have a morass of dependencies between each other then you get mostly sequential execution

[@soonts]

Too good to be true I’m afraid, at least so far. Running things in parallel is trivial on both CPU and GPU. The hard parts are efficient memory access, thread synchronization, parallel reduction, these kinds of things. Doubt that compiler is smart enough to transform naïve matrix multiplication into GPU tiled matrix multiplication with manually managed groupshared memory for the tiles (efficient memory access), or counting of matching bytes into vpcmpeqb / vpsadbw AVX2 on CPU (efficient parallel reduction). AFAIK, computers are not yet smart enough for things like that.

[@jackbarham]

This is it! Time to recode my portfolio that I haven't finished yet.

[@dest2115]

Thank you for the video. I'm a graduate stundent doing a math project with the man himself, Yves Lafont, as supervising teacher. This helped me add an interesting touch to said work.

[@hanslofgren8703]

Your content is so dense with "return true" big brain knowledge that it's easy to be mislead that you are not a comedian first, a programmer second, and a "creator" third. I take all of my "devops engineer" hats off to you, and that's a lot of hats. Thank you for all the laughs, truly.

[@afmikasenpai]

This is exactly why functionnal programming should be explored more.

[@edwarddejong8025]

There is another language called Parasail, written by one of the maintainers of Ada, and it also automatically parallelizes code, but it is more conventional, and allows loops in the language. For those interested in Parallel computing, well worth the effort as it is very polished at this point.

[@travelchoice89]

Wow, this new programming language for GPUs is a game-changer! 🚀🖥 Can't wait to see what amazing things developers will create with it. 🔥✨

[@qtDiabolik]

recursivebros we're so back

[@RepChris]

0:15 Reminds me of the german saying "a cold lasts a week without medicine and 7 days without"

[@braydenmcwaters8381]

I work in construction, I don't know why I'm here but thank you. I can tell you one thing, a fold and a bend are very similar

[@himbary]

Time to rewrite the Rust Webserver in Bend for my 10 user startup

[@Gameplayer55055]

It's funny how recursion is a big no-no almost everywhere because it screws up stack and for loop is better But here it's necessary. Like some functional language

[@minutenreis]

most functional languages require compilers to optimize tail recursion into iteration (its also optimized in c/c++ with gcc -O2 for example)

[@Gameplayer55055]

@@minutenreis right, but everyone is still afraid of stack overflow and using loops just in case And not all programming languages may have optimization, especially interpreted ones & dynamic types

[@HarshChavan2211]

Bro flexed hard and thought we wouldn't notice💀

[@NourArt02]

"It allows a programmer to take a problem that could be solved in a week and instead solve in 7 days using 7 computers" ... LOL this is literally how i felt writing my first multi-thread program

[@Quieneseste]

This is the channel I always watch to feel an intellectual boost while knowing that I don’t understand a thing anyways. Thanks man

[@EdinoRemerido]

Watet, earth, air, code A long time ago all these elements lived to gether in harmony

[@Mark73]

Utilizing every processor on your GPU to run Hello World in 1.5 seconds. We are truly living in the future

[@AnindoSarker]

When I started watching fireship in 2022, I didn't understand 90% of the videos. Gradually I was able to understand around 60%. This mind bending video just pushed my understanding back to 10%

[@stefa168]

Does this also support multiple computers? In our CS department we use a lot MPI, which allows for massive parallelism, and bend would be pretty great as a higher level substitute...

[@ab3llini]

Great video ! Just bear in mind that no matter the underlying framworks, not all algos are parallelizable :)

[@krepes8685]

Never thought my Haskell knowledge would randomly come in handy understanding a KZbin video...

[@adlordt5202]

Each time someone claims C++ is a difficult language people nod their heads-because it just “sounds” right, almost like something they’ve been told their whole life. When THAT person tells THEIR friends that C++ is supposed to be pretty difficult, their friends all nod and say they have heard the same. On and on it goes… If you program in Python you CAN learn C++ ! If you don’t program at all you CAN learn C++ ! My first language was normal old C, then I learned English, then I learned C++ ! (There was an attempt at humor in there-sorry, humor is not my forte). Clearly this video isn’t about C++ -it’s about that classic image where Floyd Mayweather put a bunch of fat stacks on a table, before heading to Best Buy to stock up on GPU’s! All stupid jokes and off-topic comments aside-very interesting video! This quite a compelling path for the art of programming!

[@Lord_Omni]

C++ is not hard, it requires much more from you including memory management (no garbage collector). Why bother, if you just can call those sweet and fast functions from Python o) I am .Net developer and even I was able to create memory leaks 3 times (every time me or some library caching too much). Thankfully VS Pro I am using can show you everything you have in memory in branches of tree, that represents how everything was called. I have doubts about C++ in the same situation o)

[@bautistavazquez6295]

I’m an auto tech but a big computer nerd I love this shit even though I don’t understand half of it

[@ThomasConover]

As a exotic language software engineer this language/compiler looks absolutely beautiful ❤❤❤❤

[@tejonBiker]

Pretty crazy that you can run in cpu and GPU without mod the code, I really liked.

[@meustrus7056]

Hrm. This bend thing is a neat concept. I feel like the syntax is too indirect though. I can think of a couple of ways to implement it as simply a generic function that takes a starting value and a function that takes the current value and a function to recurse. It's really cool as a built in language feature though as I'm sure it was much easier to implement.

[@binarycat1237]

note that this seems to ONLY give you parallelism, not concurrency. parallelism only really speeds up certain kinds of code, and only on devices with cores to spare. concurrency will speed up basically anything that reads a lot of files

[@el_arte]

So few things can be paralleled in real life applications. That is, computation n + 1 depends on the result of computation n. And that is the best case scenario.

[@silvertongue3003]

We going to be so much more efficient doing things in just 7 days that would normally have taken a whole week, brilliant

[@randomSaltyUser]

Seeing this implemented into a game engine would be next level.

[@nocturne6320]

- Untyped, if you try to do an undefined operation you won't get a compilation error - Cannot automatically convert between numeric types, docs even warn you to not add together a float and an integer, or even an int and a uint (what???) - No Windows support yet - Annoying Python-like syntax - Can you even compile it into a DLL library to be used in a larger project? Impressive, but only a meme so far