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…

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.

Yeah, sadly. It is a stock trading app which requires credentials checking, I guess.

deleted by creator

I desire to install Linux on the laptop, but one stock market app my dad frequent only runs on winblows :<

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.

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!

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 lists no alternative to actual(-budget) :( I don’t have time to create my own alternative, maybe I should go back to spreadsheets?

Please please please do not bork this one, I don’t want to abandon another game I love. Hopefully it’s not like KSP 2 or Cities Skylines 2

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

Security by obscurity does not work, because people are only so creative up to a point. Hence, there are only handful of configurations for the attacker to try out.

This contrasts to e.g. 128-bit secure encryption, which involves trying 2^128 times to break it - which is a number with whopping 38 zeros. It takes 10^22 years to break it with trying at 1GHz rate. It is simply incomparable, and adding a few bits of security by obscure combination is simply not worth it.

Yet, so many people and organizations seem to prefer obscurity to actual security.

Oh, do you happen to be a physicist or an analyst?

Same. Maybe I… gasp… like trains?

I wonder if we can really trust the TEEs. Isn’t it their hardware where they are quite free to do what they want? Also it looks very vulnerable to the side-channel attacks.