Notes concerning “Python”

• Why John Backus Was on the Wrong Track 2007 (updated 2019-05-05) (48 minutes)
• Using bytecode won’t make your interpreter fast 2007 to 2009 (26 minutes)
• A cute algorithm for card-image templates 2007 to 2009 (2 minutes)
• Enumerating binary trees and their elements 2007 to 2009 (4 minutes)
• Error Reporting is Part of the Programmer's User Interface 2007 to 2009 (18 minutes)
• Index set inference or domain inference for programming with indexed families 2007 to 2009 (updated 2019-05-05) (27 minutes)
• bytecode interpreters for tiny computers 2007-09 (61 minutes)
• Range literals 2014-04-24 (6 minutes)
• A principled rethinking of array languages like APL 2015-05-16 (updated 2019-09-30) (31 minutes)
• More thoughts on powerful primitives for simplified computer systems architecture 2015-08-18 (updated 2015-11-02) (165 minutes)
• Toward a language for hacking around with natural-language processing algorithms 2016-09-08 (7 minutes)
• Thredsnek: a tiny Python-flavored programming language 2017-03-20 (7 minutes)
• A sketch of a minimalist bytecode for object-oriented languages 2017-03-20 (updated 2017-06-20) (13 minutes)
• Pattern matching and finite functions 2017-05-10 (14 minutes)
• Vectorized prefix sum 2017-07-19 (5 minutes)
• Rarely are function-local variables in Forth justified 2018-04-27 (10 minutes)
• A minimal window system 2018-04-27 (updated 2018-10-26) (12 minutes)
• Patterns for failure-free, bounded-space, and bounded-time programming 2018-04-27 (updated 2019-09-10) (42 minutes)
• A simple virtual machine for vector math? 2018-11-06 (updated 2018-11-09) (15 minutes)
• Yeso notes 2018-12-25 (updated 2019-01-01) (11 minutes)
• Observable transaction possibilities 2019-06-15 (10 minutes)
• Reducing the cost of self-verifying arithmetic with array operations 2019-06-23 (15 minutes)
• Separating implementation, optimization, and proofs 2019-06-26 (updated 2019-07-22) (41 minutes)
• The miraculous low-rank SVD approximate convolution algorithm 2019-08-14 (updated 2019-08-15) (31 minutes)
• Robust local search in vector spaces using adaptive step sizes, and thoughts on extending quasi-Newton methods 2019-08-17 (updated 2019-09-15) (15 minutes)
• B-Tree ropes 2019-09-24 (updated 2019-09-25) (19 minutes)
• A homoiconic language with a finite-map-based data model rather than lists? 2019-09-25 (updated 2019-09-28) (46 minutes)