ihm

8 ms·

31.
by ihm 4y ago
As a native (American) English speaker, the original paragraph looks fine to me except for “IA”.
32.
by ihm 4y ago
That theorem is not valid constructively, so no way to make a computer program out of it. I.e., there is no program that given types A, B and injections (f : A -> B) and (g : B -> A) produces a bijection A -> B.
33.
by ihm 4y ago
You can join a tenants union to fight against your landlord. In the bay there’s TANC ( https://baytanc.com ) for example which I’m a member of.
34.
by ihm 4y ago
Capitalism worked the same way under the gold/silver regime. Marx wrote Capital which explains this dynamic in the 1800s when that regime was in effect.
35.
by ihm 4y ago
I understood the gist from context, but unentberlikhes, nebst, and forshrift were not understandable to me. The Yiddish words are very different. I’m not a native speaker, I think a native speaker probably would have understood forshrift fo
36.
by ihm 4y ago
I meant regarding the title “Nayes folshtendiges kokhbukh fir die yidishe kikhe: Ayn unentberlikhes handbukh fir yidishe froyen und tokhter nebst forshrift fon flaysh kosher makhen und khale nemen, iberhoypt iber raynlikhkayt und kashrut”.
37.
by ihm 4y ago
I like the reveal – I was wondering why the Yiddish of the book’s title seemed so weird!
38.
by ihm 4y ago
(7, 8) and (8, 7) are not possible because: If x = 2 then clearly (x, y) is not (7, 8) or (8, 7) because 2 is not 7 or 8. If x = y then (x, y) is (7, 7) or (8, 8).
39.
by ihm 4y ago
Interesting that the author felt the need to make an anti-communist comparison to describe a typical capitalist workplace.
40.
by ihm 4y ago
I always found that particular convention incredibly gruesome and dystopian. The US genocided the native Americans and then use their names on their death machines they use for killing other people.
41.
by ihm 4y ago
You don't have a choice in workplaces either. Basically all workplaces are run undemocratically.
42.
by ihm 4y ago
I believe workers as a class should democratically control the economy so that production can occur for human need rather than profit of owners of capital. That's only possible if every workplace is organized along those lines, and wor
43.
by ihm 4y ago
I mentioned in another comment but at O(1) Labs (which is VC-backed) we've had a board composed of employees for about a year. I'm not sure about the timing of your situation, but also I'm sure we're not the first compan
44.
by ihm 4y ago
Great to read about. At O(1) Labs[^0] we've had a board that consists only of employees for about a year now. Employees who have been around for at least 1 year can run and vote. It's one-person-one-vote and we use Scottish Single
45.
by ihm 4y ago
If you want to play around with zero-knowledge proofs, I work on a typescript DSL called SnarkyJS. It’s easy to pick up and runs in the browser. https://github.com/o1-labs/snarkyjs
46.
by ihm 4y ago
To those who think tech workers don’t need unions: unions don’t have to be about wages. They are simply an association that lets us as workers deliberate and coordinate our actions. I think in tech they would be better used to help us contr
47.
by ihm 4y ago
EA is bad because it in practice, as an actually existing movement, assumes capitalism as an immutable reality. The problem is that capitalism actually generates most of the problems they are worried about, so if they can’t address the root
48.
by ihm 4y ago
Seems founded on a totally unmaterialist and unscientific understanding of how societies persist themselves. This is evident in Balaji’s fixation on the psychology of the individuals involved. E.g., saying intentional communities have faile
49.
by ihm 4y ago
Those are all limited hang outs. Abuse is endemic in Hollywood, Weinstein and Bill Cosby were scapegoats. I’m sure things have continued as they did before a few people went to jail. Similarly with Epstein. Prince Andrew, Bill Clinton, Trum
50.
by ihm 4y ago
I don't support trying to turn back the clock, but modern day hunter gatherers should not be thought of as a reliable picture of past hunter-gatherers. For one, they mostly inhabit some of the lowest quality land since the best land ha
51.
by ihm 4y ago
Going to make a PR to add our company O(1) Labs. It’s very rare in that it’s VC-funded by prominent VCs, but still majority worker-owned and fully worker-governed. The board is composed of workers, selected by workers on the basis of one pe
52.
by ihm 4y ago
People have been building these things for years in the Bay Area now with 1 filter (strapped to the back) or 2 (making a triangular prism), to deal with the smoke from the fires. Surprised that isn't mentioned in the article. I first l
53.
by ihm 5y ago
Very cool and unexpected to see something we worked on on HN! If you’re a good hacker who wants to work on this stuff (Rust, C++, or OCaml especially) we’re hiring cryptography engineers[0] and offering training on all the relevant cryptogr
54.
by ihm 5y ago
Hi - I work on proof systems for Mina. Our proof system does not require any trusted setup. It uses a polynomial commitment scheme based on the setupless scheme used in bulletproofs (the version we use is close to the one described in this
55.
by ihm 5y ago
There are Korean and Japanese bathhouses in SF as well actually. Also a Korean one in San Leandro.
56.
Dark Eucharist of the Real God(ianwrightsite.wordpress.com)
1 points by ihm 5y ago|0 comments
57.
by ihm 5y ago
What do they mean by entropy of a string? Entropy of the distribution of frequencies of characters? N-grams?
58.
by ihm 5y ago
There are some very interesting quotations of his from his Wikipedia article ( https://en.wikipedia.org/wiki/G._K._Chesterton ), e.g.,: > [My position] was always called Anti-Semitism; but it was always much more true
59.
by ihm 5y ago
A transatlantic trip on the Queen Mary 2 is more carbon intensive than flying[0]. Absurdly, the only green way to get across the Atlantic at the moment is hitching a ride on a cargo ship. [0]: https://www.theguardian.com/tra
60.
by ihm 5y ago
I think the title/abstract are seriously overstating the result -- the validators still have to hold onto what is essentially the set of spent outputs, which grows linearly with the number of transactions processed by the system.

More ›