dwattttt

5 ms·

61.
by dwattttt 2mo ago
For a more mathematically rigorous treatment, negative feedback is fundamental to Control Theory; it allows us to stabilise processes that would otherwise go out of control.
62.
by dwattttt 2mo ago
I'll take a punt; based on the last pairing, where "statefulness" is abandoned > You could have multiple independent, divergent copies of the state but not a single consistent state. I'd suggest it's describing &
63.
by dwattttt 2mo ago
I took some time to think about why this saying bugs me, and I think I've settled on "it suggests you can't understand your limits". I know it's explaining the joke, but you've blown past "clever" if
64.
by dwattttt 3mo ago
Agreed on the last point. I'm very much in favour of developing an analysis that can assert the absence of an abort, I just can't see how an approach like Fil-C can achieve that. It can guarantee a potential memory corruption even
65.
by dwattttt 3mo ago
> Regarding the silly point: Fil-C is less of a rock than Safe Rust as everything in C just works. I'm going to challenge this. Is this from your experience? InvisiCaps, which Fil-C is based on, turns out of bounds accesses into pan
66.
by dwattttt 3mo ago
Very explicitly making a silly point; a rock is 100% memory safe. The serious point: I care about whether the program I write aborts regularly, whether due to a Rust panic or a capability violation.
67.
by dwattttt 3mo ago
While most hello worlds do not check that the message was printed (which I assume writeStreamingAll does for you), dismissing the rest of the differences as "the others aren't correct" isn't really accurate. Explicitly p
68.
by dwattttt 3mo ago
The world would be quite different if AI companies had to create the knowledge they trained on, rather than consume that knowledge freely given away. They're not known for freely giving away their produce either, I don't know why
69.
by dwattttt 3mo ago
Is _that_ what that smell is? I did wonder.
70.
by dwattttt 3mo ago
It's also not a law of nature that there be a valid/efficient form of a product that makes a business profitable. I'm in no place to judge whether that's the case here, but not all products are viable.
71.
by dwattttt 3mo ago
I didn't have budgets handy, but GDP is another way to normalise its cost to the country; ~$2.2B cost in 1942 with a nominal GDP of $166B, nominal GDP of $29.2T in 2024 puts the Manhattan Project's cost relative to GDP at $386B in
72.
by dwattttt 3mo ago
> The fact that 'unsafe' also enables all unsafe operations in the function body just makes it even messier This changed in the 2024 edition to now fire a warning lint, asking you to wrap your unsafe operations in an unsafe blo
73.
by dwattttt 3mo ago
Why are there exceptions in the first place then? If that's what you want, write ON ERROR RESUME NEXT and be honest about it.
74.
by dwattttt 3mo ago
I think this point gets missed too often in the face of technical things the Rust compiler does. There was a world where everyone just used the unsafe keyword everywhere, and Rust code crashed & had memory issues all the time. The big t
75.
by dwattttt 3mo ago
It's not as pessimistic as it sounds. The task of "make the handling of the unsafe as safe as possible" can be quite easy; in some cases, hiding the unsafe in a module and only exposing a safe wrapper means there's only
76.
by dwattttt 3mo ago
> it simply marks parts where the compiler ignores parts of its rule set This is a common misconception, in a literal interpretation. It doesn't invalidate your point, but since people get the wrong impression: unsafe doesn't t
77.
by dwattttt 3mo ago
Relative "number of unsafe keywords" or "lines inside unsafe blocks" isn't a good metric. It's unsafe to call a C library that gives you a raw pointer, that can be a single line. It's unsafe to use that po
78.
by dwattttt 3mo ago
I've heard that project architecture has a strong enough impact on feature completion rate that you can infer how tightly coupled vs loosely plugin based it is just from graphs of feature release.
79.
by dwattttt 3mo ago
Drivers still need to pass certification & get signed. Microsoft does get to reject them. I can't imagine the group doing this validation is sufficiently manned/funded; it's a cost centre, and the effects of cutting it do
80.
by dwattttt 3mo ago
You may have missed this in their comment: > resolving identifiers as symbols, and then choose legal names for them in the target language The responsibility for avoiding collision with the target language is in the transpiler; it should
81.
by dwattttt 3mo ago
Or scenario D: A text editor stores a URL in a location on disk, and another component then fetches and executes that with its current privileges.
82.
by dwattttt 3mo ago
I can't tell if this is germane to the analogy or not, but the air flow over your hand, even behind a book, is still a function of the car's speed. As an illustrative example, imagine the feeling when the car is at 0 compared to w
83.
by dwattttt 3mo ago
Levenshtein distance and semantic distance can be wildly different. Deed -> dead, for instance.
84.
by dwattttt 3mo ago
Is there a "Rust compiler's rule" you can point to that's harder than avoiding UB in C or C++ in similar circumstances? They strike me as very similar beasts.
85.
by dwattttt 3mo ago
The safety aspects do get very hyped. It's better to consider the language strict about correctness; memory safety falls out of that, but so does other stuff, like less logic bugs.
86.
by dwattttt 3mo ago
Which is the worse surprise, when you update your dependency during development and get a fault, or when a user somehow ends up with a fault because of the previous default?
87.
by dwattttt 3mo ago
> And I don't see how this affects how "professional" this is, unless "professional" is just performative nonsense and nothing to do with the substance of the text? It changes my opinion of whether I trust ark to
88.
by dwattttt 3mo ago
> I don't know why choice of language is having such sway in determining what you view as professional This is a blog post: it's purely textual, language is the only thing it uses to convey meaning. The words chosen to do so re
89.
by dwattttt 3mo ago
"a stinky manager ... Just a total shit show" are examples I would reach for to demonstrate someone is not being professional.
90.
by dwattttt 3mo ago
> We probably tried to tell you to try enabling it and you didn't listen. We have good advice, damn it! Not knowing whether you actually gave the advice you're blaming them for not taking isn't professional, it instead com

More ›