@hypergeometer profile picture
Fredrik Johansson @hypergeometer
Joined March 2016
  • Tweets 656
  • Following 128
  • Followers 618
76 Photos and videos
fredrikj.net/blog/2023/04/fl… 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).
2
1
7
893
I've released mpmath 1.3.0: github.com/mpmath/mpmath/rel…

Release 1.3.0 · mpmath/mpmath

Security issues: Fixed ReDOS vulnerability in mpmathify() (CVE-2021-29063) (Vinzent Steinberg) Features: Added quadsubdiv() for numerical integration with adaptive path splitting (Fredrik Johans...

github.com
4
507
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
1
25
1,598
My article "Arbitrary-precision computation of the gamma function" has been published in Maple Transactions! mapletransactions.org/index.…

1
1
19
1,102
I have removed the links to Twitter on my website. See you all on that other social network instead!
12
1,367
Fredrik Johansson retweeted
Deyan Ginev
@dginev
17 Dec 2022
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/LaTeX…

Release 0.8.7 · brucemiller/LaTeXML

LaTeXML 0.8.7 - 2022-12-16 This release addresses a large variety of usability, fidelity, robustness, portability and output-quality issues. MathML (mostly) conforms to MathML Core, with more cons...

github.com
1
4
12
1,632
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 😡
2
3
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.
2
7
16
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?
1
3
14
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.
1
5
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.
1
1
8
Fredrik Johansson retweeted
William Stein@wstein389
28 Oct 2022
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...
3
26
93
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-compu…

Symbolic Computation and Beyond (BB80) - RISC - Johannes Kepler University

Symposium on the Occasion of the 80th Birthday of RISC-founder Bruno Buchberger Program (all times are CEST, i.e. GMT 2) 9:00 – 9:15 Opening Peter Paule 9:15 – 12:00 Symposium Seminar Room Pond...

risc.jku.at
1
6
Fredrik Johansson retweeted
Michael 英泉 Eisen
@mbeisen
20 Oct 2022
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/8…

Scientific Publishing: Peer review without gatekeeping

eLife is changing its editorial process to emphasize public reviews and assessments of preprints by eliminating accept/reject decisions after peer review.

elifesciences.org
54
265
935
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
1
6
This post on HN news.ycombinator.com/item?id… brings up a great point: backward compatibility is a way underrated PL feature.
Any matrix multiplication experts here who have seen this new preprint researchgate.net/publication… by Alexey Smirnov?

1
2
more replies
What if the key to lowering the complexity of matrix multiplication even further is to work in a sufficiently complicated ring extension?
1
3
Is there a reason why we haven't seen many such formulas before? (Practically speaking, people mostly care about matrix multiplication over C which is algebraically closed anyway.)
1
2
Load more