We spent decades trying to invent a sufficiently smart compiler when we should have been inventing a sufficiently empathetic one.
💼 AWS, opinions my own
A licensed roadway engineer stated the following in response to the recent shocking crash in La Brea. I fundamentally disagree. usa.streetsblog.org/2018/12/13/why…
The entire thread is incredibly pro-stroad, which is incredibly depressing from someone who is responsible of shaping our built environment. strongtowns.org/journal/2018/3…
Aug 4, 2022 • 5 tweets • 1 min read
If you write unsafe const functions in Rust, be aware that the stability guarantees for them are... less flexible than what you might expect given experience with writing regular unsafe functions.
Regular unsafe functions might contain latent UB, but as long as LLVM doesn't exploit it, you might be fine for now, so crate authors operate under a "my code might have UB, but it might be fine for a while as long as I test it" attitude.
Apr 29, 2022 • 7 tweets • 1 min read
The ideal language gets out of the way and lets you quickly prototype while letting you turn your pile o'hacks into production quality code. The language needs to scale up and down.
The disagreement between specific languages is where to start: dynamic languages and Go start on the quickly prototype things, Rust starts on the "let's make this as rock solid as possible" end. Langs like Scala and Kotlin kind of start in the middle.