| 10:09 |
unpx |
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 |
| 10:09 |
bitbot |
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) |
| 10:09 |
unpx |
parallel (b) redundancy and degenracy (c) maintain provenance (d) dependency-directed backtracking |
| 10:09 |
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-c |
| 10:10 |
unpx |
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. |
| 10:10 |
bitbot |
(trilema) 2019-02-04 asciilifeform: http://www.loper-os.org/pub/stoutemyer/index.html << for the l0gz, and for all 'derive' aficionados. |
| 10:14 |
unpx |
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. |
| 10:19 |
unpx |
other polynomial. |
| 10:19 |
unpx |
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 |
| |
~ 33 minutes ~ |
| 10:53 |
awt |
!!ticker btc usd |
| 10:53 |
deedbot |
$23,330 |