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…
(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…
>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…
>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…
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…
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…
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…
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…
>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.…
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,…
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]:…
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…
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…
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…
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…
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…
(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…
>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…
>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…
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…
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…
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…
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…
>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.…
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,…
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]:…
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…
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…
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…
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…