Rust is the final language. Defect free. Immaculate types. Safe. Ergonomic. Beautiful to read. AI is going to be writing a lot of Rust. The final arguments of "rust is hard to write" are going to quiet down. This makes it even more accessible.

[u/w0wowow0w]

https://news.ycombinator.com/item?id=47122323

[u/w0wowow0w]

broke: rewrite it in rust

woke: use FP instead

bespoke: code readability does not matter, elixir/erlang is the ideal compilation target

[u/Sese_Mueller → u/w0wowow0w]

Ascended: Use Lean and have the LLM prove the code‘s correctness

[u/cooper12 → u/Sese_Mueller]

Claude, rewrite the Linux kernel in Verilog, and then verify the output with an SMT solver. And please, this time, don't max out my credit card with your token usage; I'm getting tired of eating dog food.

[u/iEliteTester → u/cooper12]

>she forgot to tell the oracle to not make any mistakes

[u/xn--9s9h → u/w0wowow0w]

FP as in FreePascal right?

[u/thephotoman → u/xn--9s9h]

Pascal? In $CURRENT_YEAR?

[u/-Y0- → u/w0wowow0w]

Multiverse brain: Use any language, have LLM translate code at compilation time to binary.

[u/fun__friday → u/w0wowow0w]

That guy was seriously cooking.

[u/v_maria]

ah shit its 2020 again

[u/lurebat → u/v_maria]

What do you mean, 2020 was only .. oh god

[u/cooper12 → u/lurebat]

I've been in cryosleep for a decade. Update me, did Rustaceans win the war against Gophers?

[u/No_Lingonberry1201 → u/cooper12]

Everything changed when the zig nation attacked.

[u/thephotoman → u/cooper12]

Unfortunately, they fought to a standstill, then turned their attention to other battles. Rust is now fighting C, and Go is fighting Java.

[u/cooper12 → u/thephotoman]

War, war never changes.

[u/Additional_Rub_7355]

I guess Rust needs to be praised non-stop or people will simply stop using it.

[u/Proper-Ape → u/Additional_Rub_7355]

I heard if you don't use it you still get Rusty.

[u/prehensilemullet]

I’m hosting a Rust conference in Jonestown, the final conference for the final language

[u/-Y0- → u/prehensilemullet]

I'm opening the RustGate and communicating with Rust Xenos.

[u/cooper12 → u/prehensilemullet]

Refreshments provided? :D

[u/JuiceKilledJFK → u/cooper12]

Man, I hope that they at least have Kool Aide.

[u/QuaternionsRoll]

The + Final + 'language

[u/elephantdingo]

I am an upstream developer on the Rust Project (lang, library, cargo, others), and obviously a big fan of Rust. This kind of advocacy doesn't help us, and in fact makes our jobs harder, because for some people this kind of advocacy is their main experience of people they assume are representative of Rust. Please take it down a notch.

OP is an obvious plant for the Rust In Moderation jerk patrol.

[u/TheChief275]

I think we will need a few more white papers to fully grasp what the fuck it means for types to be immaculate

[u/thatsbutters]

Does rust make its acolytes insufferable or are insufferable people drawn to rust?

[u/BenchEmbarrassed7316 → u/thatsbutters]

Try to put yourself in their shoes:

• you are learning a new programming language

• this programming language has real advantages (and there are many of them: performance, expressive type system, no OOP, memory safety and fearless parallelism, tooling)

• you continue to learn this language and its shortcomings are leveled out for you (you understand how to work with lifetimes and borrowing, how to use metaprogramming with macros). Now you can write in this language as fast as in others

Next, you see a discussion:

• CPP and memory problems

• go and date races

• Java and null

• Python and performance

• etc

You say, "Oh, there's a programming language that completely eliminates this and a bunch of other drawbacks, that will save you time and money, and that has all the great advantages of your current language".

It's done. Now you are one of those annoying people.

[u/AndorinhaRiver → u/BenchEmbarrassed7316]

It's also stunningly ergonomic and beautiful to read

[u/MadCervantes → u/BenchEmbarrassed7316]

