00:06:21 <zzo38> What is navier-stokes?
00:06:53 <oerjan> https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_equations
00:06:57 <zzo38> How complicated is it usually to compile tail calls?
00:07:18 <ais523> zzo38: you just replace them with a goto, normally
00:07:28 <ais523> the only hard part is if there's something weird about the way arguments or return values are passed
00:07:40 <Bike> should be about the same as compiling a function call, only with a jump instead of a ret
00:07:54 <zzo38> ais523: In a program I am writing, I already have more than 37 lines of code for compiling tail calls.
00:08:14 <Bike> er, jump instead of a jsr, wtf ever
00:08:16 <zzo38> Much of which is determining whether or not a tail call is possible.
00:08:19 <ais523> zzo38: detecting tail calls is the hard part, yes
00:09:20 <oerjan> ais523: are you saying you've forgotten feather
00:09:21 <zzo38> As well as due to the way arguments are passed, it is doing other things with them.
00:09:28 <ais523> oerjan: many of the details, yes
00:09:32 <ais523> this is probably a good thing
00:09:40 <ais523> I could probably reconstruct what I had but don't make me
00:10:00 <zzo38> It is compiling into Z-machine, so arguments are part of the CALL opcode.
00:10:22 <zzo38> (As well as XCALL, CALL1, CALL2, ICALL, ICALL1, ICALL2, and IXCALL.)
00:10:46 -!- tromp has joined.
00:11:15 -!- ais523 has quit.
00:11:25 -!- Phantom_Hoover has quit (Quit: Leaving).
00:13:01 -!- ^v has quit (Quit: Leaving).
00:13:22 -!- ^v has joined.
00:13:28 <zzo38> This compiler won't even attempt a tail call unless the user requests it anyways.
00:13:28 <oerjan> theory: the real reason why ais523 goes crazy whenever he tries to think about feather is that it's actually isomorphic to the language the universe is written in, and there's a defense routine for preventing anyone inside from inventing it.
00:14:18 <oerjan> all the weirdness of quantum mechanics is actually a side effect of the time rewinding.
00:16:06 -!- shikhin has quit (Ping timeout: 255 seconds).
00:30:04 -!- tertu has joined.
00:44:41 -!- oerjan has quit (Quit: Nite).
00:58:11 -!- Sprocklem has quit (Changing host).
00:58:11 -!- Sprocklem has joined.
01:21:55 -!- tromp has quit (Remote host closed the connection).
01:21:59 -!- Tod-Autojoined2 has quit (Quit: This is me, signing off. Probably rebooting or something.).
01:22:15 -!- TodPunk has joined.
01:30:01 -!- tertu has quit (Ping timeout: 240 seconds).
01:40:56 -!- Sellyme has quit (Excess Flood).
01:41:38 -!- tertu has joined.
01:41:52 -!- Sellyme has joined.
02:02:04 -!- w00tles has joined.
02:20:05 -!- ^v has quit (Read error: Connection reset by peer).
02:20:25 -!- ^v has joined.
02:29:46 <kmc> what have they done
02:30:40 <copumpkin> just someone on twitter telling it how it is
02:36:37 <kmc> that's what the RT button is for
02:36:57 <copumpkin> that's how you got into trouble in the first place
02:37:25 <kmc> prepare for trouble and make it double!
02:44:27 -!- Sorella has quit (Quit: It is tiem!).
02:53:04 <Sgeo> Any good FTP servers that aren't FileZilla Server?
02:53:45 <kmc> publicfile
02:53:48 <kmc> if your files are public
02:54:57 <Sgeo> I just want to transfer files from one computer to another
02:55:09 <Sgeo> Shared folders don't seem to work well, bluetooth doesn't seem to work well
02:55:14 <Sgeo> (Or at all. For both)
02:58:48 -!- tertu has quit (Ping timeout: 244 seconds).
03:06:45 -!- tromp has joined.
03:14:25 <kmc> give up and use dropbox
03:15:40 <copumpkin> http://utilite-computer.com/web/utilite-models seems kind of cute
03:16:51 -!- tromp has quit (Remote host closed the connection).
03:17:08 -!- JesseH has quit (Read error: Connection reset by peer).
03:17:27 -!- tromp has joined.
03:22:16 -!- tromp has quit (Ping timeout: 240 seconds).
03:22:40 -!- FireFly has quit (Excess Flood).
03:23:56 -!- FireFly has joined.
03:32:32 -!- tertu has joined.
03:36:30 -!- Bike_ has joined.
03:37:06 -!- Bike has quit (Disconnected by services).
03:37:09 -!- Bike_ has changed nick to Bike.
03:54:20 -!- tromp has joined.
03:56:03 -!- yorick has quit (Remote host closed the connection).
04:02:59 -!- tertu has quit (Ping timeout: 240 seconds).
04:03:06 -!- tertu has joined.
04:06:00 -!- Sgeo_ has joined.
04:06:10 -!- tromp_ has joined.
04:07:13 -!- Sgeo has quit (Ping timeout: 240 seconds).
04:07:13 -!- atehwa has quit (Ping timeout: 240 seconds).
04:07:20 -!- atehwa has joined.
04:08:34 -!- tromp has quit (Ping timeout: 264 seconds).
04:09:21 <zzo38> copumpkin: O, it has RS232. It least, it has that, is a good idea.
04:09:49 <copumpkin> http://hardkernel.com/main/products/prdt_info.php?g_code=G138745696275 is particularly tempting
04:11:12 <zzo38> But a better idea, would be to have both RS232 and GPIO available.
04:16:58 -!- w00tles has quit (Quit: quit).
04:44:43 -!- Sprocklem has quit (Read error: Connection reset by peer).
04:48:37 -!- tromp_ has quit (Read error: Connection reset by peer).
04:48:57 -!- shikhin has joined.
04:49:11 -!- tromp has joined.
04:51:27 -!- w00tles has joined.
04:53:37 -!- tromp has quit (Ping timeout: 240 seconds).
05:02:40 -!- nisstyre has joined.
05:08:56 <Bike> https://www.youtube.com/watch?v=m3qHepWxn-k Hacking, is easy
05:39:06 -!- oklopol has joined.
05:54:21 -!- Slereahphone_ has joined.
05:56:34 -!- Slereahphone has quit (Ping timeout: 264 seconds).
05:56:35 -!- Slereahphone_ has changed nick to Slereahphone.
05:58:37 -!- w00tles has quit (Quit: quit).
06:15:31 <kmc> uint64_t arg; strncpy((char *) &arg, argv[1], 8);
06:18:57 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
06:22:57 <kmc> I noticed ARM doesn't have a specific instruction for fast syscalls like x86 does; is that because normal interrupts are fast enough, with register banks and such?
06:23:10 <kmc> copumpkin: do you know
06:28:07 -!- nisstyre has quit (Ping timeout: 244 seconds).
06:40:22 -!- ^v has quit (Quit: Leaving).
06:44:22 -!- tertu has quit (Ping timeout: 265 seconds).
06:47:09 <Sgeo_> It's official... tomorrow, I must buy sleepphones
06:47:14 <Sgeo_> I want to sleep with music
06:49:09 <shachaf> kmc: what is svc if not that?
06:52:22 <fizzie> To be fair, it used to be called "swi" which makes it sound not specific for system calls.
06:52:37 -!- Slereahphone has joined.
06:53:52 <kmc> but isn't it handled the same way as other kinds of interrupts?
07:01:10 <zzo38> fizzie: It used to be called "swi"? And how is it called now?
07:02:22 <zzo38> Why did they change it?
07:03:45 <fizzie> Just a guess, but perhaps to better reflect what it is used for. (Also there's a "hvc" for hypervisor calls on systems supporting hardware virtualization, and perhaps more.)
07:12:26 -!- atslash has joined.
07:22:35 <zzo38> What do they call it in pinball if a ball goes down one outlane and up the other?
07:26:20 <zzo38> Is there a more specific name for such a thing? And, what is it called if the ball goes down the center lane and up an outlane?
07:39:01 -!- Bike has quit (Ping timeout: 252 seconds).
07:43:17 <fizzie> If it goes down an outlane and up through the center because you punched the front, it's called a "bangback".
07:43:50 <zzo38> I know that, but it isn't what I am asking.
07:44:37 <fizzie> I haven't heard of any terms for the things you're asking; maybe they're sufficiently rare?
07:45:52 <zzo38> There is also the kind of "sideways bangback" (I think there is actually another term), where the ball is about to fall through the outlane but the wall strikes it so it goes back in (because you hit the table from the side).
07:48:20 <fizzie> There is also the thing where the ball hits a flat surface, uncurls and starts jumping around. Wait, no, that's just in Sonic Spinball.
07:50:17 -!- shikhout has joined.
07:50:54 -!- Slereahphone has quit (Remote host closed the connection).
07:51:16 -!- Slereahphone has joined.
07:52:39 -!- Bike has joined.
07:53:18 -!- Slereahphone has quit (Remote host closed the connection).
07:53:19 <zzo38> Do you know that there are some flipperless pinball games that have flippers (or, at least one)?
07:53:19 -!- shikhin has quit (Ping timeout: 264 seconds).
07:53:19 -!- shikhout has changed nick to shikhin.
07:53:39 -!- Slereahphone has joined.
07:54:29 <zzo38> Such as this computer pinball game "Goo Goo Da Da", which has only one flipper, although you have no direct control over it (rather, it flips when the ball hits the bell).
07:55:58 <fizzie> How can it be a flipperless game if it has flippers?
07:57:36 <zzo38> It isn't used like the flippers in most pinball games are. Instead it just flips 180 degrees when the ball hits the bell, and you have no direct control over it.
08:07:50 <zzo38> That is how it can be a flippeless game if it has flippers.
08:12:31 -!- shikhin has quit (Ping timeout: 264 seconds).
08:27:52 -!- shikhin has joined.
09:30:24 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
09:38:15 -!- Slereahphone has joined.
09:38:30 -!- conehead has quit (Quit: Computer has gone to sleep.).
10:01:59 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
10:06:24 -!- Slereahphone has joined.
10:15:24 -!- boily has joined.
10:18:55 -!- MindlessDrone has joined.
10:19:12 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
10:20:09 -!- Slereahphone has joined.
10:35:54 -!- oerjan has joined.
10:42:15 <oerjan> <copumpkin> http://utilite-computer.com/web/utilite-models seems kind of cute <-- i'm sorry but how can something be cute when THERE IS NO PICTURE that's ab surd hth
10:43:16 <boily> anything new from the past few days?
10:43:20 <oerjan> <copumpkin> just someone on twitter telling it how it is <-- LINKS OR GTFO
10:44:16 <oerjan> in the channel? nothing that i remember.
10:45:06 <oerjan> well, ais523 claims to be slowly forgetting feather.
10:45:38 <oerjan> there _may_ have been some quoting or wisdom, but i assume you can check that yourself.
10:46:57 <oerjan> otherwise, scott aaronson has finally banned luboš motl. also, my teeth are still as perfect as they were two years ago hth
10:48:37 * boily spins a voodoo doll so that Feather won't forget ais523.
10:49:01 <boily> as for the wisdom, I was already checking it, splicing in the new additions.
10:49:17 <oerjan> boily: in that case, please today's logs for my theory of why feather turns people insane hth
10:49:24 <boily> who are these two mysterious persons? also, my teeth are as imperfect as they are.
10:49:49 * boily goes and pleases the logs...
10:50:25 <oerjan> well i had a dentist checkup yesterday, which to me is a big event given my trouble with controlling my sleep schedule, but it worked out perfectly.
10:52:02 <boily> my dentist doesn't like the fact that I tend to fall asleep on her chair. when shen gets tired of telling me to open my mouth wide, she just jams her hand in it.
10:55:02 <oerjan> boily: scott aaronson is one of the world's foremost mathematical researchers of quantum computing, and has the world's most popular blog on the subject. luboš motl is one of the world's foremost researchers in insults, condescension, vitriol, and being repulsive, which tends to overshadow the fact he _used_ to be a good researcher in string theory.
10:56:06 <boily> I have pleased the logs. my sanity is affected.
11:02:26 <oerjan> to anecdotically requote another famous and very early blogger, john baez: "It is not easy to ignore Luboš, but it is always worth the effort."
11:03:06 <oerjan> (john baez blogged before the word existed, back when us geeks read usenet.)
11:03:24 <boily> I am young. usenet never was a source of information to me.
11:04:22 <oerjan> just think of it as a better reddit from a more enlightened age.
11:07:11 <boily> ah, some day even reddit shall pass, and be remembered as the paroxysm of enlightenment.
11:07:29 -!- boily has quit (Quit: PSEUDOSTALGIC CHICKEN).
11:07:53 <oerjan> @tell boily technically usenet hasn't passed, ais523 somehow manages to still be there, for one
11:09:15 * oerjan should have made that more accurate to the star wars quote
11:17:02 <b_jonas> what make of mobile phone does fungot use?
11:17:03 <fungot> b_jonas: mr president, the european market to north korean products. feasibility studies will be conducted in this area without a discussion about good and bad advisers in europe. responsibilities must be clearly defined. we shall shape its face by conducting this constitutional debate in a non-committal way on the hormone question. now let me come to a conclusion while maintaining cohesion between the two korean states. second
11:18:57 <Jafet> Hive of scam and miscellany
11:21:12 <oerjan> that's one of fungot's better europarls, i think
11:21:12 <fungot> oerjan: mr marinos, not only of a few major owners who are also not acting alone. this is also the province of cordoba in andalusia. ancient olive groves and trees play a particularly important and sensitive legislation. nobody would wish this to occur again.
11:28:33 <Jafet> I wouldn't be surprised if most of those sentences were lifted straight from the corpus
11:40:00 -!- aergus has joined.
11:58:07 -!- Slereahphone has quit (Remote host closed the connection).
11:58:25 -!- Slereahphone has joined.
12:01:44 -!- Slereahphone has quit (Remote host closed the connection).
12:02:02 -!- Slereahphone has joined.
12:10:58 <oerjan> bah i try to do the first edit on the haskell wiki for years and it crashes on me
12:16:45 -!- Sorella has joined.
12:30:10 <Jafet> Is this why that wiki is rarely updated
12:40:05 -!- Sgeo_ has quit (Read error: Connection reset by peer).
12:51:59 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
12:53:22 -!- Slereahphone has joined.
12:58:30 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
13:11:03 -!- aergus has quit (Ping timeout: 265 seconds).
13:12:10 <Jafet> cvs is so annoying to use, it's hard to believe that it was invented first
13:17:45 <oerjan> Jafet: the wiki was edit by someone else just 2 days ago.
13:18:51 <oerjan> Jafet: well, consider hieroglyphs...
13:19:15 <Jafet> Well, I wouldn't care about hieroglyphs, because no one uses *those* any more.
13:20:18 <oerjan> i'm just saying that something being invented first doesn't imply it's easy to use.
13:20:52 <Jafet> Furthermore, cvs lacks penises
13:21:15 <oerjan> a grave omission, sure
13:21:38 <oerjan> but then, cvs is rarely used on graves, unlike hieroglyphs
13:38:37 <int-e> if you start with rcs and *somehow* try versioning full directories on top of it, you may end up with cvs.
13:54:16 -!- Slereahphone has quit (Remote host closed the connection).
13:54:52 -!- atslash has quit (Quit: Leaving).
14:01:56 -!- oerjan has quit (Quit: leaving).
14:23:17 -!- Sprocklem has joined.
14:26:01 -!- Slereahphone has joined.
14:28:04 -!- shikhout has joined.
14:28:12 -!- yorick has joined.
14:29:55 -!- shikhin has quit (Ping timeout: 264 seconds).
14:30:00 -!- shikhout has changed nick to shikhin.
14:54:51 -!- nooodl has joined.
14:55:16 -!- aergus has joined.
14:58:54 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
15:07:09 -!- nooodl has quit (Quit: Ik ga weg).
15:19:55 -!- AnotherTest has joined.
15:40:19 -!- Slereahphone has joined.
15:53:19 -!- Slereahphone_ has joined.
15:55:21 -!- Slereahphone has quit (Ping timeout: 264 seconds).
15:55:22 -!- Slereahphone_ has changed nick to Slereahphone.
15:57:42 -!- shikhin has quit (Quit: Leaving).
16:03:41 -!- ^v has joined.
16:11:33 -!- Sprocklem has quit (Ping timeout: 264 seconds).
16:15:25 -!- MoALTz has joined.
16:23:18 -!- nooodl has joined.
16:29:05 -!- FreeFull has joined.
16:53:45 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
16:56:18 -!- Slereahphone has joined.
17:01:17 -!- shikhin has joined.
17:47:58 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
17:51:55 -!- shikhin has quit (Quit: Leaving).
17:53:05 -!- Slereahphone has joined.
17:53:16 -!- shikhin has joined.
18:22:43 -!- MoALTz has quit (Read error: Connection reset by peer).
18:23:29 -!- MoALTz has joined.
18:27:41 -!- MoALTz_ has joined.
18:30:59 -!- MoALTz has quit (Ping timeout: 240 seconds).
18:57:43 -!- ^v has quit (Quit: Leaving).
18:58:14 -!- MoALTz__ has joined.
18:58:26 -!- ^v has joined.
19:01:03 -!- MoALTz_ has quit (Read error: Operation timed out).
19:02:58 -!- w00tles has joined.
19:08:12 -!- moineau has joined.
19:09:20 -!- moineau has quit (Remote host closed the connection).
19:09:41 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
19:13:06 -!- w00tles has quit (Quit: quit).
19:15:41 -!- nmorgun has joined.
19:20:47 -!- MoALTz__ has quit (Quit: brb).
19:21:01 -!- MoALTz has joined.
19:22:22 -!- w00tles has joined.
19:24:02 -!- nmorgun has quit (Remote host closed the connection).
19:26:36 -!- MoALTz has quit (Ping timeout: 265 seconds).
19:27:31 -!- conehead has joined.
19:29:36 -!- MoALTz has joined.
19:30:31 -!- solotours has joined.
19:33:20 -!- oerjan has joined.
19:37:16 * oerjan flies on top of the hovering meta-pun anvil
19:37:43 <oerjan> i'm sure it can also handle bird eaters as narratively appropriate
19:37:44 <FreeFull> Is there any non-strict language that isn't garbage-collected?
19:38:00 <oerjan> FreeFull: sounds tricky
19:38:57 <oerjan> i suppose if you _only_ have streams...
19:39:02 <int-e> maybe oerjan is one of these ... http://freefall.purrsia.com/ff1200/fv01174.htm
19:39:15 <FreeFull> oerjan: But how would you implement a tree with streams?
19:39:24 <int-e> (but they play Mozart.(
19:41:03 <oerjan> FreeFull: that's the tricky part. anyway i assume you could use reference counting if you didn't have cyclic definitions
19:41:50 <FreeFull> oerjan: How about without automated memory management?
19:42:09 -!- solotours has quit (Remote host closed the connection).
19:43:34 <oerjan> i'm sure you can implement any language you want if you don't care about memory use.
19:50:21 -!- w00tles_ has joined.
19:50:45 -!- w00tles has quit (Ping timeout: 252 seconds).
19:55:03 <ion> Sigh, you can’t see anything clearly with that kind of camera movement and cutting. http://youtu.be/tIIJME8-au8 The making of video wasn’t any better. http://youtu.be/c2NeW9o5G6s
19:58:58 -!- Slereahphone has joined.
20:00:50 -!- Sprocklem has joined.
20:10:04 -!- MoALTz_ has joined.
20:12:45 -!- MoALTz has quit (Ping timeout: 252 seconds).
20:25:35 -!- MoALTz_ has quit (Ping timeout: 244 seconds).
20:26:50 -!- shikhout has joined.
20:29:32 -!- lkprom has joined.
20:29:55 -!- shikhin has quit (Ping timeout: 264 seconds).
20:29:56 -!- shikhout has changed nick to shikhin.
20:42:01 -!- lkprom has quit (Remote host closed the connection).
20:43:20 -!- filica has joined.
20:47:26 -!- filica has quit (Remote host closed the connection).
21:11:54 -!- Bike_ has joined.
21:21:34 -!- esowiki has joined.
21:21:38 -!- esowiki has joined.
21:21:39 -!- esowiki has joined.
21:22:10 -!- esowiki has joined.
21:22:14 -!- esowiki has joined.
21:22:15 -!- esowiki has joined.
21:22:31 -!- esowiki has joined.
21:22:35 -!- esowiki has joined.
21:22:36 -!- esowiki has joined.
21:22:52 -!- esowiki has joined.
21:22:56 -!- esowiki has joined.
21:22:57 -!- esowiki has joined.
21:23:13 -!- esowiki has joined.
21:23:17 -!- esowiki has joined.
21:23:18 -!- esowiki has joined.
21:23:34 -!- esowiki has joined.
21:23:38 -!- esowiki has joined.
21:23:39 -!- esowiki has joined.
21:24:34 -!- esowiki has joined.
21:24:38 -!- esowiki has joined.
21:24:39 -!- esowiki has joined.
21:24:55 -!- esowiki has joined.
21:24:59 -!- esowiki has joined.
21:25:00 -!- esowiki has joined.
21:25:16 -!- esowiki has joined.
21:25:20 -!- esowiki has joined.
21:25:21 -!- esowiki has joined.
21:25:37 -!- esowiki has joined.
21:25:41 -!- esowiki has joined.
21:25:42 -!- esowiki has joined.
21:25:58 -!- esowiki has joined.
21:26:02 -!- esowiki has joined.
21:26:03 -!- esowiki has joined.
21:26:19 -!- esowiki has joined.
21:26:23 -!- esowiki has joined.
21:26:24 -!- esowiki has joined.
21:26:40 -!- esowiki has joined.
21:26:44 -!- esowiki has joined.
21:26:45 -!- esowiki has joined.
21:27:01 -!- esowiki has joined.
21:27:05 -!- esowiki has joined.
21:27:06 -!- esowiki has joined.
21:27:22 -!- esowiki has joined.
21:27:26 -!- esowiki has joined.
21:27:27 -!- esowiki has joined.
21:28:11 -!- esowiki has joined.
21:28:15 -!- esowiki has joined.
21:28:16 -!- esowiki has joined.
21:29:17 -!- esowiki has joined.
21:29:21 -!- esowiki has joined.
21:29:21 -!- esowiki has joined.
21:29:38 -!- esowiki has joined.
21:29:38 -!- glogbot has joined.
21:29:38 <?unknown?> [freenode-info] why register and identify? your IRC nick is how people know you. http://freenode.net/faq.shtml#nicksetup
21:29:42 -!- esowiki has joined.
21:29:42 -!- esowiki has joined.
21:30:03 -!- EgoBot has joined.
21:37:59 -!- esowiki has joined.
21:38:03 -!- esowiki has joined.
21:38:03 -!- esowiki has joined.
21:38:27 -!- glogbot has joined.
21:39:03 -!- Slereahphone has quit (*.net *.split).
21:39:03 -!- nooodl has quit (*.net *.split).
21:39:07 -!- AnotherTest has quit (*.net *.split).
21:39:07 -!- aergus has quit (*.net *.split).
21:39:07 -!- Bike has quit (*.net *.split).
21:39:07 -!- oklopol has quit (*.net *.split).
21:39:07 -!- FireFly has quit (*.net *.split).
21:39:07 -!- EgoBot has quit (*.net *.split).
21:39:07 -!- oerjan_ has quit (*.net *.split).
21:39:07 -!- w00tles_ has quit (*.net *.split).
21:39:07 -!- FreeFull has quit (*.net *.split).
21:39:07 -!- ion has quit (*.net *.split).
21:39:11 -!- nortti has quit (*.net *.split).
21:39:11 -!- elliott has quit (*.net *.split).
21:39:11 -!- siruf has quit (*.net *.split).
21:39:11 -!- ggherdov_ has quit (*.net *.split).
21:39:11 -!- myname has quit (*.net *.split).
21:39:26 -!- hogeyui has joined.
21:39:37 -!- ^v has quit (Quit: Leaving).
21:39:42 -!- EgoBot has joined.
21:41:11 -!- Froox has joined.
21:41:11 -!- FireFly has joined.
21:41:11 -!- oerjan_ has joined.
21:41:11 -!- w00tles_ has joined.
21:41:11 -!- FreeFull has joined.
21:41:11 -!- ion has joined.
21:41:11 -!- nortti has joined.
21:41:11 -!- elliott has joined.
21:41:11 -!- siruf has joined.
21:41:11 -!- ggherdov_ has joined.
21:41:11 -!- myname has joined.
21:41:23 -!- Vorpal has joined.
21:41:31 -!- Vorpal has quit (Changing host).
21:41:31 -!- Vorpal has joined.
21:46:36 -!- nooodl has joined.
21:47:14 <oerjan_> and a relatively simple TC proof (http://esolangs.org/wiki/Quiney)
21:47:15 -!- siruf has quit (Read error: Connection reset by peer).
21:47:21 -!- oklopol has joined.
21:48:21 -!- oerjan_ has changed nick to oerjan.
21:51:11 -!- aergus has joined.
21:52:09 -!- mtve has joined.
21:52:32 -!- siruf has joined.
21:58:22 -!- siruf has quit (Ping timeout: 265 seconds).
22:00:43 -!- siruf has joined.
22:08:19 -!- siruf has quit (Ping timeout: 245 seconds).
22:10:18 -!- siruf has joined.
22:12:47 -!- Sprocklem has joined.
22:14:12 -!- ^v has joined.
22:16:19 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
22:18:55 <int-e> oerjan: why three cells, instead of just marking the used tape area? I'd think that starting with [}]}; then > -> }[-]+}, < -> {{, (all other operations are copied) and clean everything up at program end, something like }[}}]{[-]{[[-]{[-]{] should do the trick?
22:19:46 -!- siruf has quit (Read error: Connection reset by peer).
22:19:56 -!- siruf has joined.
22:23:43 -!- ^v has quit (Read error: Connection reset by peer).
22:23:57 -!- ^v has joined.
22:25:23 -!- siruf has quit (Ping timeout: 246 seconds).
22:26:31 -!- siruf has joined.
22:31:03 -!- ^v has quit (Read error: Connection reset by peer).
22:31:22 -!- ^v has joined.
22:32:30 * int-e notes that using -> for arrows was not his smaertest choice today
22:32:56 -!- siruf has quit (Read error: Connection reset by peer).
22:33:07 -!- siruf has joined.
22:33:49 -!- ^v has quit (Read error: Connection reset by peer).
22:34:04 <oerjan> oh hm you're right about the first part at least, you don't need more than [}]} when you're not using spaces in the main representation
22:34:17 -!- ^v has joined.
22:37:05 <int-e> ok, but at least I understand what you did there, now.
22:37:31 <int-e> cleaning up afterwards still seems simpler to me :)
22:38:41 -!- siruf has quit (Ping timeout: 246 seconds).
22:39:01 <oerjan> i somehow didn't want to do that
22:39:44 -!- siruf has joined.
22:41:03 <int-e> speaking of which, good night
22:45:24 -!- siruf has quit (Ping timeout: 245 seconds).
22:46:44 -!- siruf has joined.
22:49:28 -!- zzo38 has joined.
22:52:41 -!- siruf has quit (Ping timeout: 246 seconds).
22:53:50 -!- MindlessDrone has quit (Quit: MindlessDrone).
22:54:11 -!- siruf has joined.
22:55:36 -!- Slereahphone has joined.
22:58:44 -!- Slereah_ has joined.
23:01:52 -!- siruf has quit (Read error: Connection reset by peer).
23:02:00 -!- siruf has joined.
23:02:00 -!- siruf has quit (Changing host).
23:02:00 -!- siruf has joined.
23:08:05 -!- siruf has quit (Ping timeout: 246 seconds).
23:09:29 -!- siruf has joined.
23:15:47 -!- siruf has quit (Ping timeout: 246 seconds).
23:17:22 -!- siruf has joined.
23:24:34 -!- siruf has quit (Ping timeout: 245 seconds).
23:25:05 -!- siruf has joined.
23:26:41 <zzo38> The license I might want on a document is one that says that attribution is not required, but if attribution is given, then a notice must also be given which specifies whether or not any changes are made from the official version; no other conditions are required.
23:27:30 <zzo38> I don't believe Creative Commons has a license like this?
23:27:41 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
23:31:11 -!- siruf has quit (Ping timeout: 246 seconds).
23:32:33 -!- siruf has joined.
23:38:32 -!- siruf has quit (Ping timeout: 246 seconds).
23:39:04 -!- TodPunk has quit (Ping timeout: 252 seconds).
23:39:33 -!- siruf has joined.
23:46:54 -!- siruf has quit (Read error: Connection reset by peer).
23:47:02 -!- siruf has joined.
23:47:56 -!- Slereah_ has quit (Remote host closed the connection).
23:48:13 -!- Slereah_ has joined.
23:52:52 -!- copumpkin has joined.
23:52:54 -!- siruf has quit (Ping timeout: 245 seconds).
23:53:28 -!- ChanServ has set channel mode: +o oerjan.
23:53:46 -!- oerjan has set channel mode: +b *!siruf@unaffiliated/motley.
23:54:26 -!- oerjan has set channel mode: -o oerjan.