00:00:30 alexei [~amgarchin@p4FD60872.dip0.t-ipconnect.de] has joined #scheme 00:00:42 bernalex [~alexander@107.4.189.109.customer.cdi.no] has joined #scheme 00:00:50 Fortunately, it is dead. It was a scripting language for an interactive media engine like HyperCard. Actually, it was the Windows version of that scripting language; the Mac version (which, I understand, was only vaguely compatible, and had a totally different implementation) had multiplication. 00:01:12 Remind me where my invocation of this turned up? 00:01:36 Riastradh: http://mumble.net/~campbell/tmp/division.txt 00:01:50 Aha. 00:04:35 juxovec [~juxovec@31.4.243.109] has joined #scheme 00:09:20 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 252 seconds] 00:10:02 -!- tenq is now known as tenq|away 00:12:37 -!- ASau` is now known as ASau 00:16:49 yrdz [~p_adams@unaffiliated/p-adams/x-7117614] has joined #scheme 00:19:59 -!- Kabaka [kabaka@botters/kabaka] has quit [Ping timeout: 240 seconds] 00:21:14 -!- nisstyre [~y@oftn/member/Nisstyre] has quit [Quit: Leaving] 00:28:53 -!- sheilong [~sabayonus@unaffiliated/sheilong] has quit [Quit: Konversation terminated!] 00:32:11 Sgeo [~quassel@ool-44c2df0c.dyn.optonline.net] has joined #scheme 00:45:59 ha. we need some sort of programming language zoo for things like this 00:46:27 ezio [~ezio@CPE0011d8ed356c-CM78cd8ecce905.cpe.net.cable.rogers.com] has joined #scheme 00:46:27 -!- ezio [~ezio@CPE0011d8ed356c-CM78cd8ecce905.cpe.net.cable.rogers.com] has quit [Changing host] 00:46:27 ezio [~ezio@unaffiliated/ezio] has joined #scheme 00:50:54 -!- duggiefr_ [~duggiefre@c-66-30-12-178.hsd1.ma.comcast.net] has quit [Remote host closed the connection] 01:03:19 -!- juanfra [~juanfra@unaffiliated/juanfra] has quit [Remote host closed the connection] 01:04:44 juxovec [~juxovec@31.4.243.109] has joined #scheme 01:04:59 -!- stepnem [~stepnem@internet2.cznet.cz] has quit [Ping timeout: 240 seconds] 01:07:03 juanfra [~juanfra@unaffiliated/juanfra] has joined #scheme 01:09:50 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 264 seconds] 01:12:49 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 01:18:38 phipes [~phipes@unaffiliated/phipes] has joined #scheme 01:26:36 -!- snits [~snits@inet-hqmc04-o.oracle.com] has quit [Remote host closed the connection] 01:27:31 -!- yrdz [~p_adams@unaffiliated/p-adams/x-7117614] has quit [Ping timeout: 260 seconds] 01:31:54 yrdz [~p_adams@unaffiliated/p-adams/x-7117614] has joined #scheme 01:32:36 snits [~snits@184-98-225-16.phnx.qwest.net] has joined #scheme 01:32:50 -!- tenq|away is now known as tenq 01:38:49 arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has joined #scheme 01:43:35 duggiefresh [~duggiefre@c-66-30-12-178.hsd1.ma.comcast.net] has joined #scheme 01:48:21 -!- yrdz [~p_adams@unaffiliated/p-adams/x-7117614] has quit [Ping timeout: 252 seconds] 01:50:17 -!- phipes [~phipes@unaffiliated/phipes] has quit [Remote host closed the connection] 01:50:39 yrdz [~p_adams@unaffiliated/p-adams/x-7117614] has joined #scheme 01:51:02 theseb [~cs@74.194.237.26] has joined #scheme 01:51:14 why is there an asymmetry between cons and append? 01:51:56 i.e. we do (cons 'a '(b)) to get (a b) 01:52:12 but we don't do (append '(a) 'b) to get (a b) 01:52:21 instead we must do (append '(a) '(b)) 01:53:30 because 'cons' constructs pairs, and lists are made up of pairs, but 'append' manipulates lists 01:54:42 elly: hmmm 01:55:13 elly: i tend to intentionally forget that lists are made of cons pairs since i don't like them 01:55:20 heh, why? 01:55:30 Kabaka [kabaka@botters/kabaka] has joined #scheme 01:55:37 elly: 1. lists are simple enough without needing to explain them in terms of cons pairs 01:55:58 elly: 2. python after 10 years further enforced idea that lists are basic data structures 01:56:00 recursion on lists makes most sense when explained in terms of cons pairs, though :) 01:56:38 elly: why? 01:57:16 elly: perhaps some like you like thinking of lists in terms of cons pairs..that is fine 01:57:28 elly: to me it just seems more elegant to avoid going down one more level 01:57:32 because recursion on lists involves destructuring the individual cons pairs 01:57:35 right? 01:58:18 elly: well if you are referring to how lists are *implemented* ...then what you are saying makes sense perhaps (most likely) 01:58:26 like, if you write (define (map f l) (if (null? l) '() (cons (f (car x)) (map f (cdr x))))), you are inherently dealing with pairs, since that's what car and cdr are accessors for 01:58:43 elly: but there is no need to worry about implementation details always 01:59:43 elly: since you brought that up..a related gripe is the asymmetry between first and rest (i.e. car and cdr) 01:59:51 what do you mean, 'asymmetry' 01:59:56 elly: i like having a "last" function in addition to a "first" 02:00:13 like, for a list? car and cdr are not list functions, they are pair function 02:00:14 s 02:00:15 elly: first returns the 1st but rest gives the..well rest.....it makes it seem like 1st is special 02:00:21 it is 02:00:38 -!- davexunit [~user@fsf/member/davexunit] has quit [Quit: Later] 02:00:41 elly: *if you interpret lists as cons pairs* then yes the 1st is special 02:00:56 elly: if you carefully make sure to never expose that fact....like in python....it seems odd 02:01:05 python doesn't implement lists as cons pairs 02:01:09 elly: e.g. i try to not have code with stuff like (a . b) 02:01:11 Python lists aren't what everyone else on the planet calls lists. 02:01:15 python lists are more like scheme vectors 02:01:18 Python lists are what everyone else calls arrays or vectors. 02:01:20 which you can use if you want those semantics 02:01:50 scheme lists are a different thing, where you can do stuff like: (define x '(1 2 3)) (define y (cons 4 x)) (define z (cons 5 x)) and have two lists share a tail, or whatever 02:02:30 anyway, there is no 'last' because 'last' would take linear time to run with the length of the list, and would encourage inefficient code 02:02:56 b4283 [~b4283@60-249-196-111.HINET-IP.hinet.net] has joined #scheme 02:03:07 theseb: first and rest would be a natural breakdown for a sequence type even if they weren't implemented using "pairs" 02:03:29 for a lazy sequence, there may not be a "last" 02:03:43 well even a non-lazy sequence might not have one 02:03:55 e.g. a list with a cycle :P 02:04:04 if you use mcons 02:04:11 elly: ok....to use your terminology....my style seems to be to prefer a Lisp focused on "vectors" instead of lists 02:04:29 theseb: that is cool, but not the 'lisp way' 02:04:34 juxovec [~juxovec@31.4.243.109] has joined #scheme 02:04:42 elly: i'm not saying it is "right" or "best" or "everyone needs to do it my way"...it just feels right to me 02:04:49 sure 02:04:55 to each their own :P 02:05:10 also,,i'm a Phd physicist so i've been using math vectors for like 20 years..they are very natural to me :) 02:05:15 hehe 02:05:28 maybe all that has come together to warp my brain away from conses 02:05:36 yes it can happen 02:06:08 *elly* evaporates 02:06:28 I can't be the only person in Lispland that prefers vectors over lists 02:06:32 nisstyre [~y@oftn/member/Nisstyre] has joined #scheme 02:08:26 there aren't very many non-side-effecting operations that you can do on vectors 02:08:36 at least on scheme vectors 02:09:07 zRecursive [~czsq888@183.13.194.233] has joined #scheme 02:09:30 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 252 seconds] 02:10:59 turbofail: side effects? like what...you modify a vector you access the vector...what side effects are there in that? 02:11:08 what?* 02:11:15 modifying a vector requires side effects 02:11:20 turbofail: such as? 02:11:35 maybe i don't understand what a side effect is 02:11:41 yayutf_ [~yayutf@p549B6C3C.dip0.t-ipconnect.de] has joined #scheme 02:11:44 turbofail: not necessarily uncontrolled side-effects though 02:12:44 theseb: side-effect basically means anything that uses information other than the parameter(s) given to a function 02:12:51 or a procedure as you would call it 02:13:06 well, parameters or free variables 02:13:20 nisstyre: when i think of side effects i think of something printing something 02:13:31 like a warning message to the screen 02:13:32 theseb: that's one kind of side effect 02:13:37 but that's not really a good definition 02:13:45 that doesn't seem to fit your def 02:14:32 theseb: it's hard to give a really good definition 02:14:35 it is really about state change, in the case of printing the state of the screen changes. 02:14:47 yeah that's a better way of saying it 02:14:55 you can talk about impure functions where calling the same function with the same parameters may yield a different result. 02:15:04 but side effects are not necessarily impure or breaking referential transparency 02:15:13 because you have uniqueness types 02:15:16 and monads 02:15:23 both of which make side effects pure 02:15:35 nisstyre: I think you were more leaning towards purity that side ffects. 02:15:37 -!- yayutf [~yayutf@p549B6CBA.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 02:15:53 cjh`: yeah I was 02:16:37 cjh`: the definition of "side effect" is sometimes conflated with "impurity" 02:17:27 theseb: say you want to change the 2nd item in a vector; one option is you just change it (this is a side effect), the other is you (logically) construct a new vector with everything the same except for the 2nd item (which instead contains the new value). 02:18:30 cjh`: or you say that vector is allowed to be mutated exactly once 02:18:51 and then you must return a "new" vector 02:19:02 i.e. that's how Clean does it 02:19:02 tupi [~user@189.60.14.237] has joined #scheme 02:19:07 theseb: which of those options you pick makes a difference once you allow multiple references to the same data structure. 02:19:08 theseb, say you have (define v (vector 123)). At 9:00 in the morning, when you do (vector-ref v 0), you get back 123. At 10:00 in the morning, I do (vector-set! v 0 321). Now when you do (vector-ref v 0) at 11:00 in the morning, you'll get back 321 instead of the same 123 you got at 9:00 in the morning. 02:19:48 Hence the value of (vector-ref v 0) depends on what time of day it is. 02:20:28 because vector-set! has a side effect, it mutates the vector argument (hence the !, by convention) 02:20:28 phipes [~phipes@unaffiliated/phipes] has joined #scheme 02:20:41 nisstyre: sorry, 'clean' ? 02:21:00 it's a programming language 02:21:02 cjh`: https://en.wikipedia.org/wiki/Clean_(programming_language) 02:22:43 ty, I guessed as much but wasnt sure, haven't heard of it :) 02:23:01 cjh`: it's pretty old but not widely known 02:23:21 all that said, the mutability of scheme vectors isn't all that bad, as at least the length of a vector typically won't change out from under you. that's not true of python lists though 02:23:27 i've had plenty of fun experiences with those 02:23:31 heh 02:24:22 turbofail: yeah Python doesn't give you a lot of help 02:25:03 cjh`, Riastradh: makes sense.......so it would be more "functional" to always create new vectors instead of mutating existing ones...i'm cool with that 02:25:30 theseb: well, as I've just explained, not necessarily :P 02:25:36 you can have your mutation and be functional too 02:25:40 theseb: yes, constructing the new vector is 'pure' because it doesnt modify any state. 02:25:47 nisstyre: that is more of an implementation detail though 02:25:53 yeah that's true 02:25:57 theseb: yeah, but the problem with that is that creating new vectors all the time can be way more expensive than on lists, depending on what you're doing 02:26:01 I don't know if it's possible to implement this in Scheme 02:26:02 yacks [~py@103.6.159.103] has joined #scheme 02:26:06 I guess it would be 02:26:18 the logical concept is you have a new vector, 'under the hood' there may not be any actual copying 02:26:44 at the metal it is (currently) all registers, ram and mutation :) 02:28:27 cjh`: i could imagine some high security "metal" where all data structures in memory had to be "write once" 02:29:17 theseb: like a drive meant to be secure against viruses? 02:29:24 sure 02:29:37 how would you enforce it physically? 02:29:50 by having a chemical reaction that cannot be reversed 02:29:55 nisstyre: maybe we have a million dollar idea here in the making! 02:29:58 nisstyre: shhh don't tell anyone 02:30:05 or a physical mechanism, e.g. punching a hole in a sheet of paper/metal 02:30:34 cjh`: huh? just have firmware that doesn't allow a 2nd write to an existing data struc...no need to be so fancy 02:30:35 indeed, paper tape is write-once 02:30:40 as are punchcards 02:30:49 or, like, printing data on paper :P 02:30:49 theseb: nisstyre asked how it would be enforced 'physically' 02:30:52 ok, so what's a more efficient version of punchcards? 02:31:02 printing OCRable data on paper 02:31:04 theseb: there's almost always some way around firmware 02:31:07 nisstyre: bigger punchcards. 02:31:10 can be done at extremely high data rates 02:31:14 elly: what about modifying the ink? 02:31:19 modifying it how? 02:31:30 physical enforcement is the only way to make something truly write-once 02:31:37 elly: somehow erasing part of it and writing your new stuff in 02:31:42 I think that's possible 02:31:58 simple, you have a team of 9 security guards 02:32:06 each sitting on a chair so they can see the machine and each other... 02:32:21 and they all have to be super rich already so they can't be bribed 02:32:27 :) 02:32:33 actually I think governments have already worked on this for us 02:32:44 paper currency is supposed to be hard to erase 02:32:58 else you could erase a bunch of five dollar bills and make them into thousand dollar bills 02:38:00 -!- mmc1 [~michal@j212115.upc-j.chello.nl] has quit [Read error: Operation timed out] 02:39:37 -!- tcsc [~tcsc@c-76-127-240-20.hsd1.ct.comcast.net] has quit [Quit: computer sleeping] 02:41:44 -!- alexei [~amgarchin@p4FD60872.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 02:41:45 alexei___ [~amgarchin@p4FD60872.dip0.t-ipconnect.de] has joined #scheme 02:54:35 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 03:03:56 -!- nisstyre is now known as e^x 03:04:38 juxovec [~juxovec@31.4.243.109] has joined #scheme 03:04:53 -!- tupi [~user@189.60.14.237] has quit [Ping timeout: 265 seconds] 03:09:18 -!- phipes [~phipes@unaffiliated/phipes] has quit [Remote host closed the connection] 03:09:43 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 272 seconds] 03:09:52 phipes [~phipes@unaffiliated/phipes] has joined #scheme 03:16:10 -!- arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has quit [Quit: My MacBook has gone to sleep. ZZZzzz] 03:25:10 -!- alexei___ [~amgarchin@p4FD60872.dip0.t-ipconnect.de] has quit [Read error: Operation timed out] 03:28:30 -!- snits [~snits@184-98-225-16.phnx.qwest.net] has quit [Ping timeout: 252 seconds] 03:29:10 snits [~snits@inet-hqmc08-o.oracle.com] has joined #scheme 03:34:49 arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has joined #scheme 03:35:46 karswell [~user@87.115.69.199] has joined #scheme 03:39:13 -!- tenq is now known as tenq|away 03:43:05 -!- MichaelRaskin [~MichaelRa@195.91.224.161] has quit [Quit: MichaelRaskin] 03:53:53 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Read error: Operation timed out] 03:58:40 -!- theseb [~cs@74.194.237.26] has quit [Quit: Leaving] 04:00:14 weie [~weie@softbank221078042071.bbtec.net] has joined #scheme 04:02:46 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 04:04:45 juxovec [~juxovec@31.4.243.109] has joined #scheme 04:05:00 -!- yrdz [~p_adams@unaffiliated/p-adams/x-7117614] has quit [Ping timeout: 245 seconds] 04:06:23 tcsc [~tcsc@c-76-127-240-20.hsd1.ct.comcast.net] has joined #scheme 04:06:54 -!- tcsc [~tcsc@c-76-127-240-20.hsd1.ct.comcast.net] has quit [Read error: Connection reset by peer] 04:09:53 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 272 seconds] 04:17:50 -!- duggiefresh [~duggiefre@c-66-30-12-178.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 04:18:10 duggiefresh [~duggiefre@c-66-30-12-178.hsd1.ma.comcast.net] has joined #scheme 04:28:07 -!- joneshf-laptop [~joneshf@128.120.119.107] has quit [Ping timeout: 260 seconds] 04:31:53 -!- phipes [~phipes@unaffiliated/phipes] has quit [Remote host closed the connection] 04:34:57 annodomini [~lambda@wikipedia/lambda] has joined #scheme 04:38:36 -!- visualshock [~visualsho@host-37-191-204-89.lynet.no] has quit [Quit: Leaving] 04:39:43 -!- snits [~snits@inet-hqmc08-o.oracle.com] has quit [Remote host closed the connection] 04:40:32 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 04:45:33 snits [~snits@184-98-225-16.phnx.qwest.net] has joined #scheme 04:50:49 -!- oxum [~oxum@122.164.16.202] has quit [Quit: Bye..] 04:51:04 oxum [~oxum@122.164.16.202] has joined #scheme 05:00:00 -!- duggiefresh [~duggiefre@c-66-30-12-178.hsd1.ma.comcast.net] has quit [Remote host closed the connection] 05:00:01 phipes [~phipes@unaffiliated/phipes] has joined #scheme 05:04:40 juxovec [~juxovec@31.4.243.109] has joined #scheme 05:09:10 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 245 seconds] 05:13:20 MichaelRaskin [~MichaelRa@195.178.216.113] has joined #scheme 05:23:17 -!- oleo [~oleo@xdsl-78-35-128-167.netcologne.de] has quit [Ping timeout: 248 seconds] 05:23:26 oleo [~oleo@xdsl-78-35-158-193.netcologne.de] has joined #scheme 05:23:59 gravicappa [~gravicapp@ppp85-141-226-133.pppoe.mtu-net.ru] has joined #scheme 05:24:55 noon 05:25:23 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 05:27:33 -!- jeapostrophe [~jay@racket/jeapostrophe] has quit [Ping timeout: 248 seconds] 05:30:50 -!- snits [~snits@184-98-225-16.phnx.qwest.net] has quit [Ping timeout: 264 seconds] 05:32:19 snits [~snits@inet-hqmc01-o.oracle.com] has joined #scheme 05:32:45 -!- e^x [~y@oftn/member/Nisstyre] has quit [Quit: Leaving] 05:33:25 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 05:49:36 -!- yacks [~py@103.6.159.103] has quit [Remote host closed the connection] 05:52:13 -!- ezio [~ezio@unaffiliated/ezio] has quit [Ping timeout: 272 seconds] 05:55:51 nisstyre [~y@oftn/member/Nisstyre] has joined #scheme 05:57:13 ezio [~ezio@unaffiliated/ezio] has joined #scheme 05:58:22 -!- oleo [~oleo@xdsl-78-35-158-193.netcologne.de] has quit [Quit: Leaving] 05:58:56 -!- zacts [~user@unaffiliated/zacts] has quit [Remote host closed the connection] 05:59:29 -!- effy [~x@114.246.77.67] has quit [Ping timeout: 240 seconds] 06:00:11 zacts [~user@unaffiliated/zacts] has joined #scheme 06:01:36 tupi [~user@189.60.14.237] has joined #scheme 06:01:45 -!- tupi [~user@189.60.14.237] has quit [Remote host closed the connection] 06:04:38 juxovec [~juxovec@31.4.243.109] has joined #scheme 06:09:31 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 265 seconds] 06:11:22 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 06:22:33 effy [~x@114.250.90.109] has joined #scheme 06:31:29 -!- snits [~snits@inet-hqmc01-o.oracle.com] has quit [Remote host closed the connection] 06:35:55 juxovec [~juxovec@31.4.243.109] has joined #scheme 06:36:46 -!- rudybot [~luser@ec2-54-215-10-197.us-west-1.compute.amazonaws.com] has quit [Remote host closed the connection] 06:38:17 vishesh [~vishesh@122.177.103.155] has joined #scheme 06:38:43 rudybot [~luser@ec2-54-215-10-197.us-west-1.compute.amazonaws.com] has joined #scheme 06:38:47 -!- arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has quit [Quit: My MacBook has gone to sleep. ZZZzzz] 06:40:09 -!- zRecursive [~czsq888@183.13.194.233] has quit [Remote host closed the connection] 06:51:59 -!- MichaelRaskin [~MichaelRa@195.178.216.113] has quit [Ping timeout: 240 seconds] 06:54:25 -!- phipes [~phipes@unaffiliated/phipes] has quit [Remote host closed the connection] 06:55:42 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 06:56:12 phipes [~phipes@unaffiliated/phipes] has joined #scheme 07:06:53 -!- phipes [~phipes@unaffiliated/phipes] has quit [Remote host closed the connection] 07:09:00 -!- kobain [~sambio@unaffiliated/kobain] has quit [Ping timeout: 256 seconds] 07:16:31 przl [~przlrkt@p5DCA3D57.dip0.t-ipconnect.de] has joined #scheme 07:32:13 -!- przl [~przlrkt@p5DCA3D57.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 07:36:12 phipes [~phipes@unaffiliated/phipes] has joined #scheme 07:36:55 -!- githogori [~githogori@c-50-156-58-163.hsd1.ca.comcast.net] has quit [Quit: Leaving] 07:37:06 githogori [~githogori@c-50-156-58-163.hsd1.ca.comcast.net] has joined #scheme 07:37:48 -!- phipes [~phipes@unaffiliated/phipes] has quit [Read error: Connection reset by peer] 07:38:02 phipes [~phipes@unaffiliated/phipes] has joined #scheme 07:39:54 -!- vishesh [~vishesh@122.177.103.155] has quit [Ping timeout: 265 seconds] 07:42:29 -!- phipes [~phipes@unaffiliated/phipes] has quit [Ping timeout: 248 seconds] 07:50:04 -!- nisstyre [~y@oftn/member/Nisstyre] has quit [Quit: Leaving] 07:52:31 vishesh [~vishesh@122.177.156.28] has joined #scheme 07:55:09 -!- juxovec [~juxovec@31.4.243.109] has quit [Remote host closed the connection] 07:56:12 juxovec [~juxovec@31.4.243.109] has joined #scheme 07:59:01 jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has joined #scheme 07:59:03 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 08:00:05 -!- yayutf_ [~yayutf@p549B6C3C.dip0.t-ipconnect.de] has quit [Ping timeout: 248 seconds] 08:03:51 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Remote host closed the connection] 08:09:12 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 08:10:16 -!- Kneferilis [~Kneferili@nb1-210.static.cytanet.com.cy] has quit [Quit: Leaving] 08:11:04 tiksa [~tiksa@gateway/tor-sasl/tiksa] has joined #scheme 08:18:13 -!- juxovec [~juxovec@31.4.243.109] has quit [Remote host closed the connection] 08:18:51 juxovec [~juxovec@31.4.243.109] has joined #scheme 08:23:15 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 252 seconds] 08:24:35 -!- Ogion [~Ogion@132.Red-83-57-115.dynamicIP.rima-tde.net] has quit [Ping timeout: 272 seconds] 08:24:35 Ogion_ [~Ogion@170.Red-83-36-188.dynamicIP.rima-tde.net] has joined #scheme 08:25:06 juxovec [~juxovec@227.Red-79-153-87.dynamicIP.rima-tde.net] has joined #scheme 08:29:10 Kneferilis [~Kneferili@nb1-210.static.cytanet.com.cy] has joined #scheme 08:33:33 yayutf [~yayutf@p549B6E4A.dip0.t-ipconnect.de] has joined #scheme 08:35:38 -!- bernalex [~alexander@107.4.189.109.customer.cdi.no] has quit [Changing host] 08:35:38 bernalex [~alexander@fsf/member/alexanderb] has joined #scheme 08:36:20 Okasu [~1@unaffiliated/okasu] has joined #scheme 08:53:49 przl [~przlrkt@62.217.45.197] has joined #scheme 09:00:51 duggiefresh [~duggiefre@c-66-30-12-178.hsd1.ma.comcast.net] has joined #scheme 09:01:08 -!- zacts [~user@unaffiliated/zacts] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 09:05:29 -!- duggiefresh [~duggiefre@c-66-30-12-178.hsd1.ma.comcast.net] has quit [Ping timeout: 240 seconds] 09:08:53 zacts [~user@unaffiliated/zacts] has joined #scheme 09:27:28 Sgeo_ [~quassel@ool-44c2df0c.dyn.optonline.net] has joined #scheme 09:28:48 -!- przl [~przlrkt@62.217.45.197] has quit [Read error: Connection reset by peer] 09:30:06 -!- Sgeo [~quassel@ool-44c2df0c.dyn.optonline.net] has quit [Ping timeout: 265 seconds] 09:33:16 przl [~przlrkt@62.217.45.197] has joined #scheme 09:38:36 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 252 seconds] 09:40:42 stepnem [~stepnem@internet2.cznet.cz] has joined #scheme 09:43:46 przl [~przlrkt@62.217.45.197] has joined #scheme 09:44:46 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 09:47:49 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 248 seconds] 09:48:47 przl [~przlrkt@62.217.45.197] has joined #scheme 09:50:12 -!- juxovec [~juxovec@227.Red-79-153-87.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 10:07:13 vraid [d91bbc5a@gateway/web/freenode/ip.217.27.188.90] has joined #scheme 10:09:55 jrapdx [~jra@c-50-137-169-114.hsd1.or.comcast.net] has joined #scheme 10:13:19 -!- Kneferilis [~Kneferili@nb1-210.static.cytanet.com.cy] has quit [Quit: Leaving] 10:16:23 juxovec [~juxovec@31.4.243.109] has joined #scheme 10:18:29 -!- ezio [~ezio@unaffiliated/ezio] has quit [Ping timeout: 240 seconds] 10:19:35 -!- jrapdx [~jra@c-50-137-169-114.hsd1.or.comcast.net] has quit [Ping timeout: 245 seconds] 10:20:53 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 248 seconds] 10:21:09 yacks [~py@103.6.159.103] has joined #scheme 10:22:07 Kneferilis [~Kneferili@nb1-210.static.cytanet.com.cy] has joined #scheme 10:22:25 -!- Kneferilis [~Kneferili@nb1-210.static.cytanet.com.cy] has quit [Read error: Connection reset by peer] 10:23:16 add^_ [~user@m5-241-186-97.cust.tele2.se] has joined #scheme 10:27:46 Kneferilis [~Kneferili@nb1-210.static.cytanet.com.cy] has joined #scheme 10:31:31 pnkfelix [~pnkfelix@89.202.203.51] has joined #scheme 10:38:47 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 10:44:37 -!- jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has quit [Quit: Leaving] 10:46:27 ogamita [~t@tru75-h02-31-38-72-69.dsl.sta.abo.bbox.fr] has joined #scheme 10:47:25 juxovec [~juxovec@31.4.243.109] has joined #scheme 10:47:40 -!- b4283 [~b4283@60-249-196-111.HINET-IP.hinet.net] has quit [Quit: Konversation terminated!] 10:52:25 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 272 seconds] 10:54:44 -!- zacts [~user@unaffiliated/zacts] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 10:55:17 maxs` [maxs`@gateway/shell/ircrelay.com/x-wlxplyxbnqctdlkq] has joined #scheme 11:03:09 -!- tiksa [~tiksa@gateway/tor-sasl/tiksa] has quit [Ping timeout: 240 seconds] 11:03:09 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Ping timeout: 240 seconds] 11:16:44 juxovec [~juxovec@31.4.243.109] has joined #scheme 11:20:38 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 11:21:33 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 252 seconds] 11:21:38 -!- ogamita [~t@tru75-h02-31-38-72-69.dsl.sta.abo.bbox.fr] has quit [Remote host closed the connection] 11:22:38 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 245 seconds] 11:34:14 tiksa [~tiksa@gateway/tor-sasl/tiksa] has joined #scheme 11:41:57 -!- gravicappa [~gravicapp@ppp85-141-226-133.pppoe.mtu-net.ru] has quit [Ping timeout: 248 seconds] 11:42:41 -!- LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has quit [Remote host closed the connection] 11:43:01 zacts [~user@unaffiliated/zacts] has joined #scheme 11:44:00 -!- `micro [~micro@ec2-50-16-189-142.compute-1.amazonaws.com] has quit [Ping timeout: 276 seconds] 11:44:12 `micro [~micro@ec2-50-16-189-142.compute-1.amazonaws.com] has joined #scheme 11:44:36 -!- `micro is now known as Guest56559 11:49:24 przl [~przlrkt@62.217.45.197] has joined #scheme 11:50:20 jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has joined #scheme 11:54:18 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 245 seconds] 11:56:59 gravicappa [~gravicapp@ppp85-141-230-132.pppoe.mtu-net.ru] has joined #scheme 11:58:36 mmc1 [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 12:04:36 b4283 [~b4283@218-164-218-12.dynamic.hinet.net] has joined #scheme 12:07:09 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Ping timeout: 272 seconds] 12:16:43 juxovec [~juxovec@31.4.243.109] has joined #scheme 12:19:04 bjz_ [~bjz@125.253.99.68] has joined #scheme 12:19:17 -!- bjz [~bjz@125.253.99.68] has quit [Read error: Connection reset by peer] 12:20:12 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 12:22:09 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 252 seconds] 12:28:53 jeapostrophe [~jay@racket/jeapostrophe] has joined #scheme 12:31:13 -!- vishesh [~vishesh@122.177.156.28] has quit [Ping timeout: 272 seconds] 12:42:56 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 12:50:16 przl [~przlrkt@62.217.45.197] has joined #scheme 12:54:43 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Ping timeout: 245 seconds] 12:55:23 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 260 seconds] 13:00:27 przl [~przlrkt@62.217.45.197] has joined #scheme 13:01:38 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 13:03:12 alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has joined #scheme 13:03:51 -!- maxs` [maxs`@gateway/shell/ircrelay.com/x-wlxplyxbnqctdlkq] has left #scheme 13:16:51 juxovec [~juxovec@31.4.243.109] has joined #scheme 13:20:38 -!- yacks [~py@103.6.159.103] has quit [Ping timeout: 264 seconds] 13:21:29 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 240 seconds] 13:22:48 yacks [~py@103.6.159.103] has joined #scheme 13:37:30 juxovec [~juxovec@31.4.243.109] has joined #scheme 13:39:06 -!- Sgeo_ [~quassel@ool-44c2df0c.dyn.optonline.net] has quit [Read error: Connection reset by peer] 13:39:23 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 13:39:59 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Read error: Connection reset by peer] 13:40:21 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 13:40:54 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 13:41:15 sstrickl_ [~sstrickl@racket/sstrickl] has joined #scheme 13:42:07 -!- tiksa [~tiksa@gateway/tor-sasl/tiksa] has quit [Remote host closed the connection] 13:42:15 -!- sstrickl_ is now known as sstrickl 13:42:21 -!- tenq|away [~tenq@199.19.116.207] has quit [Ping timeout: 252 seconds] 13:42:26 -!- ctindall [~ctindall@billipede.net] has quit [Ping timeout: 246 seconds] 13:42:48 mario-go` [~user@email.parenteses.org] has joined #scheme 13:42:51 ctindall [~ctindall@billipede.net] has joined #scheme 13:43:08 -!- emma [~em@unaffiliated/emma] has quit [Ping timeout: 246 seconds] 13:43:09 -!- poucet [~chris@li23-146.members.linode.com] has quit [Ping timeout: 246 seconds] 13:43:25 -!- sigjuice [~sigjuice@192.241.139.168] has quit [Ping timeout: 260 seconds] 13:43:27 -!- zarusky [~zarul@ubuntu/member/zarul] has quit [Ping timeout: 252 seconds] 13:43:49 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Ping timeout: 240 seconds] 13:43:49 -!- jeapostrophe [~jay@racket/jeapostrophe] has quit [Ping timeout: 252 seconds] 13:43:50 -!- mario-goulart [~user@email.parenteses.org] has quit [Ping timeout: 246 seconds] 13:43:51 -!- evhan [~evhan@pdpc/supporter/active/evhan] has quit [Ping timeout: 246 seconds] 13:44:03 -!- cantstanya [~hello@unaffiliated/cantstanya] has quit [Ping timeout: 264 seconds] 13:44:50 poucet [~chris@li23-146.members.linode.com] has joined #scheme 13:45:27 emma [~em@24.239.130.173] has joined #scheme 13:45:30 -!- emma [~em@24.239.130.173] has quit [Changing host] 13:45:30 emma [~em@unaffiliated/emma] has joined #scheme 13:45:35 -!- tizoc [~user@unaffiliated/tizoc] has quit [Ping timeout: 246 seconds] 13:46:34 -!- przl [~przlrkt@62.217.45.197] has quit [Read error: Connection reset by peer] 13:47:59 annodomini [~lambda@c-76-23-156-75.hsd1.ma.comcast.net] has joined #scheme 13:47:59 -!- annodomini [~lambda@c-76-23-156-75.hsd1.ma.comcast.net] has quit [Changing host] 13:47:59 annodomini [~lambda@wikipedia/lambda] has joined #scheme 13:48:38 tizoc [~user@unaffiliated/tizoc] has joined #scheme 13:49:14 evhan [~evhan@pdpc/supporter/active/evhan] has joined #scheme 13:49:20 oleo [~oleo@xdsl-84-44-208-1.netcologne.de] has joined #scheme 13:50:10 sigjuice [~sigjuice@192.241.139.168] has joined #scheme 13:50:47 -!- mario-go` is now known as mario-goulart 13:53:01 jeapostrophe [~jay@216-21-162-70.slc.googlefiber.net] has joined #scheme 13:53:01 -!- jeapostrophe [~jay@216-21-162-70.slc.googlefiber.net] has quit [Changing host] 13:53:01 jeapostrophe [~jay@racket/jeapostrophe] has joined #scheme 13:56:40 -!- oxum [~oxum@122.164.16.202] has quit [Ping timeout: 245 seconds] 13:57:20 tiksa [~tiksa@gateway/tor-sasl/tiksa] has joined #scheme 13:58:10 cantstanya [~hello@unaffiliated/cantstanya] has joined #scheme 13:58:10 zarusky [~zarul@ubuntu/member/zarul] has joined #scheme 13:59:45 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 14:00:15 oxum [~oxum@122.164.16.202] has joined #scheme 14:01:26 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 14:01:43 -!- juxovec [~juxovec@31.4.243.109] has quit [Read error: Connection reset by peer] 14:01:52 juxovec [~juxovec@31.4.243.109] has joined #scheme 14:04:14 tenq|away [~tenq@199.19.116.207] has joined #scheme 14:05:05 davexunit [~user@38.104.7.18] has joined #scheme 14:07:37 przl [~przlrkt@62.217.45.197] has joined #scheme 14:08:09 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Disconnected by services] 14:17:38 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 272 seconds] 14:18:14 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 264 seconds] 14:21:27 -!- ft [efftee@oldshell.chaostreff-dortmund.de] has quit [Remote host closed the connection] 14:21:41 -!- evhan [~evhan@pdpc/supporter/active/evhan] has quit [Ping timeout: 272 seconds] 14:27:48 przl [~przlrkt@62.217.45.197] has joined #scheme 14:31:04 LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has joined #scheme 14:34:10 -!- jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has quit [Remote host closed the connection] 14:36:43 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 14:37:37 -!- b4283 [~b4283@218-164-218-12.dynamic.hinet.net] has quit [Quit: ] 14:39:31 evhan [~evhan@pdpc/supporter/active/evhan] has joined #scheme 14:40:26 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Quit: Konversation terminated!] 14:44:23 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 14:44:56 duggiefresh [~duggiefre@64.119.141.126] has joined #scheme 14:49:18 langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 14:55:40 rszeno [~rszeno@79.114.67.34] has joined #scheme 14:56:33 -!- rszeno [~rszeno@79.114.67.34] has quit [Client Quit] 14:56:39 jao [~jao@163.122.14.37.dynamic.jazztel.es] has joined #scheme 14:56:39 -!- jao [~jao@163.122.14.37.dynamic.jazztel.es] has quit [Changing host] 14:56:39 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 15:05:34 jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has joined #scheme 15:06:22 ezio [~ezio@CPE0011d8ed356c-CM78cd8ecce905.cpe.net.cable.rogers.com] has joined #scheme 15:06:23 -!- ezio [~ezio@CPE0011d8ed356c-CM78cd8ecce905.cpe.net.cable.rogers.com] has quit [Changing host] 15:06:23 ezio [~ezio@unaffiliated/ezio] has joined #scheme 15:07:05 kobain [~sambio@unaffiliated/kobain] has joined #scheme 15:20:50 -!- effy [~x@114.250.90.109] has quit [Ping timeout: 245 seconds] 15:24:54 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 15:26:48 aranhoide [~aranhoide@242.Red-79-157-101.dynamicIP.rima-tde.net] has joined #scheme 15:29:50 -!- duggiefresh [~duggiefre@64.119.141.126] has quit [Read error: Connection reset by peer] 15:30:13 duggiefresh [~duggiefre@64.119.141.126] has joined #scheme 15:46:00 arubin [uid489@gateway/web/irccloud.com/x-phbxdjytmbigvbwn] has joined #scheme 15:51:25 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 15:52:38 -!- yosafbridge [~yosafbrid@li125-242.members.linode.com] has quit [Read error: Operation timed out] 15:52:50 yosafbridge [~yosafbrid@li125-242.members.linode.com] has joined #scheme 15:56:25 -!- jeapostrophe [~jay@racket/jeapostrophe] has quit [Ping timeout: 272 seconds] 16:09:09 -!- yacks [~py@103.6.159.103] has quit [Remote host closed the connection] 16:10:41 jeapostrophe [~jay@racket/jeapostrophe] has joined #scheme 16:11:35 -!- aranhoide [~aranhoide@242.Red-79-157-101.dynamicIP.rima-tde.net] has quit [Ping timeout: 252 seconds] 16:20:31 theseb [~cs@74.194.237.26] has joined #scheme 16:21:22 is there some sense in which lambda calculus is related to scheme? e.g. can scheme be naturally implemented in lambda calc easier than say C? what's the relationship? 16:23:33 <`^_^v> lambda calculus serves as a model for computation of functional languages in general. you can implement a lot of scheme just using lambdas as an abstraction 16:26:58 sheilong [~sabayonus@unaffiliated/sheilong] has joined #scheme 16:29:17 lambda calculus is to scheme what a turing machine is to C 16:29:49 mornfall: nice 16:30:31 mornfall: i don't know that it would easy to implement C in a turing machine but it is possible...same with scheme and lambda calc i guess 16:30:34 thanks 16:31:37 well, it's not as much about "implementing in" as about abstracting the computation/evaluation model 16:31:41 <`^_^v> i dont really remember the content of all these papers but it seems like the first one could teach you http://library.readscheme.org/page1.html 16:37:57 -!- alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has quit [Ping timeout: 248 seconds] 16:39:32 aranhoide [~aranhoide@242.Red-79-157-101.dynamicIP.rima-tde.net] has joined #scheme 16:48:34 hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has joined #scheme 16:50:36 tupi [~user@189.60.14.237] has joined #scheme 16:52:49 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 16:53:20 effy [~x@114.246.77.67] has joined #scheme 17:01:28 -!- vraid [d91bbc5a@gateway/web/freenode/ip.217.27.188.90] has quit [Ping timeout: 245 seconds] 17:03:03 -!- juxovec [~juxovec@31.4.243.109] has quit [Remote host closed the connection] 17:03:44 juxovec [~juxovec@31.4.243.109] has joined #scheme 17:07:03 -!- juxovec [~juxovec@31.4.243.109] has quit [Read error: Connection reset by peer] 17:11:53 przl_ [~przlrkt@62.217.45.197] has joined #scheme 17:14:19 juxovec [~juxovec@31.4.243.109] has joined #scheme 17:14:51 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 260 seconds] 17:19:33 alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has joined #scheme 17:20:06 -!- duggiefresh [~duggiefre@64.119.141.126] has quit [Remote host closed the connection] 17:20:50 -!- juxovec [~juxovec@31.4.243.109] has quit [Remote host closed the connection] 17:28:54 mornfall: actually....C probably wants to be related to a register machine more than a turing machine twiw 17:28:56 fwiw* 17:29:36 theseb: what's the difference? 17:30:01 mornfall: register machines are random access...turing machines are not 17:30:31 mornfall: they are both equivalent in power...it is just that C uses random access naturally 17:31:32 you mean a RAM? :) 17:31:46 http://en.wikipedia.org/wiki/Random_access_machine 17:32:35 also, C "locations" are fixed size, so it's not really random-access 17:33:03 -!- mmc1 [~michal@sams-office-nat.tomtomgroup.com] has quit [Ping timeout: 260 seconds] 17:33:16 (it's a theoretical exercise of course, but you can encode any fixed amount of RAM in a single turing machine cell) 17:33:33 (RAM as in memory, in this last sentence) 17:33:50 annodomini [~lambda@wikipedia/lambda] has joined #scheme 17:34:09 encoding natural numbers in C takes logarithmic number of memory accesses, just like in a TM 17:34:29 -!- yayutf [~yayutf@p549B6E4A.dip0.t-ipconnect.de] has quit [Ping timeout: 248 seconds] 17:35:04 but the idea with C-TM and scheme-LC is how the computation/reduction step is defined 17:35:51 lambda calculus works by term rewriting, changing the code as means of computation 17:36:23 turing machines have a fixed program and change data in a course of performing the fixed program 17:36:47 in real programming languages, the difference is more blurry 17:37:04 you can "modify" code in C, and you can have mutable data in scheme 17:37:16 but the primary mode of computation is what matters here 17:44:48 -!- Belaf [~campedel@net-93-147-182-89.cust.dsl.teletu.it] has quit [Ping timeout: 251 seconds] 17:44:53 Belaf1 [~campedel@net-93-147-183-121.cust.dsl.teletu.it] has joined #scheme 17:46:04 duggiefresh [~duggiefre@64.119.141.126] has joined #scheme 17:54:02 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/] 17:58:53 -!- alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 18:06:17 -!- aranhoide [~aranhoide@242.Red-79-157-101.dynamicIP.rima-tde.net] has quit [Ping timeout: 265 seconds] 18:06:47 nicdev [~user@kilimanjaro.rafpepa.com] has joined #scheme 18:11:07 -!- Belaf1 [~campedel@net-93-147-183-121.cust.dsl.teletu.it] has quit [Ping timeout: 265 seconds] 18:11:30 yayutf [~yayutf@p549B6E4A.dip0.t-ipconnect.de] has joined #scheme 18:12:21 -!- przl_ [~przlrkt@62.217.45.197] has quit [Ping timeout: 248 seconds] 18:12:30 Belaf [~campedel@net-93-147-180-37.cust.dsl.teletu.it] has joined #scheme 18:15:36 joneshf-laptop [~joneshf@c-98-208-36-36.hsd1.ca.comcast.net] has joined #scheme 18:18:29 alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has joined #scheme 18:21:57 mornfall: interesting 18:22:22 mornfall: yes C memory is fixed size so it isn't EXACTLY assuming a theoretical RAM 18:23:08 theseb: well, memory isn't particularly fixed size, but each memory address is 18:23:58 theseb: reading data off an address is linear in size of the data you load, not constant 18:31:26 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 264 seconds] 18:31:28 juxovec [~juxovec@31.4.243.109] has joined #scheme 18:36:15 -!- juxovec [~juxovec@31.4.243.109] has quit [Ping timeout: 245 seconds] 18:38:25 Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has joined #scheme 18:39:49 aranhoide [~aranhoide@242.Red-79-157-101.dynamicIP.rima-tde.net] has joined #scheme 18:40:03 -!- Nizumzen [~Nizumzen@cpc1-reig5-2-0-cust251.6-3.cable.virginm.net] has quit [Client Quit] 18:48:05 -!- aranhoide [~aranhoide@242.Red-79-157-101.dynamicIP.rima-tde.net] has quit [Ping timeout: 248 seconds] 18:53:15 mmc1 [~michal@j212115.upc-j.chello.nl] has joined #scheme 18:54:00 -!- sstrickl [~sstrickl@racket/sstrickl] has left #scheme 18:55:20 -!- fikusz [~fikusz@catv-89-132-137-62.catv.broadband.hu] has quit [Quit: Leaving] 18:59:49 fikusz [~fikusz@catv-89-132-137-62.catv.broadband.hu] has joined #scheme 19:03:59 -!- hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has quit [Ping timeout: 240 seconds] 19:05:16 przl [~przlrkt@p5DCA3D57.dip0.t-ipconnect.de] has joined #scheme 19:11:37 -!- przl [~przlrkt@p5DCA3D57.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 19:16:54 przl [~przlrkt@p5DCA3D57.dip0.t-ipconnect.de] has joined #scheme 19:17:25 -!- przl [~przlrkt@p5DCA3D57.dip0.t-ipconnect.de] has quit [Client Quit] 19:18:20 -!- mmc1 [~michal@j212115.upc-j.chello.nl] has quit [Read error: Connection reset by peer] 19:18:26 mmc2 [~michal@j212115.upc-j.chello.nl] has joined #scheme 19:18:59 -!- gravicappa [~gravicapp@ppp85-141-230-132.pppoe.mtu-net.ru] has quit [Ping timeout: 240 seconds] 19:26:20 -!- jewel [~jewel@105-237-68-160.access.mtnbusiness.co.za] has quit [Ping timeout: 252 seconds] 19:28:05 -!- pnkfelix [~pnkfelix@89.202.203.51] has quit [Quit: rcirc on GNU Emacs 24.3.1] 19:31:10 -!- langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Quit: quit] 19:31:15 -!- joneshf-laptop [~joneshf@c-98-208-36-36.hsd1.ca.comcast.net] has quit [Ping timeout: 245 seconds] 19:32:00 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 19:44:06 joneshf-laptop [~joneshf@c-98-208-36-36.hsd1.ca.comcast.net] has joined #scheme 19:46:05 hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has joined #scheme 19:52:19 -!- sheilong [~sabayonus@unaffiliated/sheilong] has quit [Quit: Konversation terminated!] 20:09:41 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 248 seconds] 20:10:39 gravicappa [~gravicapp@ppp91-77-178-205.pppoe.mtu-net.ru] has joined #scheme 20:13:57 -!- Belaf [~campedel@net-93-147-180-37.cust.dsl.teletu.it] has quit [Ping timeout: 248 seconds] 20:17:52 Belaf [~campedel@net-93-147-180-255.cust.dsl.teletu.it] has joined #scheme 20:25:12 -!- Belaf [~campedel@net-93-147-180-255.cust.dsl.teletu.it] has quit [Ping timeout: 252 seconds] 20:27:08 -!- mmc2 [~michal@j212115.upc-j.chello.nl] has quit [Read error: No route to host] 20:38:32 Belaf [~campedel@net-93-147-191-220.cust.dsl.teletu.it] has joined #scheme 20:53:08 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 21:07:26 -!- Belaf [~campedel@net-93-147-191-220.cust.dsl.teletu.it] has quit [Ping timeout: 264 seconds] 21:11:53 langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 21:14:25 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 21:15:37 -!- alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 21:22:29 alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has joined #scheme 21:25:46 -!- langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Quit: sleep] 21:28:21 -!- gravicappa [~gravicapp@ppp91-77-178-205.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:28:45 Belaf [~campedel@net-93-147-181-194.cust.dsl.teletu.it] has joined #scheme 21:39:34 developernotes [~developer@173-29-199-75.client.mchsi.com] has joined #scheme 21:39:35 -!- weie [~weie@softbank221078042071.bbtec.net] has quit [Quit: Leaving...] 21:44:35 -!- developernotes [~developer@173-29-199-75.client.mchsi.com] has quit [] 21:47:30 -!- alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 21:47:39 alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has joined #scheme 21:52:12 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:55:47 -!- hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has quit [Ping timeout: 260 seconds] 22:02:07 -!- davexunit [~user@38.104.7.18] has quit [Quit: Later] 22:18:19 -!- alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 22:19:13 langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has joined #scheme 22:21:23 -!- langmartin [~langmarti@host-68-169-175-226.WISOLT2.epbfi.com] has quit [Client Quit] 22:25:14 -!- bernalex [~alexander@fsf/member/alexanderb] has quit [Write error: Broken pipe] 22:27:14 bernalex [~alexander@107.4.189.109.customer.cdi.no] has joined #scheme 22:27:59 -!- bernalex [~alexander@107.4.189.109.customer.cdi.no] has quit [Changing host] 22:27:59 bernalex [~alexander@fsf/member/alexanderb] has joined #scheme 22:31:41 -!- duggiefresh [~duggiefre@64.119.141.126] has quit [Remote host closed the connection] 22:32:07 duggiefresh [~duggiefre@64.119.141.126] has joined #scheme 22:35:46 -!- taylanub [tub@p4FD92B42.dip0.t-ipconnect.de] has quit [Disconnected by services] 22:36:13 taylanub [tub@p4FD93CC2.dip0.t-ipconnect.de] has joined #scheme 22:36:15 -!- duggiefresh [~duggiefre@64.119.141.126] has quit [Ping timeout: 245 seconds] 22:37:02 -!- Okasu [~1@unaffiliated/okasu] has quit [Quit: Lost terminal] 22:45:16 davexunit [~user@fsf/member/davexunit] has joined #scheme 22:47:09 -!- jeapostrophe [~jay@racket/jeapostrophe] has quit [Ping timeout: 252 seconds] 22:48:02 hiroakip [~hiroaki@77-20-51-63-dynip.superkabel.de] has joined #scheme 22:59:58 alexei___ [~amgarchin@p4FD6134D.dip0.t-ipconnect.de] has joined #scheme 23:02:23 -!- theseb [~cs@74.194.237.26] has quit [Quit: Leaving] 23:11:35 jeapostrophe [~jay@racket/jeapostrophe] has joined #scheme 23:15:45 -!- oleo [~oleo@xdsl-84-44-208-1.netcologne.de] has quit [Ping timeout: 252 seconds] 23:19:23 -!- tupi [~user@189.60.14.237] has quit [Ping timeout: 272 seconds] 23:30:17 oleo [~oleo@xdsl-78-35-161-65.netcologne.de] has joined #scheme 23:30:32 -!- arubin [uid489@gateway/web/irccloud.com/x-phbxdjytmbigvbwn] has quit [] 23:30:32 -!- add^_ [~user@m5-241-186-97.cust.tele2.se] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 23:30:53 arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has joined #scheme 23:33:05 -!- arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has quit [Remote host closed the connection] 23:33:27 arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has joined #scheme 23:34:28 -!- arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has quit [Client Quit] 23:38:20 arubin [~textual@99-114-192-172.lightspeed.cicril.sbcglobal.net] has joined #scheme 23:52:29 phipes [~phipes@unaffiliated/phipes] has joined #scheme 23:56:01 ASau` [~user@p54AFE2E5.dip0.t-ipconnect.de] has joined #scheme 23:59:20 araujo [~araujo@190.73.46.113] has joined #scheme 23:59:20 -!- araujo [~araujo@190.73.46.113] has quit [Changing host] 23:59:20 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 23:59:33 -!- ASau [~user@p5083D589.dip0.t-ipconnect.de] has quit [Ping timeout: 248 seconds]