Things I recommend because they’re either interesting, funny or useful. I didn’t read everything in details. Computer Science & Programming Learn You a Haskell for Great Good! (Miran Lipovača) Typeclassopedia (Wiki Haskell) Monads for functional programming (Philip Wadler) Software Foundations (Benjamin Pierce et al.) Category Theory for Programmers (Bartosz Milewski) Quantum Computation : from a Programmer’s Perspective (Benoît Valiron) A Brief Survey of Quantum Programming Languages (Peter Selinger) Symmetry and interactivity in Programming (Pierre-Louis Curien) Logic & Mathematics Categorical Semantics of Linear Logic (Paul-André Melliès) Notes de cours sur la Théorie de la Démonstration (Olivier Laurent) Introduction to Linear Logic (Roberto Di Cosmo, Vincent Danos) Quantum Computation : a Tutorial (Benoît Valiron) Linear Logic Pages (Yves Lafont) Philosophy related to logic and computation La Négation en théorie de la démonstration, de Gerhard Gentzen à Jean-Yves Girard (Baptiste Mélès) La logique linéaire et la question des fondements des lois logiques (Alain Lecomte) Les ordinateurs peuvent-ils penser ? (Baptiste Mélès) Which Logic for the Radical Anti-Realist? (Denis Bonnay, Mikaël Cozic) Le temps, l’espace et la démonstration (Pierre Cassou-Noguès) Interaction et signification (Samuel Tronçon) Videos Propositions as Types (Philip Wadler) Les fondements des mathématiques (Jean-Yves Girard) La révolution informatique dans les sciences (Gérard Berry) L’importance des langages en informatique (Gérard Berry) Aristote et l’électricien : le branchement des idées (Paolo Pistone) “Tarski Imbécile” (Jean-Yves Girard) Identité des programmes (Thomas Seiller) D’une logique à l’autre (Laurent Regnier) Tools & Fun The Incredible Proof Machine: natural deduction as a game with circuits and formulas. Combinatris: Tetris with SKI combinators. Every Noise at Once: map of musical genres and artists. TikZiT: simple GUI editor for graphs and string diagrams with TikZ. Click-and-collect: online interactive LL prover with web interface.