I dropped them since they became clickbaity, and something seemed off. Maybe they sold themselves out?

deleted by creator

It looked like one of the easiest short, but I am not allowed to short individual stocks :(

Pure function, is that a functional programming lingo

Same, it makes me feel my life is so unworthy.

I wonder if they at least used p-adic metric correctly, but I don’t feel like analyzing a slop meme.

Even if AI will turn out to be great method for programming, it will replace humans in programming. There will be no place left for human programmers.

Otherwise, and when AI turn out to be a massive hype, it will lead to huge bubble burst which will take lots of tech companies with it. There will be no demand for software for a while, as we did not need much in the first place.

Either way, programming as a career is fucked.

EDIT: Wow, it’s both funny and tragic to see the butthurt reaction. Poor folks who chose programming as a career…

I really don’t get the prevalence of the attitude “If we don’t see it with light, it does not exist”. Is it that improbable that there is some matter which does not interact with light? imo, similar argument could be made to deny existence of atoms - we cannot see it directly.

Haskell types are not strong enough for that, maybe Lean or Coq would get there.

Don’t Trust a Path Across Two Syscalls

Wasn’t this a common knowledge among application developers? File system is volatile, and can change any time, do not assume persistence of it. I heard about the principle from ghcup developer a few years ago.

Indeed.

I am not a topologist, but I can try…

A space (shape) is contractible if you can “contract” (shrink) it to a point without cutting, pinching or punching through holes. For example, a mattress is contractible, since you can shrink it to the center - each point can follow the line to the center, continuously. Meanwhile, a doughnut, a circle or a hollow sphere are not contractible, you can never remove the inner “hole” to shrink to a point without cutting.

In general, any dimensional sphere is not contractible… Until it is - infinite dimensional sphere is contractible. Somehow, it loses the “hollow space” inside.

Is this opinion piece implying that quantum computing researchers should stop researching because current quantum computers are currently less than proof of concept? Is technology supposed to be fully mature from the beginning?

I don’t think this is matter of mathematics, it is difficult to define what “software only running on desired machine” is. Like, do you permit functionally equal software with different code? With painstaking effort, functionality should be approximated fairly close (although idk what that means in mathematical context) On the other hand, requiring exact code is likely not what they want.

Cryptographic guarantee requires mathematical specification, which seems ill-fit in this scenario.

Huh, interesting that pop could be realized this time.

It lists no alternative to actual(-budget) :( I don’t have time to create my own alternative, maybe I should go back to spreadsheets?

Exactly, C++ is what came to my mind when I saw this. Some people don’t put references??

Same. Maybe I… gasp… like trains?

That’s such a way to dismiss the theory and academia

You know that is a lie, a lip service for the gullible mass. Samsung just does not care about security and privacy because it does not boost their profits.