AMMDI is an open-notebook hypertext writing experiment, authored by Mike Travers aka mtraven. It's a work in progress and some parts are more polished than others. Comments welcome! More.
Auto Differentiation with SICMUtils, Tovieye Ozi, Nigeria
Directly based on Sussman code.
Argh speaker's english not good, not his fault at all, but makes it impossible for me to attend.
D operator from Sussman. Computes with duals [x, x+ eps * x]. Then algebraic simplification, including discarding eps^2 etc, "forward mode automatic differentiation"
Agh his talk leads like a list of feature bullet points...that's not a language problem.
Oh but he is cleverly going through a list genrated by his own software! OK that's style points.
He has a clojure -> blocks feature, that's something I haven't done yet.
Oh he's applying it to SICM! Well duh
He has an HTML - layout language where you can also have animated stuff...that's pretty hip. Like MrFrieze almost.
Even lets you do on-click methods...
Hate this puzzle approach to programming, I mean, I guess its OK but seems to inculcate a wrong attitude.
Select on a block and it gives you real-time translation. That's also prettuy good (obvious but I don't do it).
Real time TeX generation also pretty cool
I guess my feeling is that in this case the blocks are inferior to straight scheme.
Difference from my stuff, I'm always trying to make a new language that is closely mapped to blocks, rather than transparently reflect the text language. Subtle difference.
Also I think Enflame has more actual users than his.
Ah his github page points to blockoid, not sure if he actually uses it. (No, just the link)
Sam Ritchie porting SICM to CLJS.
Sussman talk!
Layering: The Architecture of Prigrams
"All my life Ive thought of programming as an expressive medium." Can be beautiful like poetry or Maxwell's equations, art, music, prose.
like the provenance stuff.
"to read or be understood"
Layers, like in old architectural drawings. Transparencies.
Layering is a "less-developed idea" from SDF
Layering is not just generic procedures
Hm I am not sure I agree with him...if you expand the notion of data a bit...
Heh, he mentions Medicine by name.
He conquered tail-recursion layer problem in the last few weeks...