TWiR quote of the week

@kornel in Type ascription - #4 by kornel

I simply love both the spirit of the joke itself, as well as the brilliant analogy with None::<T> vs. None::<U>.


Here's a longer version if you like :slight_smile: Kornel: "‘Can I get you something to drink, Monsieur Sartr…" - Mastodon


About the security vulnerability in Rust that happen in C++ standard libraries too :

Rust : We have a race condition bug in our standard filesystem library !
C++ : You guys have a concurrency safe standard filesystem library ?
C : You guys have a standard filesystem library ?

source: redditmodsareshits comments on Possible TOCTOU vulnerabilities in libstdc++/libc++/msvc for std::filesystem::remove_all?


One member in Rust Taiwan community tries to cheer up everyone who starts learning Rust but feels it's too hard:

Nearly everyone I met had given up learning Rust for the first time. Just take a rest. Rust moves nowhere unless you drop it.

Love the pun and would like to suggest it as quote of the week.

source: @henry40408


A common sentiment, but expressed well and coming from Amazon:

Using Rust has enabled programmers of all experience levels to contribute code without requiring reviewers to carefully scrutinize every line for safety pitfalls. We trust the compiler, and we can focus our code reviews on functionality, not language corner cases.


rustlang shepherds you into becoming a catgirl


In 1769, Euler made his "sum of powers" conjecture. In 1966, L. J. Lander and T. R. Parkin disproved the conjecture with a counterexample they found using a CDC 6600 mainframe computer. Their paper famously contained just two sentences.

In 2022, your browser running on your phone can find their counterexample and additional counterexamples in about 2 seconds.

Try it yourself at Shortest Paper. The page uses Rust and WASM.


Also, I feel that if you are willing to spend time on a standard, better encode all you learn into the types you use. You will inevitably forget most details, and it is only a question of time that you break something because of that.


And actually, what about nominating TWiR for TWiR QotW? :upside_down_face:

impl Not for ! (did you guess that "not never" is still "never"?)


Why use rust?

Rust is the ideal language to use if you want your code to be able to be compiled by the Rust compiler.


The goal of Rust is to have the power of C++ without the scary.


Wait ada is calling packages "crates" too?


Wow, seems they are.

A year or so ago I heard Ada was going to adopt some form of borrow checker inspired by what Rust achieves. I wonder how that to along.

Congratulations @dtolnay on being the first member of the "three comma club"!

I'm assuming this is the case. I haven't checked.


As the temporary human substitute for the temporarily unavailable automated representative of the governance process, I would like to thank the author for their work and everyone else who contributed.

-- Mara Bos, wearing rfcbot's hat, in Tracking Issue for `Stdin::lines` forwarder method · Issue #87096 · rust-lang/rust · GitHub


I still get excited about programming languages. But these days, it's not so much because of what they let me do, but rather what they don't let me do.

From Some mistakes Rust doesn't catch by Amos.


Came here to suggest this. It absolutely captures the spirit of Rust for me.


rustc is just several HashMaps in a trenchcoat

From Gankra:

Or perhaps the full quote:

If you want to know more about the hashbrown (SwissTable) redesign, I wrote it up here a while back:

it was such an improvement that it reduced compile times for basically every rust program by ~10% (rustc is just several HashMaps in a trenchcoat)


From What does impl<’a> MyServer<’static> mean?


I'd like to suggest some part of this quote:


Due to recent events I feel the need to once again commend the reviewers and ehuss in particular for their amazing communication skills when reviewing PRs like this. I can only imagine how much work it means and how silly some of the changes proposed here might look to a seasoned cargo developer, yet you maintain a constructive, upbeat, and friendly spirit at all times. It's a style that I am aspiring when reviewing PRs myself, and is a prime example for the accessibility and friendliness of the Rust community as a whole.

Thank you!


Both because of how articulately Byron put the compliment and by how richly ehuss deserves it.