2017-06-11T00:36:27Z pie_ joined #scheme
2017-06-11T00:37:57Z pie_: soo not really a scheme question but, if i have an end goal in mind for what a program should do, and i find some way to define that, and i want to generate code that would satisfy some constraints and "do the thing", what should i research so that i can implement this?
2017-06-11T00:39:07Z pie_: everything is a hammer when you have a nail so, ive been reading about semantics lately, and im wondering if what id need to do is semantically define the end goal, then "solve backwards" to a program that satisfies the constraints?
2017-06-11T00:39:36Z noethics joined #scheme
2017-06-11T00:59:22Z jim: hi, trying to get a very basic first kivy project to use a .kv file, and trying to find out why it doesn't... is it possible I can get more detailed logging out of it?
2017-06-11T01:01:05Z jim: no more than a Label that pulls the Hello World text out of a .kv file
2017-06-11T01:04:01Z _Guest quit (Ping timeout: 268 seconds)
2017-06-11T01:16:08Z pjb quit (Ping timeout: 240 seconds)
2017-06-11T01:47:30Z daviid quit (Ping timeout: 240 seconds)
2017-06-11T01:52:30Z badkins quit (Remote host closed the connection)
2017-06-11T02:13:37Z pjb joined #scheme
2017-06-11T02:14:31Z ArneBab_ joined #scheme
2017-06-11T02:18:44Z ArneBab quit (Ping timeout: 255 seconds)
2017-06-11T02:27:33Z daviid joined #scheme
2017-06-11T02:28:45Z pjb quit (Ping timeout: 255 seconds)
2017-06-11T02:58:43Z pie_ quit (Ping timeout: 268 seconds)
2017-06-11T03:04:29Z mejja quit (Quit: \ No newline at end of file)
2017-06-11T03:12:41Z paroneayea quit (Remote host closed the connection)
2017-06-11T03:13:14Z paroneayea joined #scheme
2017-06-11T03:14:04Z \h left #scheme
2017-06-11T03:24:12Z sleffy quit (Ping timeout: 240 seconds)
2017-06-11T03:25:52Z sssilver joined #scheme
2017-06-11T03:41:49Z sssilver quit (Quit: My MacBook has gone to sleep. ZZZzzz…)
2017-06-11T03:46:32Z jaziz joined #scheme
2017-06-11T03:59:35Z igajsin quit (Ping timeout: 240 seconds)
2017-06-11T04:11:50Z igajsin joined #scheme
2017-06-11T04:13:16Z lritter joined #scheme
2017-06-11T04:23:12Z igajsin quit (Ping timeout: 240 seconds)
2017-06-11T04:36:23Z dpg quit (Ping timeout: 246 seconds)
2017-06-11T04:36:59Z sleffy joined #scheme
2017-06-11T05:00:42Z pilne quit (Quit: Quitting!)
2017-06-11T05:02:57Z jonaslund quit (Ping timeout: 240 seconds)
2017-06-11T05:29:10Z daviid quit (Ping timeout: 240 seconds)
2017-06-11T05:29:11Z jaziz quit (Ping timeout: 268 seconds)
2017-06-11T05:50:57Z teurastaja joined #scheme
2017-06-11T05:51:16Z teurastaja: hey. how compliant with R7RS is Guile?
2017-06-11T05:52:52Z jaziz joined #scheme
2017-06-11T05:54:16Z jonaslund joined #scheme
2017-06-11T06:06:31Z teurastaja: hhhhhhhhhhheeeeeeeeeeeeeeelllllllllllllllloooooooooooooooo
2017-06-11T06:18:22Z jmd joined #scheme
2017-06-11T06:19:58Z teurastaja quit (Quit: Leaving)
2017-06-11T07:09:35Z wildbartty joined #scheme
2017-06-11T07:12:14Z wasamasa: jim: is kivy even scheme related?
2017-06-11T07:16:50Z sleffy quit (Ping timeout: 240 seconds)
2017-06-11T07:34:50Z muelleme joined #scheme
2017-06-11T07:36:18Z lambda-11235 quit (Quit: WeeChat 1.8)
2017-06-11T08:03:19Z wildbartty_ joined #scheme
2017-06-11T08:04:13Z igajsin joined #scheme
2017-06-11T08:05:30Z wildbartty quit (Ping timeout: 240 seconds)
2017-06-11T08:09:11Z jaziz quit (Ping timeout: 246 seconds)
2017-06-11T08:30:32Z evgeniy joined #scheme
2017-06-11T08:30:42Z evgeniy: UL: 9.227 TB
2017-06-11T08:30:49Z evgeniy: Scratch that
2017-06-11T08:31:00Z evgeniy: How does someone code in scheme?
2017-06-11T08:33:30Z p9s joined #scheme
2017-06-11T08:34:52Z Kooda: What exactly do you want to know?
2017-06-11T08:36:56Z DKordic . o O ( Cause and effect.  )
2017-06-11T08:45:00Z evgeniy: Kooda: how do i execute source code?
2017-06-11T08:51:04Z Kooda: The exact details depend on your implementation.
2017-06-11T08:51:33Z Kooda: But usually you just have to run `your_scheme your_file.scm`
2017-06-11T08:51:45Z Kooda: (assuming a unix-like platform)
2017-06-11T08:52:04Z evgeniy: What scheme interpretor should i use?
2017-06-11T08:55:42Z p9s quit (Remote host closed the connection)
2017-06-11T08:55:53Z p9s joined #scheme
2017-06-11T08:56:17Z Kooda: Any is fine :)
2017-06-11T08:56:31Z p9s quit (Remote host closed the connection)
2017-06-11T08:56:41Z p9s joined #scheme
2017-06-11T08:57:19Z p9s quit (Remote host closed the connection)
2017-06-11T08:57:27Z Kooda: This page might help you: http://community.schemewiki.org/?scheme-faq-standards#implementations
2017-06-11T08:57:29Z p9s joined #scheme
2017-06-11T08:58:07Z p9s quit (Remote host closed the connection)
2017-06-11T08:58:19Z p9s joined #scheme
2017-06-11T08:58:56Z p9s quit (Remote host closed the connection)
2017-06-11T08:59:04Z p9s joined #scheme
2017-06-11T08:59:43Z p9s quit (Remote host closed the connection)
2017-06-11T09:08:45Z pie_ joined #scheme
2017-06-11T09:22:17Z _Guest joined #scheme
2017-06-11T09:29:41Z niklasl quit (Ping timeout: 246 seconds)
2017-06-11T09:29:47Z niklasl joined #scheme
2017-06-11T09:44:27Z wasamasa: http://wingolog.org/archives/2013/01/07/an-opinionated-guide-to-scheme-implementations
2017-06-11T09:44:50Z wasamasa: note that there are plenty scheme systems centered around a compiler
2017-06-11T10:14:50Z DKordic: I guess the two recent "questions" were to check if we know about [[http://www.t3x.org/clc/index.html][Compiling Lambda Calculus]] and [[http://t3x.org/t3x/index.html][T3X]].
2017-06-11T10:28:16Z jmd quit (Ping timeout: 268 seconds)
2017-06-11T10:35:08Z jmd joined #scheme
2017-06-11T10:55:07Z Steverman joined #scheme
2017-06-11T11:01:29Z Kkiro quit (Remote host closed the connection)
2017-06-11T11:05:10Z jonaslund quit (Ping timeout: 240 seconds)
2017-06-11T11:22:08Z Steverman quit (Ping timeout: 240 seconds)
2017-06-11T11:23:21Z sondr3 quit (Quit: Quit)
2017-06-11T11:44:10Z Kkiro joined #scheme
2017-06-11T11:44:10Z Kkiro quit (Changing host)
2017-06-11T11:44:10Z Kkiro joined #scheme
2017-06-11T11:44:48Z Kkiro quit (Remote host closed the connection)
2017-06-11T11:57:49Z jonaslund joined #scheme
2017-06-11T12:18:27Z evhan quit (Ping timeout: 240 seconds)
2017-06-11T12:23:00Z evhan joined #scheme
2017-06-11T12:26:30Z jonaslund quit (Read error: Connection reset by peer)
2017-06-11T12:27:00Z jonaslund joined #scheme
2017-06-11T12:51:47Z jonaslund quit (Ping timeout: 258 seconds)
2017-06-11T12:55:32Z jonaslund joined #scheme
2017-06-11T12:58:01Z Kkiro joined #scheme
2017-06-11T12:58:01Z Kkiro quit (Changing host)
2017-06-11T12:58:01Z Kkiro joined #scheme
2017-06-11T13:03:42Z Kkiro quit (Remote host closed the connection)
2017-06-11T13:12:54Z pilne joined #scheme
2017-06-11T13:18:00Z p9s joined #scheme
2017-06-11T13:19:34Z _rht joined #scheme
2017-06-11T13:30:26Z chetshah joined #scheme
2017-06-11T13:32:03Z chetshah: Hello all, scheme beginner here. Was going through the Lambda ultimate imperative paper, and saw function LABEL but could not find it anywhere? Any ideas what it means and how it works?
2017-06-11T13:34:30Z wasamasa: it's LABELS
2017-06-11T13:36:40Z chetshah: its a lisp specific function?
2017-06-11T13:38:48Z wasamasa: in elisp, it defines temporary functions, much like let defines temporary variables
2017-06-11T13:39:54Z chetshah: thanks, will look more into it.
2017-06-11T13:42:33Z chetshah quit (Quit: Page closed)
2017-06-11T13:50:53Z mejja joined #scheme
2017-06-11T13:54:30Z igajsin quit (Ping timeout: 240 seconds)
2017-06-11T13:54:32Z pie_ quit (Ping timeout: 260 seconds)
2017-06-11T14:01:42Z p9s quit (Remote host closed the connection)
2017-06-11T14:02:11Z p9s joined #scheme
2017-06-11T14:06:40Z p9s quit (Ping timeout: 260 seconds)
2017-06-11T14:10:45Z pie_ joined #scheme
2017-06-11T14:13:28Z jonaslund quit (Ping timeout: 255 seconds)
2017-06-11T14:15:50Z jmd quit (Ping timeout: 240 seconds)
2017-06-11T14:17:13Z Kkiro joined #scheme
2017-06-11T14:17:13Z Kkiro quit (Changing host)
2017-06-11T14:17:13Z Kkiro joined #scheme
2017-06-11T14:17:34Z _Guest quit (Ping timeout: 255 seconds)
2017-06-11T14:17:34Z _Guest joined #scheme
2017-06-11T14:23:40Z jaziz joined #scheme
2017-06-11T14:44:23Z pie_ quit (Ping timeout: 255 seconds)
2017-06-11T15:13:51Z pjb joined #scheme
2017-06-11T15:20:30Z pie_ joined #scheme
2017-06-11T15:21:28Z muelleme quit (Ping timeout: 260 seconds)
2017-06-11T15:25:38Z jonaslund joined #scheme
2017-06-11T15:34:05Z mejja quit (Quit: \ No newline at end of file)
2017-06-11T15:40:31Z sethalves1 joined #scheme
2017-06-11T15:44:10Z sethalves quit (Ping timeout: 240 seconds)
2017-06-11T15:51:30Z jaziz quit (Ping timeout: 240 seconds)
2017-06-11T16:17:20Z muelleme joined #scheme
2017-06-11T16:22:43Z muelleme quit (Ping timeout: 260 seconds)
2017-06-11T16:24:12Z pie_ quit (Ping timeout: 245 seconds)
2017-06-11T16:42:17Z niklasl quit (Ping timeout: 246 seconds)
2017-06-11T17:05:35Z igajsin joined #scheme
2017-06-11T17:09:12Z _rht quit (Quit: Connection closed for inactivity)
2017-06-11T17:22:56Z sleffy joined #scheme
2017-06-11T17:23:27Z sleffy quit (Max SendQ exceeded)
2017-06-11T17:23:51Z sleffy joined #scheme
2017-06-11T17:27:43Z Kryo quit (Excess Flood)
2017-06-11T17:27:52Z Kryo joined #scheme
2017-06-11T17:39:41Z lritter quit (Ping timeout: 240 seconds)
2017-06-11T18:02:24Z langmartin joined #scheme
2017-06-11T18:04:24Z pie_ joined #scheme
2017-06-11T18:17:05Z Steverman joined #scheme
2017-06-11T18:22:20Z Fox3 joined #scheme
2017-06-11T18:37:47Z drot quit (Ping timeout: 246 seconds)
2017-06-11T18:43:39Z drot joined #scheme
2017-06-11T18:48:47Z gravicappa joined #scheme
2017-06-11T18:50:42Z mejja joined #scheme
2017-06-11T18:54:55Z muelleme joined #scheme
2017-06-11T19:02:11Z muelleme quit (Ping timeout: 240 seconds)
2017-06-11T19:05:48Z pie_ quit (Ping timeout: 240 seconds)
2017-06-11T19:06:44Z pie_ joined #scheme
2017-06-11T19:13:36Z emacsomancer quit (Ping timeout: 255 seconds)
2017-06-11T19:16:16Z emacsomancer joined #scheme
2017-06-11T19:20:13Z daviid joined #scheme
2017-06-11T19:21:37Z Fox3 quit (Quit: Konversation terminated!)
2017-06-11T19:32:00Z jmd joined #scheme
2017-06-11T19:34:02Z emacsoma` joined #scheme
2017-06-11T19:40:04Z civodul joined #scheme
2017-06-11T19:45:10Z igajsin quit (Ping timeout: 240 seconds)
2017-06-11T19:47:33Z Riastradh joined #scheme
2017-06-11T20:00:04Z igajsin joined #scheme
2017-06-11T20:15:49Z langmartin quit (Quit: ERC (IRC client for Emacs 25.2.1))
2017-06-11T20:20:18Z Fox2 joined #scheme
2017-06-11T20:21:38Z jmd quit (Remote host closed the connection)
2017-06-11T20:22:17Z Steverman quit (Changing host)
2017-06-11T20:22:17Z Steverman joined #scheme
2017-06-11T20:26:48Z Steverman quit (Quit: WeeChat 1.8)
2017-06-11T20:27:03Z Steverman joined #scheme
2017-06-11T20:29:33Z Steverman quit (Client Quit)
2017-06-11T20:29:40Z Fox2 quit (Quit: Konversation terminated!)
2017-06-11T20:29:52Z Steverman joined #scheme
2017-06-11T20:44:24Z p9s joined #scheme
2017-06-11T21:05:59Z daviid quit (Ping timeout: 255 seconds)
2017-06-11T21:10:22Z mejja quit (Quit: \ No newline at end of file)
2017-06-11T21:18:46Z civodul quit (Quit: ERC (IRC client for Emacs 25.2.1))
2017-06-11T21:20:04Z emacsoma` quit (Ping timeout: 255 seconds)
2017-06-11T21:28:28Z gravicappa quit (Ping timeout: 246 seconds)
2017-06-11T21:29:24Z evgeniy left #scheme
2017-06-11T21:43:11Z igajsin quit (Ping timeout: 240 seconds)
2017-06-11T21:48:50Z peterhil quit (Ping timeout: 240 seconds)
2017-06-11T21:58:13Z sondr3 joined #scheme
2017-06-11T22:00:39Z Guest joined #scheme
2017-06-11T22:02:20Z peterhil joined #scheme
2017-06-11T22:03:43Z _Guest quit (Ping timeout: 255 seconds)
2017-06-11T22:03:58Z nckx quit (Quit: restarting my GuixSD server)
2017-06-11T22:18:57Z Steverman quit (Ping timeout: 240 seconds)
2017-06-11T22:27:43Z enderby joined #scheme
2017-06-11T22:27:52Z sleffy quit (Ping timeout: 260 seconds)
2017-06-11T22:37:01Z sondr3 quit (Ping timeout: 255 seconds)
2017-06-11T22:38:48Z p9s quit (Ping timeout: 255 seconds)
2017-06-11T22:46:55Z vicenteH quit (Ping timeout: 255 seconds)
2017-06-11T22:49:52Z sondr3 joined #scheme
2017-06-11T22:55:28Z jim: hmm?
2017-06-11T22:56:22Z jim: oh I see... that was to the wrong channel; sorry to bug you guys
2017-06-11T22:56:43Z sleffy joined #scheme
2017-06-11T23:15:01Z pie_ quit (Changing host)
2017-06-11T23:15:01Z pie_ joined #scheme
2017-06-11T23:37:24Z sleffy quit (Ping timeout: 260 seconds)
2017-06-11T23:59:51Z jaziz joined #scheme