math.
- The Lying p Value
- Trapped Priors As A Basic Problem Of Rationality
- The Universe of Discourse
- Probability for Computer Scientists
- Applied Mathematical Programming
- Pragmatic Category Theory | Part 1: Semigroup Intro - DEV Community
- Math 331 Reading Guides
- tsouanas/fmcbook: Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
- kenjihiranabe/The-Art-of-Linear-Algebra: Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
- Calculus for Beginners
- The Greatest Educational Life Hack: Learning Math Ahead of Time - Justin Skycak
- Linear Algebra Fundamentals
- Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel—Stephen Wolfram Writings
- MathPages
- Introduction | Bmg documentation
- Differential Analysis: A Summary
- Discrete logic IC CPU | Ivan's blog
- Complex Analysis
- Why Mathematics is Boring | The n-Category Café
- The Mechanics of Proof — The Mechanics of Proof, by Heather Macbeth
- Why Gödel, Escher, Bach is the most influential book in my life. | by Mark Johnson | Medium
- TLA from first principles
- Why I use TLA+ and not(TLA+): Episode 1
- Be Suspicious of Success
- On the cruelty of really teaching computing science
- How to convince engineers that formal methods is cool • Buttondown
- State and time are the same thing • Buttondown
- Queuing Theory Tutorial
- S-38.3143 Queueing Theory (5 ECTS) L
- Integrity Constraints and the Relational Derivative • Buttondown
- Introduction to the λ-calculus