US Gov to convert all C to Rust

  Рет қаралды 54,649

Let's Get Rusty

Let's Get Rusty

Күн бұрын

Пікірлер: 372
@letsgetrusty
@letsgetrusty 4 ай бұрын
Get your *FREE 4-Day Rust training* : letsgetrusty.com/bootcamp
@TRK--xk7bb
@TRK--xk7bb 4 ай бұрын
We are about to see the shittiest Rust ever written
@valor6711
@valor6711 4 ай бұрын
>be me, work for US government >translating 40 year old C into Rust >waiting for compile >nuclear missile strikes in 10 minutes!! >waiting for compile >5 minutes launch now or the silo will be destroyed and anti missile system stop working! >waiting for compile >missile countdown reaches 0, breathe sigh of relief since it was just rust compiling >wtf why’s the sun rising at 2:39 AM?
@samuraijosh1595
@samuraijosh1595 4 ай бұрын
LMAO
@PeterSahanaya
@PeterSahanaya 4 ай бұрын
​@@valor6711😂😂
@spht9ng
@spht9ng 4 ай бұрын
Will still be safe at least
@C4rb0neum
@C4rb0neum 4 ай бұрын
Well luckily they will disable AI training since they are secretive so no problem
@stillness0072
@stillness0072 4 ай бұрын
I'm sure they will need Rust cheatsheet
@letsgetrusty
@letsgetrusty 4 ай бұрын
I’m on it
@tuna5618
@tuna5618 4 ай бұрын
@@letsgetrusty the NANOSECOND someone even THINKS about writing rust and Bogdan is like: "Hey so I heard you needed a cheatsheet"
@rescyy2235
@rescyy2235 4 ай бұрын
​@@tuna5618 Ahh, so he's romanian? Name all job opportunities for Rust in Romania. (I will not use this information for doing bad things)
@Mempler
@Mempler 4 ай бұрын
The US government literally just said: "Let's rewrite C in Rust"
@shanehebert396
@shanehebert396 4 ай бұрын
They said "hey, anybody have any ideas on how we might could make something that can translate legacy C code to Rust, if we wanted to?"
@d1namis
@d1namis 4 ай бұрын
Nah, they will never use Rust them self oor work on it. Reason just because Rust have many backdoors and cyberweapon inside. Basically it's an end of Rust.
@jeffreyjdesir
@jeffreyjdesir 4 ай бұрын
Can you provide any evidence for this? ​@@d1namis
@tuna5618
@tuna5618 4 ай бұрын
Even the US government is doing hype driven development.
@mikekong1874
@mikekong1874 4 ай бұрын
😅lol got what cyberweapon? u joking?​@@d1namis
@jonscaplan
@jonscaplan 4 ай бұрын
As others have said this is not a US government announcement that they are going to convert C to Rust. What happened is that somebody wrote a grant proposal to DARPA saying we'd like some money to investigate creating tools for automatic conversion of C to Rust. A grant review committee decided to fund the grant. The committee probably understood how challenging these told can be, but thought it worthwhile line of research. DARPA likes to fund big ideas. That is very different from a policy decision where the owners of any C code base (government or contractor) have decided to convert existing code to Rust.
@michael_r
@michael_r 4 ай бұрын
Yeah. This.
@gareth4168
@gareth4168 4 ай бұрын
They're not "Planning to convert all C Code to Rust". It's a research project, launched by a research agency, to look into the feasibility of automatically converting C to Rust. "US Gov to convert all C to Rust": I like your videos but this title and content is clickbait BS.
@pluto8404
@pluto8404 4 ай бұрын
well if you take it literally, you should start repla(rust™)ing all your letter (rust™)'s with rust™
@radosmirkovic8371
@radosmirkovic8371 4 ай бұрын
He has to use clickbait titles. That is traditional communist tactics.
@shabadrandhawa3829
@shabadrandhawa3829 4 ай бұрын
@@radosmirkovic8371what?? You mean capitalist?
@radosmirkovic8371
@radosmirkovic8371 4 ай бұрын
@@shabadrandhawa3829 No I meant what I wrote. In order to trick people into impossible and nonsensical ideas you have to use click bait titles, like:no more fossil fuel, the burgoisse are secretly oppressing the working class (what ever the class really is), tear down every building in America a.k.a The Green new deal. Or current: rewrite every c line of code in rust. Like that is going to magically swipe all the problems away.
@tacorevenge87
@tacorevenge87 4 ай бұрын
Hmm because government is eventually moving away from c/c++
@PrivateUsername
@PrivateUsername 4 ай бұрын
It's just an experiment. This is just a call for papers, more or less. It isn't a directive or anything of the sort.
@BruceDArcus
@BruceDArcus 4 ай бұрын
This. DARPA does advanced projects, many of which fail.
@amielvasco3503
@amielvasco3503 4 ай бұрын
The benefits if it works, though.
@letsgetrusty
@letsgetrusty 4 ай бұрын
Right but the fact that they are even persuing this is really interesting!
@zoeherriot
@zoeherriot 4 ай бұрын
@@letsgetrusty they will find that Rust is still capable of the same class of bugs C is. Rust doesn't solve memory safety issues. It reduces them in some cases.
@Andrew-jh2bn
@Andrew-jh2bn 4 ай бұрын
​@@zoeherriotwhat do you mean? Rust helps with a whole host of memory safety bugs. Use after free, data races, dangling pointers, and buffer overflows all become impossible.
@compilejason
@compilejason 4 ай бұрын
Private sector defense tech engineer here. We are also converting all C to Rust, primarily in our robotics org. Being a language zealot is usually not the move, but, Rust is DEFINITELY the move.
@emperorpalpatine6080
@emperorpalpatine6080 4 ай бұрын
How many loc ?
@letsgetrusty
@letsgetrusty 4 ай бұрын
Interesting insight. Thank you for sharing!
@honkhonk8009
@honkhonk8009 4 ай бұрын
rust sounds too fun. My Uni is using it too. Fixes alot of the reasons that turn people into soydevs
@satyam168
@satyam168 4 ай бұрын
Bro I am looking for job in defense tech Could you share your socials
@straightup7up
@straightup7up 4 ай бұрын
How are you going about the conversion?
@shanehebert396
@shanehebert396 4 ай бұрын
This is an R&D thing... basically a call for ideas on how it might be done. In the PDF, they are clear that they are not even promising that anything will come from it. It's more like an NSF SBIR Phase 1 type thing if you're familiar with that terminology.
@enzolombardi9631
@enzolombardi9631 4 ай бұрын
It's a research project, so it might be bound to fail, but it's clear that Rust is the language we must learn as we used to do with C in the past.
@araarathisyomama787
@araarathisyomama787 4 ай бұрын
Totally waiting for the next 3 years just to see no progress whatsoever in the matter
@dakata2416
@dakata2416 4 ай бұрын
The NSA has backdoored Rust confirmed!
@nlmaster9811
@nlmaster9811 4 ай бұрын
Yeah I’m sure they want a back door in all of their own stuff.
@h.s3187
@h.s3187 4 ай бұрын
So why many ransomware groups are migrating they stack to Rust explain me why Blackcat and Lockbit are migrating to Rust ?
@_lod
@_lod 4 ай бұрын
@@h.s3187bro it’s a joke
@h.s3187
@h.s3187 4 ай бұрын
​@@_lod I think it's schizophrenia
@T1Oracle
@T1Oracle 4 ай бұрын
​@@nlmaster9811LOL, imagine if an NSA backdoor had a zero day and they all got pwned for it? 😂
@lwwells
@lwwells 4 ай бұрын
US government then said: “BTW, we use Arch”
@Onyx-it8gk
@Onyx-it8gk 4 ай бұрын
As another person said, regardless of the outcome of this specific project, it sends a clear message that Rust will be the way forward!
@d1namis
@d1namis 4 ай бұрын
Nah, it's clear message that everyone should abandon Rust. Because it just confirmed that it have many NSA backdoors and cyberweapon. It's just a question of time when another huge ransomware will terrorize the internet. Especially now when practically the war with Russia and China is going.
@yuridelossantos569
@yuridelossantos569 4 ай бұрын
at first...
@aniketbisht2823
@aniketbisht2823 4 ай бұрын
It's so over for C-cels.
@ptarslatinum2806
@ptarslatinum2806 4 ай бұрын
is that analogous to in-cels?
@aniketbisht2823
@aniketbisht2823 4 ай бұрын
@@ptarslatinum2806 You tell me.
@ptarslatinum2806
@ptarslatinum2806 4 ай бұрын
@@aniketbisht2823 yes I guess
@Le_Dislike_Button
@Le_Dislike_Button Ай бұрын
>make low level programming easy for wahmen and diversity hires Face it, C chads mog rustfags everytime
@Olodus
@Olodus 4 ай бұрын
My guess is only a small subset of C programs can easily be rewritten in safe Rust. Rest would probably need unsafe Rust, where I don't think it has proven itself as much as a better alternative. Personally would prefer them setting requirement for testsuites to be run with ASan and fuzz'd or something like that, but what do I know.
@danwellington3571
@danwellington3571 4 ай бұрын
They'll find a way to fumble it but they've sent a clear signal to the world
@taragnor
@taragnor 4 ай бұрын
The government still runs systems with ancient technology like floppy disks. So it's highly unlikely it's going to be any kind of mass upgrade.
@jeffcauhape6880
@jeffcauhape6880 4 ай бұрын
Remember when the US Govt thought that ADA would solve all of their problems?
@themoviesite
@themoviesite 4 ай бұрын
Their problems started when they went off that policy. F35, anyone?.....
@vectorphresh
@vectorphresh 4 ай бұрын
Yeah some of those Ada projects are still running today.
@StephenMinkin
@StephenMinkin 4 ай бұрын
Like really...or is to make sense of a group of people who failed to learn c++?
@nombreapellido9038
@nombreapellido9038 4 ай бұрын
We will just have to wait and C. (I will C myself out).
@DevelTime
@DevelTime 4 ай бұрын
For sure, the name is top-notch 🙂 At this stage it cannot be considered nothing more than an experiment, however this is a big thing for Rust in sense of "official" recognition of the language. So, while I am not Rust-dev, I am very happy about it.
@qinlingzhou8815
@qinlingzhou8815 4 ай бұрын
Man, the US gov'ts will take forever to do it. Looking at those mainframe apps in the US gov'ts. :)
@JarheadCrayonEater
@JarheadCrayonEater 4 ай бұрын
DARPA does NOT make those decisions. Your title us very misleading. - I've been working with the government for over 25 years, and absolutely hate seeing this kind of garbage.
@anotherelvis
@anotherelvis 4 ай бұрын
The white house has published a statement about memory safe languages, so that part has government backing. But TRACTOR seems to be a limited research project with a catchy name.
@MichaelKefeder
@MichaelKefeder 4 ай бұрын
I've translated too much C code into Rust, to believe that this is possible. Converting all the e.g. pointer arithmetic used in C to idiomatic and safe Rust is hard - to understand the pattern and then make something well typed and sane out of it. Also while doing so I regularly find bugs in the C source, because the compile time checks of Rust are so much stricter. Then this TRACTOR software does what? fix the bug in C first, write a test and replicate it in Rust afterwards? They might be able to come up with some form of helper toolset but in no way a translator.
@complexity5545
@complexity5545 4 ай бұрын
Yeah they're not going to convert mechanical/electrical drivers. They'll use it to write future programs and the non-mission critical drivers. Most of the good C drivers were written by people who knew what they were doing and didn't introduce pointer problems and out of range memory problems. Rust is for the new teams of programmers that don't know how computers work at the microchip/microcode/IO level.
@deftlawson
@deftlawson 3 ай бұрын
I swear dude, the military awards contracts/initiatives based on how good of an acronym the name creates… TRACTOR program man?
@maneeshs3876
@maneeshs3876 4 ай бұрын
DARPA has taken big and bold initiatives earlier too like Autonomous Self-driving Vehicles and others.
@complexity5545
@complexity5545 4 ай бұрын
Like the internet. LOL and computers. DARPA started most of it (in the USA) and also after/during WW2.
@NineInchTyrone
@NineInchTyrone 4 ай бұрын
What happened to ADA ?
@MostIntelligentMan
@MostIntelligentMan 4 ай бұрын
rust is top dawg of programming langs, hands down. only reason to use any other is speed of development, but for quality is rust and rust only
@KyleHarrington
@KyleHarrington 4 ай бұрын
They've had Ada at their disposal for years, not sure why they haven't used it...
@me_12-vw1vi
@me_12-vw1vi 3 ай бұрын
Ada is their language (the us military) and no one wants to be part of that cult that’s why they can’t find enough Ada programmers to work on their ridiculous projects
@10ahm01
@10ahm01 4 ай бұрын
Are they suggesting that making tools that translate C into Rust is easier than making tools that can debug C?
@StephenMinkin
@StephenMinkin 4 ай бұрын
Still going to have to know c++
@loop8836
@loop8836 4 ай бұрын
will it create psychological effect on private indusrty and open more positions for rust devs just my thoughts
@anotherelvis
@anotherelvis 4 ай бұрын
Tractor looks like a somewhat limited research project with a catchy name. - But in general it is a great idea to ask subcontractors to use Rust.
@StephenMinkin
@StephenMinkin 4 ай бұрын
The problem with rust is if dosnt have an easy covert way, say tractor dosnt do it all, it will have to be re written in rust.
@AndrewBrownK
@AndrewBrownK 4 ай бұрын
does this mean there's finally going to be some rust jobs?
@rsalmei
@rsalmei 4 ай бұрын
One can only hope...
@tuna5618
@tuna5618 4 ай бұрын
There will be 1 rust job! Yay!!
@thehady1
@thehady1 4 ай бұрын
There support doesn't mean anything people either forgot or don't know that Ada is a memory safe language and it was backed by the US government yet C is still the lingua franca . It doesn't matter who endorses it the tech chooses itself . I advise ppl to use C it conserves energy 😂
@thehady1
@thehady1 4 ай бұрын
@@RustIsWinning they said it since your mother and father weren't born. Why do they ensure compatibility with C then?
@thehady1
@thehady1 4 ай бұрын
@@RustIsWinning should I like yours too. Get a valid counter or just shut up kid
@johnanderson8324
@johnanderson8324 4 ай бұрын
And we were all supposed to write applications in type safe Ada 30+ years ago. Look how well that went over. Now that Rust is becoming an everything language and people want to write web apps with, it's hopeless. Designing languages by committee is a really bad idea. You just end up with a language that can do a lot of things and none of them very well. It's been proven time and time again. The more things change, the more they stay the same.
@F_Around_and_find_out
@F_Around_and_find_out 4 ай бұрын
For new learner it is still better to start with C. Sometimes you just don’t get it why thing has to be this way until you see how it all began. Don’t go head first into Rust.
@radosmirkovic8371
@radosmirkovic8371 4 ай бұрын
As someone who doesn't like government meddling in life and also as a fan of C and C++ I would like they succeed in the endeavor, because then world will see what stinking pile of hype Rust is. And after january 2025 C and C++ are making huge comeback.
@radosmirkovic8371
@radosmirkovic8371 4 ай бұрын
@@RustIsWinning Did the borrow checker allowed you to think? Because you are not the owner of your thoughts. Just wait and see. Rust will go down in history as an attempt to destroy freedom of programmers.
@dirlrido2522
@dirlrido2522 4 ай бұрын
@@radosmirkovic8371 What
@gavinlew8273
@gavinlew8273 4 ай бұрын
Interesting alternate viewpoint, what makes Rust such a stinking pile compared with C / C++?
@radosmirkovic8371
@radosmirkovic8371 4 ай бұрын
@@gavinlew8273 The fact that it is highly politically opinionated. Especially when it's Marxist tone in it. And history showed us time and time again that Marxism makes their followers technically castrated. Second, why would Government preach any programming language? Are we going to virtue signaling by using rust? Are you coding in rust to be obedient comrade or to produce high quality software? When programmer starts asking these questions than programer starts to think for themselves.
@dirlrido2522
@dirlrido2522 4 ай бұрын
@@radosmirkovic8371 Buddy take your meds, it's being endorsed because it's memory safe and by nature less vulnerable to attacks
@belkamax05
@belkamax05 4 ай бұрын
Most of the time they react slow, now they did it too fast. Seems like just because of null pointer issue recently now they are changing all to be made on language which prevents this specific issue. Is it the only one to have? Let's see when they complete refactoring.
@redcrafterlppa303
@redcrafterlppa303 4 ай бұрын
I like rust a lot. But it's not the holy Gral of programming languages. I would love to see more languages that are compile time memory safe. I think rust needs some competition. I'm writing my own language that fits this description but as a single developer I don't expect anyone using it except myself once it's done as it's more of a hobby project. Still we need more time invested in different strategies to prove memory safety at compile time. While at the same time trying to make the system as implicit as possible to not become difficult like in some cases rust is.
@ゾカリクゾ
@ゾカリクゾ 4 ай бұрын
what do you think about zig?
@redcrafterlppa303
@redcrafterlppa303 4 ай бұрын
@@ゾカリクゾ as far as I understood it doesn't really reject memory bugs at compile time. It's more similar to C which makes it pointless in regards of memory safety.
@josealonso7321
@josealonso7321 4 ай бұрын
What language is it ?
@redcrafterlppa303
@redcrafterlppa303 4 ай бұрын
@@josealonso7321 currently the language only exists in notes and my head. But I'm working on the compiler like I said as a private project. The goal is memory safety at compile time with reference and allocation management mostly done by the compiler. I'm basically trying to make it easier to write code that requires complex lifetimes in rust in an simple and more straightforward way.
@Onyx-it8gk
@Onyx-it8gk 4 ай бұрын
@@redcrafterlppa303 I definitely appreciate your effort, but Vale is likely far ahead, although you could certainly adopt some of its features.
@EngineerNick
@EngineerNick 4 ай бұрын
Well if the computers can beat us at chess and Go, why not. But in my experience the translation is deeeply non-trivial if you want idomatic rust. And even if they pull off a translator, then you need to generate documentation, and verify it works the same. Gnarly problem.
@thingsiplay
@thingsiplay 4 ай бұрын
The best part of this is, this will annoy lot of C fans. The others doesn't count.
@theevilcottonball
@theevilcottonball 4 ай бұрын
Why is it good to annoy C fans? Also, not every program cares that much about memory safety against adversaries (simulations, games, WASM web apps (already sandboxed), some embedded devices, most userspace programs, DOS applications, non-internet connected embedded devices, etc etc...
@Hollandvancewright
@Hollandvancewright 4 ай бұрын
What did we ever do to you 😮‍💨
@olafschluter706
@olafschluter706 4 ай бұрын
@@theevilcottonball Not caring about memory safety means not caring about code being correct. It isn't always the case that memory mismanagement in C yields a security vulnerability. But every time it yields buggy output or random crashes.
@NicholasMati
@NicholasMati 4 ай бұрын
​@@olafschluter706 That assumes you allocate at all. For a number of safety critical C and C++ embedded projects I've worked on, we've tweaked the linker script so that things don't even build if you try to call malloc or new. Memory safety issues solved. Everything is on the stack or statically allocated.
@theevilcottonball
@theevilcottonball 4 ай бұрын
​@@olafschluter706 When it crashes it is easy to debug. C code can be thoroughly tested and reliable. It is Rust people who say that ASAN and fuzzing is not enough, because there might be a very weird edge case where it is possible to get the program in a confused state where it is possible that memory unsafety occurs. Software in C is not more buggy than software written in other languages.
@TylerR909
@TylerR909 4 ай бұрын
Atwood's Law needs an addendum... And then we need a Rust JavaScript Engine. And then Atwood's Law can just say "everything will be written in Rust" and anything written in JS auto-applies.
@DeepakKumar-uz4xy
@DeepakKumar-uz4xy 4 ай бұрын
Bro just release backend development course. And tell me which framework has more job opportunities. Is it axum or actix?
@azcatlm7175
@azcatlm7175 4 ай бұрын
It is incredible that a government that spends its time supporting "private initiative" adopts so many systems and inventions related to collective projects.
@UweStrempel
@UweStrempel 4 ай бұрын
Some issues - gccrs is not ready yet.
@edbertkwesi4931
@edbertkwesi4931 4 ай бұрын
yeah i read this a day then i later saw it on your channel. i spent two years learning it and it was fun. gradually is the beginning of the end for C, we are talikng about DARPA and if Darpa is going for RUST then it means for a very long time they were assesing the RUST language finally they JUST have to say bingo . Remember GO lang is there but they choose RUST
@NicholasMati
@NicholasMati 4 ай бұрын
While many applications would benefit from memory safe languages, there are large classes of problem where this just doesn't matter or makes overall safety worse. I'll submit hard real time embedded applications as an example. I've done these projects in both C and C++. For those types of applications, you simply don't allocate which takes care of memory safety. However timing bugs are really important and easily understanding what the compiler is going to emit becomes crucial. I'm this context, I have strong convictions that C is much safer than C++, Rust, or just about any other language.
@tychoides
@tychoides 4 ай бұрын
Zig actually is a good language for that use case, and is a bit more safe than C.
@J-Random-Luser
@J-Random-Luser 4 ай бұрын
In real time systems, I imagine it is much less of an issue because you dont have any heap allocation, but what about issues with indexing out of bounds of an array, erroneous use of unions, issues with void pointers, stuff which doesn’t require heap allocation to cause memory safety vulnerabilities?
@antifa_communist
@antifa_communist 15 күн бұрын
Absolutely nonsense. Rust is 100% safe (without using unsafe Rust). C and C++ are unsafe languages. What's next? Is 1 + 1 = 3?
@titanandrews
@titanandrews 4 ай бұрын
So tools are not good enough to find memory bugs, but tools are good enough to convert C to Rust? What a bunch of dunce heads.
@hewhointheearthlydomainsee1272
@hewhointheearthlydomainsee1272 4 ай бұрын
I hope they share. It would be nice.
@michaelutech4786
@michaelutech4786 4 ай бұрын
If you could automatically transform C into safe Rust, then you wouldn't have to convert it. If they use LLM for a creative transformation, how are they planning to cope with hallucinations? For me, Rust is incredibly hard to read. I am fluent in many system programming languages, I know the technologies used in system programming. When I read Rust or C++ code, I get angry because I feel that stuff is unnecessarily cryptic and confusing. This is not to say that Rust is a bad language. It most certainly is not. It's fast, it eliminates most memory safety issues. Rust programmers love it. C code is easy to understand unless the developer has skill issues or uses strange idioms. There are a lot of developers with such issues. What happens if you let loose such developers on a Rust code base? Who is supposed to understand such code? Sure, you may have solved the memory safety problem. But what about all the other problems that are just as problematic? I would rather see a language like Zig replacing C. It would make a gradual transition trivially easy. It does not solve the memory safety problem, but mitigates it. It has the same abstraction level as C but offers much more comfort and is more expressive. It is as easy to understand as it gets (for a system programming language that is).
@tychoides
@tychoides 4 ай бұрын
Agreed. Zig is better to replace C. But in my case, data processing without async, Rust is more ergonomic and almost feel high level, and this is coming from a Python guy. But I don't write fancy Rust. I am a user not a library builder. Therefore,I don't use polymorphism in general, so no traits or complex lifetimes of convoluted data types. Just functions and calls in main, as the Lord intended. So I write Rust like C and I like it. But there is Rust there that is surely written by a C++ dev, stuff that really need a day or a week to understand what is going on. So I understand you point. But is not unique of Rust. C++ is guilty of that. And functional languages have also a large amount of people that think is clever by doing puzzle solving what should be a simple loop.
@michaelutech4786
@michaelutech4786 4 ай бұрын
@@tychoides You condensed what I wanted to express very nicely. Rust actually feels like a redo of C++, while Zig is a redo of C. You programming Rust C style reminds me on using C++ C style (as a consequence of trying C++ style C++ and despairing while looking at the result). I spend 2/3 of my three decades programming in higher level languages (Eiffel, Java, C#, TypeScript and others) and I liked it and the other third mostly in C. When I tried to learn Rust I didn't like it at all. It just feels dirty. Then I saw Zig and fell in love. It made me rediscover the feel of programming a computer instead of modelling abstractions. That might not be as productive, but it's more fun, at least after spending so much time on the other side of the moon. I doubt though that whatever software the White House uses is properly described as system software. I actually expected them using Excel and doing VB scripting. What are they using C for?
@Avalk
@Avalk 4 ай бұрын
My jaw dropped after I played this video and found out this wasn’t a meme
@richardvonlehe4581
@richardvonlehe4581 4 ай бұрын
I've seen what an established code converter has produced converting C# to C++. It was awful. It was meant to help speed the rewriting process, but it ended up getting mostly discarded.
@michaelmorris2300
@michaelmorris2300 4 ай бұрын
I'm sure most who have flown on an aircraft have put some of their lives in the hands of ADA. Well military pilots definitely have. Critical systems are written in ADA. I'm a C/C++ software engineer, and its not just memory, but also types, and type conversion. This aspect is easily dealt with by the Pascal type languages. Grammar and idioms and then the toolchain. Thats all there is. This understanding would be straightforward if you use LLVM tool chain, or transpile anything.
@SpikeRazorshards
@SpikeRazorshards 4 ай бұрын
You were great in The Punisher Season 1.
@notreallyme425
@notreallyme425 4 ай бұрын
Are they still using legacy Ada code?
@hermestrismegistus9142
@hermestrismegistus9142 4 ай бұрын
My opinion of the government just improved by two segmentation faults.
@dadlord689
@dadlord689 4 ай бұрын
Tractor Contractor. Danm, sounds like Robocop
@4115steve
@4115steve 4 ай бұрын
yes, it probably is the end of C and C++ in critical infrastructure
@romangeneral23
@romangeneral23 4 ай бұрын
Lol, no
@alejandroioio6784
@alejandroioio6784 4 ай бұрын
Sure, maybe in 3000 years is done, then they will find some problem with Rust and then they will move to another language for 3000 years more
@perc-ai
@perc-ai 4 ай бұрын
Why not zig.
@rayrwyr
@rayrwyr 4 ай бұрын
DARPA's own do-all language was Ada.
@adamodimattia
@adamodimattia 4 ай бұрын
If DARPA does so, that definitely end of C, at least in many zones.
@skydandelion2560
@skydandelion2560 4 ай бұрын
Will they Fix Compile time. It's not a big deal, i mean if they will, it would be great too!
@adrianscarlett
@adrianscarlett 4 ай бұрын
It sounded to me like they are looking at methods to automate the translation.
@nakatash1977
@nakatash1977 4 ай бұрын
Why not Zig?
@GaryJohnWalker1
@GaryJohnWalker1 4 ай бұрын
Hopefully goes better than the Ada initiatives
@NuflynMagister
@NuflynMagister 4 ай бұрын
Дякую, Богдане!
@wissensfrosch
@wissensfrosch 4 ай бұрын
Usually, rewriting code introduces new bugs. It is not a good idea to do it. That‘s why TRACTOR tries to automate that process. LLMs will not help with this as they hallucinate too much and thus will also introduce new bugs. Anybody who understands AI just a little bit will not rely on it to make software safer (other than providing suggestions to a human programmer). However, any automatic tool will have to solve the problem of making unsafe code safe in order to convert potentially unsafe C code to safe Rust code. Once this problem is solved, we have the tools available that we could make C safe just by using these tools. Then we don‘t need to rewrite anything and don‘t introduce bugs, but just make existing code safer.
@jonscaplan
@jonscaplan 2 ай бұрын
Agree that correcting unsafe C code is a hard problem. A big part is that the intent of the code may be ambiguous without knowing what the program's goals and constraints are. If a pointer use after free is detected, is the bug that the pointer was used too late or that it was freed too early? What do you do with code where the standard says the correct behavior depends on target? (size of int, ...) Should not checking for overflow be an error, a reasonable performance decision given knowledge of inputs, or is rolling over fine or even intended? etc
@ArnabAnimeshDas
@ArnabAnimeshDas 4 ай бұрын
Some constructs in C are simply not possible in Rust and idiomatic Rust code is simply very hard to produce automatically when converting from C. I wonder if they will be able to pull it off.
@arubaga
@arubaga 4 ай бұрын
I think eventually Zig will kidnap C; eat it all up. 😅
@theevilcottonball
@theevilcottonball 4 ай бұрын
Nope, I think C will get 100 years old...
@tacorevenge87
@tacorevenge87 4 ай бұрын
Love zig.
@RiwenX
@RiwenX 4 ай бұрын
Zig is the current thing, lol
@tychoides
@tychoides 4 ай бұрын
For some stuff yes. I took a look to Zig. The syntax is ok. I prefer Rust the stuff I do as manual memory management is still a bother in Zig. I use Rust for data processing and simple algorithms and business logic that cannot be vectorized with Python numerical libraries.The lifetimes are simple and functional features work great, so I let the compiler do its work and feels great. It feels high level. Zig is close to the metal like C. I think that Zig will replace in new projects that need a bit more safety and good control of memory. Also it is better than C + macros. If you use C macros, stop it, you need help, used comptime in Zig.
@zoltanberkes8559
@zoltanberkes8559 4 ай бұрын
I'm sure GPT 8 or 10 will be able to do this translation and it even won't need any darpa support. Until that: good luck to write an automated tool! 😂
@emperorpalpatine6080
@emperorpalpatine6080 4 ай бұрын
Yes I'm sure gpt 10 will be able to make sense of it's training data set which has all the bullshit from the previous gpt versions and other AIs to produce accurate conversion . 😂
@melodyogonna
@melodyogonna 4 ай бұрын
You already know the effort will fail
@orbitalair2103
@orbitalair2103 4 ай бұрын
The FAA needs to allow Rust for avionics under DO-178C.
@MichaFita
@MichaFita 4 ай бұрын
Ferrocene will get there.
@edbail4399
@edbail4399 4 ай бұрын
Rust never sleeps
@rezwhap
@rezwhap 4 ай бұрын
Many languages can be transpiled between without a major redesign of the software. This is not true targeting Rust. It will require some seriously deep AI understanding. I hope they succeed, but there’s room to be skeptical.
@StephenMinkin
@StephenMinkin 4 ай бұрын
Do any of you actually know the memory safe concern?
@testtest-co9hk
@testtest-co9hk 4 ай бұрын
skilled rust developer = chatgpt + c developer using rust;
@simplescreem5530
@simplescreem5530 4 ай бұрын
Thing is now we need higher level program that are rust based...
@donwinston
@donwinston 4 ай бұрын
Can I assume that Rust and an average software engineer are capable of actually doing this? I'm sure it would be an improvement but how much of an improvement can we expect? Is that amount of extra improvement worth the cost of doing this?
@donwinston
@donwinston 4 ай бұрын
Some people in the comments are saying this is just an experiment and not a wholesale code rewrite of everything in the Defense Department. In that case go for it.
@christianm4906
@christianm4906 4 ай бұрын
Good luck with that
@lucianobestia
@lucianobestia 4 ай бұрын
Oh no, now the government will implant backdoors in Rust.
@clarkd1955
@clarkd1955 4 ай бұрын
I heard this same kind of mandate from the US government to use Ada. Firstly, the US government knows nothing about code or computer languages. Second, this initiative won’t work any better than Ada did some 50 years ago. Memory problems aren’t a C or a C++ problem. Poor programmers are the problem and Rust is at least as hard to get right as C++.
@StephenMinkin
@StephenMinkin 4 ай бұрын
It's not the work persay that is the fear with government stuff. It's the responsibility....
@joshelguapo5563
@joshelguapo5563 4 ай бұрын
I mean let's also just convert all birch to mahogany, or all steel to aluminum while we're at it.
@Korrmet
@Korrmet 4 ай бұрын
Why do they need it? Do they have the same infrastructure written for C but for Rust? They need: 1) Applied safe coding standards. 2) Certified compiler for all of that grandpa's processors. 3) Certified checking tools. That's the bare minimum to apply Rust language. Also, what advantage of using Rust in front of C or Cpp?
@edgardcz
@edgardcz 4 ай бұрын
why not in Java or Swift?
@jongeduard
@jongeduard 4 ай бұрын
I would not advice to replace most C and C++ code by some GC language, at least when it needs to be systems level or very performance oriented. And alright Swift is not a true GC language as far as I understand, but Rust still outperforms it. And in't Swift an Apply-only thing mostly (not sure here)? I also think that Rust may not be the best for everything, GC languages have their place too, but just not for low level stuff.
@me_12-vw1vi
@me_12-vw1vi 3 ай бұрын
@@RustIsWinningalright that one was funny lol
@StephenMinkin
@StephenMinkin 4 ай бұрын
Likely cleanup
@clusterdriven
@clusterdriven 4 ай бұрын
This is great! thanks for sharing
@smwnl9072
@smwnl9072 4 ай бұрын
I think there will be a new language. One that incorporates the safety of rust and legibility of functional languages. I'm more productive in a language that is as close to "natural English" as possible. This way, you don't need do "context switching" in your mind, coding becomes natural like writing plain instructions. For me, the file system in rust is not really intuitive. My file system/directory experience is with C#/F#. I don't really like the python like syntax as well. I prefer pascal/camel case. I also don't like the keywords abbreviation. Like fn & mut.. The build is also slow. With that said, I last touched rust almost a year ago and probably I'm not versed in it yet.
@danh5637
@danh5637 3 ай бұрын
That’s lucrative work. Remember military spending is always bottomless! 😂
@CODEDSTUDIO
@CODEDSTUDIO 4 ай бұрын
Skills Issues 😂😂🤣
@ceddymuhoza
@ceddymuhoza 4 ай бұрын
my boy Joe Biden is working overtime on this one 😂😭😭
@batcat9k
@batcat9k 4 ай бұрын
dat hair
@BenjaminWheeler0510
@BenjaminWheeler0510 4 ай бұрын
You lost me at "automate." Rust and C have completely different coding styles... How do we produce Rust code that follows best practices and conventions? I guess you don't have to lol, who needs Result? Maybe they *just* want the borrow checker for now.
@ARS-fi5dp
@ARS-fi5dp 4 ай бұрын
Awesome 👌 👏
@al3030
@al3030 4 ай бұрын
They are looking into the idea, not impementing it😅
@niamotullah99
@niamotullah99 4 ай бұрын
After US gov spelling Rust trust of Rust got little less
@JeffCaplan313
@JeffCaplan313 4 ай бұрын
Am I the only person who thinks this is, perhaps, the dubmest thing the government has ever done?
Rust is taking over Linux... again? (Cosmic DE)
4:14
Let's Get Rusty
Рет қаралды 48 М.
Should you learn Rust in 2025?
11:11
Let's Get Rusty
Рет қаралды 24 М.
Мен атып көрмегенмін ! | Qalam | 5 серия
25:41
Tuna 🍣 ​⁠@patrickzeinali ​⁠@ChefRush
00:48
albert_cancook
Рет қаралды 148 МЛН
We Attempted The Impossible 😱
00:54
Topper Guild
Рет қаралды 56 МЛН
Where is Rust being used?
11:46
Let's Get Rusty
Рет қаралды 139 М.
All Rust string types explained
22:13
Let's Get Rusty
Рет қаралды 189 М.
The US has planned their move to Rust (it's wild)
16:31
Theo - t3․gg
Рет қаралды 115 М.
Is it worth it to call Rust from Python with PyO3?
8:50
EKB PhD
Рет қаралды 2,4 М.
Never install locally
5:45
Coderized
Рет қаралды 1,9 МЛН
The 3 Laws of Writing Readable Code
5:28
Kantan Coding
Рет қаралды 783 М.
I spent six months rewriting everything in Rust
15:11
chris biscardi
Рет қаралды 447 М.
Rust stole C++'s best features
8:47
Let's Get Rusty
Рет қаралды 64 М.
Why I Chose Rust Over Zig
33:18
ThePrimeTime
Рет қаралды 222 М.
Java Is Better Than Rust
42:14
ThePrimeTime
Рет қаралды 329 М.
Мен атып көрмегенмін ! | Qalam | 5 серия
25:41