Jeremy @JrmyBoo
Maths/ physics / programming ✍️ 🇫🇷🇬🇧 Joined January 2012-
Tweets5K
-
Followers146
-
Following596
-
Likes4K
Jeremy retweeted
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
2
25
72
15K
30
View Details
@itsalexvacca And here is the response from the second prompt :
@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 retweeted
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.
Jeremy retweeted
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.
Jeremy retweeted
Representing complex numbers, dual numbers, and double numbers as matrices
Jeremy retweeted
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 retweeted
@Aron_Adler I guess gleam can be learnt on the side. It's a very simple language
Jeremy retweeted
Bertrand's postulate: For all x > 1, there is a prime p such that x < p < 2x.
Jeremy retweeted
All connected abelian Lie groups have the form T^n x R^m where T^n is an n-torus.
Jeremy retweeted
[CP] #Chatcontrol, un pas de plus vers la surveillance généralisée
Jeremy retweeted
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.
🇬🇧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
Jeremy retweeted
@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 👉youtube.com/playlist?list=…
@FormalLand No I was just curious as I've seen some projects using Noir and some others using CirCom.
@FormalLand Do you guys have anything similar for other languages like Circom?
Aruf Benaruf @benaruf
125 Followers 3K Following
Queathoud @QueathoudRBt
87 Followers 2K Following
Tawtoy @TawtoyvftmIP
91 Followers 2K Following
Formal Land 🌲 @FormalLand
2K Followers 2K Following We innovate to provide you with the most extensive software security solution. Rocq, Rust, ZK, Solidity, Web3
Clioso @CliosoG7zz
34 Followers 1K Following
lipsum.dev @LipsumD
73 Followers 96 Following Maths et applications, avec les mains et avec du code 💻
S G Wunderlich @sgwunderlich
1 Followers 34 Following
Shodasakshari Vidya @shodasakshari
11 Followers 199 Following Pursuing Phd in Computer Science Engineering at IIIT Hyderabad | Quantum Cryptography | Distributed Security | Modern Cryptography | Loves to sing when bored!
Limath @Limath42
41 Followers 1K Following
Akash Kumar Singh @TheAkashKSingh
376 Followers 2K Following Ph.D. Student in Electrical & Computer Engineering at UCF | Quantum Algorithms & Quantum Computing | IISER Tirupati | DIAT Pune | Former CDAC
Raphaël Sourty @raphaelsrty
1K Followers 926 Following AI @LightonIO Language Models, Information Retrieval, Knowledge Distillation PhD
PogScience | aussi su... @PogScience
1K Followers 721 Following Vulgarisation francophone en direct sur Twitch et le net - Science & Culture 🚀🌍🔬🩺- Les chaines en ligne https://t.co/pvNIRBZaH7 | UTC+1
Gurmeet Singh 🎗 @Gurmeet0108
50 Followers 489 Following Ex-googler, now doing PhD in computational astrophysics.
Johnny Pig @the_johnny_pig
1K Followers 1K Following
P K @PK97900947
0 Followers 184 Following
Lídia del Rio @MarjBaldwin
2K Followers 2K Following Time, information, temperature, civil rights: three of these are subjective. Co-founder @quantumjournal. Mastodon: @[email protected]
Delon @UngDelon
13 Followers 431 Following
Math destroy @SouadH9
2K Followers 6K Following Data scientist with interests in statistics, machine learning, deep learning, operation research and high performance computing.
Jens Eisert @jenseisert
30K Followers 6K Following Scientist, professor of quantum physics at @FU_Berlin and affiliated with @HZBde and @FraunhoferHHI. @ERC_Research fellow. Founder of @Qonsultancy.
Becker Friedman Insti... @BeckerFriedman
44K Followers 9K Following The Becker Friedman Institute @UChicago supports inquiry on significant economic and policy questions. RT/Follow ≠ endorsement.
Alex Weibel @alex_weibel
634 Followers 5K Following Sr. Software Engineer building open source cryptographic libraries @AWS Cryptography. Working on Post-Quantum TLS, s2n, ACCP, and FIPS. My views are my own.
Imene Hamchiche @IHamchiche
169 Followers 468 Following Journaliste scientifique. Cocréatrice de @brief_science. Pigiste pour Science & Vous édité par @science_et_vie. Intéressée par la bio, les robots et la SF.
mec cool et sympa @lemortpheus
335 Followers 337 Following Parle-moi de choses et d’autre, mais surtout d’autres choses.
Hymnhumus @hymnhumus
51 Followers 636 Following Mathématicien qui se désagrège lentement. Musicien et amateur d'idées visuelles. J'aime créer à plusieurs.
Kabelo Moiloa @11kilobytes
1K Followers 4K Following amateur PL-theorist of scientific computing. All poasts are to be interpreted in both a maximally ironic and sincere way simultaneously.
Dora @TeodoraSzasz
430 Followers 2K Following Creative fun maker. Computational Scientist at The University of Chicago Passionate about empowering people and bringing them to their next levels
w @wanwanruff
58 Followers 449 Following
Q4Q - Fausti's Lab @Q4Q_Fausti_lab
114 Followers 180 Following Study & control non-equilibrium #quantum matter phases | Lab @UniTrieste and @elettrasincro run by Daniele Fausti | #ERCStartingGrant
Louis Fréget (🇫�... @UnEmpiriciste
4K Followers 4K Following "Tintin avec une veste en cuir" | Evidence-based policy et Scepticisme | Economie, Santé, Environnement | Par @LouisFreget (ENGLISH), PhD en économie
Thomas Fiolet | Alter... @FioletTAlterate
122 Followers 876 Following music_composer guitar_player robotics_researcher anarchist_communist science_fiction FR/EN
🅼🅸🅲🅷🅴�... @Michelle_54309
42 Followers 2K Following Would you like to meet me ? Add me and I´ll send you my naked photo in Direct 😜👙🍓
Monir Qerqouri @MonirQerqouri
7 Followers 79 Following
QShane @quantumshane
357 Followers 519 Following Quantum computer scientist, Irish alien in France, sure you know yourself… Opinions only probabilistically approximately my own to within dynamic bounds
Gilles Pavan @GillesPavan
1K Followers 5K Following Professeur agrégé de mathématiques. "L'évolution, c'est un peu la nature qui innove." Désarmons le monde. Si vous le voulez bien.
Andrea Olivo @oliversium
150 Followers 502 Following Quantum Info PhD, currently at @psiquantum. Love 🎹, 💻, sci-fi. And galettes. Definitely galettes.
Dr Christophe Vuillot @CVuillot
991 Followers 692 Following Principal Research Scientist - Quantum Error Correction at @Alice__Bob (on leave from @Inria) he/him
Gláucia Murta @GlauciaMurta
37 Followers 23 Following
Irenka * @irenkastyle
4K Followers 5K Following From Alien Pop to Bohemian Rock, changing the world, one song at a time. Outlandish Ass-Biting Artist FREE DOWNLOADS https://t.co/4B6qBQhdQp
𝕍alérie ℝ. 🔆... @ValRobert974
5K Followers 2K Following PhD/docteure statistique appliquée (coclustering), mathématiques en classe préparatoire aux grandes écoles (cpge) Réunion. Mes tweets n'engagent que moi.
Elias Judin @elias_judin
388 Followers 1K Following pure maths. universal algebra // categorical topology // Galois theories. university of cape town.
bashbunni @sudobunni
41K Followers 816 Following cashhh me in emacs, how bout da ʕ •̀ ω •́ ʔ coding n stuff | CEO of nothing live 12PM PT every Wed/Thurs https://t.co/aFDeQhyYbX https://t.co/9VJ5OByjZw
pleias @pleiasfr
2K Followers 1 Following
lipsum.dev @LipsumD
73 Followers 96 Following Maths et applications, avec les mains et avec du code 💻
The Computational Dem... @compdem
2K Followers 550 Following We bring data science to deliberative democracy, so that governance better reflects the public will. 501c3. We maintain @UsePolis and https://t.co/uVv6bQd3lI.
EXO Labs @exolabs
54K Followers 3 Following Frontier AI on local hardware. EXO 1.0 is now open-source (Apache 2.0): https://t.co/SGGGK784Qp
mrdoob @mrdoob
90K Followers 746 Following Award losing non creative junior vibe coder. May or may not have something to do with @threejs.
Alicia Curth @AliciaCurth
5K Followers 511 Following Machine Learner by day, Statistician at ❤️ In search of statistical intuition for modern ML &simple explanations for complex things 👀 (Opinions my own)
zkMonk @zk_monk
1K Followers 378 Following Community-run platform fostering mass adoption of zero-knowledge technology, empowering a diverse range of individuals by educating and working on zk stack
Modiie 🦝 @M0diie
34K Followers 1K Following Streameuse mêlant JV & Sciences Sociales. Projet d'educ pop 🦝🏴. Chroniqueuse pour @Artefr & @Blast_france 🎙️
Zoo @zoodotdev
15K Followers 20 Following Zoo makes CAD truly AI-native with a modern geometry engine, readable code, and an editable feature tree, enabling precise changes beyond chat-only workflows.
Formal Land 🌲 @FormalLand
2K Followers 2K Following We innovate to provide you with the most extensive software security solution. Rocq, Rust, ZK, Solidity, Web3
Lean @leanprover
14K Followers 52 Following Lean is a dependently-typed programming language and theorem prover.
The Rocq Prover @CoqLang
2K Followers 54 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
Meta Open Source @MetaOpenSource
158K Followers 537 Following Empowering diverse community through open source technology.
Simone Margaritelli @evilsocket
48K Followers 2K Following Music, cybersecurity, open source and AI • Author of bettercap, pwnagotchi, opensnitch, bleah, legba and a few other things. Co-founder & CTO @ @usemilgram
Magdalena @_RustyRooster
3K Followers 251 Following SWE by day, existential crisis surfer by night 👩🏻💻🇫🇷 French nerd since MCMXCVI ~ « hawk tuah frenchcore IT posting » - @equacc ~ phamous tehc infulencr
CyberCat Institute @CyberCatInst
1K Followers 104 Following Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming · dependent types · Lean. i sometimes stream on https://t.co/NE9ol9kM96. DM me about exotic type systems 🗨️
Martin Bauer @martinmbauer
107K Followers 1K Following Working on particle physics, quantum sensors, dark matter. Associate Prof at @IPPP_Durham @durham_uni, FLF @UKRI_News, Science board member @STFC_Matters
Eric Cavalcanti @ericcavalcanti
861 Followers 374 Following Experimental metaphysicist. Associate professor in quantum physics. Past ARC Future Fellow. Papai of two.
Infomaniak @infomaniak
11K Followers 96 Following Ethical cloud provider, in the heart of Europe, focused on privacy, sovereignty & sustainability.
Odoo @Odoo
56K Followers 899 Following All-in-one business software. Beautiful. Easy-to-use. CRM, Accounting, eCommerce, HR, Procurement, Point of Sale, MRP, Marketing and more!
Pr. Virginie Martin @VirginieMartin_
29K Followers 2K Following POLITISTE, Fondatrice de @Spirales__ Dr Sciences Po, HDR @kedgeBS @Revuepol @xerficanal
Jonathan Gorard @getjonwithit
47K Followers 23 Following Co-founder and CEO @lanyon_ai, making the universe computable. Part-time math/physics research @Princeton Previously @Cambridge_Uni @WolframResearch
kasey @kaseyklimes
17K Followers 3K Following building decision infrastructure @primitive_hq | alum: @google @citiesforpeople @ucberkeley https://t.co/7thvAHOnOj
Nicolas Da Silva @dasilva_p13
16K Followers 227 Following Économiste - Université Paris 13 - CEPN @dasilvap13.bsky.social https://t.co/zbmz7tiVxY…
Isomorphic Labs @IsomorphicLabs
64K Followers 83 Following Solve all disease. Developing and applying frontier AI to unlock deeper scientific insights, faster breakthroughs, and life-changing medicines.
Meredith Whittaker @mer__edith
121K Followers 4K Following President of @signalapp, Chief Advisor to @ainowinstitute (Also on Mastodon @[email protected], also on bsky @meredithmeredith.bsky.social)
Mariame Tighanimine @mariametig
6K Followers 738 Following Sociologie @LiseCnam (#travail #corpsintermediaires #information #algorithmes). Essais @edlolivier @EditionsStock. Documentaire "La vie devant nous" sur Arte.
Marija Popović @mpopovic514
2K Followers 594 Following Assistant Prof at TU Delft 🤖 Prev: Group Leader at Uni Bonn, Postdoc at Imperial College, PhD at ETHZ | Born: 🇷🇸 Raised: 🇦🇪 Home: 🌍 | 📷: @mashapopovic
Dr. Kelly Ann Pawlak @QuantumQelly
999 Followers 429 Following Principal Technical Manager Software & Control Systems | Theory | Algorithms PhD Condensed Matter Physics from UCSB Views own. 🇵🇷
Internet Archive @internetarchive
507K Followers 1K Following Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the @waybackmachine.
Gleam Programming Lan... @gleamlang
6K Followers 11 Following Sponsor Gleam development and support the project!: https://t.co/5BGG9PhdFp
Fredrik Johansson @hypergeometer
615 Followers 128 Following fredrikj @ mathstodon Computer algebra & Arbitrary-precision arithmetic. Researcher at @Inria.
Shakir Mohamed @shakir_za
45K Followers 1K Following ML with Social Purpose. @[email protected] | Research Scientist @DeepMind | Strengthening African ML @DeepIndaba. He/Him. South African 🇿🇦🏳️🌈🌍
Hannah @hannahmakes
5K Followers 758 Following Maker of frivolous things. Teabag dunking robots, shoes that call you an Uber. Carves her own face into pumpkins. 🤖
Dr Heidy Khlaaf (ها... @HeidyKhlaaf
13K Followers 699 Following Climber 🇪🇬| Chief AI Scientist @AINowInstitute | Safety Engineer |TIME100 AI | MIT 35u35 | Formal Methods PhD | x-Trail of Bits, Zipline, OpenAI, MSFTResearch
Marieke Kuypers @KuypersMarieke
19K Followers 14K Following Journalist | Factchecker | Management: [email protected] |🇳🇱
Tilutz @PAutorise
10 Followers 581 Following Médiateur scientifique et culturel Philosophie des sciences, Épistémologie J'aime l'esport #SLYWIN #T1WIN
Works in Progress @WorksInProgMag
30K Followers 34 Following Works in Progress is a magazine of new and underrated ideas to improve the world. Subscribe to our new print edition now. We are proud to be part of @Stripe.
Steven Murdoch @sjmurdoch
5K Followers 553 Following Professor of Security Engineering; Head of @uclisec; Director @OpenRightsGroup. 🐘 https://t.co/fmgm3nArbb 🦋 https://t.co/rGb0q8302r
Sioux Technologies @SiouxSource
709 Followers 67 Following We bring high-tech to life with our software, mechatronics, electronics, mathware and assembly.
Stefano Gogioso @StefanoGogioso
3K Followers 1K Following Quantum Cryptography @SpooqyAI · Quantum Risk · Local AI · Software Engineering @UniofOxford
Petar Veličković @PetarV_93
47K Followers 554 Following frontier computation @GoogleDeepMind. geometric deep learning @Cambridge_Uni. 🇷🇸🇲🇪🇧🇦🇬🇧 for those who come after ⚡You might like
Doc Toe
@LeDocToe
1K Followers
Antoine Tilloy
@AntoineTilloy
3K Followers
polo kartell
@PoloKartell
61 Followers
Grégory Bekhtari
@GregoryBekhtari
1K Followers
もなかs
@mochirial
133 Followers