ffaccount2

There are many PoCs online that work on realistic setups (like PHP docker image). If you're curious you can try to replicate it locally.

>the iPod touch didn't show up till they were 10 years old,

In America. My country, and 90% of the world, was noticeably behind, and "mp3 players" reigned.

I'm not talking about HN in particular, since I know it's not a single give mind, but it's funny how quickly programmes as a group changed their mind on this when it became THEIR job that was replaced.

GP was confused probably. In EU when we hear a "pension plan" we usually think "social security", since we* pay a significant part of our earnings for this, so this is something we definitely count on and, at least in theory, it should be enough for good retirement (in practice it really varies). Many countries also have mandatory private plans that companies have to pay for, but I think people* think of them as "something extra on top" instead of the main retirement source.

*Asterisk because EU is big and diverse, and I don't know every country rules.

(not a mathematician, but I played with lean as a hobby). No, this already existed - lean standard library was basically this, with hundreds of mathematicians working together to formalize basics of currently known math. But this is just very slow for a human.

I remember there being whole research groups trying to formalize a single (real world, as opposed to undergraduate) proof, and I remember reading that formalizing something like FLT is currently completely unfeasible.

In short, no, lean was not a tool to discover new math.

>Healthcare makes up the lion's share of that spending;

I heard US healthcare, rather famously, spends more per capita than any country in the world, despite still being rather terrible. Maybe the solution is actually reforming it in an European way (including universal free healthcare)? Your other points are very interesting to me, especially negative feedback loops of austerity - I never thought about that before.

>It's almost like there was a Republican-policy-created crisis that called for massive spending in his term.

As an European it's pretty funny to read this thread. "Your party debt was reckless and incompetent. My party debt was necessary and caused by your party anyway". Seriously, having just two parties looks like nightmare for democracy.

Having said that, before I get crucified as a centrist, there are bad and worse, and Trump is clearly worse.

I don't know why, but 2^32 search space is WAY too small. Anything they could enumerate back then (or even today) is way too small. This is like saying they tried four times before they found a vulnerable one.

I can't tell if this is sarcasm, or do you honestly consider credit for fast food a good thing. I hesitate because I know that in America people buy everything with credit (or at least a lot), so it's possible some people think like that. But obviously not buying fast food with credit is a good thing?

You're not helping your case by being arrogant. FWIW the person you're discussing with sounds a bit more balanced in their opinions. I am open to changing my mind, but refusing to elaborate because it's a "waste of your time" means conceding your case.

Not a counterpoint, actually case in point, because:

>Mochizuki and a few other mathematicians claim that the theory indeed yields such a proof but this has so far not been accepted by the mathematical community.

Proof can't be understood, proof doesn't matter.

Well nobody needs to use IDE. There were always people who used vim with tmux as their IDE. The value of IDE is the I as in integrated - I see some value in having easy to manage single dev environment with batteries included. (I'm not an IDE guy though, and I personally closer to vim/vscode + plugins)

>it's a choice to refuse to reuse what was trusted yesterday in order to build the next stage.

If the point is to let independent people verify the full build chain, then there is no "trust from yesterday" to reuse.

Even worse, if every release N depends on trusting release N-1, then you need to do a full rebuild of everything in the whole history, instead of just building the current release. This doesn't sound reasonable, or at least sounds incompatible with the project goals.

I want to read content only in a specific language. This is different language than the language of the country I live in. I have my operating system, my keyboard layout, my browser, my accept languages header, everything configured to the language I want.

And get I often get websites and ads in the language of the country my IP points to