Viewing profile — ihm

What part of Marx's work do you think has been disproven?

I have been trying in vain to reset the bluetooth state on my Mac since my keyboard suddenly stopped connecting. I have deleted every preference file, booted into recovery mode to …

Castro led a revolution that abolished an essentially colonial regime of sugar plantation labor. Under Batista "most of the sugar industry was in U.S. hands, and foreigners owned 7…

> Nature is usually 80/20. In other words, 80% of researchers probably might as well not exist. What does this even mean? Do you think in an ant colony only the queen is needed? Or…

This is really impressive, especially the way they've used formal verification. Great work.

It can very much be. Here’s one example of this phenomenon (there are many others but this is the most famous): https://wiki.haskell.org/Curry-Howard-Lambek_correspondence

In summary: the capitalist class won the class war.

Consumers are not part of the problem. There is literally no action a consumer can take to ameliorate this situation because there are no tires produced that don't have this proble…

It’s not remotely true that prices are capable of transmitting all the information required to reproduce society. This is for the simple reason that prices more or less only commun…

I think there are a few errors here. First there is afaict no reason the image of phi has to break up into power-of-two cyclic groups. Second and more importantly, it seems very di…

There are a bunch of hash based signature schemes, e.g., SPHINCS https://sphincs.org/

The set of sequences of length n ending in HH (and with no earlier HH) and beginning with a T are in bijection with the set of sequences of length n-1 ending in HH (and with no ear…

There's huge variation in Latin American dialects, there's definitely no universal speed of speech.

Horrifying to see open and talk of war with China with no shame whatsoever. Not only is there 0 reason for such a war besides providing a market for these stupid murder gadgets, th…

The parent was saying "Superrational" is a satire of HPMOR, not that HPMOR is a satire of Harry Potter.

A lot of cogent analysis here, but I’m surprised the author doesn’t seem to know about the economic and political forms of warfare which the US has been pursuing as a cheaper alter…

For what it's worth, I tried Spain Spanish afterwards and had no issues at all. My accent is pretty good (not native but grew up hearing and speaking Spanish as a kid, can sometime…

Mexican Spanish didn't work at all. It asked me "Como te llamas" and I replied, "Me llamo Isaac", which got speech-recognized into some French sentence. I tried again saying "Si, m…

As mentioned on page 9 of the thesis, IO as constructed in the thesis implies IO for RAM machines, so yes you can do programs with iteration.

Hebrew is a much broader linguistic phenomenon than just modern Hebrew. Hebrew existed as a spoken language thousands of years ago and has existed continuously since then in many d…