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

Fun fact, ping is the standard windows way to wait a given number of seconds[0]. You're supposed to ping 127.0.0.1, but I saw a lot of scripts pinging 1.1.1.1 or 8.8.8.8

[0]: https://stackoverflow.com/questions/1672338/how-to-sleep-for...

Very basic: https://github.com/oriansj/stage0

Is that really true? Can't we feel compassion and mourn things happening far away? I don't think this is true.

I think the problem is that modern brain is overloaded with information. We can't care about everything fully, or we'd go insane.

Is this related to high trust society? From what I see, most of the light comes from a streetlights (at least in my country).

So Spotify is a loop (it automatically plays the next recommended song)

And privilege escalation.

>I think the people who need those abbreviations spelled out are not the target audience of the article.

I agree this is true for the economist readers, but I clicked the link thinking this was about how Dropbox (in a company) is an obvious target for privilege escalation (for red teams and hackers), which also sounds plausible and interesting.

But I don't mind, after a few seconds of loading my mistake was obvious.

Compared to the naive implementation presented in the blog post yes, but the PR uses AVX, which can process 256 bits (32 bytes) at a time, so I'm not so sure

>and when you want to do anything that can't be accomplished by plain JSON

Like comments? ;)

>METR measures the longest software engineering task a frontier model can complete successfully half the time

Longest? Yes, they actually use actual wall clock time. I don't think this metric makes any sense. I don't know about the others, I stopped reading at this point.

I did that when I was younger and internet forums we're still a thing. The difference is that I had to do actual research, which often took me half an hour or more, to solve the problem for the asker. I got knowledge and "the feeling of being a notable figure" as you have said. The other side for the answer. I believe my answers were good.

The difference is that nowadays people can just skip the research part and copy-paste Llama. No value added.

I assume it's unambiguous in Japanese.

That's what hackers do in popular stories, right? In reality, most cybercriminsls just don't care that much (they usually use Tor browser, though). I mean they mostly use discord and telegram (both unencrypted).

Serious "hackers" are usually state sponsored now, or members of mature groups.

I don't get it. Why did you buy a third spatula, if you consider it a significant expense (i.e you can't replace ones you have if they break), and you already have two.

Even better way to think of false positives: If you judge 0.1% of players wrong, you just banned A LOT of innocent players.

They are not. Most people in Europe already have a digital government ID (I know I do), and most people in Europe trust their government more than random for profit companies, and are OK with making them a gatekeeper. People who care about rooting their own phones are a minority, even on HN.