The model can return the internal details of a potential future product. For example, the next Pixel phone.
The language is supposed to tell you if your thinking is broken. If a program is a logical statement, and your logic is impossible, the program should not compile. Reading dead memory or having race conditions should…
It doesn’t have to be a totally new language. Javascript is an example where there are multiple front-end languages. You can go as far as formally prove the implementation is correct, too. Language theory is an…
Quora is often self-promotion now. The template I think of when replying to your comment is: Great point you bring up on how useless <website> is. As the CEO of <random company>, this is a problem we have put a lot of…
Sure, writing bug-free code is not possible for most programmers. The language can reduce the occurrence of bugs.
New York Times ran an article yesterday saying otherwise. First tier cities, in terms of size, are losing people, but second tier cities are growing. The cost of living in the largest cities puts a negative force on…
Same is true in academic research (though old-timers catch it often). The common pattern is: * approach “A” was invented in 1970 or so and didn’t work * “B” extends “A” in multiple ways and now works * noobs assume “B”…
The model can return the internal details of a potential future product. For example, the next Pixel phone.
The language is supposed to tell you if your thinking is broken. If a program is a logical statement, and your logic is impossible, the program should not compile. Reading dead memory or having race conditions should…
It doesn’t have to be a totally new language. Javascript is an example where there are multiple front-end languages. You can go as far as formally prove the implementation is correct, too. Language theory is an…
Quora is often self-promotion now. The template I think of when replying to your comment is: Great point you bring up on how useless <website> is. As the CEO of <random company>, this is a problem we have put a lot of…
Sure, writing bug-free code is not possible for most programmers. The language can reduce the occurrence of bugs.
New York Times ran an article yesterday saying otherwise. First tier cities, in terms of size, are losing people, but second tier cities are growing. The cost of living in the largest cities puts a negative force on…
Same is true in academic research (though old-timers catch it often). The common pattern is: * approach “A” was invented in 1970 or so and didn’t work * “B” extends “A” in multiple ways and now works * noobs assume “B”…