Viewing profile — workingjubilee

The other procedural languages are also not mystically secure from soundness problems, people just fuzz them less.

I'm not based in China, bro. You're the one who went around accusing random people of being advanced persistent threat actors, and now you can't even keep your story straight. Do n…

The "small string optimization" makes the strings harder to manipulate with `unsafe` code. However, being easy to manipulate with `unsafe` code is in fact a priority for most std t…

I don't usually express my frustration by shouting at a pile of HTML but this one had me going "LEMME LOOK!"

struggle sessions usually involve public torture or executions. it's laughable to compare "being mildly inconvenienced" with that.

what would "stabilize" mean when the opsem model that miri obeys continues to change?

yeah, g-d forbid that any routine busywork gets automated by software, otherwise all those lines of code might actually have a point!

The Rust calling convention is actually defined as unstable, so 1.79 is allowed to have a different calling convention than 1.80 and so on. I don't think designing one for the long…

Allowing developer control over calling conventions is also simultaneous with disallowing optimization in the case that Function A calls Function B calls Function C calls Function …

Your experience is not perfectly transferable. JITs have it easy on this because they've already gathered a wealth of information about the actually-executing-on CPU by the time th…

This is a frankly ridiculous assertion given LKML's notoriously toxic history. Part of the problem is that overly-entitled maintainers can be as equally dangerous to actual progres…

Nice.

aw geez, now we have to compile docs, too?!

Eliminating "custom workflows" seems like rather the point of such an extension.

Have you ever heard of "CMPXCHG8B"?

You have not described a mechanism or API by which the compiler or programmer could enforce that only Leak types are on the stack and that a longjmp will not traverse `!Leak` types…

It can be the case that people didn't feel that unions were a net positive from the 1960s~2000s and now, starting from somewhere in the late 2010s, have begun reconsidering whether…

My remark was an observation based on the obvious public resentment, rather than necessarily an exhortation to do so. I promise you, I will not be so cagey and ambiguous when I act…

The answer to that is simple: We do. We try to catch things before public release. We run UNSPEAKABLE amounts of regression tests. We ask people to test unstable things. Almost no …

The rustc driver for trusted PL/Rust prevents using the subset of the Rust language required to trigger those issues. Most of them are things that would have a hard time traversing…

It's just the name of the repo: the actual target is ${arch}-postgres-linux-gnu.