Viewing profile — tlringer

Every DeepMind press release is like this.

(Conflating a few things here, and only noticing now; there are also languages with undecidable type checking in which one cannot prove false, mostly because of fancy equality chec…

Typeclass resolution is implemented as a layer of automation that is above the type-checking kernel, so much like with nonterminating tactics, if it doesn't halt you mostly just en…

It was fine, unless you reach far enough to take it literally, which is quite obviously not what Timnit intended. The call to stop DEI work was a rhetorical device to highlight to …

Hopefully I'll see you there! BTW what you say about the sadly common assumption Timnit and other AI ethics folks don't have "real contributions" is too real. It has impacted me ev…

I went to AITP for the first time last September, and I found it an absolute pleasure. Everyone was kind and wonderful and open-minded. The venue was wonderful too. Highly recommen…

ML folks often call it "neural theorem proving." SOTA results are still from combinations of tactic prediction models with specialized tree search processes. They do OK on some int…

OK, first clarification after further correspondence, the mistake on the environment numbers was small---accidentally misunderstanding the context in which Strubell mentioned parti…

Got it, thank you. On why Timnit is criticized so intensely everywhere anonymity is possible, I honestly think that is more an artifact of sexism and racism than an indictment of a…

Note that not everything was a misunderstanding on Jeff's end, just the early stuff before she was fired, which Timnit did not know. To be honest, I don't think Timnit would even b…

Nah, this is the actual truth. You can feel free not to believe me, but I have more complete information about this situation than anyone else you'll ever talk to.

Incorrect. https://news.ycombinator.com/item?id=34382901#34385678

It was Megan Kacholia, who had put Timnit Gebru and others close to her down for a long time constantly within Google, always talking down and being condescending and rude, failing…

It's a really absurd opinion that AI will destroy the world, and one that does not deserve serious consideration in any research community. It's only in strange Rationalist corners…

If you're interested in verification you should probably talk to people who actually work on verification, for example, literally anyone from our research community: https://www.fl…

I'm not sure how Scott ended up buying the party line of the weird AGI Doomsday Cult but so be it. In any case, none of the things he says about verifying AI in this post make any …

I didn't demand anything. I contributed my story to a decision that I along with the rest of the community will make democratically.

I do not believe you are engaging in good faith, given that I just explained to you very clearly and concisely that this is not just about me.

If you can't see the many differences between those situations, I don't feel like we will have a productive conversation.

If I were the only one complaining, I'd agree (with this being unnecessary---I don't quite see how the cost here is very large). But many women in the community both in the US and …

Yeah, but sexual words in particular lead to harassment of women by strangers. I'd love to fix society so that this becomes false, but it's not how society currently works. I'll ke…

My understanding was that it was the icing on the cake to Huet. I'm still not sure that changes much.

Can you explain the Git thing? It keeps coming up but I've never heard of an English word "git." I looked it up and it seems it exists, but is it common? I've lived in this country…

We are mostly researchers, so this is not so much a language we use as our life's work. This means we talk about it a _lot_, including in public. It's not just about people at work…