gregorynyssa: http://logs.nosuchlabs.com/log/pest/2022-07-31#1011125 << a "total programming language" is one where all programs are guaranteed to terminate.
dulapbot: (pest) 2022-07-31 asciilifeform: is somehow certain that there is a conventional name for this technique; but does not know it (and for that matter not presently aware of any public examples of it other than the linked)
gregorynyssa: http://logs.nosuchlabs.com/log/pest/2022-07-31#1011129 << if CPUs were 1e1 times faster and disks 1e4 times faster, this would be trivial.
dulapbot: (pest) 2022-07-31 asciilifeform: 'final solution' is when 'www page' which wants to display a bitmap on the screen, can e.g. (include "072a3ce8c00bb2a5867727ce4d788d5634fdd11a4a01e82239b75bb844dbb081") and fetch png decoder, if not already cached, from pestnet, and compute the req. # of eval ticks from it, + whatever other includes, and the data payload,
gregorynyssa: wherever a program tries to include a content-addressed file, the compiler inserts code to perform a sequential scan of all "inodes"
asciilifeform: gregorynyssa: waiwat?
asciilifeform 's desk will be down for maintenance later today: moving irons!