Fredrik Johansson @hypergeometer
fredrikj @ mathstodon Computer algebra & Arbitrary-precision arithmetic. Researcher at @Inria. fredrikj.net Bordeaux, France Joined March 2016-
Tweets656
-
Followers615
-
Following128
-
Likes989
@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
195K 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 492 Following
Ivan M @med_1v
10 Followers 8K Following
Raunak Chhatwal @ChhatwalRaunak
21 Followers 219 Following
Prof. Edem Kwedzo Ban... @prof_edem49321
2 Followers 57 Following
anshuman @anshuman0819
86 Followers 5K Following
Soofaw @Soofaw0200
22 Followers 1K Following
David Bernier @doubledeckerpot
1K Followers 4K Following Mathematics PhD; Computers, History, music, sci-fi movies, law, languages. Conspiracy researcher.
demasie @demasieono
562 Followers 7K Following
Dearlloy @dearlloy52546
9 Followers 1K Following
Victor Kolobov @VIKolobov
239 Followers 528 Following Cryptography PhD @TechnionLive | Engineer @StarkwareLtd
wallace rhoades @RhWallace88
118 Followers 2K Following I lost all my funds. If you can, please donate a small amount 💚
EmilyRhys @8pC980b2N8oPaz
77 Followers 7K Following
Crypto’s Dawn ғ @CryptosDawn
886 Followers 2K Following ‘Audentes Fortuna Iuvat’ Holder of $kas $cnx $giza
Claire | Smart Money ... @SmartMoneyMap
204 Followers 519 Following I scan 5,000+ US stocks daily to map market leadership, sector rotation, relative strength, and clean breakout/pullback setups. Charts only. No hype. NFA.
Navneeraj @navneerajs
219 Followers 4K Following
Baitian Li @elegia_li
341 Followers 113 Following PhD student @ Columbia, BS @ Tsinghua, Elegia @ QOJ & Codeforces
Wagmi Capo 🧲 🌟 @sangar871
280 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 492 Following Physics: a former passion. Intellectual property: becoming a new one. Books, Film, Art: I am easily seduced...
Fantasia Lin @fantasialin
8 Followers 235 Following
Janhavee Shinde @SJanhavee
77 Followers 7K Following
Mustapha Moshood Olaw... @MustaphaMoshoo8
102 Followers 1K Following Senior Software Engineer | Geomatics Engineer | Founder @buildwithmmo @attrotech @strikeclimateng | Project Lead @revivedlifetech
Procionic_ion @AlexMormil94532
0 Followers 38 Following
Anselmo B. D. @anselmobd
37 Followers 417 Following
comonoidal esotericis... @adamnemecek1
3K Followers 3K Following Building AGI by fixing autodiff @ https://t.co/x06CbGClKL
Shin @shinigami7d8
1 Followers 565 Following
Maurizio Gardini @mauriziogrd1
3 Followers 110 Following
Rohith Srinivaas M @RohithSrinivaas
72 Followers 2K Following Ph.D. Student @ UC Berkeley | IIT Madras
Adam Majewski @adam_majewski_
1 Followers 33 Following
Ambreen Ahmed @ambreen272
12 Followers 175 Following
Anvanda-trosor.se @Anvandatrosor
520 Followers 408 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 ❤️
Phillip @p4i11ip
272 Followers 603 Following Cryptography at #MPI_SP / @MaxplanckPress & @BochumCrypto / @CASA_EXC / @ruhrunibochum. Visiting @IBMResearch Previously at @KTHuniversity + @EPFL.
Kaiyu Yang @KaiyuYang4
5K Followers 2K Following Lead Scientist @Apodex_AI. Previously: Research Scientist @Meta FAIR, Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
brian kitano @BrianKitano
537 Followers 681 Following notebook of future PhD research directions and unrelated hot takes
不捣乱🇨🇦🇺... @IAmChatGpt
6K Followers 7K Following 俺不认可俺是“川粉”……但黄河边封俺为花岗岩铁头“加奸” 因我认为加拿大🇨🇦成为美国🇺🇸的一部分已经是最好结果了…… 加拿大自由党政府是加拿大🇨🇦的吸血鬼🧛♂️、而卡尼总理就是麻醉师……为加拿大🇨🇦人民不再被吸血、被压榨……善意惊醒加拿大人民……单田芳(北美单田芳是著名评书表演艺术家)立志骂醒加拿大
Quanta Magazine @QuantaMagazine
367K Followers 617 Following Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.
Joel David Hamkins @JDHamkins
30K Followers 285 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Timothy Gowers @wtgow... @wtgowers
59K Followers 194 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Sabine Hossenfelder @skdh
234K Followers 817 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
135K Followers 19 Following Daily tweets about real and complex analysis and related topics. From @JohnDCook.
Bartosz Milewski @BartoszMilewski
37K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Gro-Tsen @gro_tsen
8K 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
4.1M Followers 295 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
383 Followers 452 Following
. @zoasterino
3K Followers 500 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
981 Followers 203 Following One half of @CryptoHack__, Cryptography consultant, PhD Black Holes and Supergravity 🚩@0rganizers
David Lowry-Duda @davidlowryduda
74 Followers 214 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 529 Following Mastodon exodus attempt: @[email protected] Dad of one. Cryptographer & Cryptanalyst. Tenured researcher at Centrum Wiskunde & Informatica.
Bryce, the CUDA Colon... @blelbach
21K 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.
Jeremy Corbyn @jeremycorbyn
2.5M Followers 3K Following MP for Islington North. Founder of the @corbyn_project. Parliamentary Leader of @thisisyourparty.
The Cultural Tutor @culturaltutor
1.7M Followers 67 Following You can't step in the same river once. Paperback OUT NOW ↓
Andreas Kling @awesomekling
64K 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 482 Following Python's BDFL-emeritus, Computer History Museum Fellow. 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.9M Followers 1 Following President of Ukraine / Президент України
Will Kinney @WKCosmo
43K Followers 2K Following Cosmologist, physicist, dirtbag mountain biker, expat Montanan, Copernican extremist. Part of the problem.
Unlimited Dream Co. @unltd_dream_co
18K Followers 400 Following Human and AI art. No longer posting here. Join me on Bluesky at https://t.co/dGCJrS11uN
Henry Cohn @HenryCohn
874 Followers 3K Following
Thomas Ahle @thomasahle
9K Followers 851 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 766 Following Posting about AI, Python, @SymPy, and other nonsense.
Martin Kulldorff @MartinKulldorff
432K Followers 3K Following Epidemiologist and biostatistician. @gbdeclaration
Deyan Ginev @dginev
1K Followers 1K 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
156K Followers 41 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 905 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 199 Following Get my 2023 art book WORLDS BEYOND TIME: SCI-FI ART OF THE 1970s: https://t.co/KfekD0cbzf Watch me write my next book: https://t.co/LZm7G1h4HK
Linguica @andrewrstine
665 Followers 160 Following
Samuel Villarreal @SVKaiser
4K Followers 77 Following Lead engine developer at Nightdive Studios and head developer of the Kex projects. Cooking/baking enthusiast
Dragonfly @Dragonfly_Doom
2K Followers 320 Following Level Designer for Prodeus & Veteran Doom Mapper. MIDI Composer, Photographer, Prog-metal enthusiast and all-round nerd.
Xaser Acheron @XaserAcheron
857 Followers 112 Following An Angry Scientist. I make levels and other Doom stuff and maybe also games, mostly by accident.
Pamphile Roy @PamphileRoy
756 Followers 922 Following Principal Engineer @theahaco / Stellar Pilot / SciPy, SALib core-developer, Scientific Python steering committee / https://t.co/w8fIHlUjsn / Ph.D, Engineer
Ulrik Buchholtz @UlrikBuchholtz
408 Followers 198 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
Lettier @lettier
86K Followers 832 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
738 Followers 387 Following Software developer and mathematician at @nvidia. Frequent gripes about fast-math @[email protected]
Scientific Python @SciPyTip
209K Followers 18 Following Tweets about SciPy (Scientific Python) and related topics from @JohnDCook.
Stephen Wolfram @stephen_wolfram
183K Followers 4 Following Creating ideas, technology, science, companies, books, ... #WolfLang #WolframPhysics #WolframAlpha #Mathematica @WolframResearchYou might like
