2015-01-05T00:20:05Z kongtomorrow joined #scheme 2015-01-05T00:20:11Z mettekou quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T00:21:01Z mettekou joined #scheme 2015-01-05T00:39:15Z chemuduguntar joined #scheme 2015-01-05T00:39:59Z mettekou quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T00:43:37Z Vutral quit (Ping timeout: 244 seconds) 2015-01-05T00:51:18Z kongtomorrow quit 2015-01-05T00:51:20Z Vutral joined #scheme 2015-01-05T00:52:13Z oleo joined #scheme 2015-01-05T00:53:57Z zachstone quit (Ping timeout: 240 seconds) 2015-01-05T00:57:25Z AkashicLegend_ joined #scheme 2015-01-05T00:59:02Z AkashicLegend quit (Ping timeout: 245 seconds) 2015-01-05T00:59:02Z AkashicLegend_ is now known as AkashicLegend 2015-01-05T01:01:43Z AkashicLegend_ joined #scheme 2015-01-05T01:03:48Z AkashicLegend quit (Ping timeout: 264 seconds) 2015-01-05T01:03:48Z AkashicLegend_ is now known as AkashicLegend 2015-01-05T01:08:57Z slucx joined #scheme 2015-01-05T01:15:16Z mrowe is now known as mrowe_away 2015-01-05T01:17:29Z mrowe_away is now known as mrowe 2015-01-05T01:34:41Z rtra quit (Ping timeout: 265 seconds) 2015-01-05T01:39:29Z tadni joined #scheme 2015-01-05T01:39:35Z rtra joined #scheme 2015-01-05T01:49:13Z pllx joined #scheme 2015-01-05T01:53:30Z pllx quit (Client Quit) 2015-01-05T01:54:06Z echo-area joined #scheme 2015-01-05T01:57:51Z b4283 joined #scheme 2015-01-05T02:03:47Z slucx quit (Remote host closed the connection) 2015-01-05T02:05:28Z frkout joined #scheme 2015-01-05T02:13:37Z chemuduguntar quit (Ping timeout: 240 seconds) 2015-01-05T02:17:23Z slucx joined #scheme 2015-01-05T02:30:25Z AkashicLegend quit (Ping timeout: 255 seconds) 2015-01-05T02:31:51Z davexunit quit (Quit: Later) 2015-01-05T02:38:34Z tobik quit (Ping timeout: 245 seconds) 2015-01-05T02:39:04Z AkashicLegend joined #scheme 2015-01-05T02:39:34Z tobik joined #scheme 2015-01-05T02:46:18Z AkashicLegend_ joined #scheme 2015-01-05T02:47:44Z AkashicLegend quit (Ping timeout: 250 seconds) 2015-01-05T02:47:44Z AkashicLegend_ is now known as AkashicLegend 2015-01-05T03:09:09Z zachstone joined #scheme 2015-01-05T03:21:48Z enitiz quit (Quit: Leaving) 2015-01-05T03:22:18Z enitiz joined #scheme 2015-01-05T03:28:26Z tadni quit (Remote host closed the connection) 2015-01-05T03:29:29Z tadni joined #scheme 2015-01-05T03:31:32Z zachstone quit (Ping timeout: 244 seconds) 2015-01-05T03:37:46Z echo-area quit (Remote host closed the connection) 2015-01-05T03:39:04Z echo-area joined #scheme 2015-01-05T03:43:43Z zachstone joined #scheme 2015-01-05T03:46:22Z unibovin joined #scheme 2015-01-05T03:48:07Z zachstone quit (Ping timeout: 256 seconds) 2015-01-05T03:48:14Z unibovin: What happens if you only give one of the optional args? (lambda* (a b #:optional c d) ...) 2015-01-05T03:48:42Z unibovin: bound to c? Is it possible to bind to d? 2015-01-05T03:50:33Z unibovin: 189 in here 2015-01-05T03:52:12Z hive-mind quit (Ping timeout: 244 seconds) 2015-01-05T03:54:13Z hive-mind joined #scheme 2015-01-05T03:57:22Z oldskirt_ quit (Ping timeout: 240 seconds) 2015-01-05T04:07:00Z amgarchIn9 joined #scheme 2015-01-05T04:10:42Z alexei___ quit (Ping timeout: 245 seconds) 2015-01-05T04:15:14Z unibovin quit (Ping timeout: 245 seconds) 2015-01-05T04:22:12Z technomancy: I'm working on an article about using microscheme for arduino-type stuff; anyone care to review it before I post it? 2015-01-05T04:24:57Z vanila: id like to read it! 2015-01-05T04:26:24Z zachstone joined #scheme 2015-01-05T04:26:39Z b4283 quit (Ping timeout: 256 seconds) 2015-01-05T04:26:57Z b4283 joined #scheme 2015-01-05T04:35:26Z technomancy: please do let me know if you have any feedback: http://atreus.technomancy.us/firmware 2015-01-05T04:37:18Z vanila: you made a keyboard in scheme?? :D 2015-01-05T04:37:27Z technomancy: sort of! 2015-01-05T04:37:47Z technomancy: for day-to-day use I still use my C firmware; this is still experimental 2015-01-05T04:37:56Z technomancy: I used racket to design the circuit board for it though 2015-01-05T04:38:11Z ecthiender joined #scheme 2015-01-05T04:38:32Z vanila: too cool! Is there a post about that? 2015-01-05T04:39:05Z technomancy: this post sorta talks about it http://technomancy.us/176 2015-01-05T04:39:34Z technomancy: mostly the racket code is just doing trig to rotate and place pads for the key switches and diodes 2015-01-05T04:39:42Z technomancy: but since the kicad format uses sexps it was actually pretty fun 2015-01-05T04:43:10Z vanila: this is the best thing ive seen :) 2015-01-05T04:43:16Z technomancy: haha, thanks 2015-01-05T04:43:21Z vanila: this so cool! 2015-01-05T04:43:25Z technomancy: quit my job a few weeks ago to start selling these =) 2015-01-05T04:43:55Z offby1 jerks awake 2015-01-05T04:43:58Z offby1: I didn't know that 2015-01-05T04:44:20Z technomancy: offby1: well, among other things 2015-01-05T04:44:40Z technomancy: offby1: http://technomancy.us/177 has the scoop 2015-01-05T04:45:08Z offby1: oh yeah, I read your blog 2015-01-05T04:45:18Z offby1: I've already gone through the searing envy 2015-01-05T04:48:09Z zv quit (Ping timeout: 245 seconds) 2015-01-05T04:48:38Z leocp1 joined #scheme 2015-01-05T04:48:57Z leocp1 left #scheme 2015-01-05T04:50:04Z dmiles quit (Read error: Connection reset by peer) 2015-01-05T04:52:37Z ecthiender quit (Ping timeout: 240 seconds) 2015-01-05T04:56:08Z kazimir42 joined #scheme 2015-01-05T04:59:07Z technomancy: anyway I'm trying to decide if a fold is appropriate for scanning over the keys 2015-01-05T04:59:49Z offby1: I guess if "fold" is all you have ... 2015-01-05T05:00:07Z offby1: if you were using racket, of course, it'd be one of those iteration thingies -- for/list or perhaps for/keyboard 2015-01-05T05:00:14Z technomancy: heh 2015-01-05T05:00:16Z technomancy: well fold would be fine if I had curry 2015-01-05T05:00:26Z technomancy: but microscheme is pretty micro 2015-01-05T05:00:34Z offby1: Ham and eggs would be fine, if I had some ham, and if I had some eggs 2015-01-05T05:00:48Z technomancy: it doesn't even have apply, but I'm going to implement that before I get to the next installment in this series 2015-01-05T05:01:09Z offby1: how can a so-called scheme not have apply?! 2015-01-05T05:01:20Z technomancy: "subset of scheme" =) 2015-01-05T05:01:36Z vanila: yeah just had a look at microscheme compiler 2015-01-05T05:01:40Z vanila: pretty basic! 2015-01-05T05:01:51Z technomancy: it's some guy's masters thesis; only released a handful of weeks ago 2015-01-05T05:02:03Z technomancy: but it's better than anything else I've found for this chip 2015-01-05T05:02:04Z vanila: oh I better have a look at that 2015-01-05T05:02:21Z technomancy: (I tried to write a forth, but I couldn't make it fit in 2.5k of ram) 2015-01-05T05:03:04Z offby1: wow, your microscheme does? OK, I take it all back 2015-01-05T05:03:14Z offby1: or are you compiling on a real computer? 2015-01-05T05:03:27Z technomancy: this is extremely micro 2015-01-05T05:03:32Z offby1: pico 2015-01-05T05:03:36Z technomancy: two point five killa bytes 2015-01-05T05:08:08Z ecthiender joined #scheme 2015-01-05T05:09:47Z kazimir42 quit (Ping timeout: 250 seconds) 2015-01-05T05:09:50Z xyh joined #scheme 2015-01-05T05:15:01Z chu joined #scheme 2015-01-05T05:15:18Z xyh quit (Remote host closed the connection) 2015-01-05T05:16:46Z technomancy: cool... typing this on a fully microshemed firmware. 2015-01-05T05:17:00Z zachstone quit (Ping timeout: 264 seconds) 2015-01-05T05:17:02Z technomancy: fully-microschemed 2015-01-05T05:17:09Z technomancy: also it has no modifiers yet 2015-01-05T05:17:55Z technomancy: no debouncing, no rollover, but it's a start 2015-01-05T05:17:57Z AkashicLegend quit (Quit: AkashicLegend) 2015-01-05T05:19:03Z technomancy: https://github.com/technomancy/menelaus/blob/master/menelaus.scm 2015-01-05T05:20:04Z zachstone joined #scheme 2015-01-05T05:21:08Z oleo quit (Quit: Verlassend) 2015-01-05T05:26:22Z zachstone quit (Ping timeout: 255 seconds) 2015-01-05T05:39:39Z kilimanjaro quit (Remote host closed the connection) 2015-01-05T05:40:17Z kilimanjaro joined #scheme 2015-01-05T05:40:18Z kilimanjaro quit (Remote host closed the connection) 2015-01-05T05:41:44Z enitiz quit (Ping timeout: 244 seconds) 2015-01-05T05:41:50Z vanila: so microscheme 2015-01-05T05:41:54Z kilimanjaro joined #scheme 2015-01-05T05:42:03Z vanila: it seems to compile a tail recursive loop into something pretty big/complex 2015-01-05T05:42:14Z vanila: involving shifting args down into the stack frame every iteration? 2015-01-05T05:42:21Z kilimanjaro quit (Changing host) 2015-01-05T05:42:21Z kilimanjaro joined #scheme 2015-01-05T05:43:00Z vanila: of course it needs to have a good general strategy but it might be nice to have a special case for the example you gave where the loop as 0 args 2015-01-05T05:43:14Z technomancy: I haven't looked at the output at all, but the maintainer has been extremely responsive to bug reports and suggestions. 2015-01-05T05:44:00Z ecthiender quit (Ping timeout: 244 seconds) 2015-01-05T05:45:13Z technomancy: the status quo for software quality in arduino land is pretty low; I've been pleasantly surprised with everything I've seen with microscheme so far. 2015-01-05T05:45:19Z technomancy: but I don't know the first thing about assembly. 2015-01-05T05:45:54Z vanila: yeah I mean this is amazing, I love it:) 2015-01-05T05:46:03Z vanila: Just looking through his paper 2015-01-05T05:47:19Z technomancy: I heart it so 2015-01-05T05:47:43Z BossKonaSegwaY joined #scheme 2015-01-05T05:47:46Z mrowe is now known as mrowe_away 2015-01-05T05:48:37Z ecthiender joined #scheme 2015-01-05T05:49:20Z technomancy: vanila: do you think my article does a decent job of explaining what's going on? 2015-01-05T05:50:26Z vanila: yeah I really liked that, Im not exactly a proof reader but nothing weird stuck out to me either 2015-01-05T05:51:03Z dmiles_afk joined #scheme 2015-01-05T05:53:39Z technomancy: thanks 2015-01-05T06:00:55Z kazimir42 joined #scheme 2015-01-05T06:16:25Z zachstone joined #scheme 2015-01-05T06:21:18Z fsckd quit (Ping timeout: 265 seconds) 2015-01-05T06:22:44Z dmiles_afk quit (Ping timeout: 245 seconds) 2015-01-05T06:33:56Z turtleman_ quit (Ping timeout: 250 seconds) 2015-01-05T06:34:46Z dmiles_afk joined #scheme 2015-01-05T06:35:35Z kazimir42 quit (Ping timeout: 250 seconds) 2015-01-05T06:53:47Z Riastradh quit (Ping timeout: 250 seconds) 2015-01-05T06:55:50Z Riastradh joined #scheme 2015-01-05T07:14:36Z kongtomorrow joined #scheme 2015-01-05T07:17:40Z slucx left #scheme 2015-01-05T07:36:56Z gravicappa joined #scheme 2015-01-05T07:41:32Z robot-beethoven quit (Ping timeout: 265 seconds) 2015-01-05T07:43:22Z vinleod quit (Quit: Computer has gone to sleep.) 2015-01-05T07:50:14Z mettekou joined #scheme 2015-01-05T07:56:22Z zachstone quit (Ping timeout: 240 seconds) 2015-01-05T07:57:34Z amgarchIn9 quit (Ping timeout: 250 seconds) 2015-01-05T07:57:48Z oldskirt joined #scheme 2015-01-05T08:02:36Z oldskirt quit (Ping timeout: 264 seconds) 2015-01-05T08:07:12Z kongtomorrow quit 2015-01-05T08:17:02Z Bahman joined #scheme 2015-01-05T08:17:50Z abbe quit (Quit: “Everytime that we are together, it's always estatically palpitating!”) 2015-01-05T08:26:41Z benregn joined #scheme 2015-01-05T08:29:41Z taylanub joined #scheme 2015-01-05T08:34:07Z vinleod joined #scheme 2015-01-05T08:38:47Z abbe joined #scheme 2015-01-05T08:44:52Z robot-beethoven joined #scheme 2015-01-05T08:46:27Z vinleod left #scheme 2015-01-05T08:54:05Z vdamewood joined #scheme 2015-01-05T08:58:39Z vdamewood left #scheme 2015-01-05T09:07:54Z excelsior joined #scheme 2015-01-05T09:09:55Z benregn quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T09:14:40Z vdamewood joined #scheme 2015-01-05T09:15:42Z fgudin joined #scheme 2015-01-05T09:19:54Z vdamewood is now known as vinleod 2015-01-05T09:23:17Z benregn joined #scheme 2015-01-05T09:25:00Z benregn quit (Client Quit) 2015-01-05T09:27:00Z vinleod is now known as vdamewood 2015-01-05T09:41:26Z msgodf joined #scheme 2015-01-05T09:49:39Z ecthiender quit (Ping timeout: 256 seconds) 2015-01-05T09:53:32Z mettekou quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T09:55:10Z ecthiender joined #scheme 2015-01-05T09:55:52Z Bahman quit (Ping timeout: 250 seconds) 2015-01-05T09:56:08Z zachstone joined #scheme 2015-01-05T09:58:56Z oldskirt joined #scheme 2015-01-05T10:00:10Z benregn joined #scheme 2015-01-05T10:00:11Z hiyosi joined #scheme 2015-01-05T10:03:22Z oldskirt quit (Ping timeout: 240 seconds) 2015-01-05T10:03:34Z vanila quit (Quit: Leaving) 2015-01-05T10:09:09Z Bahman joined #scheme 2015-01-05T10:09:13Z benregn quit (Quit: Textual IRC Client: www.textualapp.com) 2015-01-05T10:10:40Z benregn joined #scheme 2015-01-05T10:21:50Z benregn quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T10:25:20Z stepnem joined #scheme 2015-01-05T10:26:00Z zachstone quit (Ping timeout: 264 seconds) 2015-01-05T10:34:37Z ecthiender quit (Ping timeout: 255 seconds) 2015-01-05T10:35:17Z ventonegro joined #scheme 2015-01-05T10:43:02Z robot-beethoven quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-01-05T10:44:39Z benregn joined #scheme 2015-01-05T10:47:45Z echo-area quit (Remote host closed the connection) 2015-01-05T10:47:55Z ventonegro quit (Remote host closed the connection) 2015-01-05T10:48:20Z ventonegro joined #scheme 2015-01-05T10:48:51Z ecthiender joined #scheme 2015-01-05T10:49:57Z ventonegro quit (Remote host closed the connection) 2015-01-05T10:51:14Z ventonegro joined #scheme 2015-01-05T10:51:42Z ecthiender quit (Excess Flood) 2015-01-05T10:59:40Z oldskirt joined #scheme 2015-01-05T10:59:58Z ecthiender joined #scheme 2015-01-05T11:00:31Z benregn quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T11:03:59Z oldskirt quit (Ping timeout: 245 seconds) 2015-01-05T11:05:01Z bjz joined #scheme 2015-01-05T11:26:00Z ecthiender quit (Ping timeout: 264 seconds) 2015-01-05T11:28:22Z Natch quit (Remote host closed the connection) 2015-01-05T11:36:31Z excelsio1 joined #scheme 2015-01-05T11:36:36Z Bahman quit (*.net *.split) 2015-01-05T11:36:36Z msgodf quit (*.net *.split) 2015-01-05T11:36:36Z excelsior quit (*.net *.split) 2015-01-05T11:36:37Z REPLeffect quit (*.net *.split) 2015-01-05T11:36:37Z agumonkey quit (*.net *.split) 2015-01-05T11:36:37Z cjh` quit (*.net *.split) 2015-01-05T11:36:37Z rudybot quit (*.net *.split) 2015-01-05T11:36:37Z sigjuice quit (*.net *.split) 2015-01-05T11:36:37Z gnomon quit (*.net *.split) 2015-01-05T11:36:37Z amoe quit (*.net *.split) 2015-01-05T11:36:37Z FracV quit (*.net *.split) 2015-01-05T11:36:37Z ByronJohnson quit (*.net *.split) 2015-01-05T11:36:39Z gnomon_ joined #scheme 2015-01-05T11:36:40Z sigjuice_ joined #scheme 2015-01-05T11:36:48Z REPLeffect joined #scheme 2015-01-05T11:36:50Z amoe joined #scheme 2015-01-05T11:36:57Z ByronJohnson joined #scheme 2015-01-05T11:37:24Z msgodf joined #scheme 2015-01-05T11:37:33Z FracV_ joined #scheme 2015-01-05T11:37:34Z cjh`_ joined #scheme 2015-01-05T11:38:29Z Bahman joined #scheme 2015-01-05T11:38:34Z gf3 quit (Ping timeout: 250 seconds) 2015-01-05T11:38:49Z gf3 joined #scheme 2015-01-05T11:39:27Z rudybot joined #scheme 2015-01-05T11:39:43Z nowhere_man quit (Remote host closed the connection) 2015-01-05T11:40:06Z nowhere_man joined #scheme 2015-01-05T11:40:48Z agumonkey joined #scheme 2015-01-05T11:40:55Z bjz quit (Read error: Connection reset by peer) 2015-01-05T11:41:36Z xyh joined #scheme 2015-01-05T11:43:32Z FracV_ is now known as FracV 2015-01-05T11:43:43Z FracV quit (Changing host) 2015-01-05T11:43:43Z FracV joined #scheme 2015-01-05T11:45:26Z ecthiender joined #scheme 2015-01-05T11:47:27Z soggybread quit (Quit: leaving) 2015-01-05T11:47:37Z bjz joined #scheme 2015-01-05T11:48:04Z wilfredh quit (Quit: Connection closed for inactivity) 2015-01-05T11:55:00Z Natch joined #scheme 2015-01-05T12:02:17Z fantazo joined #scheme 2015-01-05T12:09:58Z bjz quit (Read error: Connection reset by peer) 2015-01-05T12:10:13Z bjz_ joined #scheme 2015-01-05T12:27:58Z araujo joined #scheme 2015-01-05T12:28:11Z ecthiender quit (Ping timeout: 250 seconds) 2015-01-05T12:39:49Z Natch quit (Ping timeout: 245 seconds) 2015-01-05T12:41:58Z ecthiender joined #scheme 2015-01-05T12:42:20Z bjz joined #scheme 2015-01-05T12:42:43Z bjz_ quit (Read error: Connection reset by peer) 2015-01-05T12:48:46Z adbge quit (Ping timeout: 250 seconds) 2015-01-05T12:49:46Z Natch joined #scheme 2015-01-05T12:50:06Z psy quit (Remote host closed the connection) 2015-01-05T12:50:30Z bjz quit (Ping timeout: 250 seconds) 2015-01-05T12:51:13Z bjz joined #scheme 2015-01-05T12:52:40Z xyh quit (Remote host closed the connection) 2015-01-05T12:53:33Z Kryo quit (Ping timeout: 250 seconds) 2015-01-05T12:53:49Z Kryo joined #scheme 2015-01-05T12:57:48Z ecthiender quit (Ping timeout: 244 seconds) 2015-01-05T12:58:15Z fsckd joined #scheme 2015-01-05T13:07:04Z civodul joined #scheme 2015-01-05T13:09:22Z bjz quit (Ping timeout: 240 seconds) 2015-01-05T13:15:56Z adbge joined #scheme 2015-01-05T13:18:01Z bjz joined #scheme 2015-01-05T13:22:14Z bjz quit (Read error: Connection reset by peer) 2015-01-05T13:28:50Z jzp113 joined #scheme 2015-01-05T13:29:07Z jzp113: hi 2015-01-05T13:29:54Z taylanub: ho 2015-01-05T13:30:41Z bjz joined #scheme 2015-01-05T13:32:11Z jzp113: 1 ]=> (define (f x y z) 2015-01-05T13:32:12Z jzp113: (cond ((and (< x y) (< x z)) (+ y z)) 2015-01-05T13:32:12Z jzp113: (else (cond ((< y z) (+ x z)) 2015-01-05T13:32:12Z jzp113: (else (+ x y)))))) 2015-01-05T13:32:12Z jzp113: ;Value: f 2015-01-05T13:32:12Z jzp113: 1 ]=> f 0 1 2 2015-01-05T13:32:14Z jzp113: ;Value 12: #[compound-procedure 12 f] 2015-01-05T13:32:16Z jzp113: 1 ]=> 2015-01-05T13:32:20Z jzp113: ;Value: 0 2015-01-05T13:32:22Z jzp113: 1 ]=> 2015-01-05T13:32:24Z jzp113: ;Value: 1 2015-01-05T13:32:26Z jzp113: 1 ]=> 2015-01-05T13:32:28Z jzp113: ;Value: 2 2015-01-05T13:32:30Z jzp113: https://bpaste.net/show/6aa65865c91e 2015-01-05T13:32:32Z jzp113: sorry I forget 2015-01-05T13:32:57Z jzp113: why I can't get right answer? 2015-01-05T13:33:17Z taylanub: jzp113: please use a pastebin the next time, like paste.lisp.org 2015-01-05T13:33:22Z taylanub: oh you kind of did ... 2015-01-05T13:33:36Z jzp113: https://bpaste.net/show/6aa65865c91e see it 2015-01-05T13:34:01Z ijp: f 0 1 2 is not a function call 2015-01-05T13:34:03Z taylanub: jzp113: function application is (function arg1 arg2 ...), with parentheses 2015-01-05T13:34:15Z taylanub: not like in Haskell and such 2015-01-05T13:34:29Z ijp: repeat until you remember: parentheses matter, parentheses matter, parentheses matter, parentheses matter 2015-01-05T13:34:31Z Bahman quit (Quit: Leaving.) 2015-01-05T13:34:41Z jzp113: ok 2015-01-05T13:34:47Z joneshf-laptop quit (Read error: Connection reset by peer) 2015-01-05T13:35:25Z jzp113: I think it's a bad idea when you type the code in commend 2015-01-05T13:35:34Z ijp: btw, rather than (cond (a b) (else (cond (c d) (else e)))) you can do (cond (a b) (c d) (else e)) 2015-01-05T13:36:15Z jzp113: it's so hard type 2015-01-05T13:36:38Z joneshf-laptop joined #scheme 2015-01-05T13:36:50Z acieroid` is now known as acieroid 2015-01-05T13:39:49Z bjz quit (Ping timeout: 245 seconds) 2015-01-05T13:40:42Z davexunit joined #scheme 2015-01-05T13:44:49Z taylanub quit (Disconnected by services) 2015-01-05T13:45:21Z taylanub joined #scheme 2015-01-05T13:51:16Z gnomon_ is now known as gnomon 2015-01-05T13:56:42Z bjz joined #scheme 2015-01-05T13:58:46Z tadni quit (Ping timeout: 244 seconds) 2015-01-05T14:00:52Z psy joined #scheme 2015-01-05T14:00:53Z tadni joined #scheme 2015-01-05T14:05:17Z motersen joined #scheme 2015-01-05T14:05:44Z motersen quit (Client Quit) 2015-01-05T14:10:10Z bjz quit (Ping timeout: 255 seconds) 2015-01-05T14:13:11Z bjz joined #scheme 2015-01-05T14:23:33Z bjz quit (Read error: Connection reset by peer) 2015-01-05T14:25:43Z bjz joined #scheme 2015-01-05T14:27:08Z rudybot quit (Ping timeout: 250 seconds) 2015-01-05T14:27:42Z rudybot joined #scheme 2015-01-05T14:31:52Z daviid joined #scheme 2015-01-05T14:39:04Z lfo joined #scheme 2015-01-05T14:39:49Z bjz quit (Ping timeout: 245 seconds) 2015-01-05T14:41:13Z adu quit (Quit: adu) 2015-01-05T14:47:49Z gravicappa quit (Remote host closed the connection) 2015-01-05T14:57:56Z oleo joined #scheme 2015-01-05T14:59:49Z bjz joined #scheme 2015-01-05T15:01:36Z alezost joined #scheme 2015-01-05T15:03:26Z sonstwo joined #scheme 2015-01-05T15:04:16Z ffs quit (Ping timeout: 265 seconds) 2015-01-05T15:10:02Z bjz quit (Ping timeout: 250 seconds) 2015-01-05T15:12:06Z mettekou joined #scheme 2015-01-05T15:13:09Z jumblerg joined #scheme 2015-01-05T15:18:26Z mettekou quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T15:21:28Z bjz joined #scheme 2015-01-05T15:25:18Z karswell` joined #scheme 2015-01-05T15:25:24Z karswell quit (Remote host closed the connection) 2015-01-05T15:25:59Z Riastradh quit (Ping timeout: 250 seconds) 2015-01-05T15:38:03Z bjz quit (Read error: Connection reset by peer) 2015-01-05T15:42:30Z nowhere_man quit (Read error: Connection reset by peer) 2015-01-05T15:43:22Z tadni quit (Ping timeout: 240 seconds) 2015-01-05T15:55:53Z bjz joined #scheme 2015-01-05T16:01:01Z fantazo quit (Quit: Verlassend) 2015-01-05T16:04:00Z araujo quit (Ping timeout: 244 seconds) 2015-01-05T16:04:34Z Bor0 joined #scheme 2015-01-05T16:05:52Z araujo joined #scheme 2015-01-05T16:11:34Z bjz quit (Ping timeout: 250 seconds) 2015-01-05T16:15:34Z bjz joined #scheme 2015-01-05T16:20:14Z technomancy: posted this yesterday, but https://lobste.rs/s/luicbo/using_microscheme_to_write_a_keyboard_controller_part_1 2015-01-05T16:20:23Z rudybot: http://tinyurl.com/p8wuzlx 2015-01-05T16:20:57Z Bor0 left #scheme 2015-01-05T16:22:47Z technomancy: I mean, I linked to the draft 2015-01-05T16:22:55Z jzp113 quit (Ping timeout: 244 seconds) 2015-01-05T16:23:49Z joneshf-laptop quit (Quit: Leaving) 2015-01-05T16:26:31Z psy quit (Ping timeout: 255 seconds) 2015-01-05T16:35:28Z Riastradh joined #scheme 2015-01-05T16:36:32Z psy joined #scheme 2015-01-05T16:40:27Z bjz quit (Ping timeout: 265 seconds) 2015-01-05T16:41:04Z Bahman joined #scheme 2015-01-05T16:45:14Z xyh joined #scheme 2015-01-05T17:07:32Z msgodf quit (Remote host closed the connection) 2015-01-05T17:09:05Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T17:12:01Z nowhere_man joined #scheme 2015-01-05T17:12:37Z jumblerg joined #scheme 2015-01-05T17:20:42Z bjz joined #scheme 2015-01-05T17:21:33Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T17:22:47Z daviid quit (Ping timeout: 245 seconds) 2015-01-05T17:23:59Z turtleman_ joined #scheme 2015-01-05T17:24:05Z civodul quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-01-05T17:27:37Z amgarchIn9 joined #scheme 2015-01-05T17:28:36Z jumblerg joined #scheme 2015-01-05T17:30:39Z xyh quit (Remote host closed the connection) 2015-01-05T17:38:46Z bjz quit (Read error: Connection reset by peer) 2015-01-05T17:38:48Z gravicappa joined #scheme 2015-01-05T17:55:59Z bjz joined #scheme 2015-01-05T18:09:10Z adu joined #scheme 2015-01-05T18:10:31Z abbe quit (Read error: Connection reset by peer) 2015-01-05T18:10:55Z abbe joined #scheme 2015-01-05T18:11:15Z taylanub quit (Remote host closed the connection) 2015-01-05T18:11:45Z samth quit (Read error: Connection reset by peer) 2015-01-05T18:11:47Z taylanub joined #scheme 2015-01-05T18:11:48Z cojy quit (Read error: Connection reset by peer) 2015-01-05T18:11:48Z carc quit (Ping timeout: 265 seconds) 2015-01-05T18:11:54Z gluegadget quit (Read error: Connection reset by peer) 2015-01-05T18:12:05Z superjudge quit (Read error: Connection reset by peer) 2015-01-05T18:12:05Z aksatac quit (Read error: Connection reset by peer) 2015-01-05T18:12:06Z dytrivedi quit (Read error: Network is unreachable) 2015-01-05T18:12:07Z bb010g quit (Read error: Connection reset by peer) 2015-01-05T18:12:07Z ggherdov quit (Read error: Connection reset by peer) 2015-01-05T18:12:17Z chameco quit (Ping timeout: 265 seconds) 2015-01-05T18:12:25Z CatPlusPlus quit (Remote host closed the connection) 2015-01-05T18:12:46Z GGMethos quit (Ping timeout: 265 seconds) 2015-01-05T18:13:44Z hive-mind quit (Ping timeout: 265 seconds) 2015-01-05T18:13:44Z vikraman quit (Ping timeout: 265 seconds) 2015-01-05T18:14:13Z rtra quit (Ping timeout: 265 seconds) 2015-01-05T18:14:13Z Riviera quit (Ping timeout: 265 seconds) 2015-01-05T18:14:13Z pchrist quit (Ping timeout: 265 seconds) 2015-01-05T18:14:13Z averell quit (Ping timeout: 265 seconds) 2015-01-05T18:15:09Z cojy joined #scheme 2015-01-05T18:15:16Z ggherdov joined #scheme 2015-01-05T18:15:18Z gluegadget joined #scheme 2015-01-05T18:15:22Z hive-mind joined #scheme 2015-01-05T18:16:28Z Riviera joined #scheme 2015-01-05T18:16:29Z carc joined #scheme 2015-01-05T18:16:31Z vikraman joined #scheme 2015-01-05T18:16:31Z vikraman quit (Changing host) 2015-01-05T18:16:31Z vikraman joined #scheme 2015-01-05T18:16:33Z averell joined #scheme 2015-01-05T18:16:40Z CatPlusPlus joined #scheme 2015-01-05T18:16:41Z rtra joined #scheme 2015-01-05T18:16:54Z aksatac joined #scheme 2015-01-05T18:17:00Z superjudge joined #scheme 2015-01-05T18:17:38Z chameco joined #scheme 2015-01-05T18:17:40Z samth joined #scheme 2015-01-05T18:18:44Z GGMethos joined #scheme 2015-01-05T18:19:26Z dytrivedi joined #scheme 2015-01-05T18:20:14Z bb010g joined #scheme 2015-01-05T18:24:41Z b4283 quit (Quit: Konversation terminated!) 2015-01-05T18:25:19Z bjz quit (Ping timeout: 256 seconds) 2015-01-05T18:35:49Z averell quit (Changing host) 2015-01-05T18:35:49Z averell joined #scheme 2015-01-05T18:40:49Z karswell` quit (Read error: Connection reset by peer) 2015-01-05T18:43:17Z bjz joined #scheme 2015-01-05T18:44:01Z pchrist joined #scheme 2015-01-05T18:44:44Z zadock joined #scheme 2015-01-05T18:46:03Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T18:51:28Z amgarchIn9 quit (Ping timeout: 250 seconds) 2015-01-05T18:55:17Z bjz quit (Ping timeout: 245 seconds) 2015-01-05T18:59:08Z senoj joined #scheme 2015-01-05T19:00:43Z jumblerg joined #scheme 2015-01-05T19:04:27Z bjz joined #scheme 2015-01-05T19:09:41Z karswell joined #scheme 2015-01-05T19:18:51Z hiyosi quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T19:23:22Z bjz quit (Read error: Connection reset by peer) 2015-01-05T19:29:08Z kazimir42 joined #scheme 2015-01-05T19:31:05Z psy quit (Disconnected by services) 2015-01-05T19:31:23Z psy_ joined #scheme 2015-01-05T19:32:06Z bjz joined #scheme 2015-01-05T19:40:08Z civodul joined #scheme 2015-01-05T19:41:11Z amgarchIn9 joined #scheme 2015-01-05T19:43:55Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T19:45:02Z offby1: technomancy sure likes his Greek mythology 2015-01-05T19:45:48Z jumblerg joined #scheme 2015-01-05T19:49:55Z zadock quit (Quit: Leaving) 2015-01-05T19:54:30Z turbofail: fortunately keyboard firmware probably doesn't need any memory allocation beyond the initial setup 2015-01-05T20:02:55Z ijp quit (Quit: internet-induced depression) 2015-01-05T20:03:11Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T20:06:51Z kuribas joined #scheme 2015-01-05T20:07:39Z kuribas: Do there exist implementations for arbitrary precision floatingpoint numbers? 2015-01-05T20:08:49Z taylanub: kuribas: many Scheme platforms implement exact rational numbers, if that helps. 2015-01-05T20:09:07Z taylanub: they are not technically floating point, but can be thought of as infinite-precision "floats" 2015-01-05T20:10:33Z kuribas: taylanub: yes. I was more thinking of floating point numbers with a fixed number of digits. 2015-01-05T20:11:00Z Riastradh: kuribas: http://www.mpfr.org/ 2015-01-05T20:12:51Z kuribas: Riastradh: In particular, I wanted it to run on android. I noticed a lack of a good numerical calculator on android (like gnu octave or julia), so I thought I could write something in scheme. 2015-01-05T20:13:08Z kuribas: So preferably no C libraries. 2015-01-05T20:13:11Z excelsio1 quit (Quit: Lost terminal) 2015-01-05T20:13:19Z Riastradh: http://www.galexander.org/software/soft84/? 2015-01-05T20:14:11Z Riastradh: No Scheme systems I know of provide arbitrary-precision floats; any that do I would expect to use mpfr for the purpose. 2015-01-05T20:14:24Z amgarchIn9 quit (Ping timeout: 245 seconds) 2015-01-05T20:14:30Z kuribas: right. 2015-01-05T20:16:44Z kuribas: I used maxima, which works ok, but matrix syntax is cumbersome (Matrix([1, 2], [3, 4] 2015-01-05T20:16:58Z kuribas: ) instead of [1 2; 3 4] 2015-01-05T20:17:47Z amgarchIn9 joined #scheme 2015-01-05T20:18:10Z kuribas: But looking around on the internet, it seems scheme isn't so often used for numerical calculations. 2015-01-05T20:18:36Z kuribas: I only found an implementation of the fft in a mailing list post... 2015-01-05T20:19:25Z jumblerg joined #scheme 2015-01-05T20:20:57Z Riastradh: Not much, no. Brad Lucier does a lot of numerical analysis with Gambit; Gerry Sussman and Jack Wisdom do celestial mechanics with MIT Scheme; Jeff Siskind and Barak Pearlmutter do numerical optimization via automatic differentiation in sort-of Scheme. But nothing is as widely used as, e.g., Matlab and Octave. 2015-01-05T20:23:05Z kuribas: Yeah. Octave is great, but a pain to program. Julia seems like a better octave for programming. But unfortunately neither run on android. 2015-01-05T20:23:58Z Riastradh: Chances are mpfr really is your best bet for high-quality arbitrary-precision floating-point computation even on Android. 2015-01-05T20:24:24Z bjz quit (Ping timeout: 244 seconds) 2015-01-05T20:26:49Z kuribas: I'd prefer to avoid the ndk if I could. 2015-01-05T20:27:14Z Riastradh: (...I'd prefer to avoid the monstrosity of Java if I could...) 2015-01-05T20:28:16Z jumblerg quit (Quit: My Mac has gone to sleep. ZZZzzz…) 2015-01-05T20:28:24Z kuribas: Riastradh: sure, but if I use kawa, I don't need to code any Java. 2015-01-05T20:28:37Z Riastradh: No, but you still need to interact with the whole Java world... 2015-01-05T20:34:15Z kuribas: Doesn't kawa hide most of it? 2015-01-05T20:35:22Z kuribas: Except UI API, which is written in java anyway. 2015-01-05T20:35:32Z kuribas: Being android... 2015-01-05T20:36:01Z Riastradh: I dunno, strikes me as unlikely. Of course, one might not be able to avoid the Java world with the NDK either; I spent a few afternoons trying to figure out Android development and gave up in disgust at the whole thing. 2015-01-05T20:36:12Z mumptai joined #scheme 2015-01-05T20:41:51Z vdamewood quit (Quit: ["Textual IRC Client: www.textualapp.com"]) 2015-01-05T20:46:41Z karswell quit (Read error: Connection reset by peer) 2015-01-05T20:46:56Z karswell joined #scheme 2015-01-05T20:50:55Z kongtomorrow joined #scheme 2015-01-05T20:51:18Z pjb quit (Ping timeout: 265 seconds) 2015-01-05T20:51:35Z kuribas: I wonder how hard it would be to implement abitrary precision float using bigints. 2015-01-05T20:52:51Z kuribas: Since a float is just an int with an exponent 2015-01-05T20:54:27Z kazimir42 quit (Ping timeout: 250 seconds) 2015-01-05T20:56:14Z kuribas: It would be easy for arithmetic, but implementing sin, exp, etc, would be harder. 2015-01-05T20:57:36Z kuribas: Luckily the algorithms are specied: http://www.mpfr.org/algo.html 2015-01-05T21:00:12Z pjb joined #scheme 2015-01-05T21:08:57Z hiroakip joined #scheme 2015-01-05T21:10:20Z oldskirt joined #scheme 2015-01-05T21:11:30Z kongtomorrow: kuribas: usually a bigint just takes as much space as necessary for a precise representation, right? 2015-01-05T21:11:50Z kongtomorrow: kuribas: that impl is possible for the return from sin, since it'll usually be infinite non-repeating 2015-01-05T21:12:11Z kongtomorrow: s/possible/impossible/ 2015-01-05T21:13:31Z kongtomorrow: so you could try to do something that lazily generated digits on command… 2015-01-05T21:13:38Z kuribas: kongtomorrow: I believe mpfr uses gmp bignums. All the algorithms are here: http://www.mpfr.org/algorithms.pdf 2015-01-05T21:13:44Z kongtomorrow: …but it'd have to be smart enough to leave the sum of two such numbers lazy as well 2015-01-05T21:14:56Z kongtomorrow: kuribas: are you looking for user-specified precision, or perfect precision by expanding the amount of space required? 2015-01-05T21:15:04Z kuribas: use specified precision 2015-01-05T21:15:09Z kuribas: user 2015-01-05T21:15:10Z kongtomorrow: ah, ok. 2015-01-05T21:15:32Z Riastradh: kuribas: The basic principles are easy. Implementing all the functions you want to implement with correct rounding to any precision takes a lot of hard work. 2015-01-05T21:15:36Z kuribas: It's about the same thing. 2015-01-05T21:16:28Z kuribas: Riastradh: yeah. That paper looks pretty rigorous. 2015-01-05T21:33:50Z xyh joined #scheme 2015-01-05T21:37:46Z mrowe_away is now known as mrowe 2015-01-05T21:39:38Z fantazo joined #scheme 2015-01-05T21:41:58Z fantazo: hi, why is it actually that scheme has a distinction between syntax and actual "procedures"? You could implement set! also as a procedure not syntax. What are the design consideration for doing this? 2015-01-05T21:43:01Z gnomon: fantazo, your stack of turtles have to stand on something. 2015-01-05T21:43:16Z tadni joined #scheme 2015-01-05T21:44:24Z fantazo: gnomon, why not having s-expressions as the sole syntax construct? the rest are just procedures 2015-01-05T21:45:44Z fantazo: there must be a better reason for dividing syntax from runtime. 2015-01-05T21:46:28Z Riastradh: Enables understanding programs by reading them without having to run them. 2015-01-05T21:46:38Z gnomon: Riastradh, ooh, good one. 2015-01-05T21:46:53Z gnomon: Really, really good one. 2015-01-05T21:47:21Z fantazo: (define foo 1) is syntax, but you could have that too with having define as a procedure. 2015-01-05T21:47:51Z fantazo: (define 'foo 1) then 2015-01-05T21:50:44Z kuribas: fantazo: If set! where a procedure, what would be the types of it's arguments? 2015-01-05T21:51:29Z alezost quit (Quit: I use GNU Guix ) 2015-01-05T21:51:45Z fantazo: (set! symbol obj)? 2015-01-05T21:51:49Z Riastradh: fantazo: People tried that. Turns out it leads to illegible, unmaintainable programs, and the alternative doesn't inhibit anything that's actually useful in practice. 2015-01-05T21:52:26Z Riastradh: The original Scheme had (aset 'foo 5) instead of (set! foo 5). But then they realized every sensible program should really be using "aset'", like (aset' foo 5), and eventually actually changed it to (set! foo 5). 2015-01-05T21:52:54Z Riastradh: (`(aset' foo 5)' and `(aset 'foo 5)' are not actually different; the first is just a cute way to write it.) 2015-01-05T21:53:16Z kuribas: fantazo: If you change the scope, the symbol would refer to a different object, due to lexical scope. So you don't have referential transparency. 2015-01-05T21:53:21Z fantazo: Riastradh, thanks. 2015-01-05T21:56:20Z kuribas: Also, variable assignment isn't a function in other programming languages. 2015-01-05T21:57:06Z gravicappa quit (Remote host closed the connection) 2015-01-05T21:57:19Z Riastradh: fantazo: To give a more concrete example: 2015-01-05T21:57:44Z Riastradh: Consider the program (let ((x 0)) (f) x). You are guaranteed that this returns 0. 2015-01-05T21:58:01Z fantazo: kuribas, well in forth it is for example. It is a simple language, but I find that somehow "fancy". 2015-01-05T21:58:06Z Riastradh: This is a property that Scheme guarantees you. 2015-01-05T21:58:18Z Riastradh: The same is true of this program: 2015-01-05T21:58:22Z Riastradh: (let ((x 0)) (f 0) x) 2015-01-05T21:58:23Z Riastradh: And this one: 2015-01-05T21:58:25Z Riastradh: (let ((x 0)) (f 'x) x) 2015-01-05T21:58:36Z Riastradh: The last one is furthermore guaranteed to be equivalent to this one: 2015-01-05T21:58:40Z Riastradh: (let ((y 0)) (f 'y) y) 2015-01-05T21:58:43Z Riastradh: er 2015-01-05T21:58:44Z Riastradh: (let ((y 0)) (f 'x) y) 2015-01-05T21:59:08Z Riastradh: If, however, you had (define (f v) (set v 3)), and that worked as you proposed, then that would violate the guarantees I just described. 2015-01-05T21:59:13Z davexunit quit (Quit: Later) 2015-01-05T21:59:21Z kuribas: fantazo: I see. I have just a very shallow knowledge of forth. 2015-01-05T21:59:57Z fantazo: everything is in forth just a procedure, no real syntax there. 2015-01-05T22:00:40Z Bahman quit (Quit: zzZZ) 2015-01-05T22:00:48Z kuribas: fantazo: There are many advantage to referential transparency, as Riastradh showed. 2015-01-05T22:01:46Z kuribas: Languages that allow a lot of cool 'tricks' also allow for unreadable and hard to maintain programs. 2015-01-05T22:03:05Z fantazo: in that case it would just be a matter of more easy implementation I guess than "cool" tricks. 2015-01-05T22:04:02Z mumptai quit (Quit: Verlassend) 2015-01-05T22:04:31Z kuribas: fantazo: Also, making variable accesable via symbols will make some optimizations impossible. 2015-01-05T22:05:38Z kuribas: Every procedure would need a map from symbol to variable locations at runtime. 2015-01-05T22:05:55Z fantazo: kuribas, sure. I guess that considerations are more of a matter of simplicity than performance. 2015-01-05T22:06:55Z Riastradh: `Make optimization impossible' is usually strongly correlated with `make it harder to understand and reason about'. 2015-01-05T22:10:15Z hiroakip quit (Ping timeout: 264 seconds) 2015-01-05T22:12:29Z zv joined #scheme 2015-01-05T22:14:09Z hiroakip joined #scheme 2015-01-05T22:14:58Z adu quit (Ping timeout: 244 seconds) 2015-01-05T22:15:52Z kongtomorrow quit 2015-01-05T22:26:36Z jumblerg joined #scheme 2015-01-05T22:33:00Z davexunit joined #scheme 2015-01-05T22:42:00Z adu joined #scheme 2015-01-05T22:43:09Z robot-beethoven joined #scheme 2015-01-05T22:50:27Z fantazo: What is actually at the moment the really cool stuff going on in "scheme land" (tm)? I'm asking as I'm actually trying to do something in scheme after a long time of not doing anything in it. 2015-01-05T22:50:54Z AkashicLegend joined #scheme 2015-01-05T22:53:46Z civodul quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-01-05T23:10:22Z hiroakip quit (Ping timeout: 240 seconds) 2015-01-05T23:10:26Z kuribas quit (Quit: ERC Version 5.3 (IRC client for Emacs)) 2015-01-05T23:13:31Z hiroakip joined #scheme 2015-01-05T23:28:55Z kuribas joined #scheme 2015-01-05T23:32:37Z kongtomorrow joined #scheme 2015-01-05T23:33:08Z hiroakip quit (Ping timeout: 250 seconds) 2015-01-05T23:36:15Z hiroakip joined #scheme 2015-01-05T23:40:16Z turtleman_ quit (Remote host closed the connection) 2015-01-05T23:45:08Z hiyosi joined #scheme 2015-01-05T23:47:01Z vanila joined #scheme