2016-08-11T00:13:55Z MrBusiness: rudybto help
2016-08-11T00:14:03Z MrBusiness: ruudybot help
2016-08-11T00:14:05Z MrBusiness: dmamity
2016-08-11T00:14:13Z MrBusiness: rudybot help
2016-08-11T00:14:26Z MrBusiness: hm
2016-08-11T00:14:42Z MrBusiness: "rubybot help".
2016-08-11T00:14:46Z Khisanth joined #scheme
2016-08-11T00:14:53Z MrBusiness: nah, I don't get it
2016-08-11T00:18:34Z aries_liuxueyang joined #scheme
2016-08-11T00:22:09Z mejja quit (Quit: \ No newline at end of file)
2016-08-11T00:32:30Z daviid joined #scheme
2016-08-11T00:35:25Z oleo quit (Read error: Connection reset by peer)
2016-08-11T00:36:02Z oleo joined #scheme
2016-08-11T00:57:49Z dmiles quit (Read error: Connection reset by peer)
2016-08-11T01:02:34Z kssreeram joined #scheme
2016-08-11T01:26:59Z vikraman quit (Ping timeout: 250 seconds)
2016-08-11T01:27:16Z vikraman joined #scheme
2016-08-11T01:27:16Z vikraman quit (Changing host)
2016-08-11T01:27:16Z vikraman joined #scheme
2016-08-11T01:42:15Z vydd quit (Read error: Connection reset by peer)
2016-08-11T01:43:03Z shdeng joined #scheme
2016-08-11T01:48:17Z safe joined #scheme
2016-08-11T01:49:05Z vydd joined #scheme
2016-08-11T02:00:11Z cemerick joined #scheme
2016-08-11T02:03:49Z Nycatelos quit (Ping timeout: 250 seconds)
2016-08-11T02:06:34Z Nycatelos joined #scheme
2016-08-11T02:07:27Z adu joined #scheme
2016-08-11T02:09:31Z safe quit (Quit: Leaving)
2016-08-11T02:12:57Z sethalves quit (Remote host closed the connection)
2016-08-11T02:14:13Z leppie quit
2016-08-11T02:17:02Z Riastradh joined #scheme
2016-08-11T02:23:12Z turtleman quit (Quit: Leaving)
2016-08-11T02:27:05Z JUgelen joined #scheme
2016-08-11T02:27:14Z kssreeram quit (Ping timeout: 265 seconds)
2016-08-11T02:27:16Z 1JTAAZRLO joined #scheme
2016-08-11T02:27:16Z 32NABL2KI joined #scheme
2016-08-11T02:27:21Z JUgelen_ joined #scheme
2016-08-11T02:27:48Z 32NABL2KI quit (Read error: Connection reset by peer)
2016-08-11T02:27:51Z 1JTAAZRLO quit (Remote host closed the connection)
2016-08-11T02:28:04Z JUgelen_ quit (Remote host closed the connection)
2016-08-11T02:32:04Z cemerick quit (Ping timeout: 244 seconds)
2016-08-11T02:46:28Z dmiles joined #scheme
2016-08-11T02:50:10Z ArneBab joined #scheme
2016-08-11T02:51:29Z tmtwd joined #scheme
2016-08-11T02:54:27Z ArneBab_ quit (Ping timeout: 264 seconds)
2016-08-11T02:54:31Z vydd_ joined #scheme
2016-08-11T02:56:22Z vydd quit (Ping timeout: 244 seconds)
2016-08-11T02:59:58Z daviid quit (Ping timeout: 252 seconds)
2016-08-11T03:20:41Z kssreeram joined #scheme
2016-08-11T03:30:36Z kssreeram quit (Quit: My Mac has gone to sleep. ZZZzzz…)
2016-08-11T03:36:04Z n_blownapart joined #scheme
2016-08-11T03:36:16Z brendyn quit (Quit: ZNC 1.6.3 - http://znc.in)
2016-08-11T03:46:49Z akkad quit (Ping timeout: 250 seconds)
2016-08-11T03:47:00Z n_blownapart: hi I was wondering if ackermann's formula is seen often in scheme and programming generally. also I don't understand this line from wikipedia " All primitive recursive functions are total and computable, but the Ackermann function illustrates that not all total computable functions are primitive recursive."
2016-08-11T03:47:41Z renopt quit (Ping timeout: 250 seconds)
2016-08-11T03:48:07Z mgodshall quit (Ping timeout: 250 seconds)
2016-08-11T03:48:07Z drot quit (Ping timeout: 250 seconds)
2016-08-11T03:48:15Z mgodshall joined #scheme
2016-08-11T03:49:23Z badkins quit (Remote host closed the connection)
2016-08-11T03:49:27Z renopt joined #scheme
2016-08-11T03:51:18Z finnrobi quit (Ping timeout: 258 seconds)
2016-08-11T03:51:24Z finnrobi joined #scheme
2016-08-11T03:56:07Z drot joined #scheme
2016-08-11T03:56:29Z akkad joined #scheme
2016-08-11T04:00:37Z n_blownapart quit (Quit: Leaving)
2016-08-11T04:03:16Z badkins joined #scheme
2016-08-11T04:09:03Z tmtwd quit (Ping timeout: 244 seconds)
2016-08-11T04:11:29Z kssreeram joined #scheme
2016-08-11T04:14:54Z safe joined #scheme
2016-08-11T04:19:19Z tmtwd joined #scheme
2016-08-11T04:31:05Z kssreeram quit (Read error: Connection reset by peer)
2016-08-11T04:35:55Z kssreeram joined #scheme
2016-08-11T04:36:50Z Blukunfando joined #scheme
2016-08-11T04:42:39Z kssreeram quit (Ping timeout: 265 seconds)
2016-08-11T04:43:39Z Wojciech_K quit (Read error: Connection reset by peer)
2016-08-11T04:47:27Z nilg joined #scheme
2016-08-11T04:48:18Z badkins quit (Remote host closed the connection)
2016-08-11T04:48:39Z kssreeram joined #scheme
2016-08-11T05:18:02Z `lain quit (Quit: bye.)
2016-08-11T05:21:00Z oleo quit (Quit: Leaving)
2016-08-11T05:22:59Z lambda-11235 quit (Quit: Bye)
2016-08-11T05:27:39Z leppie joined #scheme
2016-08-11T05:29:34Z teurastaja joined #scheme
2016-08-11T05:33:48Z turbofail quit (Ping timeout: 265 seconds)
2016-08-11T05:41:37Z MrBusiness2 joined #scheme
2016-08-11T05:41:50Z dsp- joined #scheme
2016-08-11T05:43:29Z DGASAU` joined #scheme
2016-08-11T05:44:00Z stasku_____ joined #scheme
2016-08-11T05:44:09Z JackMc_ joined #scheme
2016-08-11T05:46:32Z gnomon_ joined #scheme
2016-08-11T05:46:40Z safe quit (Quit: Leaving)
2016-08-11T05:48:39Z dsp-_ quit (Ping timeout: 250 seconds)
2016-08-11T05:48:39Z stasku____ quit (Ping timeout: 250 seconds)
2016-08-11T05:48:39Z JackMc quit (Ping timeout: 250 seconds)
2016-08-11T05:48:39Z CustosL1men quit (Ping timeout: 250 seconds)
2016-08-11T05:48:39Z m1dnight_ quit (Ping timeout: 250 seconds)
2016-08-11T05:48:39Z MrBusiness quit (Ping timeout: 250 seconds)
2016-08-11T05:48:39Z DGASAU quit (Ping timeout: 250 seconds)
2016-08-11T05:48:39Z asumu quit (Ping timeout: 250 seconds)
2016-08-11T05:48:39Z gnomon quit (Ping timeout: 250 seconds)
2016-08-11T05:48:44Z CustosL1m3n joined #scheme
2016-08-11T05:48:52Z asumu joined #scheme
2016-08-11T05:49:28Z m1dnight_ joined #scheme
2016-08-11T05:51:53Z JackMc_ is now known as JackMc
2016-08-11T06:03:07Z robotoad quit (Max SendQ exceeded)
2016-08-11T06:04:43Z robotoad joined #scheme
2016-08-11T06:06:56Z stepnem joined #scheme
2016-08-11T06:14:27Z robotoad quit (Quit: Textual IRC Client: www.textualapp.com)
2016-08-11T06:15:13Z tmtwd quit (Ping timeout: 252 seconds)
2016-08-11T06:17:47Z adu quit (Quit: adu)
2016-08-11T06:35:56Z pierpa quit (Ping timeout: 244 seconds)
2016-08-11T06:39:21Z turbofail joined #scheme
2016-08-11T06:53:38Z tmtwd joined #scheme
2016-08-11T07:00:19Z Naraka joined #scheme
2016-08-11T07:01:47Z vydd_ quit (Remote host closed the connection)
2016-08-11T07:07:33Z tmtwd quit (Ping timeout: 276 seconds)
2016-08-11T07:22:33Z lexicall joined #scheme
2016-08-11T07:25:16Z lexicall quit (Client Quit)
2016-08-11T07:31:12Z vydd joined #scheme
2016-08-11T07:40:07Z turbofail quit (Remote host closed the connection)
2016-08-11T07:53:08Z nilg quit (Remote host closed the connection)
2016-08-11T08:06:00Z Muir joined #scheme
2016-08-11T08:08:47Z teurastaja quit (Ping timeout: 244 seconds)
2016-08-11T08:45:21Z myst|fon joined #scheme
2016-08-11T08:55:36Z przl joined #scheme
2016-08-11T08:58:15Z nilg joined #scheme
2016-08-11T09:18:09Z ggole joined #scheme
2016-08-11T09:20:02Z dmiles quit (Read error: Connection reset by peer)
2016-08-11T09:22:52Z brendyn joined #scheme
2016-08-11T09:22:56Z dmiles joined #scheme
2016-08-11T09:24:50Z greatscottttt joined #scheme
2016-08-11T09:39:33Z nilg quit (Read error: Connection reset by peer)
2016-08-11T09:43:57Z nilg joined #scheme
2016-08-11T09:53:36Z kssreeram quit (Ping timeout: 258 seconds)
2016-08-11T09:53:43Z nilg quit (Read error: Connection reset by peer)
2016-08-11T09:55:30Z TheLemonMan joined #scheme
2016-08-11T10:00:41Z kssreeram joined #scheme
2016-08-11T10:13:38Z xoui joined #scheme
2016-08-11T10:15:15Z pierpa joined #scheme
2016-08-11T10:15:35Z przl quit (Ping timeout: 265 seconds)
2016-08-11T10:17:37Z przl joined #scheme
2016-08-11T10:19:55Z pjb joined #scheme
2016-08-11T10:22:18Z pierpa quit (Ping timeout: 258 seconds)
2016-08-11T10:22:54Z kssreeram quit (Read error: Connection reset by peer)
2016-08-11T10:25:34Z pierpa joined #scheme
2016-08-11T10:29:23Z bogdanm joined #scheme
2016-08-11T10:30:43Z kssreeram joined #scheme
2016-08-11T10:51:58Z greatscottttt quit (Quit: WeeChat 1.5)
2016-08-11T10:52:30Z greatscottttt joined #scheme
2016-08-11T10:53:38Z przl quit (Ping timeout: 250 seconds)
2016-08-11T10:55:01Z ovenpasta joined #scheme
2016-08-11T10:58:30Z karswell quit (Remote host closed the connection)
2016-08-11T10:58:50Z karswell joined #scheme
2016-08-11T11:10:13Z karswell quit (Ping timeout: 258 seconds)
2016-08-11T11:11:55Z r0kc4t_ quit (Quit: leaving)
2016-08-11T11:24:19Z pjb quit (Ping timeout: 260 seconds)
2016-08-11T11:37:48Z shdeng quit (Quit: Leaving)
2016-08-11T11:38:03Z kssreeram quit (Ping timeout: 240 seconds)
2016-08-11T11:41:41Z DGASAU` is now known as DGASAU
2016-08-11T11:49:33Z przl joined #scheme
2016-08-11T11:55:46Z przl quit (Ping timeout: 244 seconds)
2016-08-11T12:14:51Z JUgelen quit (Read error: Connection reset by peer)
2016-08-11T12:32:34Z przl joined #scheme
2016-08-11T12:37:51Z nilg joined #scheme
2016-08-11T12:41:09Z blackwolf quit (Quit: ERC (IRC client for Emacs 24.5.1))
2016-08-11T12:47:59Z cemerick joined #scheme
2016-08-11T12:59:07Z badkins joined #scheme
2016-08-11T13:03:58Z Blukunfando quit (Ping timeout: 244 seconds)
2016-08-11T13:10:16Z kssreeram joined #scheme
2016-08-11T13:13:36Z alezost joined #scheme
2016-08-11T13:14:41Z `lain joined #scheme
2016-08-11T13:16:06Z eagleflo quit (Ping timeout: 276 seconds)
2016-08-11T13:18:20Z jlongster joined #scheme
2016-08-11T13:19:55Z gnomon_ is now known as gnomon
2016-08-11T13:24:12Z eagleflo joined #scheme
2016-08-11T13:26:30Z taij33n left #scheme
2016-08-11T13:33:19Z enderby joined #scheme
2016-08-11T13:36:42Z cemerick quit (Ping timeout: 258 seconds)
2016-08-11T13:38:36Z nilg quit (Read error: Connection reset by peer)
2016-08-11T13:42:05Z pjb joined #scheme
2016-08-11T13:46:41Z Riastradh quit (Ping timeout: 244 seconds)
2016-08-11T13:51:39Z Muir quit (Read error: Connection reset by peer)
2016-08-11T13:51:56Z zacts joined #scheme
2016-08-11T13:53:47Z averell joined #scheme
2016-08-11T13:56:08Z oleo joined #scheme
2016-08-11T13:56:08Z oleo quit (Changing host)
2016-08-11T13:56:08Z oleo joined #scheme
2016-08-11T13:56:38Z enderby quit (Remote host closed the connection)
2016-08-11T13:57:25Z enderby joined #scheme
2016-08-11T14:10:23Z kssreeram quit (Quit: My Mac has gone to sleep. ZZZzzz…)
2016-08-11T14:35:34Z strykerkkd joined #scheme
2016-08-11T14:37:19Z vydd quit (Remote host closed the connection)
2016-08-11T14:42:07Z Blukunfando joined #scheme
2016-08-11T14:48:41Z pierpa quit (Ping timeout: 244 seconds)
2016-08-11T14:53:43Z pjb quit (Remote host closed the connection)
2016-08-11T15:04:41Z enderby quit (Quit: ERC (IRC client for Emacs 24.5.1))
2016-08-11T15:07:37Z nilg joined #scheme
2016-08-11T15:23:40Z alezost quit (Quit: I live in GuixSD <http://www.gnu.org/s/guix> and Emacs <http://www.gnu.org/s/emacs>)
2016-08-11T15:28:56Z zacts quit (Ping timeout: 250 seconds)
2016-08-11T15:32:55Z xoui quit (Ping timeout: 252 seconds)
2016-08-11T15:37:46Z przl quit (Ping timeout: 244 seconds)
2016-08-11T15:50:20Z przl joined #scheme
2016-08-11T15:57:44Z lexicall joined #scheme
2016-08-11T15:59:53Z fiddlerwoaroof quit (Quit: Gone.)
2016-08-11T16:00:26Z nilg quit (Remote host closed the connection)
2016-08-11T16:05:57Z enderby joined #scheme
2016-08-11T16:06:13Z enderby left #scheme
2016-08-11T16:22:55Z cemerick joined #scheme
2016-08-11T16:23:08Z zacts joined #scheme
2016-08-11T16:28:02Z bogdanm quit (Quit: Leaving)
2016-08-11T16:34:47Z lexicall quit (Remote host closed the connection)
2016-08-11T16:53:53Z zacts quit (Ping timeout: 244 seconds)
2016-08-11T16:55:06Z lexicall joined #scheme
2016-08-11T16:59:30Z lexicall quit (Ping timeout: 250 seconds)
2016-08-11T17:00:11Z greatscottttt quit (Quit: WeeChat 1.5)
2016-08-11T17:11:02Z xoui joined #scheme
2016-08-11T17:12:42Z przl quit (Ping timeout: 276 seconds)
2016-08-11T17:18:13Z MrBusiness3 joined #scheme
2016-08-11T17:21:36Z MrBusiness2 quit (Ping timeout: 250 seconds)
2016-08-11T17:28:00Z aries_liuxueyang quit (Quit: No Ping reply in 180 seconds.)
2016-08-11T17:44:08Z aries_liuxueyang joined #scheme
2016-08-11T17:45:33Z enderby joined #scheme
2016-08-11T17:47:42Z enderby quit (Remote host closed the connection)
2016-08-11T17:50:41Z enderby joined #scheme
2016-08-11T18:04:07Z Riastradh joined #scheme
2016-08-11T18:10:28Z xoui quit (Quit: xoui)
2016-08-11T18:16:12Z vydd joined #scheme
2016-08-11T18:18:07Z mumptai joined #scheme
2016-08-11T18:20:56Z robotoad joined #scheme
2016-08-11T18:28:18Z lexicall joined #scheme
2016-08-11T18:31:57Z turtleman joined #scheme
2016-08-11T18:32:32Z lexicall quit (Ping timeout: 240 seconds)
2016-08-11T18:45:13Z enderby quit (Remote host closed the connection)
2016-08-11T18:46:12Z Riastradh quit (Ping timeout: 240 seconds)
2016-08-11T18:51:20Z daviid joined #scheme
2016-08-11T18:54:43Z Riastradh joined #scheme
2016-08-11T18:59:03Z Riastradh quit (Ping timeout: 240 seconds)
2016-08-11T19:00:32Z grettke joined #scheme
2016-08-11T19:21:26Z kori quit (Changing host)
2016-08-11T19:21:27Z kori joined #scheme
2016-08-11T19:31:37Z zacts joined #scheme
2016-08-11T19:33:29Z nilg joined #scheme
2016-08-11T19:34:43Z nilg quit (Read error: Connection reset by peer)
2016-08-11T19:37:13Z nilg joined #scheme
2016-08-11T19:54:52Z nilg quit (Remote host closed the connection)
2016-08-11T19:55:20Z lexicall joined #scheme
2016-08-11T19:59:56Z lexicall quit (Ping timeout: 265 seconds)
2016-08-11T20:04:35Z ggole quit
2016-08-11T20:16:15Z zacts quit (Quit: WeeChat 1.4)
2016-08-11T20:17:22Z enderby joined #scheme
2016-08-11T20:17:57Z teurastaja joined #scheme
2016-08-11T20:29:32Z enderby left #scheme
2016-08-11T20:33:49Z lexicall joined #scheme
2016-08-11T20:38:07Z lexicall quit (Ping timeout: 244 seconds)
2016-08-11T20:39:44Z Carisius joined #scheme
2016-08-11T20:45:20Z renopt quit (Ping timeout: 244 seconds)
2016-08-11T21:01:51Z TheLemonMan quit (Quit: "It's now safe to turn off your computer.")
2016-08-11T21:02:28Z cemerick quit (Ping timeout: 250 seconds)
2016-08-11T21:03:29Z yrdz joined #scheme
2016-08-11T21:15:01Z lexicall joined #scheme
2016-08-11T21:19:22Z lexicall quit (Ping timeout: 250 seconds)
2016-08-11T21:35:57Z lexicall joined #scheme
2016-08-11T21:36:25Z Blkt quit (Read error: Connection reset by peer)
2016-08-11T21:37:43Z Blkt joined #scheme
2016-08-11T21:40:28Z lexicall quit (Ping timeout: 244 seconds)
2016-08-11T21:42:23Z daviid quit (Ping timeout: 258 seconds)
2016-08-11T21:58:26Z ovenpasta quit (Ping timeout: 258 seconds)
2016-08-11T22:24:54Z mumptai quit (Remote host closed the connection)
2016-08-11T22:26:03Z stepnem quit (Ping timeout: 240 seconds)
2016-08-11T22:27:16Z Carisius quit (Read error: Connection reset by peer)
2016-08-11T22:27:47Z lambda-11235 joined #scheme
2016-08-11T22:31:44Z Naraka quit (Ping timeout: 250 seconds)
2016-08-11T22:33:55Z fiddlerwoaroof joined #scheme
2016-08-11T22:34:08Z turbofail joined #scheme
2016-08-11T22:37:23Z Naraka joined #scheme
2016-08-11T22:55:07Z robotoad quit (Quit: My Mac has gone to sleep. ZZZzzz…)
2016-08-11T23:25:00Z karswell joined #scheme
2016-08-11T23:39:10Z robotoad joined #scheme
2016-08-11T23:42:30Z strykerkkd quit (Quit: Leaving)
2016-08-11T23:56:32Z cemerick joined #scheme
2016-08-11T23:58:07Z mejja joined #scheme