2015-04-18T00:08:10Z sethalves quit (Quit: Leaving.) 2015-04-18T00:12:22Z hiyosi joined #scheme 2015-04-18T00:14:12Z rszeno quit (Quit: Leaving.) 2015-04-18T00:16:52Z oleo_ joined #scheme 2015-04-18T00:19:13Z oleo quit (Ping timeout: 244 seconds) 2015-04-18T00:25:56Z _sjs joined #scheme 2015-04-18T00:28:50Z Fare joined #scheme 2015-04-18T00:32:07Z gnuian joined #scheme 2015-04-18T00:36:28Z davexunit joined #scheme 2015-04-18T00:38:42Z dzhus quit (Ping timeout: 264 seconds) 2015-04-18T00:44:46Z sethalves joined #scheme 2015-04-18T00:47:46Z Guest15524 quit (Ping timeout: 252 seconds) 2015-04-18T00:47:47Z kongtomorrow joined #scheme 2015-04-18T00:48:38Z kongtomorrow quit (Client Quit) 2015-04-18T00:55:16Z jeapostrophe quit (Ping timeout: 272 seconds) 2015-04-18T01:05:56Z zlrth joined #scheme 2015-04-18T01:06:22Z pecg quit (Ping timeout: 256 seconds) 2015-04-18T01:08:26Z aap_ joined #scheme 2015-04-18T01:11:29Z aap quit (Ping timeout: 250 seconds) 2015-04-18T01:12:22Z vdamewood quit (Quit: ["Textual IRC Client: www.textualapp.com"]) 2015-04-18T01:23:51Z psy joined #scheme 2015-04-18T01:24:22Z psy quit (Max SendQ exceeded) 2015-04-18T01:24:39Z psy joined #scheme 2015-04-18T01:35:14Z joneshf-laptop joined #scheme 2015-04-18T01:39:24Z davexunit quit (Quit: Later) 2015-04-18T01:42:56Z jawny joined #scheme 2015-04-18T01:56:42Z karswell` quit (Ping timeout: 252 seconds) 2015-04-18T02:00:20Z bb010g quit (Quit: Connection closed for inactivity) 2015-04-18T02:02:34Z karswell` joined #scheme 2015-04-18T02:03:16Z ASau quit (Remote host closed the connection) 2015-04-18T02:04:17Z ASau joined #scheme 2015-04-18T02:06:16Z psy quit (Disconnected by services) 2015-04-18T02:06:34Z turtleman_ quit (Ping timeout: 255 seconds) 2015-04-18T02:06:35Z psy_ joined #scheme 2015-04-18T02:08:29Z joneshf-laptop quit (Read error: Connection reset by peer) 2015-04-18T02:08:57Z joneshf-laptop joined #scheme 2015-04-18T02:10:52Z ASau quit (Remote host closed the connection) 2015-04-18T02:12:56Z tali713 joined #scheme 2015-04-18T02:14:03Z joneshf-laptop quit (Read error: Connection reset by peer) 2015-04-18T02:14:31Z ASau joined #scheme 2015-04-18T02:16:26Z ASau quit (Remote host closed the connection) 2015-04-18T02:18:27Z ASau joined #scheme 2015-04-18T02:21:35Z ASau quit (Remote host closed the connection) 2015-04-18T02:22:52Z ASau joined #scheme 2015-04-18T02:26:12Z ASau quit (Remote host closed the connection) 2015-04-18T02:31:55Z Tbone139 quit (Remote host closed the connection) 2015-04-18T02:34:23Z joneshf-laptop joined #scheme 2015-04-18T02:35:08Z ASau joined #scheme 2015-04-18T02:36:38Z taylanub quit (Disconnected by services) 2015-04-18T02:37:04Z taylanub joined #scheme 2015-04-18T02:37:17Z excelsior joined #scheme 2015-04-18T02:40:00Z ArneBab joined #scheme 2015-04-18T02:43:37Z ArneBab_ quit (Ping timeout: 264 seconds) 2015-04-18T03:06:30Z jawny quit (Ping timeout: 256 seconds) 2015-04-18T03:13:46Z hiyosi quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-18T03:16:44Z stepnem quit (Ping timeout: 246 seconds) 2015-04-18T03:26:10Z _sjs quit (Ping timeout: 252 seconds) 2015-04-18T03:34:19Z sdothum quit (Quit: ZNC - 1.6.0 - http://znc.in) 2015-04-18T03:35:20Z ASau quit (Remote host closed the connection) 2015-04-18T03:48:56Z pjdelport joined #scheme 2015-04-18T03:50:20Z hiyosi joined #scheme 2015-04-18T03:51:19Z zlrth quit (Ping timeout: 264 seconds) 2015-04-18T03:54:19Z lolisa joined #scheme 2015-04-18T03:54:29Z atlas__ joined #scheme 2015-04-18T03:57:09Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-18T03:57:23Z karswell` quit (Read error: Connection reset by peer) 2015-04-18T03:57:40Z karswell` joined #scheme 2015-04-18T03:58:43Z mtakkman joined #scheme 2015-04-18T03:58:49Z Tbone139 joined #scheme 2015-04-18T04:03:23Z jawny joined #scheme 2015-04-18T04:08:17Z RexButler joined #scheme 2015-04-18T04:08:36Z RexButler: Well, HTDP has been a disapointment for me. 2015-04-18T04:08:41Z RexButler: Back to SICP 2015-04-18T04:15:54Z jawny quit (Ping timeout: 250 seconds) 2015-04-18T04:21:37Z zacts: yeah I couldn't get into HTDP much myself 2015-04-18T04:21:41Z zacts: not my style 2015-04-18T04:30:42Z karswell` quit (Ping timeout: 276 seconds) 2015-04-18T04:31:56Z uber_hulk joined #scheme 2015-04-18T04:37:01Z mtakkman quit (Quit: ERC (IRC client for Emacs 24.5.1)) 2015-04-18T04:37:24Z _sjs joined #scheme 2015-04-18T04:49:49Z atlas__ quit (Ping timeout: 245 seconds) 2015-04-18T04:52:01Z _sjs quit (Ping timeout: 264 seconds) 2015-04-18T04:54:25Z daviid joined #scheme 2015-04-18T05:09:15Z vdamewood joined #scheme 2015-04-18T05:56:47Z jawny joined #scheme 2015-04-18T06:11:06Z jumblerg joined #scheme 2015-04-18T06:20:21Z Bahman joined #scheme 2015-04-18T06:20:50Z jawny quit (Ping timeout: 246 seconds) 2015-04-18T06:27:03Z RexButler quit (Ping timeout: 245 seconds) 2015-04-18T06:29:03Z Fare quit (Quit: Leaving) 2015-04-18T06:41:38Z narendraj9 joined #scheme 2015-04-18T06:42:36Z lolisa quit (Quit: Leaving) 2015-04-18T06:46:00Z fxck: the guy who wrote HTDP is a nut IRL 2015-04-18T06:56:13Z vikraman quit (Ping timeout: 245 seconds) 2015-04-18T07:00:15Z vikraman joined #scheme 2015-04-18T07:17:53Z petercommand quit (Ping timeout: 246 seconds) 2015-04-18T07:19:58Z petercommand joined #scheme 2015-04-18T07:20:15Z petercommand quit (Changing host) 2015-04-18T07:20:15Z petercommand joined #scheme 2015-04-18T07:31:31Z uber_hulk quit (Quit: Connection closed for inactivity) 2015-04-18T07:31:52Z aap_ is now known as aap 2015-04-18T07:43:14Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-18T07:46:17Z hiyosi quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-18T07:50:19Z atlas__ joined #scheme 2015-04-18T07:54:29Z atlas__ quit (Ping timeout: 248 seconds) 2015-04-18T07:57:06Z stepnem joined #scheme 2015-04-18T08:01:27Z jumblerg joined #scheme 2015-04-18T08:02:36Z gnuian quit (Ping timeout: 276 seconds) 2015-04-18T08:05:46Z jumblerg quit (Ping timeout: 244 seconds) 2015-04-18T08:06:39Z petercommand quit (Remote host closed the connection) 2015-04-18T08:06:50Z daviid quit (Ping timeout: 256 seconds) 2015-04-18T08:07:12Z leppie quit (Ping timeout: 272 seconds) 2015-04-18T08:10:39Z ASau joined #scheme 2015-04-18T08:12:07Z lritter quit (Quit: Leaving) 2015-04-18T08:27:41Z petercommand joined #scheme 2015-04-18T08:27:52Z petercommand quit (Changing host) 2015-04-18T08:27:52Z petercommand joined #scheme 2015-04-18T08:31:05Z zadock joined #scheme 2015-04-18T08:36:17Z jumblerg joined #scheme 2015-04-18T08:40:23Z jumblerg quit (Ping timeout: 244 seconds) 2015-04-18T08:44:52Z narendraj9 quit (Ping timeout: 265 seconds) 2015-04-18T08:47:53Z narendraj9 joined #scheme 2015-04-18T08:52:04Z hiyosi joined #scheme 2015-04-18T09:03:56Z ASau quit (Ping timeout: 240 seconds) 2015-04-18T09:06:24Z ASau joined #scheme 2015-04-18T09:08:00Z narendraj9 quit (Ping timeout: 272 seconds) 2015-04-18T09:49:01Z taylanub quit (Remote host closed the connection) 2015-04-18T09:49:28Z taylanub joined #scheme 2015-04-18T09:49:48Z turtleman_ joined #scheme 2015-04-18T10:36:42Z vdamewood quit (Quit: ["Textual IRC Client: www.textualapp.com"]) 2015-04-18T10:41:44Z turtleman_ quit (Ping timeout: 272 seconds) 2015-04-18T10:51:25Z sdothum joined #scheme 2015-04-18T11:03:40Z dsp quit (Ping timeout: 250 seconds) 2015-04-18T11:24:28Z kuribas joined #scheme 2015-04-18T11:25:06Z petercommand quit (Quit: leaving) 2015-04-18T11:28:15Z ASau quit (Remote host closed the connection) 2015-04-18T11:28:58Z ASau joined #scheme 2015-04-18T11:29:11Z petercommand joined #scheme 2015-04-18T11:37:17Z ASau quit (Remote host closed the connection) 2015-04-18T11:38:10Z ASau joined #scheme 2015-04-18T11:44:50Z ASau quit (Remote host closed the connection) 2015-04-18T11:49:46Z ASau joined #scheme 2015-04-18T12:03:18Z cdidd_ is now known as cdidd 2015-04-18T12:16:23Z wingo_ joined #scheme 2015-04-18T12:17:52Z jao joined #scheme 2015-04-18T12:18:53Z wingo quit (Ping timeout: 246 seconds) 2015-04-18T12:24:31Z jeapostrophe joined #scheme 2015-04-18T12:30:02Z jao quit (Ping timeout: 272 seconds) 2015-04-18T12:31:43Z ziocroc joined #scheme 2015-04-18T12:37:26Z daviid joined #scheme 2015-04-18T12:42:25Z alezost joined #scheme 2015-04-18T12:50:56Z Bahman quit (Quit: Ave atque vale) 2015-04-18T12:54:17Z leppie joined #scheme 2015-04-18T12:59:13Z davexunit joined #scheme 2015-04-18T13:00:29Z oleo__ joined #scheme 2015-04-18T13:02:50Z oleo_ quit (Ping timeout: 250 seconds) 2015-04-18T13:17:51Z acarrico quit (Ping timeout: 276 seconds) 2015-04-18T13:19:11Z Administrator joined #scheme 2015-04-18T13:19:35Z Administrator is now known as Guest15189 2015-04-18T13:24:19Z Guest15189 quit (Ping timeout: 264 seconds) 2015-04-18T13:38:10Z Administrator_ joined #scheme 2015-04-18T13:39:40Z kephra: http://o3db.com/proto/veritas.html <- progress of today - wrapped things together ... take a look as html code as usual to see the magic ;-) 2015-04-18T13:40:34Z kephra: yes - this demo is showing a database query - timing is slow, because server is at home 2015-04-18T13:41:50Z kephra: http://o3db.com/proto/item.scm <- describes the GUI 2015-04-18T13:42:07Z kephra: (set-data 'item (query-file "db:query-article" '((jahr 87)))) <- but thats the real magic 2015-04-18T13:44:30Z kephra: http://o3db.com/proto/unloop-io.html <- see this for timing ... caused by the dsl line at home 2015-04-18T14:00:16Z narendraj9_ joined #scheme 2015-04-18T14:02:42Z rpaehlig joined #scheme 2015-04-18T14:14:57Z narendraj9_ quit (Read error: Connection reset by peer) 2015-04-18T14:15:57Z Administrator_ quit (Ping timeout: 265 seconds) 2015-04-18T14:34:28Z fikusz quit (Ping timeout: 255 seconds) 2015-04-18T14:35:14Z zlrth joined #scheme 2015-04-18T14:36:42Z zlrth` joined #scheme 2015-04-18T14:37:20Z spew joined #scheme 2015-04-18T14:38:18Z fikusz joined #scheme 2015-04-18T14:41:26Z narendraj9_ joined #scheme 2015-04-18T14:42:02Z gnomon quit (Quit: hardware upgrade time) 2015-04-18T14:50:43Z arrubin joined #scheme 2015-04-18T14:50:48Z narendraj9_ is now known as narendraj9 2015-04-18T14:57:43Z petercommand quit (Remote host closed the connection) 2015-04-18T15:01:15Z petercommand joined #scheme 2015-04-18T15:02:52Z Administrator joined #scheme 2015-04-18T15:03:39Z Administrator is now known as Guest78703 2015-04-18T15:04:56Z zlrth` quit (Remote host closed the connection) 2015-04-18T15:04:56Z zlrth quit (Remote host closed the connection) 2015-04-18T15:05:27Z hiroakip joined #scheme 2015-04-18T15:09:42Z gnuian joined #scheme 2015-04-18T15:09:46Z gnuian quit (Read error: Connection reset by peer) 2015-04-18T15:10:01Z gnuian joined #scheme 2015-04-18T15:13:44Z narendraj9 quit (Read error: Connection reset by peer) 2015-04-18T15:14:30Z narendraj9 joined #scheme 2015-04-18T15:15:23Z dxtr quit (Ping timeout: 245 seconds) 2015-04-18T15:19:10Z kuribas quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-04-18T15:53:52Z sheilong joined #scheme 2015-04-18T15:57:43Z spew quit (Quit: leaving) 2015-04-18T16:11:32Z zadock quit (Quit: Leaving) 2015-04-18T16:13:36Z wingo_ is now known as wingo 2015-04-18T16:17:01Z iKlsR joined #scheme 2015-04-18T16:18:36Z agumonkey_ quit (Ping timeout: 240 seconds) 2015-04-18T16:24:49Z agumonkey joined #scheme 2015-04-18T16:32:08Z jeapostrophe quit (Ping timeout: 264 seconds) 2015-04-18T16:32:25Z oleo__ quit (Quit: Leaving) 2015-04-18T16:32:48Z gnuian quit (Remote host closed the connection) 2015-04-18T16:34:06Z theseb joined #scheme 2015-04-18T16:39:59Z narendraj9 quit (Ping timeout: 265 seconds) 2015-04-18T16:40:45Z narendraj9 joined #scheme 2015-04-18T16:45:52Z Guest78703 quit (Ping timeout: 252 seconds) 2015-04-18T16:45:56Z pnpuff joined #scheme 2015-04-18T16:46:13Z Administrator joined #scheme 2015-04-18T16:46:37Z Administrator is now known as Guest56620 2015-04-18T16:48:01Z hiyosi quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-04-18T16:52:04Z narendraj9 quit (Quit: WeeChat 1.1.1) 2015-04-18T16:52:28Z narendraj9 joined #scheme 2015-04-18T16:52:42Z uber_hulk joined #scheme 2015-04-18T16:56:52Z jao joined #scheme 2015-04-18T17:00:17Z pnpuff is now known as BWV988 2015-04-18T17:04:40Z BWV988 quit (Ping timeout: 246 seconds) 2015-04-18T17:08:14Z wingo quit (Ping timeout: 252 seconds) 2015-04-18T17:10:14Z zacts quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-04-18T17:11:33Z oleo joined #scheme 2015-04-18T17:15:52Z narendraj9 quit (Quit: WeeChat 1.1.1) 2015-04-18T17:16:23Z narendraj9 joined #scheme 2015-04-18T17:20:09Z _sjs joined #scheme 2015-04-18T17:21:16Z ilammy joined #scheme 2015-04-18T17:25:43Z daviid quit (Ping timeout: 256 seconds) 2015-04-18T17:31:33Z narendraj9 quit (Ping timeout: 248 seconds) 2015-04-18T17:48:01Z gravicappa joined #scheme 2015-04-18T17:49:16Z Guest56620 quit (Ping timeout: 240 seconds) 2015-04-18T17:54:53Z lritter joined #scheme 2015-04-18T18:08:01Z theseb quit (Quit: Leaving) 2015-04-18T18:42:42Z pjb quit (Read error: Connection reset by peer) 2015-04-18T18:43:30Z pjb joined #scheme 2015-04-18T18:43:41Z zlrth joined #scheme 2015-04-18T18:50:59Z hiroakip quit (Ping timeout: 250 seconds) 2015-04-18T19:06:07Z jeapostrophe joined #scheme 2015-04-18T19:16:32Z _sjs quit (Ping timeout: 264 seconds) 2015-04-18T19:21:31Z uber_hulk quit (Quit: Connection closed for inactivity) 2015-04-18T19:23:55Z karswell` joined #scheme 2015-04-18T19:28:45Z saul: I am wondering the reasoning behind ceiling, floor, truncate, and round not coercing the result to be exact. I understand that it is the rule (https://www.gnu.org/software/guile/manual/html_node/Exactness.html), but would like to know the reason for the rule. 2015-04-18T19:31:49Z karswell` is now known as karswell 2015-04-18T19:53:35Z pjb: saul: (round 1e300) --> 1000…0000 2015-04-18T19:53:50Z pjb: vs. (round 1e300) --> 1e300 2015-04-18T19:54:11Z saul: pjb, thanks. That makes sense. 2015-04-18T19:54:33Z civodul joined #scheme 2015-04-18T19:59:01Z acarrico joined #scheme 2015-04-18T20:02:12Z hiroakip joined #scheme 2015-04-18T20:02:32Z pchrist quit (Remote host closed the connection) 2015-04-18T20:09:16Z iKlsR quit (Ping timeout: 240 seconds) 2015-04-18T20:10:43Z gravicappa quit (Remote host closed the connection) 2015-04-18T20:12:22Z hiroakip quit (Ping timeout: 272 seconds) 2015-04-18T20:23:24Z jawny joined #scheme 2015-04-18T20:23:53Z hiroakip joined #scheme 2015-04-18T20:29:05Z pchrist joined #scheme 2015-04-18T20:45:31Z stepnem quit (Ping timeout: 265 seconds) 2015-04-18T21:12:23Z alezost quit (Quit: I use GNU Guix ) 2015-04-18T21:14:55Z kuribas joined #scheme 2015-04-18T21:30:43Z jeapostrophe quit (Ping timeout: 255 seconds) 2015-04-18T21:35:42Z jawny quit (Quit: Leaving) 2015-04-18T21:35:59Z jawny joined #scheme 2015-04-18T21:38:53Z gnomon joined #scheme 2015-04-18T21:42:33Z hiyosi joined #scheme 2015-04-18T21:46:02Z BWV988 joined #scheme 2015-04-18T21:47:59Z excelsior quit (Quit: Lost terminal) 2015-04-18T21:53:29Z tali713 quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-04-18T21:56:37Z Vutral quit (Ping timeout: 248 seconds) 2015-04-18T21:57:55Z ziocroc quit (Quit: ziocroc) 2015-04-18T22:00:32Z civodul quit (Quit: ERC (IRC client for Emacs 24.5.1)) 2015-04-18T22:01:27Z spew joined #scheme 2015-04-18T22:03:06Z Vutral joined #scheme 2015-04-18T22:08:42Z vdamewood joined #scheme 2015-04-18T22:14:24Z pecg joined #scheme 2015-04-18T22:19:36Z gnomon_ joined #scheme 2015-04-18T22:21:13Z jawny quit (Ping timeout: 245 seconds) 2015-04-18T22:21:16Z gnomon__ joined #scheme 2015-04-18T22:22:18Z gnomon__ quit (Client Quit) 2015-04-18T22:24:13Z gnomon_ quit (Client Quit) 2015-04-18T22:27:25Z jawny joined #scheme 2015-04-18T22:32:14Z oleo quit (Quit: Leaving) 2015-04-18T22:35:34Z badkins joined #scheme 2015-04-18T22:37:24Z peterhil joined #scheme 2015-04-18T22:37:25Z oleo joined #scheme 2015-04-18T22:44:27Z atlas__ joined #scheme 2015-04-18T22:46:50Z daviid joined #scheme 2015-04-18T22:46:54Z jawny quit (Ping timeout: 245 seconds) 2015-04-18T22:51:39Z j4cknewt joined #scheme 2015-04-18T23:04:50Z BWV988 quit (Quit: Page closed) 2015-04-18T23:12:08Z dsp joined #scheme 2015-04-18T23:18:12Z atlas__ quit (Ping timeout: 244 seconds) 2015-04-18T23:18:59Z hiroakip quit (Ping timeout: 245 seconds) 2015-04-18T23:20:13Z jeapostrophe joined #scheme 2015-04-18T23:20:13Z jeapostrophe quit (Changing host) 2015-04-18T23:20:13Z jeapostrophe joined #scheme 2015-04-18T23:24:13Z atlas__ joined #scheme 2015-04-18T23:33:34Z atlas__ quit (Ping timeout: 255 seconds) 2015-04-18T23:43:41Z kuribas quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-04-18T23:49:31Z vdamewood quit (Quit: ["Textual IRC Client: www.textualapp.com"])