Jeremy

Maths/ physics / programming
✍️ 🇫🇷🇬🇧

[écologie rationnelle @ERationnelle]

Nouvelle vidéo: Comment utiliser la clim de la façon le plus écologique possible ? Est ce si mal d'en avoir une ? Avec @Jonwqt , thermicien de haut vol, on a fait une vidéo qui va au delà des discussions de comptoir que l'on a vu pendant cette canicule. https://t.co/plufJuuEWP

[Jeremy @JrmyBoo]

@itsalexvacca And here is the response from the second prompt :

[Jeremy @JrmyBoo]

@itsalexvacca Tried with "Le chat" from Mistral AI: here is the response from the first prompt. Does not refute the information but stays somewhat cautious.

[Joel David Hamkins @JDHamkins]

Reminder. The orbit of the Moon about the Sun is convex. https://t.co/EOTV61Pmqq
Although the Moon is simultaneously in Orbit about the Earth, nevertheless the Earth moves sufficiently each month that the Moon's trajectory around the Sun is convex.

[Joel David Hamkins @JDHamkins]

A fascinating set-theoretic situation. If there is any model of ZFC at all, then there are models M and N with the same sets of real numbers and the same cardinals, such that M thinks the continuum hypothesis is true and N thinks the continuum hypothesis is false.

[Algebra Etc. @AlgebraFact]

Representing complex numbers, dual numbers, and double numbers as matrices

[Jeremy @JrmyBoo]

@PhDPersuasion @AnalysisFact The Cantor set

[Gro-Tsen @gro_tsen]

The precise section of Meta (i.e., Facebook)'s new policies on hateful conduct that says you can't call anyone stupid or mentally ill ✽except✽ homosexual and transgender people.

This is what “prioritizing free speech” means, apparently. 🤐

[Link in next tweet.]

[Jeremy @JrmyBoo]

@Aron_Adler I guess gleam can be learnt on the side. It's a very simple language

[Jeremy @JrmyBoo]

@letonyo @jack_ceroni Which model do you use?

[Algebra Etc. @AlgebraFact]

Bertrand's postulate: For all x > 1, there is a prime p such that x < p < 2x.

[Topology Fact @TopologyFact]

All connected abelian Lie groups have the form T^n x R^m where T^n is an n-torus.

[Parti Pirate @PartiPirate]

[CP] #Chatcontrol, un pas de plus vers la surveillance généralisée

[Gro-Tsen @gro_tsen]

Once again, the EU Council fails to achieve a qualified majority in favor of the disastrous #ChatControl regulation (“CSAR”) for widespread surveillance of private communications.

Let us thank the countries in green 🔽 (blocking minority) for being the good guys in this matter.

[CNRS 🌍 @CNRS]

@CNRSAquitaine @CNRSchimie @CNRS_Paris @CNRSinformatics @icmcb @LP_ENS_ @LIP6_lab @antoine_petit_ @CNRSphysique #TalentsCNRS 🏅Félicitations à Cyril Aymonier, Lydéric Bocquet et Eleni Diamanti qui reçoivent la Médaille de l’Innovation du @CNRS 2024 pour leurs travaux de recherche ayant conduit à des innovations majeures.

Retrouvez tous les portraits des lauréats 👉https://t.co/7Nh3Fn02Om

[Jeremy @JrmyBoo]

@FormalLand No I was just curious as I've seen some projects using Noir and some others using CirCom.

[Jeremy @JrmyBoo]

@FormalLand Do you guys have anything similar for other languages like Circom?

[Jeremy @JrmyBoo]

@FormalLand @ZKpassport 👆