I think the disproportionate noise about Slack is just due to it being (often without choice) used by so many people, and hence to cite that people only complain about Slack as evidence that Slack is worse than other Electron apps isn't very convincing.
NPM is definitely usable as a package manager for frontend Javascript applications, just needs a little more complicated webpack or similar setup than a node.js app.
This is another gem of weird internet design. Note especially the animations on hovering over images, and color choices on some of the linked pages. It somehow sort of works though. http://insti.physics.sunysb.edu/~siegel/
The problem with the separation is mainly with making changes to code, not with reading the code as it currently exists.
This problem is avoided at no cost in Go, where an external tool can be used to get the same concise view of all of the function types that you like, without needing to manually create and update header files.
I’m not saying it’s a bad idea to implement it, but there’s a greater time cost, and if the performance gains aren’t worth the effort, then there’s no reason to make the improvement
Depends on how often you need to search. The implementation of the parallel linear search in Go is a lot easier to get right than what you’re recommending.
Though I would certainly agree that paying for more vm cores just so you can do a linear search on each of them is a bit silly
The author's use of "type soundness" matches the precise, widely-accepted mathematical definition which is used in the literature. Type soundness does not require total functions, although they certainly make it simpler.
It is possible to encode the semantics of exceptions such that a reasonable definition of soundness is still provable. See, for instance, Chapter 14 of Types and Programming Languages by Pierce.
The difference here is that presumably fewer record companies have the money to fund the development of their own streaming service. The movie industry has much bigger players in the game.
Additionally I don't think anybody's cracked the code on how to make reliably well-received music yet. You can't distract the audience with good visuals and special effects if the plot is no good like in a movie.