commodoreboxer

8 ms·

61.
by commodoreboxer 2y ago
Given the story at hand, it sounds like the center incorrectly assumed the compiler would prevent UB even in unsafe blocks. They wouldn't be saying "But the compiler said it was okay" if it wasn't unsafe code they had wr
62.
by commodoreboxer 2y ago
I don't know if he's choosing to ignore it, or if it's simply hard to figure out exactly what you're saying. Your comments are unfocused in a way that makes it hard to engage with any specific point. The points are: * Un
63.
by commodoreboxer 2y ago
I don't have a problem with your post, but the hostility I see is mostly out of a real concern that people posting LLM comments could degrade discussion. It's probably also association, because a lot of people have started posting
64.
by commodoreboxer 2y ago
You can do tons of stuff with purely safe Rust. The main things that you can't do are FFI, making self-referential structures, and dereferencing raw pointers. And unsafe isn't a problem. It's a point of potential danger to be
65.
by commodoreboxer 2y ago
A lot of people are reading this as a call or demand to translate all C and C++ code to Rust, but (despite the catchy project name), I don't read the abstract in that way. There are two related but separate paragraphs. 1. C and C++ ju
66.
by commodoreboxer 2y ago
Yes, in particular some interactions with LLVM have caused some frustrating UB. But those are considered implementation bugs, rather than user bugs, and all the conditions Miri states at the top are relevant primarily in unsafe code, which
67.
by commodoreboxer 2y ago
> This repository demonstrates that, when using 'safe' Rust, there are still double-digits cases where you may still encounter dread-pirate-UB. No it doesn't. Miri is for unsafe code. There's no UB in safe Rust by des
68.
by commodoreboxer 2y ago
> Miri is an Undefined Behavior detection tool for Rust. It can run binaries and test suites of cargo projects and detect unsafe code that fails to uphold its safety requirements. > ... detect unsafe code that fails ... Show me the do
69.
by commodoreboxer 2y ago
They care when it affects their bottom line, and customers leaving for the competition does that. I don't know if that's what's happening here, honestly, but you're right that they don't care about being shamed, but
70.
by commodoreboxer 2y ago
The second and penultimate paragraphs both explain that.
71.
by commodoreboxer 2y ago
"reductive" isn't an insult. And note the "just" in the parent post. It is an adaptation, but it is more than just that.
72.
by commodoreboxer 2y ago
Shakespeare is best appreciated in the original pronunciation (OP). I'm a little disappointed that OP Shakespeare continues to be a little niche, given that it's necessary for many of the rhymes and puns. Personally, I think it ju
73.
by commodoreboxer 2y ago
It's really not that hard to have a smart TV and simply not connect it to your network. They'll beg to connect, but I haven't seen one that will refuse to function without an internet connection.
74.
by commodoreboxer 2y ago
It's on par with C++, too. In C++ you need an `extern "C"`, because C++ linkage isn't guaranteed to be the same as C linkage. You can get away with wrapping that around it in a preprocessor conditional, but that's
75.
by commodoreboxer 2y ago
I don't understand the analogy. What's the actual risk exposed by pushing to a magic branch path that opens a PR instead of actually creating a branch, compared to creating a fork and making a PR in that way?
76.
by commodoreboxer 2y ago
You cut off the important part: > in a separate branch namespace So not really. It's a special branch path that only exists for opening PRs, and doesn't do anything other than opening a PR. Yes, they share an object space, bu
77.
by commodoreboxer 2y ago
Occasionally I'll get spam from numbers in my contacts. I got a virtual kidnapping call from my wife's number the other day, which would have been terrifying if she wasn't sitting right next to me.
78.
by commodoreboxer 2y ago
My issue was with "we know what modern entertainment looks like" as if humans are now incapable of enjoying themselves without a screen. And you should care about a massive market increase when it's directly relevant to the p
79.
by commodoreboxer 2y ago
GDP is a measure. I'm very much not an economist, but I am extremely skeptical that the health of an economy can be reduced to any single number. Goodheart's law and all. I concede that GDP is a good indicator, but I think you can
80.
by commodoreboxer 2y ago
Ads are not charity. There is clearly a cost, otherwise they would lose money. They do not generate money out of thin air. "Generate" and "extract" aren't synonyms. They do not enable any costless anything at all. T
81.
by commodoreboxer 2y ago
Interesting. In my experience, advertisement and the incentives around it have led to the most devastatingly widespread removal of value in human culture and social connections that we've seen in this generation. Huge amounts of effort
82.
by commodoreboxer 2y ago
> I don't think there's a single developer who is not using AI to get help while coding It's banned at my company due to copyright concerns. Company policy at the moment considers it a copyright landmine. It does need to b
83.
by commodoreboxer 2y ago
It is 100% realistic to read books and play board games. Both markets are massive, and board games in particular are having what I would consider a renaissance. Maybe it depends on your crowd, but everybody I know plays tabletop games and r
84.
by commodoreboxer 2y ago
I keep hearing the phrase "generate wealth" in regards to advertisement and from the mouths of startup founders, but in almost no other context. I'm not familiar with the economic concept of "wealth generation" or i