Jeremy

5.4K posts

Jeremy banner
Jeremy

Jeremy

@JrmyBoo

Maths/ physics / programming ✍️ 🇫🇷🇬🇧

Sumali Ocak 2012
602 Sinusundan147 Mga Tagasunod
Jeremy nag-retweet
écologie rationnelle
é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. youtu.be/jGvAzBOKbEY
YouTube video
YouTube
Français
2
25
72
14.5K
Jeremy
Jeremy@JrmyBoo·
@itsalexvacca And here is the response from the second prompt :
Jeremy tweet media
English
0
0
0
3
Jeremy
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.
Jeremy tweet media
English
1
0
0
39
Alex Vacca
Alex Vacca@itsalexvacca·
Anthropic's CEO claims AI hallucinates less than humans. Bold statement. So I decided to test it by feeding the same FAKE theories to ChatGPT, Claude, and Gemini to see which one calls me out first. The results shocked me 🧵
Alex Vacca tweet media
English
279
914
7K
1.9M
Jeremy nag-retweet
Joel David Hamkins
Joel David Hamkins@JDHamkins·
Reminder. The orbit of the Moon about the Sun is convex. physics.stackexchange.com/a/266444 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.
English
6
13
115
7K
Jeremy nag-retweet
Joel David Hamkins
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.
English
8
22
196
11.7K
Jeremy nag-retweet
Algebra Etc.
Algebra Etc.@AlgebraFact·
Representing complex numbers, dual numbers, and double numbers as matrices
Algebra Etc. tweet media
English
11
79
751
43.9K
Analysis Fact
Analysis Fact@AnalysisFact·
The rational numbers have Lebesgue measure zero.
English
23
43
419
75.4K
Jeremy nag-retweet
Gro-Tsen
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.]
Gro-Tsen tweet media
English
6
7
24
2.4K
Jeremy
Jeremy@JrmyBoo·
@Aron_Adler I guess gleam can be learnt on the side. It's a very simple language
English
0
0
1
44
Anthony Leverrier
Anthony Leverrier@letonyo·
I don't know if this has happened already, but it seems it will be the case anyway pretty soon. At the moment, I don't see much impact in the way research is done, but this cannot last long.
alz@alz_zyd_

I think ppl are gonna take some time to realize this, but o1, from what I've seen, seems to be basically smarter than the median PhD student in every subject at once. Most of the hallucination, etc. problems seem gone. It can do math more or less perfectly

English
1
0
4
1.6K
Jeremy nag-retweet
Algebra Etc.
Algebra Etc.@AlgebraFact·
Bertrand's postulate: For all x > 1, there is a prime p such that x < p < 2x.
English
7
25
267
22.4K
Jeremy nag-retweet
Topology Fact
Topology Fact@TopologyFact·
All connected abelian Lie groups have the form T^n x R^m where T^n is an n-torus.
English
1
8
119
45.5K
Jeremy nag-retweet
Parti Pirate
Parti Pirate@PartiPirate·
[CP] #Chatcontrol, un pas de plus vers la surveillance généralisée
Parti Pirate tweet mediaParti Pirate tweet mediaParti Pirate tweet mediaParti Pirate tweet media
Français
1
42
44
4.3K
Jeremy nag-retweet
Gro-Tsen
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.
Patrick Breyer #JoinMastodon@echo_pbreyer

🇬🇧Again no majority for #ChatControl +++ New Commissioner Hahn defends it – unlike his own country +++ Numerous governments (AT,DE,SL,NL,LU,CZ,PL,EE,FI) publicly criticise proposed indiscriminate #masssurveillance of all users +++ Watch the recording: video.consilium.europa.eu/event/en/27763

English
1
4
11
895
Jeremy
Jeremy@JrmyBoo·
@FormalLand No I was just curious as I've seen some projects using Noir and some others using CirCom.
English
0
0
1
20
Formal Land 🌲
Formal Land 🌲@FormalLand·
@JrmyBoo Thanks for the heads up! No we don't! Would you have some use cases in mind? In any cases, this is something we wish to look at some point.
English
1
0
0
22
Formal Land 🌲
Formal Land 🌲@FormalLand·
We consider the first version of our formal verification tool for Noir `coq-of-noir` ◼️🐓 to be done! The verification process is very rough, but we support a large part of the Noir language, including loops, mutations, genericity, arithmetic, ... 👇
English
1
3
13
401
Jeremy
Jeremy@JrmyBoo·
@FormalLand Do you guys have anything similar for other languages like Circom?
English
1
0
1
24
Formal Land 🌲
Formal Land 🌲@FormalLand·
DM us to audit your Noir projects! 📨
English
2
0
2
197

Tuklasin

@Jonwqt @itsalexvacca @PhDPersuasion @AnalysisFact @Aron_Adler @letonyo @jack_ceroni @elonmusk