Notes concerning “Predicate logic”

• A principled rethinking of array languages like APL 2015-05-16 (updated 2019-09-30) (31 minutes)
• Bayesian and Gricean programming 2015-08-20 (3 minutes)
• Topics to study in 2016 2016-10-27 (updated 2016-11-15) (37 minutes)
• Pattern matching and finite functions 2017-05-10 (14 minutes)
• Querying a pile of free-text strings with quasi-Prolog 2017-11-17 (6 minutes)
• Relational modeling and APL 2019-05-20 (updated 2019-05-21) (5 minutes)