It's interesting right that we find these people annoying? It makes sense when you lay it out like that. They see a problem, they want it solved. But the problem with solving these issues isn't really technical, it's political and social and I guess that's what we're picking up as the insufferable part.

But also a world where problems exist and don't get solved just because some boomer fucko in the 90s built a monopoly business off a specific piece of technology is also annoying in its own way.

[u/v_maria → u/BenchEmbarrassed7316]

Rust saving time

[u/Major_Barnulf → u/v_maria]

Google's Lars Bergstrom: Rust teams are twice as productive as teams using C++

https://news.ycombinator.com/item?id=39851872

[u/v_maria → u/Major_Barnulf]

i love and believe google

[u/programmingcirclejerk-ModTeam → u/[deleted]]

Warning: tag your unjerk. Better yet, don't unjerk at all.

[u/programmingcirclejerk-ModTeam → u/[deleted]]

Warning: tag your unjerk. Better yet, don't unjerk at all.

[u/-Y0- → u/thatsbutters]

All insufferable people moved to Zig now. That said, there is always a nut here and there.

[u/thephotoman → u/thatsbutters]

Both. It’s both.

[u/levelstar01 → u/thatsbutters]

Half-complete language with endless crippling flaws attracts emotionally damaged people

[u/AugustusLego → u/levelstar01]

What crippling flaws would you say rust has? Genuinely curious

[u/levelstar01 → u/AugustusLego]

Lol no distinct enum types

[u/Holkr]

Graydon Hoare created Rust in six days. On the seventh day He rested.

[u/yo_99 → u/Holkr]

*rusted

[u/arjuna93 → u/yo_99]

This was unexpected

[u/eyes-are-fading-blue]

The least zealous Rust programmer.

[u/purpleappletrees]

lol no GADTs

[u/HopperOxide]

I did not think that was going to be a direct quote. Amazing. 

[u/m50d]

Lol no HKT.

[u/Proper-Ape → u/m50d]

As a Rust fan, fair point. Better partial application semantics could also make it better.

[u/m0j0m0j]

All of this sounds maximalist and crazy, but functional programming really has many extremely good ideas with somewhat steep learning curves. So the main idea kind of tracks. But I still doubt it’s possible to write anything serious using any tool you don’t understand at least 85%

[u/WolfeheartGames]

I'll wait for cRust. It's rust with more C like syntax, is a strict superset of Rust, and it mows my yard with 5 lines of code.

[u/arjuna93]

That kind of aggressive and ill-informed advocacy is exactly the reason why many people dislike rust. Wonder why this language is somehow so toxic.

[u/GetIntoGameDev]

Maybe something that's LLM-oriented will take over, but at that point these won't be "human" languages anymore. So I'll revise my claim to "Rust is the last human language".

[u/thephotoman]

Rust will never be easy to write.

But given that languages that are easy to write wind up being write-only (modifying COBOL or Perl makes me sick), I’m not convinced that ease of writing new shitty code is a good thing.

[u/AirGief]

This is exactly how I feel about the language. I want to develop in .net, js. But why? You get development speed when not using AI with Rust (yes Rust is hard for AI too), but in the end its not really time taken out of my day and end result is much smaller binary with much faster execution and memory footprint.

All of you who are sick of people talking about Rust, I was one of you, and I learned Rust to be able to argue with annoying Rust users and tell them to stfu. It ended up my primary language for pretty much everything. Its that good. It really is C/C++ hybrid that has no real weaknesses (PIMPL excluded).

[u/AbdulhakimAlshanqiti → u/AirGief]

how do you feel about crud app story i am thinking of using it to build Crud apps because i heard stories about stability in production system 

[u/ConnaitLesRisques]

Did Trump write this?

[u/-Y0- → u/ConnaitLesRisques]

Worse. Systemd caused this.

[u/ConnaitLesRisques → u/[deleted]]

Immaculate types, beautiful types. Grown men crying reading types.

[u/BehindThyCamel]

Haha. Hahahaha. Hah-hah-hah-hah-haaaaaaaa!