Viewing profile — zodiac

We still care about computation and algorithms even when proving theorems in a classical setting! For e.g., imagine I'm trying to prove the theorem "x divides 6 => x != 5". Of cour…

Here’s a good document defending the merits of this design. https://xenaproject.wordpress.com/2020/07/05/division-by-zer...

No browser passes 100% of WPT, the leader is chrome which has about 1000 failing tests

1400 x $100,000 is $140 million, not $1.4 billion

Interesting, in this representation a plane is represented by the point on it closest to the origin, right?

> Every time you install an open-source app, the developers are extorted by Apple with Core Technology Fee of €0.5 each I don't think this is true? AIUI a developer can choose to o…

I'm curious about graph algorithms that are "higher order" than what the article describes - e.g. how does Datalog encode the fact that two graphs (given as two relation sets) are …

Something like "schedule a reminder to stop using the computer at 10pm so I can sleep by 11pm"? Since I want to sleep at 11pm local time every day

The real TIL (to me) is that the previous state-of-the-art could solve 10 of these! I'd heard there was a decision algorithm for plane geometry problems but I didn't know it was a …

I think there’s syntactic ambiguity whether “faster” modifies “generates” or “code”

I read mathematics on screens but when it comes to working out exercises etc I still prefer to do it with pen and paper, so I prefer succinct notation.

I didn’t really get that joke, could you explain it?

The “except for math” part is doing a lot I think. There’s a huge amount of work needed to get rendered math to look as good as latex’s and I’m not sure CSS (as an example) is expr…

“Give us your passport or we’ll fire you / won’t give you this job”

I wish discussions of such site didn't inevitably become discussions about software engineer interviews. It's a really nice site created by volunteers and I've often had it been th…

Could you please define “strategy” such that those people you refer to aren’t “following a strategy” but someone who doesn’t eat breakfast is “following a strategy”? I eat breakfas…

What makes skipping meals a “strategy” while your meal eating habits is (presumably) not a “strategy”?

The article gives one example - find out if a recipe has ingredient X. You could also imagine "find all recipes (from a cookbook) that are vegan", or "find all recipes I could foll…

I agree with your 3rd, 4th, and 5th sentences, but not with your 1st and 2nd. Assuming a large number of independent validators, the Nash equilibrium is close to "there is no equiv…

> Which sure sounds like a decentralized process that is ultimately just centralized around the ETH foundation at the end of the day. The validators need to be decentralized (i.e. …

Depends on what you mean by "best". For e.g. comparison-based sorting will already cost O(n log n) time but the HashMap solution will run in O(n) HashMap operations.

The chord is D-flat dominant 7 It’s the same example as on the wiki page for “tritone substitution” - ‘For example, in the key of C major one can use D♭7 instead of G7.’

I think the problem is that the first separates words by underscore and the second doesn’t

Maybe the_svd_doctor uses flop/s to describe hardware, like you said