Viewing profile — mbrock

In the ISO standard, yeah, but that's not how C actually works.

It would work basically the way it works on Linux? What makes you think it's somehow fundamentally Linux-specific?

Not really. I mean if you want to make that claim, use actual quotes.

Fil-C's understanding of memory safety is not "its own" idiosyncratic made up definition. Memory safety in the whole tradition that includes CHERI etc is defined in terms of object…

> Fil-C is the worst of all worlds here. Like C, it forces you to manually manage your own memory. Can you expand on this?

There is an unsafe call primitive in stdfil that was used to support constant time crypto functions when Fil-C didn't have support for inline assembly. Fil-C now has support for in…

> I do not go around posting "omg Rust is SO MUCH BETTER than zig or fil-c, which are TRASH." I talk about engineering tradeoffs, and what matters to me personally. I do not say "i…

The same basically holds for proofs in the absence of coherent global correctness criteria like, say, confluence and normalization for a lambda calculus, or soundness and completen…

[dead]

Faster in what browser, by what measure, for what modules? "X is faster than Y" without any concretization is usually meaningless.

You can do something like (y > 0 && x > INT_MAX - y) || (y and hope the optimizer turns it back into just checking the result. Or you use -fwrapv to concretize the ISO ambiguity an…

okey dokey

Well yeah that just means some aspects of the imaginary compiler were in some configurations approximated by some historical compiler versions and were in some cases rejected by th…

you mean removing the JIT?

ok what's the alternative?

yeah then I have to learn how it works and what it assumes and how I can control it and maybe switch to a more well behaved compiler if it's truly insane

Right, good example, and both GCC and Clang offer well understood parameters for deciding, per compilation unit, what behavior you want for signed overflow (-fwrapv, -fno-strict-ov…

Yet the standard does not tell you what the compilers do. Linux works on a wide variety of platforms. It also relies on those platforms behaving predictably with respect to what th…

This is a description of an imaginary compiler, evoked by the ANSI/ISO standards documents, which has never existed and will never exist. To understand what the program will do, yo…

undefined behavior is the behavior of code patterns "for which this International Standard imposes no requirements" and the behavior is in fact almost always predictable and agreed…

most languages don't even HAVE a specification so in most languages literally EVERYTHING everything is undefined behavior

If you stop trying to find something like truly ontologically novel about it, you might be able to understand what it actually is. Okay it's not impressive. It's not incredible. It…

That kind of blanket demand doesn't persuade anyone and doesn't solve any problem. Even if you get people to sit and press a button every time the agent wants to do anything, you'r…

Flexner's "Understanding Wood Finishing" has a section about "the myth of food safety" that pretty directly states that food safety isn't a serious concern for fully cured finishes…