Logic model of the world

Math club notes I took one course about modal logic, that was fascinating. Kripke semantics have “for sure” and “maybe”. Sadly I only…

Read more...

Knots

Math club notes. I've never heard about knots (in mathematics) and Khovanov homology invariants. Its calculation is, I quote, "prohibitively…

Read more...

Developmental psychology

Based on the discussion with Jorge Romero on Twitter Proprioception A long-standing puzzle from developmental psychology: how infants…

Read more...

ELI5 How to use PyTorch

One morning I see in my timeline this tweet. It exlaims about transformer model abilities NN learns how to learn linear regression, decision…

Read more...