04:17 |
gregorynyssa |
http://logs.nosuchlabs.com/log/pest/2022-07-31#1011125 << a "total programming language" is one where all programs are guaranteed to terminate. |
04:17 |
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) |
04:21 |
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. |
04:21 |
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, |
04:22 |
gregorynyssa |
wherever a program tries to include a content-addressed file, the compiler inserts code to perform a sequential scan of all "inodes" |
| |
~ 6 hours 12 minutes ~ |
10:34 |
asciilifeform |
gregorynyssa: waiwat? |
| |
~ 1 hours 3 minutes ~ |
11:38 |
* |
asciilifeform 's desk will be down for maintenance later today: moving irons! |
| |
↖ |