

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


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.


It lists no alternative to actual(-budget) :( I don’t have time to create my own alternative, maybe I should go back to spreadsheets?
Since reward system does not work for me, instead I punish myself whenever I could not finish tasks in time. I do not deserve any rewards anyway. Dunno why I feel so miserable…


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
deleted by creator
Maybe I should admit defeat and go back to reddit… Perhaps everyone is supposed to be slaves to the shareholders
Do you mean python has something to do with functional programming, or did I misread? Because I would say e.g. Typescript is (slightly) closer to FP than Python.


Fuck, what do I do when they inevitably discontinue support for 20xx? Just cry and accept that I no longer have a computer, as every component costs as much as a house? D:


I mean, thoughts on nuclear waste? They certainly need management, and I dunno if humans are good at waste management.


B…but it works, at least!


Does not work for many of us
Endless envy to you


Wdym death of windows, is this another of those clickbait vids?


Judging by the Parser newtype, he did.
I don’t understand why their share is rising, not falling. Is there anything I am not understanding here? Will people rely even more on Amazon after this incident?


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…