14:03:20ShinmeraI know I wrote Classowary a year ago, but I'm only now really getting into using it. It's pretty nice, especially with the shorthands for the underlying inequalities the solver should try to go for.
14:05:11scymtymyeah, i expected that building usable abstractions on top of the solver would make a big difference
14:05:31ShinmeraIndeed. And that part is a lot more convenient in Lisp than other languages :)
14:18:11Gnuxie[m]scymtym: btw you can replace twitter.com with nitter.net to get around twitter pretending to break to.make people sign in
14:19:42scymtymGnuxie[m]: that works well, thank you
19:01:39mseddongah, there was some retrospective about the orbit compiler's closure analysis (specifically about the assignment of 'environment strategies', that determined some bits were way over engineered), but I can't remember it- anyone have any ideas?
19:02:32mseddonI believe Kranz would have at least edited the paper.