nahumfarchi

Perhaps mathematics was never about proving things? I know it sounds like moving the goal post, and it certainly was what motivated mathematicians on a day-to-day basis, but bear with me for a moment. I think that beyond being a creative activity that humans enjoy, math was about building new tools and systems of thought. Axiomizing things we take for granted, logic, linear algebra and calculus (on which modern LLMs rely so heavily) are such examples. People chose to participate in this field because they found it enjoyable and satisfying in some way. As a side effect, society reaped the benefits every couple of centuries. Will harvesting open problems with AI ever give us these things, or will we just be left laundry pile of Lean formalizations?

It stopped charging and then died

Any kindle device that I bought barely lasted more than a couple of years, so joke is on them I guess?

Mathematically, it means that the number of lines read is bounded by 10*M, where M is some constant. So it's basically equivalent to saying that it's O(1).

I'm guessing that intention was to say "around 10 lines", though it kind of stretches the definition if we're being picky.

I don't get HN anymore. This comment reflects a legitimate stance that's articulated just fine. Why is it grayed out?

Sources?

The current government is in power by a small majority, meaning that it is strongly contested by about 50% of Israelis (on most matters). That means against settlements, for ending the war, and largely liberal views. But no, we won't put out head on a platter thank you very much.

Yes, all finite languages are regular.

Specifically, you can construct a finite automata to represent it.

Their death is tragic, but such is war unfortunately... Lebanon is participating in this one whether they like to or not.

That aside, these definitions were written for a reason, even if they have no appeal to the current victims.

I would love to see a list of "oldies but goldies" in various fields. Wonder if you're aware of such a thing?

Nit: the Israeli government is in Jerusalem, not Tel Aviv.

His policy towards Hamas was one of containment and not making a decision, which is classic Netanyahu behavior. I don't know whether or not his biographies agree with this, but this is pretty much the consensus among Israelis. Again, I truly doubt that October 7th is what he was aiming for (happy to change my mind if there is evidence otherwise).