Sujet : Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010))
De : etua (at) *nospam* reraaade.it (Beauford Barzetti)
Groupes : sci.physics.relativity sci.mathSuivi-à : sci.physics.relativity sci.mathDate : 27. Feb 2026, 22:48:51
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10nt3g2$2sihh$2@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Chrome/82.0.3496.87 Mobile Safari/632.24
Ross Finlayson wrote:
It's like when Modi visited the Knesset the other day and reeled off a
bunch of diplomatic platitudes then mentioned "The Gazans have been
mistreated terribly and that's wrong." Then the news spin was a bunch of
Fudd Bibi with "I have friends who eat curry." FB-functions.
nonsense, the khazar goys are from India, that's where they are coming
from, first the Great Russia, then the shit europe
LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010))
Re: LRM moving from FOM to TCS [Lean Prover] (Re: Is Causal AI simply ReLU (Geoffrey E. Hinton 2010))