unpx[asciilifeform]: http://logs.bitdash.io/pest/2023-02-28#1024353 <<< picking up from his summary: (1) the problem is evolvability not correctess (2) extensible generic operations may help (a) extension of function without motification (b) makes proofs very difficult (3) propagator architecture unlocks freedoms (a) essentially concurrent and
bitbot[asciilifeform]: Logged on 2023-02-28 20:05:58 asciilifeform[5]: http://logs.bitdash.io/pest/2023-02-28#1024340 << asciilifeform finds difficult to muster enthusiasm for watching linked film given sussman's conversion to lolcow. (but if sumbody watched -- plox to report)
dulapbot: (trilema) 2016-02-23 phf: sussman was there though, when mit switched from sicp to python for their intro programming course, and he defended that decision with his remarks at ILC https://web.archive.org/web/20090327115612/http://blog.snowtide.com/2009/03/24/why-mit-now-uses-python-instead-of-scheme-for-its-undergraduate-cs-program
unpx[asciilifeform]: parallel (b) redundancy and degenracy (c) maintain provenance (d) dependency-directed backtracking
unpx[asciilifeform]: Came to mind after reading this little paper where they show how they implemented generic operations, which is more or less what ``Software Design for Flexibility'' does in a chapter.
bitbot[asciilifeform]: (trilema) 2019-02-04 asciilifeform: http://www.loper-os.org/pub/stoutemyer/index.html << for the l0gz, and for all 'derive' aficionados.
unpx[asciilifeform]: I am still rethinking the alchemy algebratron, as many things can be added. For example, now that I'm doing some coding theory it will be useful to edit matrices and see the result interactivelly. Moreover being mostly on the bit field, using some kind of representation may be useful.
unpx[asciilifeform]: But also I wish to change representation quickly without having to call a function that converts it, rather I wish to cycle between possible representations without the datum being changed. Moreover, even if I may see a polynomial as a matrix in some special domain, I still want to be able to multiply that polynomial by an
unpx[asciilifeform]: other polynomial.
awt[asciilifeform]: !!ticker btc usd
deedbot[asciilifeform]: $23,330