WingNews logo WingNews GitHub [2]

s_ngularity's comments

s_ngularity | 6 years ago | on: The Physics of Fried Rice

You should try a Vietnamese place if there’s one near by you. The ones around here at least don’t seem to skimp on the meat as much

s_ngularity | 7 years ago | on: Thinkpad X210

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.

s_ngularity | 7 years ago | on: Tables

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.

s_ngularity | 7 years ago | on: CPY – Code C/C++ with no redundancy

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.

s_ngularity | 7 years ago | on: How long does it take to linear search 200MB in memory?

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

s_ngularity | 8 years ago | on: Are unsound type systems wrong?

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.

s_ngularity | 8 years ago | on: Spotify Form F-1

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.

page 1
more