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.

deleted by creator

deleted by creator

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.

I guess it was misjudgement saying Trump is smart for doing so, when he could just… not start a war and tried other disruptions instead.

I did want to ask if war is going to end and Trump is getting away with it, but decided to go one step too far (maybe for virality? Dumb me again)

So much for me believing there is truly no stupid questions.

deleted by creator

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.

The article seems to be saying that Microsoft is losing favor of investors, not that they began losing money or something.

Don’t get me wrong, I would love Microslop to fall down, but… I do not get how failing to satisfy finicky slop-loving investors is “death to Microsoft”.

Huh, interesting that pop could be realized this time.

I was like, why aren’t you publishing it to a conference/journal if it is good? Then realized that you are doing exactly that. Kudos for the work, looking forward to the progress!

Thank goodness I decided not to venture in those links. I hate people with agendas to manipulate others.

I don’t think Signal trusts the AWS server either, that’s the point of E2EE encryption.

I am realizing I were only good at tests… So sad that I am one of the dumbest and just managed to fool some people with grades. But that does not help with real life.

It really looks like this is getting to the end. Somewhat paradoxically, I am on the edge on the issue, nearly being forced to join the LLM hype. I think this is the indicator.

Gotta see what remains after bubble pops.

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