estebank

53 ms·

691.
by estebank 3y ago
But no-one writes code against the standard. We all write code against the reality of the compiler(s) we use. If there's a compiler bug, you either use a different version, a different vendor, or we side step the code triggering the is
692.
by estebank 3y ago
It is trivial to verify for yourself without having the risk of being mislead by any person might tell you: https://github.com/rust-lang/rust/tree/master/compiler
693.
by estebank 3y ago
Prevalent use of nightly Rust purely for specific unstable features would do the same. It's been a while since there has been a "must have" feature has kept people confined to nightly, though.
694.
by estebank 3y ago
There's been active work on a Rust specification for a while now. It'll happen. https://blog.rust-lang.org/inside-rust/2023/11/15/spec-visio...
695.
by estebank 3y ago
But there are plenty of projects out there that are written in Rust and have to deal directly with hardware and syscalls. Hubris, a kernel written in Rust has 94 files referencing unsafe[1] out of 414 total .rs files[2]. This is as "ba
696.
by estebank 3y ago
> There are also other types of safety beyond memory safety that are better supported in C++ than other systems languages. Such as? Genuinely curious.
697.
by estebank 3y ago
There's a difference between "chamber a round, remove the safety, aim at the foot, shoot" and "open the kitchen faucet, leg gets blown off".
698.
by estebank 3y ago
> Rust certainly performs runtime bounds-checking as well as some other tasks, so there is runtime code (even if it's just compiled into executables.) I don't think I've ever seen anyone reference "C with bounds check
699.
by estebank 3y ago
I would assume they mean through the use of unsafe, which is true, but in practice unsafe code is less common than people that don't write Rust seem to think and tools like Miri help a lot to write unsafe that doesn't write to mem
700.
by estebank 3y ago
> Rust doesn't even free you from the need for a runtime or standard library. Could you elaborate on this? Rust doesn't have a runtime (beyond what C has), and am having trouble understanding what you meant to say about stdlibs
701.
by estebank 3y ago
A specially crafted networking package or file can cause a vulnerable application to get confused enough to interpret input meant to represent data as binary code to be executed. If you have an application that doesn't interact with an
702.
by estebank 3y ago
https://heartbleed.com/
703.
by estebank 3y ago
> you know the ones who actually pay for such infrastructure Do you have a citation or is this something that "feels true"? > I would be more okay with such things if they separated the costs and made the bike lanes tolled o
704.
by estebank 3y ago
That is part of the strategy: remove jargon when possible, consciously feed jargon when unavoidable to introduce concepts and give something useful to search for.
705.
by estebank 3y ago
If you have thoughts on how to improve the output for better understanding, do file a ticket against rustc. We are space constrained, so we try to avoid long explanations as much as possible, but we sometimes do or add links to the right sp
706.
by estebank 3y ago
I'm pretty sure everyone in the teams would endorse that statement :)
707.
by estebank 3y ago
For the edit: if you have an idea what the output should look like instead, please file a ticket.
708.
by estebank 3y ago
> a domain where crashes aren't necessarily a problem So an application that doesn't deal with user data? Those are rare, but do exist. > where security isn't a top priority (non-public facing tools often fall into this
709.
by estebank 3y ago
It depends on what you call "ordinary Rust", I guess. You can use an allocator on embedded, but likely won't want to. There are static types that provide the same APIs as the allocating data structures you'd miss[1]. Gra
710.
by estebank 3y ago
> Otherwise, crossing whenever there's a clearing is probably better, IMHO. That's only safe if there are a reasonable number of lanes, namely no more than 2. Beyond that the width is higher, the possibility of a car far away b
711.
by estebank 3y ago
Being driven to rage by traffic lights should be disqualifying to have a driver's license.
712.
by estebank 3y ago
He supported and enabled dictatorships in Latin America. Do tell us how that was defensible. This is very much part of public record, thanks to diplomatic cables declassified in 2016.
713.
by estebank 3y ago
> In February 1969, weeks after taking office, and lasting through April 1970, U.S. warplanes secretly dropped 110,000 tons of bombs on Cambodia. By summer 1969, according to a colonel on the Joint Staff, Kissinger – who had no constitu
714.
by estebank 3y ago
> But in the modern world of the conformity and a learned helplessness it's a quiet reminder what you can't do better if nobody says you unpleasant things. I fight a lot against learned helplessness, trying to get people to act
715.
by estebank 3y ago
https://devblogs.microsoft.com/oldnewthing/ Enjoy
716.
by estebank 3y ago
> A carbon tax also fits well into the capitalist, "don't tell me what to do" self-indulgent society we live in. Seeing how people bitch and moan about the price of gas every time it goes up (even when it was cheaper than
717.
by estebank 3y ago
That sounds like it could be a lazer/ir gate in the lock hole to detect it being in the way, but the custom job to jam it into the frame side of the lock might be quite delicate work if it's wood, or even worse if the frame is som
718.
by estebank 3y ago
I do find myself wanting deref patterns in the rustc codebase often :)
719.
by estebank 3y ago
> I mean, Rust is fast and secure and makes my software "unhackable" for the price of a bit slower development? Seems like an obvious choice then. Something being written in Rust doesn't mean it's unhackable. It lower
720.
by estebank 3y ago
> SF has bus-only lanes everywhere. I wouldn't say everywhere, but wherever they were introduced they reduced travel time significantly, and traffic in those corridors didn't get any worse. The 38AX became redundant after the G

More ›