ThreeFx

7 ms·

1.
by ThreeFx 5mo ago
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!
2.
by ThreeFx 7mo ago
Wow, that's incredible. Even though I'm from Hessen, I never thought of making that connection!
3.
by ThreeFx 11mo ago
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 best thing you can do is be explicit in what you rely on. For e
4.
by ThreeFx 3y ago
I think there’s potential for a second-order effect here: generate enough vulnerabilities and SoC designers will start to put it out themselves.
5.
by ThreeFx 3y ago
Looks like a trivial outage, but this is apparently the only region that runs, among others, the US visa application service...
6.
by ThreeFx 4y ago
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?
7.
by ThreeFx 5y ago
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 fun: Swiss German doesn't use ß at all, so there is
8.
by ThreeFx 5y ago
Except that it isn't used widely yet, if at all.
9.
by ThreeFx 5y ago
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 example: For a program p which halts, you can determine whether
10.
by ThreeFx 6y ago
Nitpick: the reduction function is not one way, since an important property of hashes is that they are easy to compute.
11.
by ThreeFx 6y ago
Because there is no clear jurisdiction for the web. That's it.
12.
by ThreeFx 6y ago
I must say I never dove into the internals of base64 encoding, but this does indeed make a lot of sense :) Thanks!
13.
by ThreeFx 6y ago
A very very good example of correlation != causation.
14.
by ThreeFx 6y ago
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?
15.
by ThreeFx 6y ago
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 hand you have fast and unreadable code and on the other
16.
by ThreeFx 6y ago
4 billion is about 32 bits of security, which is most definitely not enough.
17.
by ThreeFx 6y ago
The measure law is also known as Goodhart's law: https://en.wikipedia.org/wiki/Goodhart%27s_law
18.
by ThreeFx 6y ago
Thanks, fixed!
19.
by ThreeFx 6y ago
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 example: At compile time the compiler
20.
by ThreeFx 6y ago
If you have resources for dart I'd be happy to include it :)
21.
by ThreeFx 6y ago
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 anybody has facts for/against this
22.
by ThreeFx 6y ago
This looks amazing! Although I wouldn't be surprised if this was a forced first-player win.
23.
Typing Is Hard(typing-is-hard.ch)
1 points by ThreeFx 6y ago|0 comments
24.
by ThreeFx 6y ago
To be fair, those days there (fortunately) wasn't really a useful cryptographic standard to use.
25.
by ThreeFx 6y ago
Init7 gets there in 15, they reach AARNet directly from their presence in LAX, however it still takes ~310ms to reach NSW.
26.
by ThreeFx 6y ago
Comes with an Intel wifi card if I'm not mistaken. Maybe update the title?
27.
by ThreeFx 6y ago
What's the solution? Semantically it makes sense if it counts for both googlebot and yandex. Have you observed one/both behaviours?
28.
by ThreeFx 6y ago
I completely agree on the breaking issues, it is a _lot_ of work to maintain a website these days. In 99% of the cases I'd also agree with you that there should be _no_ reason ever to break e.g. a library used or something. But the thi
29.
by ThreeFx 6y ago
I think this post misses the point of HTTPS completely. It makes HTTPS sound like some new technology, even though the HTTP protocol is still used, the difference being that the connection is encrypted and integrity protected. And that said
30.
by ThreeFx 6y ago
Super interesting! Although it sure would be nice to have explanations for amateurs such as me.

More ›