freenode/#lisp - IRC Chatlog

17:10:25 phoe beach: you told me that I should remind you of a fix I suggested in the protocol chapter, so hereby I remind you.

17:10:28 phoe 15:03 < phoe> It's just my opinion here, but I'd like a two-part description with a formal and informal part, such as, "a protocol is complete if there is no argument of some operation such that (...). Informally speaking, a protocol is incomplete if it contains operations that do not contribute to the (...) or have side effects."

18:22:06 beach phoe: Is this just for the section about completeness?

18:30:39 phoe beach: Yes, I think so.

18:31:39 beach The existing description is informal. So you are looking for a formal one?

18:34:51 antoszka Grue`: Ack, thanks.

18:35:20 phoe Yes, I'm looking for a formal one. We were talking about how to define one - I just needed to remind you because back when we were talking about this, AFAIR you had no time to handle my comment.

18:35:36 beach Right.

18:36:26 beach OK, I'll think about it.

18:37:31 beach It is going to be difficult, because I haven't define side effect.

18:37:37 beach It might not be worth it.

18:38:24 beach Anyway, I'm off to spend time with my (admittedly small) family.

18:42:39 phoe Okay!

19:46:27 arbv_ ** NICK arbv

20:33:44 Shinmera Day two progress: https://www.youtube.com/watch?v=cHYzs0uQTWs

20:33:51 Shinmera It's starting to look like an actual game now, woah

20:37:18 _death looks kinda another world-ish

20:38:31 Shinmera Probably due to the animation slowdown effects and such.

21:01:45 _death I was thinking about the graphics.. (I was talking about the game Another World if that wasn't clear)

21:01:59 Shinmera I know

21:02:27 Shinmera I was referring to how the run animation slows down while jumping, which if I remember correctly is very similar to how Another World looks.

21:04:29 _death yeah.. I was also reminded of some old atari game with ninjas because of the wall stickiness, but I'm not sure that game actually had it like that

21:05:06 Shinmera Well, wall jumping is standard fare in platformers.

21:08:37 _death anyway cool stuff.. are you livestreaming it?

21:08:50 Shinmera Yeah, during the day. We're done for today though.

21:09:06 Shinmera Happens on http://stream.shinmera.com (streamed to youtube and twitch)

21:09:19 _death ok

21:09:45 Shinmera Still got tomorrow to go, but it's probably just gonna be cleanup and testing deployment.

21:56:12 whoman http://kitchingroup.cheme.cmu.edu/blog/2017/07/23/Overloading-mathematical-operators-in-elisp/

2:45:53 beach Good morning everyone!

4:19:18 wadadli Good morning beach

4:20:41 beach wadadli: Are you new here? I don't recognize your nick.