freenode/#clasp - IRC Chatlog
Search
0:11:51
WhoTookMyName
Hello, is there any way I can get a binary? I don't think I have the resources to generate one. I can run a VM for whatever system.
1:22:29
karlosz
a very useful optimization for more functoinal programs: contification. i.e. transforming tail calls between local functions into the first order flow graph. ie. making something like (labels ((loop* () (loop*))) ()) compile to the same code as (loop)
1:22:53
karlosz
and the paper https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&cad=rja&uact=8&ved=2ahUKEwjp3tDHpdzcAhVFjlQKHSIZA2wQFjABegQIBhAC&url=http%3A%2F%2Fwww.mlton.org%2Fguide%2F20130715%2FReferences.attachments%2FFluetWeeks01.pdf&usg=AOvVaw2PLS7OE1h8ISNrg_kZWrys
1:26:06
karlosz
that way you can utilize all the first order optimizations and not have to reason about higher order functions
1:40:59
karlosz
im not quite sure why dominance information is needed in the original paper though; our ir doesn't express continuation information explicitly but it seems like its enough just to check for tail recursive calls and let inlining take care of the rest
2:35:24
beach
minion: Memo for karlosz: Lambda lifting is a good thing in general, but in your example, you modified the signature of a function that is returned, and that would not be correct.
2:54:24
Bike
i'm curious about this cont thing, though i don't know how often it will come up in CL style
7:03:08
beach
I have been criticized (by Jean-Philippe Paradis mainly) for having created something ugly. He has done something that apparently corresponds better to current taste in web design.
7:06:58
heisig
Heh, I don't care a bit about design, I care about content. And I really appreciate the occasional remarks.
7:07:30
beach
He wanted *me* to *officially* declare his version to be the *right* one, and to take mine down from its location. Probably he also wanted me to host *his* version instead, and teach the bots to use it instead.
7:08:19
Shinmera
There was also a thing where he got really furious at Xach for some reason and declared him to be "the head of the CL mafia"
7:08:40
beach
I told him that I was not particularly attached to mine, and that it would be fine with me if he asked the minion maintainer to redirect to his version instead. That was not enough apparently.
7:08:52
Shinmera
Then there was the thing where he called me a liar and said I didn't really have depression and was just crying for attention.
7:11:10
heisig
I never met him. Has he ever been at ELS? In my experience, it is text-based communication that makes people appear much worse then they are.
7:12:20
Shinmera
Whether it's text or not doesn't change that he's extremely demanding, imposing, and judgemental.
7:29:37
jackdaniel
every now and then there is a person who is convinced about being objectively right and willing to share that value with others (and wiping wrongfullness from the world:)