trofi, 14 days ago to random

Sometimes it takes more time to refute a gcc bug than confirm it. This week I spent most time on https://gcc.gnu.org/PR114872 where sagemath SIGSEGVed on some simple inputs.

Bug updates are a bit hard to read and are missing a bit of compiler-unrelated context. I wrote something more coherent in https://trofi.github.io/posts/312-the-sagemath-saga.html

#sagemath #bug

tao, 8 months ago to ChatGPT

I discovered today that #ChatGPT and #CoCalc (which already has AI integration) make it extremely easy to perform any #sagemath computation that can be described to GPT; I used this to perform enough numerics to arrive at the solution to a problem in https://mathoverflow.net/a/454051/766 . (The GPT provided code did contain some minor syntax errors, but CoCalc’s native AI could easily fix them.) I did not feel proficient enough in the past to use Sage on a regular basis, but now I think I will.