| ▲ | Theorem proving as a (brain tumor) therapy/distraction(orcid.org) | |
| 1 points by fredokun 4 hours ago | 1 comments | ||
| ▲ | fredokun 4 hours ago | parent [-] | |
I am a computer scientist with glioblastoma. Thanks to innovative treatments (shoutout: Optune) and wonderful family and academic environments, I pursue my happy teaching/research/hacking/theorem-proving adventure. | ||