Don't you want programmers to familiarize themselves now to prepare for the time when it does? Claude 3.5 sonnet is getting close.
"From what I've seen of people running Linux on these things, it is definitely not something you'd want to develop on" Can you please elaborate? I'm a programmer with a linux framework laptop (NixOS specifically).
I'm a huge fan of Haskell and the language uses many concepts from category theory, such as monads, functors, and applicatives. However, these are all abstractions which are simple enough to not need any basis in…
I think chatgpt's effectiveness for self-studying would depend on the subfield of pure math. For example, real analysis I believe is still best self-studied by just reading baby rudin and doing the examples and…
IMO I would always rather have syntactic sugar in Haskell, since parse errors are usually not the kind of bugs that one keeps making. If I encounter a parse error, I would probably not write code that leads to the same…
I definitely agree that it improves writing fewer bugs. When I first began using leetcode, I was proud that I was able to begin at leetcode medium and even solve the hard ones because the tip was to grind the easy ones…
I use Mullvad vpn and pay using monero, so this was the first question in my mind. If you look at Mullvad's privacy policy, they made clear that paying with card obligates them legally to store personal information…
[dead]
I think he may be referring to installing Nix itself, which does require root even if the intention isn't to install anything system-wide. I did once think about modifying the nix installer to let me set an arbitrary…
Don't you want programmers to familiarize themselves now to prepare for the time when it does? Claude 3.5 sonnet is getting close.
"From what I've seen of people running Linux on these things, it is definitely not something you'd want to develop on" Can you please elaborate? I'm a programmer with a linux framework laptop (NixOS specifically).
I'm a huge fan of Haskell and the language uses many concepts from category theory, such as monads, functors, and applicatives. However, these are all abstractions which are simple enough to not need any basis in…
I think chatgpt's effectiveness for self-studying would depend on the subfield of pure math. For example, real analysis I believe is still best self-studied by just reading baby rudin and doing the examples and…
IMO I would always rather have syntactic sugar in Haskell, since parse errors are usually not the kind of bugs that one keeps making. If I encounter a parse error, I would probably not write code that leads to the same…
I definitely agree that it improves writing fewer bugs. When I first began using leetcode, I was proud that I was able to begin at leetcode medium and even solve the hard ones because the tip was to grind the easy ones…
I use Mullvad vpn and pay using monero, so this was the first question in my mind. If you look at Mullvad's privacy policy, they made clear that paying with card obligates them legally to store personal information…
[dead]
I think he may be referring to installing Nix itself, which does require root even if the intention isn't to install anything system-wide. I did once think about modifying the nix installer to let me set an arbitrary…