ihm

6 ms·

1.
by ihm 1mo ago
What part of Marx's work do you think has been disproven?
2.
Ask HN: Why has Apple made it impossible to reset Bluetooth state on macOS?
5 points by ihm 7mo ago|0 comments
3.
by ihm 11mo ago
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 70% of the arable land"[^0]. Rural men endured hard
4.
by ihm 11mo ago
> 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 in a wolf pack only the strongest wolf?
5.
by ihm 1y ago
This is really impressive, especially the way they've used formal verification. Great work.
6.
by ihm 1y ago
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
7.
Capital in Transit – A Generative Artwork(constructivecriticism.io)
2 points by ihm 1y ago|0 comments
8.
by ihm 2y ago
In summary: the capitalist class won the class war.
9.
by ihm 2y ago
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 problem, and many consumers need to have a car to live.
10.
by ihm 2y ago
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 communicate information about the amount of labor required to prod
11.
by ihm 2y ago
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 difficult to start with the decomposition into cyclic groups a
12.
by ihm 2y ago
There are a bunch of hash based signature schemes, e.g., SPHINCS https://sphincs.org/
13.
by ihm 3y ago
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 earlier HH) by the bijection def f(s): assert(s[0] ==
14.
by ihm 3y ago
There's huge variation in Latin American dialects, there's definitely no universal speed of speech.
15.
by ihm 3y ago
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, the human toll of such a war would be unthinkable.
16.
by ihm 3y ago
The parent was saying "Superrational" is a satire of HPMOR, not that HPMOR is a satire of Harry Potter.
17.
by ihm 3y ago
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 alternative to conventional war. To use Venezuela as an example,
18.
by ihm 3y ago
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 sometimes pass for native if we don't talk enough that the
19.
by ihm 3y ago
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, me llamo Isaac" and it got
20.
by ihm 3y ago
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.
21.
by ihm 3y ago
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 different forms in different Jewish communities primarily as
22.
by ihm 3y ago
Sounds interesting. It‘s cool they found an OK way to approximate the assembly index given that it sounds like something uncomputable (will have to read the paper but it sounds like computing something like Kolmogorov complexity in some mod
23.
by ihm 3y ago
That’s just a story told by employers. The reality is the very nature of being an employee in most cases is to be exploited and expendable, last in line and first on the chopping block.
24.
by ihm 3y ago
I would say this is unfair to communism. State ownership of all land is actually totally compatible with capitalism.
25.
by ihm 4y ago
This article gets very close, but ultimately fails to get to the root of things. It’s like a liberal facsimile of a radical analysis. This can be seen clearly with logic like > Lousy, underpaid work is not an indispensable, if regrettabl
26.
by ihm 4y ago
Nope, could be a lot of people are just leaving or apartments are being kept vacant at high asking rents.
27.
by ihm 4y ago
This could be straight out of American Psycho: > Saturday morning Hannah texted me she couldn’t make it, so I slept in and skipped the gym. When I woke up, I put the finishing touches on a blog post I had started earlier in the week and
28.
by ihm 4y ago
The most famous ones off the top of my head: Coq, Agda, Lean, Idris, ATS. Here's a list: https://en.wikipedia.org/wiki/Category:Dependently_typed_lan...
29.
by ihm 4y ago
These types are statically checked (i.e., can be checked before runtime).
30.
by ihm 4y ago
From my perspective, the pressures of capitalism are responsible a lot of the suffering that people help with (in heroic ways) at the margins by volunteering. It makes more sense to me to address the problem at the root, so I’m a member of

More ›