Pre-wealth, Notch was friendly, kind, and downright jolly! Even as he started to accumulate wealth, he was donating huge sums of money to various indie games. Whenever a Humble Bundle dropped he would top the…
You never “need to” learn much of anything, but I think it would give you a different perspective. You don’t know what you don’t know.
This is fine advice for a personal project, but I don’t recommend proliferating a new custom framework if you expect other people to join and ramp up on your codebase. It’s nice to be able to join a shop that’s using…
Oh! This erratum is the point I’ve been trying to get across. It sounds like we agree on this?
This isn't really the point I'm responding to. I am responding to this idea: > If you are relying on testing for correctness, you have already lost. In any language. As Dijkstra noted, testing can only prove a program…
C++ is even less well-defined than C, though. We find defects in the standard and inconsistencies between Clang/G++/MSVC every day. You’re demanding a rigor that is not possible with a modern technology stack.
You do know that every operating system and CPU in existence has ill-defined operations, right? The best-defined software I know of is SQLite. Every function is carefully documented with a description of all failure…
It seems to me like TypeScript's soundness hole in #4 could be fixed. 1. I'd want TS to show an error on the line where the aliasing occurs, encouraging me to clone the list if I want to change its type from a distance.
But if your program is single-threaded, you don’t need an `Rc` type. The whole point of `Rc` and `std::shared_ptr` is so an object can have one owning pointer per thread, in cases where you’re not sure which thread will…
Uh... Instagram is a Django app...
Keldon Jones’ Race for the Galaxy AI is brilliant. Every line is documented C. It trains and deploys a neural net. It has a fast and functional GUI. Most diehard RftG players have cut their teeth by losing to Keldon a…
Pre-wealth, Notch was friendly, kind, and downright jolly! Even as he started to accumulate wealth, he was donating huge sums of money to various indie games. Whenever a Humble Bundle dropped he would top the…
You never “need to” learn much of anything, but I think it would give you a different perspective. You don’t know what you don’t know.
This is fine advice for a personal project, but I don’t recommend proliferating a new custom framework if you expect other people to join and ramp up on your codebase. It’s nice to be able to join a shop that’s using…
Oh! This erratum is the point I’ve been trying to get across. It sounds like we agree on this?
This isn't really the point I'm responding to. I am responding to this idea: > If you are relying on testing for correctness, you have already lost. In any language. As Dijkstra noted, testing can only prove a program…
C++ is even less well-defined than C, though. We find defects in the standard and inconsistencies between Clang/G++/MSVC every day. You’re demanding a rigor that is not possible with a modern technology stack.
You do know that every operating system and CPU in existence has ill-defined operations, right? The best-defined software I know of is SQLite. Every function is carefully documented with a description of all failure…
It seems to me like TypeScript's soundness hole in #4 could be fixed. 1. I'd want TS to show an error on the line where the aliasing occurs, encouraging me to clone the list if I want to change its type from a distance.
But if your program is single-threaded, you don’t need an `Rc` type. The whole point of `Rc` and `std::shared_ptr` is so an object can have one owning pointer per thread, in cases where you’re not sure which thread will…
Uh... Instagram is a Django app...
Keldon Jones’ Race for the Galaxy AI is brilliant. Every line is documented C. It trains and deploys a neural net. It has a fast and functional GUI. Most diehard RftG players have cut their teeth by losing to Keldon a…