programming 5
- Boehm-Beraducci encoding for trees in python - a preview 2019-01-21
- A few frustrations with Python's type annotation system 2019-01-20
- Type safe records as an excuse to learn type level programming in Haskell 2018-02-12
- Operational Semantics for Monads] 2010-08-25
- Stochastic Processes as Monad Transformers 2010-08-03
- more →
Music Theory 3
- Does swapping 3rds and 7ths preserve harmonic feel? 2022-03-13
- Transforming modes 2021-02-22
- Negative Harmony inverts brightness of modes 2021-02-20
- more →
Haskell 3
Monads 2
- Operational Semantics for Monads] 2010-08-25
- Stochastic Processes as Monad Transformers 2010-08-03
- more →
Negative Harmony 2
- Transforming modes 2021-02-22
- Negative Harmony inverts brightness of modes 2021-02-20
- more →
Set Theory (Music) 2
- Transforming modes 2021-02-22
- Negative Harmony inverts brightness of modes 2021-02-20
- more →
Type safety 2
Deep Learning 2
Python 2
Chord transformations 2
- Does swapping 3rds and 7ths preserve harmonic feel? 2022-03-13
- Transforming modes 2021-02-22
- more →
Free Vector Space 1
- Operational Semantics for Monads] 2010-08-25
- more →
Type-level programming 1
Probability Monad 1
- Stochastic Processes as Monad Transformers 2010-08-03
- more →
Ethics 1
- Einstein's racist diaries 2018-06-12
- more →
Density Learning 1
Free Monads 1
- Operational Semantics for Monads] 2010-08-25
- more →
Symbolic Optimization 1
Xenophobia 1
- Einstein's racist diaries 2018-06-12
- more →
Category Theory 1
- Operational Semantics for Monads] 2010-08-25
- more →
Neural Networks 1
Machine Learning 1
modes of limited transposition 1
Fascism 1
Liberalism 1
Mypy 1
Neo-Riemannian Theory 1
- Transforming modes 2021-02-22
- more →
Unsupervised Learning 1
Racism 1
- Einstein's racist diaries 2018-06-12
- more →
Type encodings 1
Stochastic Processes 1
- Stochastic Processes as Monad Transformers 2010-08-03
- more →
Records 1
Functional programming 1
music theory 1
composition 1
Humanism 1
- Einstein's racist diaries 2018-06-12
- more →
Monad Transformers 1
- Stochastic Processes as Monad Transformers 2010-08-03
- more →
Operational Monads 1
- Operational Semantics for Monads] 2010-08-25
- more →
messiaen modes 1
Moral growth 1
- Einstein's racist diaries 2018-06-12
- more →