Fredrik Johansson @hypergeometer
fredrikj @ mathstodon Computer algebra & Arbitrary-precision arithmetic. Researcher at @Inria. fredrikj.net Bordeaux, France Joined March 2016-
Tweets656
-
Followers619
-
Following128
-
Likes990
@oscarsm85309043 If you want to do this many times with a fixed modulus, then yes: you can precompute an inverse of n, or use Montgomery reduction. You can also do things more efficiently for n of special form, e.g. n = 2^k+1.
fredrikj.net/blog/2023/04/f… FLINT furnished with faster FFT: we recently merged Dan Schultz's amazing new small-prime FFT code into FLINT, enabling much faster bignum arithmetic (in some cases 10x faster than GMP).
@hcohl001 Here, or in a different medium? FLINT (flintlib.org) is a C library for computational number theory and basic computer algebra functionality. It does exact or arbitrary-precision integers, rationals, number fields, reals, polynomials, matrices, etc.
I've released mpmath 1.3.0: github.com/mpmath/mpmath/…
In case you missed it: FLINT, Antic, Arb, Calcium and Generic-Rings have merged into a single project: what will be FLINT 3.x going forward. The 3.0 release will happen later this year; I'm currently working on debloating this 1 MLOC codebase. github.com/flintlib/flint2
My article "Arbitrary-precision computation of the gamma function" has been published in Maple Transactions! mapletransactions.org/index.php/mapl…
I have removed the links to Twitter on my website. See you all on that other social network instead!
LaTeXML 0.8.7 was just released! We're ready for #MathML Core. With gratitude to the wider community, who helped drive another productive year of extending our TeX interpretation fidelity and our LaTeX ecosystem coverage. Full release notes at: github.com/brucemiller/La…
@BjornDahlgren No, for a French id in France (for someone else)!
There's currently a 7 month delay just to get the *appointment* for a national ID card or passport here. So much for free movement within Schengen 😡
@Lavoisierbug No. It's flintlib.org
Anyone interested in a full-time job doing FLINT development should get in touch. I don't have funding at the moment, but given a qualified candidate (skilled with computer algebra *and* C programming), there's a decent chance that funding can be found.
@avihu28 Helping maintain wrappers like Python-FLINT could be part of the job. With that said, it's a public project and anyone is free to contribute right now! Personally, I'm planning a rewrite of Python-FLINT when/if I get the generics module for FLINT fully working.
Sadly proof assistants are still quite limited when it comes to (complex) analysis, and computer algebra systems suck at handling inequalities. I wish we had proper "computer analysis systems" making computer-verified classical analysis truly routine.
Many proofs in analytic number theory look like this, and I can never quite shake the fear that the author might have dropped a decimal or a sign or a residue somewhere.
What strikes me about Yitang Zhang's preprint is that there doesn't seem to be any fancy math (I could be wrong about this), just 100+ pages of tedious analytic calculations. An interesting candidate for computer verification?
I finally launched CoWasm.org. It's kind of like @emscripten, but built using @ziglang, with first class support for both servers and browsers. The main package is @python 3.11, but there are lots of other fun #webassembly ports hidden inside...
Today is Bruno Buchberger's 80th birthday! There will be a conference at RISC next week, with a Zoom live stream: risc.jku.at/c/symbolic-com…
Accepting and rejecting papers is an archaic practice that is terrible for science. It strips peer review of its value & institutionalizes the practice of judging scientists based on where, rather than what, they publish. It's time for this system to go. elifesciences.org/articles/83889
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Steven Strogatz @stevenstrogatz
180K Followers 3K Following Mathematician, writer, Cornell professor. All cards on the table, face up, all the time.
Leo C. Stein is @duet... @duetosymmetry
17K Followers 1K Following Physics Prof @ U of MS. Black holes, gravitational waves, general relativity & beyond. Formerly @Caltech @MIT @Cornell. Need thin pizza + fruity coffee. He/him
Sam Power @sp_monte_carlo
21K Followers 7K Following Lecturer in Maths & Stats at Bristol. Interested in probabilistic + numerical computation, statistical modelling + inference. @OnlineMCSeminar. (he / him)
Akshay Chandan Dey @itsakshaydey
17 Followers 468 Following
Ivan M @med_1v
1 Followers 3K Following
Raunak Chhatwal @ChhatwalRaunak
23 Followers 254 Following
Prof. Edem Kwedzo Ban... @prof_edem49321
2 Followers 57 Following
anshuman @anshuman0819
77 Followers 4K Following
Soofaw @Soofaw0200
21 Followers 1K Following
David Bernier @doubledeckerpot
1K Followers 4K Following Mathematics PhD; Computers, History, music, sci-fi movies, law, languages. Conspiracy researcher.
demasie @demasieono
464 Followers 8K Following
Dearlloy @dearlloy52546
10 Followers 1K Following
Victor Kolobov @VIKolobov
242 Followers 527 Following Cryptography PhD @TechnionLive | Engineer @StarkwareLtd
wallace rhoades @RhWallace88
125 Followers 2K Following I lost all my funds. If you can, please donate a small amount 💚
EmilyRhys @8pC980b2N8oPaz
72 Followers 7K Following
Crypto’s Dawn ғ @CryptosDawn
913 Followers 2K Following ‘Audentes Fortuna Iuvat’ Holder of $kas $ldg
FitGirlAlpha @FitGirlAlpha
219 Followers 491 Following Tracking institutional money flows, sector rotation, and high-conviction setups. Weekly market reports. Not financial advice
Navneeraj @navneerajs
224 Followers 4K Following
Baitian Li @elegia_li
315 Followers 104 Following PhD student @ Columbia, BS @ Tsinghua, Elegia @ Codeforces
Wagmi Capo 🧲 🌟 @sangar871
283 Followers 6K Following Anonymous Chad Tracker, No more Shit Coins, NFA, Always DYOR, Trust no one🐸
Xsalsamoto @XsalsamotoX1
106 Followers 1K Following
Birne @Staatstoter
272 Followers 491 Following Physics: a former passion. Intellectual property: becoming a new one. Books, Film, Art: I am easily seduced...
Fantasia Lin @fantasialin
9 Followers 236 Following
Janhavee Shinde @SJanhavee
80 Followers 7K Following
Mustapha Moshood Olaw... @MustaphaMoshoo8
103 Followers 1K Following Software Engineer | Geomatics Engineer | Core Member @GlobalAIHub
Procionic_ion @AlexMormil94532
0 Followers 38 Following
Anselmo B. D. @anselmobd
38 Followers 418 Following
comonoidal esotericis... @adamnemecek1
3K Followers 2K Following Building AGI by fixing autodiff @ https://t.co/x06CbGClKL
Shin @shinigami7d8
1 Followers 530 Following
Rohith Srinivaas M @RohithSrinivaas
71 Followers 2K Following Ph.D. Student @ UC Berkeley | IIT Madras
Adam Majewski @adam_majewski_
1 Followers 33 Following
Ambreen Ahmed @ambreen272
12 Followers 173 Following
Anvanda-trosor.se @Anvandatrosor
522 Followers 415 Following Vi har länge väntat på att kunna öppna https://t.co/PgAHwDvjPV! Anonym och gratis registrering! ❤️❤️ Köp/sälj använda trosor-bilder-videor-och mycket mer ❤️
rmloveland @rmloveland
140 Followers 1K Following
Phillip @p4i11ip
278 Followers 607 Following Cryptography at #MPI_SP / @MaxplanckPress & @BochumCrypto / @CASA_EXC / @ruhrunibochum. Visiting @IBMResearch Previously at @KTHuniversity + @EPFL.
Kaiyu Yang @KaiyuYang4
5K Followers 2K Following Chief Scientist, Verifiable AI Lab of @miromind_ai. Previously: Research Scientist @FAIR, Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
brian kitano @BrianKitano
535 Followers 659 Following notebook of future PhD research directions and unrelated hot takes
不捣乱🇨🇦励�... @IAmChatGpt
5K Followers 6K Following 立志骂醒加拿大🇨🇦一直不醒一直骂……独立开发者 / AI应用探索 / 数字游民 / 用AI释放个人生产力 / 分享产品思考和创业见闻/哀鸿遍野的“币圈”…!“英特那熊(市)耐尔”就一定要实现!! 新保守主义70年代兴起于美国,由原自由派知识分子组成……
Quanta Magazine @QuantaMagazine
362K Followers 615 Following Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.
Joel David Hamkins @JDHamkins
28K Followers 283 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Timothy Gowers @wtgow... @wtgowers
57K Followers 187 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Sabine Hossenfelder @skdh
221K Followers 807 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception. rt's are not endorsements
Analysis Fact @AnalysisFact
134K Followers 19 Following Daily tweets about real and complex analysis and related topics. From @JohnDCook.
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Gro-Tsen @gro_tsen
7K Followers 91 Following Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I tweet in fr&en.
John Carmack @ID_AA_Carmack
2.1M Followers 285 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
julesh @_julesh_
10K Followers 133 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Google Magenta Projec... @GoogleMagenta
6K Followers 25 Following Magenta is a research project exploring the role of machine learning in the process of creating art and music.
insane_gazebo @insane_gazebo
381 Followers 456 Following
. @zoasterino
3K Followers 502 Following
David Cayla @dav_cayla
21K Followers 2K Following Économiste à l'université d'Angers. Dernier ouvrage: https://t.co/PdPalwjGIi Page perso: https://t.co/NDqrSWPrfF
Michael Stambolis @mstambolis
4K Followers 4K Following #HelloQuitteX et #20Janvier @mstambolis.bsky.social @mstambolis https://t.co/H7EgsuknLT
Nigel Smart @SmartCryptology
6K Followers 421 Following Interested in cryptography and computing on encrypted data in particular Citizen of Nowhere @[email protected] @smartcryptology.bsky.social
Giacomo 🪿 @isogenies
987 Followers 204 Following One half of @CryptoHack__, Cryptography consultant, PhD Black Holes and Supergravity 🚩@0rganizers
David Lowry-Duda @davidlowryduda
75 Followers 215 Following I'm also @[email protected] and either dld or davidlowryduda on various other sites. I am no longer active here. Look for me elsewhere.
Léo Ducas @ducasleo@... @DucasLeo
2K Followers 530 Following Mastodon exodus attempt: @[email protected] Dad of one. Cryptographer & Cryptanalyst. Tenured researcher at Centrum Wiskunde & Informatica.
Bryce, the CUDA Colon... @blelbach
18K Followers 3K Following Principal Engineer at @NVIDIA working on programming languages. @adspthepodcast co-host. C++ Library Evolution chair emeritus. Frequent flyer. Horology fan.
NASA Webb Telescope @NASAWebb
3.5M Followers 63 Following The Official *NASA* Webb X account. The world's most powerful space telescope. Launched: Dec. 25, 2021. First images revealed: July 12, 2022.
The Cultural Tutor @culturaltutor
1.7M Followers 67 Following You can't step in the same river once. My book, travel show with Audible, and newsletter ↓
Andreas Kling @awesomekling
61K Followers 2K Following building @ladybirdbrowser. recovering addict. husband of @katalinkult. uncle. gymnasium brother.
Sameer Agarwal @sandwichmaker
3K Followers 454 Following Engineer at @google. Optimization (https://t.co/ejE4WWV71l), algebra and computer vision research.
Guido van Rossum @gvanrossum
308K Followers 480 Following Python's BDFL-emeritus, Distinguished Engineer at Microsoft, Computer History Fellow, fully vaccinated. Opinions are my own. He/him.
SciPy @SciPy_team
7K Followers 22 Following SciPy provides fundamental algorithms for scientific computing with Python: statistics, optimization, linear algebra, integration, interpolation, signal, etc.
Volodymyr Zelenskyy /... @ZelenskyyUa
8.5M Followers 1 Following President of Ukraine / Президент України
Will Kinney @WKCosmo
42K Followers 2K Following Cosmologist, physicist, dirtbag mountain biker, expat Montanan, Copernican extremist. Part of the problem.
Unlimited Dream Co. @unltd_dream_co
18K Followers 401 Following Human and AI art. No longer posting here. Join me on Bluesky at https://t.co/dGCJrS11uN
Henry Cohn @HenryCohn
873 Followers 3K Following
Thomas Ahle @thomasahle
9K Followers 798 Following Head of AI @NormalComputing - building OpenClaw for EDA. Ex @Meta, @BARCdk, SupWiz, @OxfordQuantum. Tweets on Math, AI, #dspy, Probability, ML. Also tensors.
Aaron Meurer @asmeurer
2K Followers 751 Following Posting about AI, Python, @SymPy, and other nonsense.
Martin Kulldorff @MartinKulldorff
436K Followers 3K Following Epidemiologist and biostatistician. @gbdeclaration
Deyan Ginev @dginev
1K Followers 840 Following Software Engineer at arXiv. LaTeXML dev. The Web was created to share science. Let's keep it that way. creator of https://t.co/3d4VTPw7Lj
Max Tegmark @tegmark
155K Followers 39 Following Known as Mad Max for my unorthodox ideas and passion for adventure, my scientific interests range from artificial intelligence to the ultimate nature of reality
Jeremy Kun (j2kun@mat... @jeremyjkun
11K Followers 906 Following Author @MathProgramming, book: https://t.co/r17WZc30Zf. Homomorphic encryption @Google. PhD from UI Chicago. Newsletter: https://t.co/eBmadhgdNq
SNESUP-FSU @SnesupFsu
3K Followers 1K Following Syndicat national de l'enseignement supérieur et de la recherche, le syndicat de toutes et tous les enseignant.e.s-chercheurs/euses et les enseignant.e.s du sup
Prof Francois Balloux @BallouxFrancois
142K Followers 1K Following Director @UGI_at_UCL. Interest in Infectious disease epidemiology, pathogen genomics, global health, and all sorts of other stuff.
70s Sci-Fi Art @70sscifi
204K Followers 200 Following By @AdamRRowe. Check out my art book WORLDS BEYOND TIME: 400+ illustrations, 100+ artists, lots of jokes and facts. https://t.co/KfekD0cbzf
Linguica @andrewrstine
673 Followers 161 Following
Samuel Villarreal @SVKaiser
4K Followers 73 Following Lead engine developer at Nightdive Studios and head developer of the Kex projects. Cooking/baking enthusiast
Dragonfly @Dragonfly_Doom
2K Followers 322 Following Level Designer for Prodeus & Veteran Doom Mapper. MIDI Composer, Photographer, Prog-metal enthusiast and all-round nerd.
Xaser Acheron @XaserAcheron
855 Followers 112 Following An Angry Scientist. I make levels and other Doom stuff and maybe also games, mostly by accident.
Pamphile Roy @PamphileRoy
703 Followers 838 Following Principal Engineer @theahaco / Stellar Pilot / SciPy, SALib core-developer, Scientific Python steering committee / https://t.co/w8fIHlUjsn / Ph.D, Engineer
Ulrik Buchholtz @UlrikBuchholtz
411 Followers 198 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
Lettier @lettier
86K Followers 841 Following Independent Software Consultant • https://t.co/sDUMPTvF3H • https://t.co/LkB5kTXsPT • https://t.co/xFDXqyGXOf • https://t.co/90HIN33qN2
Greta Thunberg @GretaThunberg
5.2M Followers 3K Following Autistic climate justice activist Born at 375 ppm
Brian Granger @ellisonbg
9K Followers 1K Following Co-founder of @ProjectJupyter and the Jupyter Notebook. Leader at @awscloud AI/ML. @PyTorch Foundation board member.
NumFOCUS @NumFOCUS
27K Followers 1K Following Our open source scientific software projects are changing the world. We support projects like Pandas, Julia, & NumPy + organize @PyData!
Simon Byrne @SimonPJByrne
741 Followers 386 Following Software developer and mathematician at @nvidia. Frequent gripes about fast-math @[email protected]
Scientific Python @SciPyTip
210K Followers 18 Following Tweets about SciPy (Scientific Python) and related topics from @JohnDCook.
Stephen Wolfram @stephen_wolfram
181K Followers 4 Following Creating ideas, technology, science, companies, books, ... #WolfLang #WolframPhysics #WolframAlpha #Mathematica @WolframResearchYou might like
