Hacker News
new
top
best
ask
show
job
Theorem proving as a (brain tumor) therapy/distraction
(
orcid.org
)
1 point
by
fredokun
6 hours ago
1 comment
fredokun
6 hours ago
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.