Viewing profile — ThreeFx

That chart implies it is possible for somebody to write a work that wins the Hugo awards for best novelette and best novella, which I’d really like to see happen!

Wow, that's incredible. Even though I'm from Hessen, I never thought of making that connection!

Now you’ve just shifted the problem to a much harder statement: proving the things the NN recognizes as a rose is actually a rose. You cannot get rid of the enviroment, and the bes…

I think there’s potential for a second-order effect here: generate enough vulnerabilities and SoC designers will start to put it out themselves.

Looks like a trivial outage, but this is apparently the only region that runs, among others, the US visa application service...

Why is that terrible? Presumably it is much harder to sell now. If you didn’t want it, why buy it in the first place?

There are even cases where it is context-depedent: Maße (measurements) and Masse (mass). Both are written MASSE uppercased, but how do you know which one's which? For additional fu…

Except that it isn't used widely yet, if at all.

Not really, because for undecidable problems semidecidability can only hold one-way. If it held in both ways then the language would be decidable. Take the Halting program for exam…

Nitpick: the reduction function is not one way, since an important property of hashes is that they are easy to compute.

Because there is no clear jurisdiction for the web. That's it.

I must say I never dove into the internals of base64 encoding, but this does indeed make a lot of sense :) Thanks!

A very very good example of correlation != causation.

The TTL field isn't cryptographically protected though, so it should be very possible that there's an actor after Airtel which does the censoring, no?

99% of the time the answer is speed. It's just way faster to evaluate and build all of this at compile time than at runtime. I understand both sides of the argument here - on one h…

4 billion is about 32 bits of security, which is most definitely not enough.

The measure law is also known as Goodhart's law: https://en.wikipedia.org/wiki/Goodhart%27s_law

Thanks, fixed!

Since you can pass types to compile-time functions, yes that is correct. Take the example [from the 0.6.0 documentation]( https://ziglang.org/documentation/0.6.0/#comptime ) for ex…

If you have resources for dart I'd be happy to include it :)

Best known is indeed meant as "most widely known" (although that may be true for only my little bubble). I think it's taught in most type theory / formal methods courses though. If…

This looks amazing! Although I wouldn't be surprised if this was a forced first-player win.

To be fair, those days there (fortunately) wasn't really a useful cryptographic standard to use.