- Hi there! ๐ Iโm Kevin (@Philogicatician)
- ๐ Iโm interested in ...
- Maths stuff
- Applied category theory (ACT), topological data analysis (TDA), statistics, game theory, foundations of maths, proof theory
- Philosophy stuff
- Logic (classical & non-classical), ethics (normative & meta-ethics), epistemology, ontology, political philosophy, philosophy of language
- Computer science stuff
- Proof assistants, type theory, functional programming
- Other stuff
- behavioral economics, evolutionary psychology, cognitive psychology, complexity theory, Gรถdel's incompleteness theorems, John Vervaeke's 4E cognitive science work and philosophical dialogues, Forrest Landry's IM framework
- Maths stuff
- ๐ฑ Iโm currently learning ...
- Julia, Python, computational homology, how to make sheaves computable (and efficient), optimization methods in Julia, data science
- ๐๏ธ Iโm looking to collaborate on ...
- Building and applying TDA & ACT methods in Python & Julia
- Researching fault-tolerant distributed networks (and formal proofs of such systems)
- Identying disinformation campgains and quantifying their impact on different informational networks (Twitter, Facebook, etc.)
- ๐ซ How to reach me ...
- best method is Discord DM: Vin#6730