2017-05-07T00:00:19Z p9s quit (Remote host closed the connection) 2017-05-07T00:00:29Z p9s joined #scheme 2017-05-07T00:01:07Z p9s quit (Remote host closed the connection) 2017-05-07T00:09:43Z sssilver joined #scheme 2017-05-07T00:16:20Z jao joined #scheme 2017-05-07T00:20:19Z daviid joined #scheme 2017-05-07T00:23:25Z \h quit (Quit: WeeChat 1.7) 2017-05-07T00:30:16Z \h joined #scheme 2017-05-07T00:46:52Z bjz_ quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) 2017-05-07T01:29:13Z zacts quit (Quit: WeeChat 1.7.1) 2017-05-07T01:32:31Z zacts joined #scheme 2017-05-07T01:38:28Z bairyn quit (Remote host closed the connection) 2017-05-07T01:55:27Z badkins quit (Remote host closed the connection) 2017-05-07T02:02:03Z bjz joined #scheme 2017-05-07T02:09:48Z acarrico quit (Ping timeout: 240 seconds) 2017-05-07T02:34:29Z jao quit (Ping timeout: 255 seconds) 2017-05-07T02:41:01Z bjz quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) 2017-05-07T02:41:18Z lritter joined #scheme 2017-05-07T02:47:13Z ArneBab_ joined #scheme 2017-05-07T02:47:13Z ArneBab_ quit (Changing host) 2017-05-07T02:47:13Z ArneBab_ joined #scheme 2017-05-07T02:48:49Z lritter_ joined #scheme 2017-05-07T02:50:57Z ArneBab quit (Ping timeout: 240 seconds) 2017-05-07T02:52:05Z lritter quit (Ping timeout: 240 seconds) 2017-05-07T03:11:30Z lritter_ quit (Remote host closed the connection) 2017-05-07T03:12:52Z p9s joined #scheme 2017-05-07T03:17:35Z p9s quit (Ping timeout: 240 seconds) 2017-05-07T03:26:15Z p9s joined #scheme 2017-05-07T03:40:24Z p9s quit (Remote host closed the connection) 2017-05-07T03:42:18Z p9s joined #scheme 2017-05-07T03:45:03Z bjz joined #scheme 2017-05-07T03:45:59Z jcowan_ joined #scheme 2017-05-07T03:46:40Z p9s quit (Ping timeout: 240 seconds) 2017-05-07T03:48:57Z jcowan quit (Ping timeout: 240 seconds) 2017-05-07T03:50:09Z enderby joined #scheme 2017-05-07T03:57:09Z enderby quit (Remote host closed the connection) 2017-05-07T04:01:19Z pilne quit (Quit: Quitting!) 2017-05-07T04:03:13Z Menche quit (Quit: logging off, going home) 2017-05-07T04:06:12Z hazyPurple joined #scheme 2017-05-07T04:13:51Z jaziz quit (Ping timeout: 240 seconds) 2017-05-07T04:24:05Z jaziz joined #scheme 2017-05-07T04:25:12Z hazyPurple quit (Ping timeout: 260 seconds) 2017-05-07T04:38:26Z hazyPurple joined #scheme 2017-05-07T04:42:56Z p9s joined #scheme 2017-05-07T04:46:10Z pjb quit (Ping timeout: 240 seconds) 2017-05-07T04:47:05Z p9s quit (Ping timeout: 240 seconds) 2017-05-07T04:58:52Z p9s joined #scheme 2017-05-07T05:01:54Z p9s quit (Remote host closed the connection) 2017-05-07T05:02:31Z p9s joined #scheme 2017-05-07T05:02:46Z p9s quit (Remote host closed the connection) 2017-05-07T05:02:53Z p9s joined #scheme 2017-05-07T05:03:30Z p9s quit (Remote host closed the connection) 2017-05-07T05:03:39Z p9s joined #scheme 2017-05-07T05:04:18Z p9s quit (Remote host closed the connection) 2017-05-07T05:04:55Z p9s joined #scheme 2017-05-07T05:05:06Z p9s quit (Remote host closed the connection) 2017-05-07T05:05:27Z p9s joined #scheme 2017-05-07T05:05:54Z p9s quit (Remote host closed the connection) 2017-05-07T05:06:31Z p9s joined #scheme 2017-05-07T05:06:41Z p9s quit (Remote host closed the connection) 2017-05-07T05:09:51Z daviid quit (Ping timeout: 240 seconds) 2017-05-07T05:39:15Z bairyn joined #scheme 2017-05-07T05:43:23Z pjb joined #scheme 2017-05-07T05:43:26Z igajsin joined #scheme 2017-05-07T05:49:27Z pjb quit (Ping timeout: 258 seconds) 2017-05-07T06:18:45Z ertes quit (Quit: Bye!) 2017-05-07T06:19:14Z ertes joined #scheme 2017-05-07T06:19:48Z X-Scale quit (Quit: HydraIRC -> http://www.hydrairc.com <- The alternative IRC client) 2017-05-07T06:27:10Z hazyPurple quit (Ping timeout: 240 seconds) 2017-05-07T06:31:44Z safe quit (Read error: Connection reset by peer) 2017-05-07T06:56:23Z lambda-11235 quit (Quit: WeeChat 1.7.1) 2017-05-07T06:57:22Z jonaslund joined #scheme 2017-05-07T07:12:11Z agspathis joined #scheme 2017-05-07T07:14:28Z emacsoma` quit (Ping timeout: 268 seconds) 2017-05-07T07:17:33Z gravicappa joined #scheme 2017-05-07T07:20:42Z MysteriousChalle joined #scheme 2017-05-07T07:20:44Z MysteriousChalle: Hello? 2017-05-07T07:25:08Z agspathis: hey! 2017-05-07T07:25:14Z MysteriousChalle: Oh my god it's a person 2017-05-07T07:25:16Z MysteriousChalle: THEY'RE ALIVE 2017-05-07T07:32:06Z jmd joined #scheme 2017-05-07T07:33:17Z MysteriousChalle: Anyways 2017-05-07T07:33:24Z MysteriousChalle: Is anyone familiar with Dybvig? 2017-05-07T07:42:36Z jonaslund quit (Ping timeout: 260 seconds) 2017-05-07T08:17:22Z igajsin quit (Remote host closed the connection) 2017-05-07T08:17:39Z jonaslund joined #scheme 2017-05-07T08:22:06Z hazyPurple joined #scheme 2017-05-07T08:27:51Z amgarchIn9 joined #scheme 2017-05-07T08:31:25Z bjz quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) 2017-05-07T08:52:36Z jmd quit (Remote host closed the connection) 2017-05-07T08:56:00Z bjz joined #scheme 2017-05-07T08:58:25Z bjz quit (Remote host closed the connection) 2017-05-07T08:59:22Z bjz joined #scheme 2017-05-07T09:01:21Z agspathis quit (Remote host closed the connection) 2017-05-07T09:10:21Z sz0 joined #scheme 2017-05-07T09:10:49Z jaziz quit (Ping timeout: 240 seconds) 2017-05-07T09:11:03Z hazyPurple quit (Ping timeout: 260 seconds) 2017-05-07T09:12:48Z jonaslund quit (Ping timeout: 260 seconds) 2017-05-07T09:16:36Z agspathis joined #scheme 2017-05-07T09:16:42Z wasamasa: MysteriousChalle: what? 2017-05-07T09:18:53Z pjb joined #scheme 2017-05-07T09:20:52Z MysteriousChalle: Hi 2017-05-07T09:20:57Z MysteriousChalle: Dybvig 2017-05-07T09:21:03Z wasamasa: ask your actual question 2017-05-07T09:22:50Z hazyPurple joined #scheme 2017-05-07T09:58:28Z jmd joined #scheme 2017-05-07T10:21:51Z hazyPurple quit (Ping timeout: 240 seconds) 2017-05-07T10:33:23Z edgar-rft: Is Dybvic somehow related to Ponzi? 2017-05-07T10:34:47Z edgar-rft: Wikipedia says: The Diamond–Dybvig model is an influential model of bank runs and related financial crises... 2017-05-07T10:35:04Z agspathis quit (Quit: ERC (IRC client for Emacs 25.2.1)) 2017-05-07T10:37:17Z edgar-rft: I'm broke, so maybe I can help somehow :-) 2017-05-07T10:39:36Z juanfra quit (Quit: juanfra) 2017-05-07T10:46:04Z hazyPurple joined #scheme 2017-05-07T10:58:10Z amgarchIn9 quit (Ping timeout: 240 seconds) 2017-05-07T10:59:06Z juanfra joined #scheme 2017-05-07T11:09:22Z hazyPurple quit (Ping timeout: 255 seconds) 2017-05-07T11:11:28Z TheLemonMan joined #scheme 2017-05-07T11:21:16Z hazyPurple joined #scheme 2017-05-07T11:26:08Z hazyPurple quit (Ping timeout: 240 seconds) 2017-05-07T12:05:06Z MrBusiness quit (Read error: Connection reset by peer) 2017-05-07T12:08:47Z MysteriousChalle: Or, rather 2017-05-07T12:08:58Z MysteriousChalle: R. Kent Dybvig is supposed to be a major researcher regarding Scheme 2017-05-07T12:09:08Z MysteriousChalle: supposed to have contributed quite a bit to Chez Scheme 2017-05-07T12:09:13Z MysteriousChalle: wondering if anyone knows much about him here 2017-05-07T12:11:06Z MysteriousChalle quit (Quit: Page closed) 2017-05-07T12:34:21Z bjz quit (Remote host closed the connection) 2017-05-07T12:38:51Z hive-mind quit (Ping timeout: 258 seconds) 2017-05-07T12:39:44Z hive-mind joined #scheme 2017-05-07T12:42:13Z nanoz joined #scheme 2017-05-07T13:07:16Z X-Scale joined #scheme 2017-05-07T13:08:37Z hazyPurple joined #scheme 2017-05-07T13:09:12Z p9s joined #scheme 2017-05-07T13:19:20Z jonaslund joined #scheme 2017-05-07T13:20:43Z pilne joined #scheme 2017-05-07T13:26:20Z drduck: How does the Scheme commenting best practice go again? 2017-05-07T13:26:47Z wasamasa: I recommend riastradh's scheme guide 2017-05-07T13:26:48Z drduck: When to use one, two, and three semi-colons? 2017-05-07T13:27:09Z wasamasa: http://mumble.net/~campbell/scheme/style.txt 2017-05-07T13:27:55Z drduck: K I'll have a look. 2017-05-07T13:30:56Z pie_ joined #scheme 2017-05-07T13:32:50Z drduck: Ok so for this propagation of constraints system in SICP on section 3.3.5, how common is it to actually code like this? A network of constraints giving you nondirectional computing? 2017-05-07T13:34:32Z drduck: And does anyone know if this section has to do with the papers Sussman and Radul wrote, called The Art of The Propagator? 2017-05-07T13:37:14Z hazyPurple quit (Quit: Leaving) 2017-05-07T13:38:44Z pie_ quit (Quit: Leaving) 2017-05-07T13:38:46Z drduck: I'm thinking of biting the bullet and reading that paper. 2017-05-07T13:39:08Z pie_ joined #scheme 2017-05-07T13:39:32Z drduck: I wonder if anyone is using thing stuff, other that Pat Winston's Genesis project though. 2017-05-07T13:39:39Z drduck: Screw it. It's worth it. Gonna read. 2017-05-07T13:57:31Z p9s quit (Remote host closed the connection) 2017-05-07T13:57:58Z p9s joined #scheme 2017-05-07T14:02:25Z p9s quit (Ping timeout: 258 seconds) 2017-05-07T14:11:59Z deank quit 2017-05-07T14:12:27Z rain1 joined #scheme 2017-05-07T14:15:06Z TheLemonMan quit (Quit: "It's now safe to turn off your computer.") 2017-05-07T14:16:19Z kammd joined #scheme 2017-05-07T14:26:22Z jonaslund quit (Ping timeout: 246 seconds) 2017-05-07T14:33:22Z p9s joined #scheme 2017-05-07T14:35:01Z jonaslund joined #scheme 2017-05-07T14:39:19Z p9s quit (Remote host closed the connection) 2017-05-07T14:39:34Z p9s joined #scheme 2017-05-07T14:40:09Z p9s quit (Remote host closed the connection) 2017-05-07T14:40:19Z p9s joined #scheme 2017-05-07T14:40:57Z p9s quit (Remote host closed the connection) 2017-05-07T14:41:07Z p9s joined #scheme 2017-05-07T14:41:45Z p9s quit (Remote host closed the connection) 2017-05-07T14:41:58Z p9s joined #scheme 2017-05-07T14:42:33Z p9s quit (Remote host closed the connection) 2017-05-07T14:42:43Z p9s joined #scheme 2017-05-07T14:43:21Z p9s quit (Remote host closed the connection) 2017-05-07T15:07:07Z deank joined #scheme 2017-05-07T15:11:40Z Khisanth quit (Ping timeout: 240 seconds) 2017-05-07T15:18:20Z safe joined #scheme 2017-05-07T15:25:12Z Khisanth joined #scheme 2017-05-07T15:44:57Z brendyn quit (Ping timeout: 240 seconds) 2017-05-07T15:46:36Z brendyn joined #scheme 2017-05-07T15:50:21Z emacsomancer quit (Ping timeout: 240 seconds) 2017-05-07T15:56:38Z emacsomancer joined #scheme 2017-05-07T15:56:55Z mr_machina joined #scheme 2017-05-07T15:58:40Z bairyn is now known as ByronJohnson 2017-05-07T16:05:25Z acarrico joined #scheme 2017-05-07T16:11:05Z safe quit (Read error: Connection reset by peer) 2017-05-07T16:31:55Z mr_machina quit (Remote host closed the connection) 2017-05-07T16:35:48Z JoshS quit (Ping timeout: 240 seconds) 2017-05-07T16:40:58Z sssilver quit (Quit: My MacBook has gone to sleep. ZZZzzz…) 2017-05-07T16:42:24Z sssilver joined #scheme 2017-05-07T16:42:34Z sssilver quit (Client Quit) 2017-05-07T16:43:57Z sssilver joined #scheme 2017-05-07T16:44:10Z sssilver quit (Client Quit) 2017-05-07T17:05:34Z JoshS joined #scheme 2017-05-07T17:19:51Z jaziz joined #scheme 2017-05-07T17:21:19Z MrBusiness joined #scheme 2017-05-07T17:33:59Z nanoz quit (Quit: <3) 2017-05-07T17:34:00Z badkins joined #scheme 2017-05-07T17:35:38Z alezost joined #scheme 2017-05-07T17:42:42Z mr_machina joined #scheme 2017-05-07T17:47:21Z mejja joined #scheme 2017-05-07T18:26:38Z ByronJohnson quit (Remote host closed the connection) 2017-05-07T18:29:46Z TheLemonMan joined #scheme 2017-05-07T18:36:46Z bairyn joined #scheme 2017-05-07T18:40:00Z pierpa joined #scheme 2017-05-07T18:40:36Z kammd quit (Quit: Connection closed for inactivity) 2017-05-07T19:06:00Z p9s joined #scheme 2017-05-07T19:08:38Z mr_machina quit (Read error: No route to host) 2017-05-07T19:14:13Z acarrico quit (Ping timeout: 260 seconds) 2017-05-07T19:21:33Z acarrico joined #scheme 2017-05-07T19:26:46Z p9s quit (Ping timeout: 264 seconds) 2017-05-07T19:38:10Z jonaslund quit (Ping timeout: 264 seconds) 2017-05-07T19:46:39Z daviid joined #scheme 2017-05-07T19:53:57Z jmd quit (Remote host closed the connection) 2017-05-07T20:00:50Z bairyn is now known as ByronJohnson 2017-05-07T20:05:27Z mist_ joined #scheme 2017-05-07T20:20:33Z jonaslund joined #scheme 2017-05-07T20:22:27Z p9s joined #scheme 2017-05-07T20:26:57Z p9s quit (Ping timeout: 240 seconds) 2017-05-07T20:27:15Z gravicappa quit (Remote host closed the connection) 2017-05-07T20:27:56Z DerGuteMoritz quit (Ping timeout: 260 seconds) 2017-05-07T20:30:28Z alezost quit (Quit: I live in GuixSD and Emacs ) 2017-05-07T20:50:43Z sssilver joined #scheme 2017-05-07T20:53:35Z mejja quit (Quit: \ No newline at end of file) 2017-05-07T20:55:31Z TheLemonMan quit (Quit: "It's now safe to turn off your computer.") 2017-05-07T21:00:00Z ertesx joined #scheme 2017-05-07T21:03:18Z ertes quit (Ping timeout: 260 seconds) 2017-05-07T21:03:18Z ertesx is now known as ertes 2017-05-07T21:08:05Z JoshS quit (Ping timeout: 240 seconds) 2017-05-07T21:08:49Z acarrico quit (Read error: Connection reset by peer) 2017-05-07T21:18:41Z Riastradh quit (Ping timeout: 268 seconds) 2017-05-07T21:23:12Z p9s joined #scheme 2017-05-07T21:26:23Z mist_ quit (Quit: leaving) 2017-05-07T21:33:44Z p9s quit (Ping timeout: 260 seconds) 2017-05-07T21:34:38Z mario-goulart quit (Remote host closed the connection) 2017-05-07T21:37:12Z Menche joined #scheme 2017-05-07T21:37:19Z mario-goulart joined #scheme 2017-05-07T21:46:58Z Riastradh joined #scheme 2017-05-07T22:12:53Z gnomon_ joined #scheme 2017-05-07T22:13:17Z lucasem_ joined #scheme 2017-05-07T22:22:30Z grublet quit (*.net *.split) 2017-05-07T22:22:30Z gnomon quit (*.net *.split) 2017-05-07T22:22:30Z tristero quit (*.net *.split) 2017-05-07T22:22:31Z lucasem quit (*.net *.split) 2017-05-07T22:22:32Z DeeEff quit (*.net *.split) 2017-05-07T22:30:06Z p9s joined #scheme 2017-05-07T22:30:20Z Riastradh quit (Ping timeout: 240 seconds) 2017-05-07T22:33:27Z rain1 quit (Quit: Leaving) 2017-05-07T22:39:32Z p9s quit (Ping timeout: 260 seconds) 2017-05-07T22:40:26Z DeeEff joined #scheme 2017-05-07T22:42:41Z tristero joined #scheme 2017-05-07T23:01:57Z p9s joined #scheme 2017-05-07T23:02:15Z p9s quit (Remote host closed the connection) 2017-05-07T23:02:24Z p9s joined #scheme 2017-05-07T23:03:02Z p9s quit (Remote host closed the connection) 2017-05-07T23:03:11Z p9s joined #scheme 2017-05-07T23:03:50Z p9s quit (Remote host closed the connection) 2017-05-07T23:04:00Z p9s joined #scheme 2017-05-07T23:04:38Z p9s quit (Remote host closed the connection) 2017-05-07T23:04:48Z p9s joined #scheme 2017-05-07T23:05:26Z p9s quit (Remote host closed the connection) 2017-05-07T23:05:35Z p9s joined #scheme 2017-05-07T23:06:14Z p9s quit (Remote host closed the connection) 2017-05-07T23:12:45Z strykerkkd joined #scheme 2017-05-07T23:15:15Z acarrico joined #scheme 2017-05-07T23:16:01Z jao joined #scheme 2017-05-07T23:19:16Z enderby joined #scheme 2017-05-07T23:35:27Z jonaslund quit (Ping timeout: 240 seconds) 2017-05-07T23:43:34Z daviid quit (Ping timeout: 264 seconds) 2017-05-07T23:53:33Z JoshS joined #scheme 2017-05-07T23:54:00Z peterhil quit (Quit: Must not waste too much time here...) 2017-05-07T23:54:14Z mr_machina joined #scheme 2017-05-07T23:59:40Z Menche quit (Remote host closed the connection)