{∅, {∅}, {∅, {∅}}} : Rage Against the Meat Grinder

It is very interesting,no doubt.I hope your foot is not in pain anymore and maybe you would be able to write finitism oriented codes. I checked out the links you left behind.Most interesting.

I would say I understand about 80% of things you and Wildberger are saying. Maybe someday, I would be able to write finitism oriented code too but that is far in the distant future, I guess, if I still continue to breathe.

At the moment,I am in the “nose to the grindstone phase” ,which I have started to enjoy a little bit. But I did like exploring finitist mathematical ideas and understood about 80% of what all I read.I get up early in the morning, and before I go to office, I study mathematics, because that is the time when I am most (mentally) energetic. I do not know if I would ever even be able to reach the stage of coding,because first I wish to be quite confident with rudimentary mathematics. I do not like to think about the future a lot because I cannot see it in a bright light.

Only different versions of dystopia. There is no doubt,however, that I am getting better at comprehending mathematics.Maybe in a few years ,if I am still around, I might be able to understand these ideas better.

I do not know what horrors life has in store for me, but, I am doing my best to pick up a little mathematics( for its own sake). Ageism is even more rampant here than it is in the U.S. and unlike the professors of mathematics who are akin to the clergymen, we are like, as you rightly say, defrocked  friars.

Get well soon.