About SoulFireMage

SQL/.Net developer, interested in Geometric deep learning and enough conceptual maths to get into trouble. No formal background post 16.

I've an alter ego called Katiya (the starship in my bio here) who explores mathematical structures at random, leaving me to try and catch up.

As a result I'm learning Lean4 (at time of writing), how to do very basic proofs and reading math notation. I do like collecting maths and other books that are approximately a decade beyond my skill level. :P

Lists

Timeline

Soulfiremage has no activity yet