Fredrik Johansson
@hypergeometer
fredrikj @ mathstodon Computer algebra & Arbitrary-precision arithmetic. Researcher at @Inria.
You might like
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).
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…
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 😡
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.
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
dlmf.nist.gov/4.13 Finally, DLMF's section about the Lambert W-function has been updated. They now cover the complex branches, with the usual notation, plus the Wright ω and Tree T functions. @corless_rob
This post on HN news.ycombinator.com/item?id=331947… brings up a great point: backward compatibility is a way underrated PL feature.
United States Trends
- 1. Kalani 5,945 posts
- 2. REAL ID 7,215 posts
- 3. Vanguard 13.1K posts
- 4. Milagro 30.8K posts
- 5. Penn State 9,246 posts
- 6. TOP CALL 12K posts
- 7. Cyber Monday 61.2K posts
- 8. #OTGala11 161K posts
- 9. Admiral Bradley 11.5K posts
- 10. Merry Christmas 52.4K posts
- 11. MRIs 4,891 posts
- 12. Hartline 3,950 posts
- 13. Shakur 8,534 posts
- 14. #GivingTuesday 4,228 posts
- 15. Brent 10.3K posts
- 16. Jay Hill N/A
- 17. Jason Lee 2,428 posts
- 18. AIDS 67.1K posts
- 19. Monday Night Football 2,776 posts
- 20. Trump's MRI 19.6K posts
You might like
-
Paolo Perrone
@PaoloPMath -
Konstantin Mishchenko
@konstmish -
Topos Institute
@ToposInstitute -
Emily Riehl
@emilyriehl -
Rémi Lodh
@LodhSpringer -
Lean
@leanprover -
Alexander Terenin - on the faculty job market
@avt_im -
Vidit Nanda
@viditnanda -
Steve Trettel
@stevejtrettel -
Darek Kłeczek
@dk21 -
José A. Alonso
@Jose_A_Alonso -
Nischay Dhankhar
@nischay_twt -
Matt Macauley
@VisualAlgebra -
Tikhon Jelvis
@tikhonjelvis -
Guy Van den Broeck
@guyvdb
Something went wrong.
Something went wrong.