fredokun

3 ms·

1.
by fredokun 6mo ago
Thanks for your reply didn't notice it before, sorry ! I am mostly in CS theory but I love abstract maths in general, although I am not particularly gifted for it. I recently got into algebraic topology but I'm at the early step
2.
Hacking My Brain with Tumor Treating Fields (TTF)(novocure.com)
3 points by fredokun 6mo ago|1 comments
3.
by fredokun 6mo ago
Thanks to classical (Radio/Chemo) and innovative treatments, especially TTFs, I keep my CS researcher/processor brain active... now for monthes (and intend to carry on)
4.
Theorem proving as a (brain tumor) therapy/distraction(orcid.org)
1 points by fredokun 6mo ago|3 comments
5.
by fredokun 6mo 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.
6.
My glioblastoma-assisted research work(orcid.org)
1 points by fredokun 6mo ago|1 comments
7.
by fredokun 6mo ago
I call it the "Memento disease" and I happen to live with rather than fight against it.
8.
by fredokun 8y ago
If you're interested... A tutorial about this topic... It's clojurescript in the browser but I think the algorithmic explanations do not require any lisp knowledge... (Edit missing link) https://github.com/fredokun
9.
by fredokun 8y ago
Author here. If you are interested I talked about type theory at euroclojure'16. The video is there: https://m.youtube.com/watch?v=5YTCY7wm0Nw ... And it's not really clojure-specific except if you want to try La
10.
by fredokun 8y ago
Hello, I don't have the paper right now but I doubt I don't cite ACL2 since I have been a user for a long time... I'll double-check but indeed I have mostly kept the discussion around type theory...