Post #4296001

With a few more hours of work, the agent was also able to revive two dozen of my old Java applets, written in 1998-2000, porting them from the (now deprecated) Java 1.0 to modern Javascript: https://teorth.github.io/tao-web/applets.html . The agent even added some new features, for instance colorizing my old black-and-white Besicovitch set applet with some prettier color gradients (and sliders): https://teorth.github.io/tao-web/apps/besicovitch-sets.html . The process was quite smooth, with only a very small number of bugs generated. Was quite a good feeling to see my very early attempts at machine-assisted mathematics (way before the technology was there yet) come back to life!