emil-lp

Look up gerrymandering. Also, there's a tutorial.

This is not true.

Graph theory and algorithm engineering overlap a great deal. And not only in the directly graph theoretic terms like BFS, Dijkstra, Flow, etc, but also in that you need a good grasp of greedy algorithms, dynamic programming, divide and conquer, and several other general techniques.

It depends on what you mean by brute force, you can easily do 20 cities with dynamic programming, which essentially is brute force with pruning.

I would guess ETH has been assumed in thousands of papers. I have several myself.

On the positive side, suddenly there's a whole bunch of open problems!

Then I know what I'll do tomorrow!

19 hours. Don't blink.

A major problem is that if you are able to verify who you vote for, you can either sell your vote or be coerced (by, say, your abusive husband) to vote a specific way.

Well, some day, they'll all switch to OPM.

Merriam Webster:

"""

The original meanings that enormity carried related to great wickedness, and some assert that enormity should today only be used with such meanings, and that enormousness is the proper word to use to mean "large size." Despite these claims, enormity frequently refers to large size, either literal or figurative, though it usually suggests something so large as to seem overwhelming.

"""

Once I drilled a hole in a wall and suddenly the building next door didn't have electricity...

I don't understand anything. Are the contributions in Lean?

Did they start with OpenAI's Lean proof and continue work on that?

Does the Lean proof grow significantly, or are they also trying to keep the Lean proof short-ish?

If HackerNews launched a DoS attack against a web server, I'm sure they'd get charged.

But a news aggregator site is not DDoS-ing.

Three comments that made sense. The fourth didn't.