infinity0

10 ms·

91.
by infinity0 7y ago
The title is like the opposite of clickbait & would have been better named "AI’s forgotten cousin, IA: Intelligence Augmentation" > At first, Garry wasn’t surprised when a human grandmaster with a weak laptop could beat a w
92.
by infinity0 7y ago
Saying someone's "patch is boring" is also harassment.
93.
by infinity0 7y ago
Selling food is a bit different than selling drugs.
94.
by infinity0 7y ago
ITT: hypocrites talking shit about TCM, which is fair enough, but then making non-scientific assertions about how eating "weird" stuff - presumably, organs & animals they don't normally eat - causes diseases. PROTIP: it&#
95.
by infinity0 7y ago
You need to come up with an alternative for people to keep getting their income, before imposing knee-jerk regulations. Which is something that I'd guess you've accused "uber-liberals" of before.
96.
by infinity0 7y ago
In what real-world situation could you be convinced that supposedly-two provers really actually can't communicate?
97.
by infinity0 7y ago
That was after the author was extremely dismissive with "this patch is boring". Seriously, who says that??
98.
by infinity0 7y ago
I don't like contempt culture either but there's a balance to be made here - if you let everyone do everything and encourage them all as special snowflakes that can't create anything crappy, a community will also go to shit.
99.
by infinity0 7y ago
It's pretty simple, like how "fuck the system" doesn't mean you literally want to copulate with the system. Not sure why people ITT still trying to nitpick and stick with the supposition that the chant is violent and pri
100.
by infinity0 7y ago
Unintended mutations happen all the time naturally. Some are beneficial, and some are harmful. This just speeds up the process a bit. Life has natural processes to error-correct, otherwise it would not have survived for millions of years.
101.
by infinity0 7y ago
The recursive algorithm works for any number of LCAs, as I argued. If you're referring to having multiple roots , there are two solutions: (a) define your 3-way-merge primitive (the non-recursive version) to support merging two states
102.
by infinity0 7y ago
You do recursive LCA merge, like git. I give a hand-wavy argument on why the algorithm is semantically correct here: https://infinity0.github.io/msg-notes/causal/04-state.html#w...
103.
by infinity0 7y ago
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82677 incorrect use of assembly integer division affecting all projects that have c+p code from GMP (including linux/openssl/etc) https://github.com&#x2
104.
by infinity0 7y ago
I've been using nossl.google.com even before I worked at Google. Somehow I found out about it in the crazy wild west internet of the 2000s and most of my colleagues didn't even know about it. Still works today.
105.
by infinity0 7y ago
hacker news has automated algorithms to deprioritise posts it autodetects as "controversial" or "troll bait"
106.
by infinity0 7y ago
Obviously, exposing state surveillance and oppression is a good thing. However a lot of western media and commenters conflate this by adding their own propaganda twists into their message, either surreptitiously (being anti-Chinese and usin
107.
by infinity0 7y ago
A lot of the comments in this thread are a bit self-defensive and unempathetic to the problems described in this post. This post, and many unrelated others in general, are talking about their own experiences. They don't seek to deny ot
108.
by infinity0 7y ago
The last hitman should have hired the first hitman.
109.
by infinity0 7y ago
If you've ever administered a server via SSH over Tor, you're forced to get used to this sort of stuff.
110.
by infinity0 7y ago
Yet another 1000-word rederivation of a monad, yawn. Wake me up when you've realised you might as well just write Haskell.
111.
by infinity0 7y ago
At Google years ago, the UX designers coined the term "change aversion" and used it in exactly this arrogant way that this article is talking about. They even used this concept to dismiss the empirical results of UX experiments t
112.
by infinity0 7y ago
Much less misleading than the previous post. > Woulda thought they used SVN primarily since they pull from Debian
113.
by infinity0 7y ago
> Constant time does not mean that running time cannot vary, in either complexity theory or cryptography. Again, overloading of the term "constant time" causes pointless misunderstanding and arguments. Your statement here is wr
114.
by infinity0 7y ago
https://www.mongodb.com/licensing/server-side-public-license... "Why did you base the SSPL on GPL v3 instead of AGPL?"
115.
by infinity0 7y ago
The SSPL "debate" was indeed a shit-show hijacked by people either abusing permissive-license ideologies with a corporate interest in mind, or so blinded by that ideology that they are unable to grasp the idea that freedom is an i
116.
by infinity0 7y ago
Can you elaborate? I left Google years ago but it wasn't that bad.
117.
by infinity0 7y ago
> Many people will provide input to this decision, but no successful language--indeed, no successful free software project of any sort--is a democracy. [..] > As I said, that is my opinion, but I think it's true. I would be inte
118.
by infinity0 7y ago
Debian is 1000 developers with mostly decentralised decision making with some voting for project-wide issues using Condorcet.
119.
by infinity0 7y ago
> They already are causing Western media to censor themselves even on sites blocked in China. This isn't on the same scale as "enforce their will on the world", and nowhere near US-levels of "enforce their will".
120.
by infinity0 7y ago
Yup, I'm not about to be censored by people downvoting my comments without explanation. I think the downvoting mechanic on HN is stupid. Of course what I said is an oversimplification. It's meant to directly make you question your

More ›