re:Clojure notes

17 Dec 2021 08:55 - 17 Jun 2023 08:29
Open in Logseq
    • Note: reconstructed after data loss, the images are all list
    • icon: 🌻
      • Athens event sync
      • 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"
      • Markus Kloimwieder github.com/ cljtiles Oh yeah it is a Block-basxed thing.
      • Functional physics code along with visual blocks
      • Parson's Puzzles
      • Another extremely annoying foreign speaker...
        • 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...