- 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