00:02:38 -!- pikhq_ has joined. 00:04:28 -!- pikhq has quit (Ping timeout: 240 seconds). 00:16:49 -!- pikhq_ has quit (Read error: Operation timed out). 00:18:21 -!- pikhq has joined. 00:29:32 -!- sshc has joined. 00:38:09 I am so uncreative at naming things. :( 00:43:46 -!- Mathnerd314 has joined. 00:46:38 -!- pikhq has quit (Read error: Connection reset by peer). 00:49:04 -!- pikhq has joined. 00:50:21 -!- augur has joined. 00:52:13 -!- coppro has joined. 01:02:28 -!- pikhq has quit (Read error: Connection reset by peer). 01:03:16 -!- augur has quit (Remote host closed the connection). 01:03:38 -!- augur has joined. 01:06:16 holy shit, the new copyright bill here doesn't unilaterally suck 01:06:31 digital locks provisions do (DMCA-style :(), but the rest is actually really sane 01:07:04 coppro: where's here? 01:07:20 Canada 01:07:32 ah well 01:07:34 canada 01:07:38 you can smoke pot in the streets 01:07:40 so 01:07:47 who cares about your copyright legislation 01:08:17 we do 01:08:25 (we = people who care) 01:10:00 :P 01:10:07 go smoke a joint on the streets, you damn hippies 01:10:10 moral rights got expanded to performances (note: moral rights are epic) 01:10:17 oh look at me im just walking around in public with POT 01:10:42 lol 01:10:45 it's not legal 01:10:54 people do it anyways, but it isn't legal 01:11:08 its not legal, but the cops dont do shit 01:11:45 -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.3/20100401080539]). 01:12:46 also, the bill /legalizes/ non-commercial use of copyrighted works in other copyrighted works 01:12:58 so things like mashups are legal if non-commercial 01:13:13 awesome 01:13:30 basically it puts a CC NC on everything 01:14:52 there are restrictions though; primarily it can't negatively affect the commercial activity or viability of the original 01:15:05 also attribution 01:15:22 ha - Michael Geist called it the YouTube right 01:17:03 statutory damages are lowered for non-commercial infringement, that's good 01:18:01 -!- SevenInchBread has quit (Ping timeout: 265 seconds). 01:19:53 -!- CakeProphet has joined. 01:25:38 -!- Oranjer has left (?). 01:30:00 hmm... actually, the digital locks provisions aren't as bad as when I looked originally 01:40:35 -!- oerjan has quit (Quit: Good night). 01:45:54 -!- augur has quit (Ping timeout: 245 seconds). 01:50:12 -!- CakeProphet has quit (Ping timeout: 264 seconds). 01:50:42 -!- CakeProphet has joined. 01:58:08 -!- CakeProphet has quit (Ping timeout: 240 seconds). 02:55:56 -!- lament has joined. 03:03:07 -!- pikhq has joined. 03:26:16 -!- Sgeo has quit (*.net *.split). 03:26:17 -!- ais523 has quit (*.net *.split). 03:28:37 -!- Sgeo has joined. 03:28:37 -!- ais523 has joined. 03:32:10 esolang was just linked in #math 03:32:22 Orly? 03:32:44 by me of all people 03:32:55 lament the tireless promoter 03:33:21 i also wrote that article i linked to :D 03:45:14 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 03:45:35 -!- Tritonio_GR has quit (Quit: Leaving.). 03:52:27 -!- Gregor has quit (Quit: Leaving). 04:18:09 what's the mathematica to express a function in terms of a single variable? 04:48:00 -!- pikhq has quit (Ping timeout: 245 seconds). 04:51:09 -!- pikhq has joined. 05:02:59 -!- ais523 has quit (Remote host closed the connection). 05:27:32 -!- Mathnerd314 has joined. 05:46:27 -!- Sgeo_ has joined. 05:48:38 -!- Sgeo has quit (Ping timeout: 240 seconds). 06:33:45 -!- uorygl has quit (Ping timeout: 264 seconds). 06:52:20 -!- jabb has quit (Ping timeout: 276 seconds). 07:10:46 -!- Gregor has joined. 07:20:50 -!- Gracenotes has quit (Ping timeout: 248 seconds). 07:26:45 -!- relet has joined. 07:30:43 -!- tombom has joined. 07:30:56 -!- uorygl has joined. 07:36:58 -!- Phantom_Hoover has joined. 07:53:43 -!- jabb has joined. 07:53:54 !! 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:18:03 Not graue? 08:18:28 gruaue 08:19:51 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 08:24:27 -!- oerjan has joined. 08:24:38 oerjan! 08:24:58 'lo 08:26:26 Lo! 08:26:37 Phantom_Hoover: graue doesn't really come here nowadays, i cannot recall seeing him for years 08:26:56 And is he the only person with keys to the wiki? 08:28:14 yes 08:28:33 -!- Gracenotes has joined. 08:29:05 he _does_ respond to emails, however, at least last time someone tried 08:30:31 What's wrong with wiki? 08:31:35 nothing new that i can see 08:32:20 Phantom_Hoover: there are also administrators, ais523 and keymaker 08:32:40 but their powers are limited 08:32:55 Yes, I know. 08:33:05 So no even any other bureaucrats? 08:33:16 s/no/not/ 08:34:55 anarchy or death, i say 08:52:13 -!- oerjan has quit (Quit: Later). 08:54:51 -!- oklopol has quit (Ping timeout: 252 seconds). 08:54:58 -!- FireFly has joined. 09:01:13 -!- oktolol has joined. 09:04:26 -!- lament has quit (Ping timeout: 265 seconds). 10:15:50 oktolol: Surely octo? 10:21:08 -!- Phantom_Hoover has quit (Quit: Leaving.). 10:24:49 -!- Phantom_Hoover has joined. 10:29:33 -!- Slereah has joined. 10:30:45 Slereah: I have not seen you before. 10:31:23 Strange, since I've been here for 3 years or so 10:32:09 I am bad at noticing, then. 11:19:29 -!- hiato has joined. 11:24:22 hiato! 11:24:40 Phantom_Hoover! 11:24:47 hiato!! 11:24:57 Phantom_Hoover!!! 11:25:05 hiato!!!11!! 11:25:30 Ah well, was hoping for a fibonacci sequence there 11:25:39 hiato!!!!! 11:26:00 Phantom_Hoover!!!!!!!! 11:26:18 hiato!!!!!!!!!!!!! 11:26:23 \o/ 11:26:23 | 11:26:23 >\ 11:26:42 -!- hiato has quit (Quit: ! OVERFLOW). 11:27:03 -!- hiato has joined. 11:27:19 hiato????????????????????? 11:27:43 You crashed my IRC cliet. It couldn't take more than 13 !'s before it overflowed 11:27:49 :P 11:28:09 Hence the ?s. 11:28:30 heh 11:28:49 Phantom_Hoover ????????????????????????????? 11:29:33 hiato‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽‽ 11:30:48 Phantom_Hoover ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡ 11:32:01 hiato¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿¿ 11:33:50 -!- MizardX has joined. 11:34:07 Phantom_Hoover:؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟ 11:34:16 (took a while to find) 11:34:19 I will not start this again. I will not start this ag... dammit! 11:35:16 heh 11:35:54 h͆̓͌̉ͬ͏̴̪̗͖̼̳͉͇́i̛ͮ̆̽ͮ͒̑̿̚͘҉͍͕̬̼̟̪a̵̲̖̠ͣ͆t̝ͩ͐́̀͟ͅo͆̂͐̓͆̃͋̈́̚͏͇̳̠̙̝̥̻ 11:35:57 ̩̝͔̩͔̄̊́̄͘͢P̠̠̩͓͍̹͇̟̺̋́͐ͭͥ͡h̬̬̭̙̗ͣͮ͐͒̓̆ͅá͔̤͖̭͈̓ͬ̊̃ͧ̈͢n̸͔̠͉͊ͧ̀̓̒̋̏̇̚t̷̢̙̙̯̩̟̝̱͚̻̓ͫo̹̘̥̼̥ͦ͛̕͟m̴͇ͭ̒͂͋̋̔̐̆_͎̭͉̰͍ͩͣͣ̈ͩ̈̉̚̚Hͫͩ҉̰͇̦̳̭͍͎̜͝͡ǫ̷̣̮̘̥̖͓͖͚̥̾͌̆ͨͯ͆͐͗̊͟ö̡̪̠̞͇͑͂͡v̵͋ͩ̆̈ͯ҉͔̜̞̯̮̫̙̻́e̦̟̦͈̘̯̦ͪ̍̓̃ͬ͑ͯ̎̌r 11:36:25 OK, I'm willing to bet that you didn't hand-assemble those diacritics. 11:37:30 Reasonable assumption 11:37:42 So how did you do them? 11:38:42 I googled zalgofier and found what I was looking for 11:39:40 D͓͓̝͚̟̗̈́̏͋̏̈́ͯͭ̕ę̸̢̟̗̩ͦ͛͗̿̈ͫ̑̅̏ͣ̉ͨ͂̆ͩ̔͛͟͝ė̢̡̤̯̠͓̯̪̫̭̦͙̗͛͂̃͐̿͛̽ͣͣ͂̄͊ͬ̈́ͩ͠w͊ͬ̽̉̈́̿́̄ͮ͊̏͟҉̯̞̮̻̤̥̺͟i̶̜͎͈̟͈̘̞͖͔̬̙̘̥̣͉̥̭̠̪̾ͦͥ̒͂ͦͤ̓̐̒ͧ͂͗ͥ̓ͮ́͟a̅ͭͨ̊͢҉̢̡͎̩̭̞̫͙̗̳͝n̴̸̙̹̘̪̬̫̖͙̯̱̝͍͎̦͕͓ͮ̆́ͯͩ͘͝t͋̿͌̍̈́͋ͩ̍̂̓͌́͊ͣͭ́҉̦͔̞̥͖͔̟͙͈̠̻̭̹͡ͅ 11:40:12 Hmmm 11:41:24 Too bad neither my client nor gvim can display it properly 11:44:09 Vim? You sicken me. 11:45:39 We had that discussion around 19 hours ago 11:45:51 Aww, I missed the flame way. 11:45:55 s/way/war/ 11:46:29 Also, Zalgo has made this file unopenable in Firefox. 11:47:46 Yes; I would guess that's because of the line splitting that happened to me 11:54:49 Heh. Firefox was the only program able to render Zalgofied text. 11:55:04 Pidgin can do it too. 12:02:01 -!- Tritonio_GR has joined. 12:02:47 -!- Tritonio_GR has quit (Read error: Connection reset by peer). 12:03:07 -!- Tritonio_GR has joined. 12:17:54 I'M OUT OF CONTROL, CUZ YOU WANT IT ALL, YOU'RE SO DANGEROUS, MY BIGGEST MISTAKE, I'M BLINDED BY YOUR EYESSSSS, [DANGEROUS; D-D-D-DANGEROUS] 12:40:57 is there a programming language which uses chinese for its source? 12:41:08 because that would be, like, pretty damn cool. 12:44:32 Is there such thing as unicode? 12:44:34 BLAARGH, 3D APPS ARE DRIVING ME INSANE! 12:47:02 -!- BeholdMyGlory has joined. 13:02:51 i want a 3d script 13:02:53 that would be cool 13:02:57 putting letters in 3d! 13:17:35 You'd need to be 4D to make proper use of it, though. 13:44:09 -!- hiato has quit (Ping timeout: 252 seconds). 13:46:02 -!- hiato has joined. 13:49:09 " oktolol: Surely octo?" <<< no 13:49:17 that would make no sense 13:55:39 -!- oktolol has changed nick to oklopol. 13:58:00 -!- hiato has quit (Ping timeout: 245 seconds). 13:59:58 -!- hiato has joined. 14:15:03 -!- CakeProphet has joined. 14:15:13 -!- Tritonio_GR has quit (Read error: Connection reset by peer). 14:15:18 howdy 14:57:37 -!- relet has quit (Quit: Leaving.). 15:30:24 -!- hiato has quit (Ping timeout: 264 seconds). 15:32:12 -!- hiato has joined. 15:34:39 -!- hiato has quit (Client Quit). 15:39:48 -!- relet has joined. 15:45:08 hi 15:46:06 hi 15:48:05 Hie! 15:50:30 Also, have I expressed my desire to murder whoever created the SQA's computing course yet? 15:50:39 SQA? 15:50:54 Scottish Qualifications Authority. 15:51:54 ah 15:52:06 Phantom_Hoover, is this university level? 15:52:13 No. 15:52:22 Further information is classified. 15:52:50 Hm, neither Norway nor Iceland is in the EU? 15:53:03 Nope. 15:53:16 Iceland isn't really in Europe in the first place, though. 15:53:32 Where is it if not in Europe 15:53:51 Near Europe. 15:55:28 -!- kar8nga has joined. 15:56:12 IIRC geologically it's on the boundary between America and Europe. 16:19:50 Is it just me, or should there be an easy way to view transparent images on a black background? 16:26:31 -!- CakeProphet has quit (Ping timeout: 260 seconds). 16:29:32 -!- Gregor has quit (Quit: Leaving). 16:33:22 -!- Mathnerd314 has quit (Ping timeout: 248 seconds). 16:33:36 -!- Tritonio_GR has joined. 16:54:13 -!- atrapado has joined. 16:56:07 for every set containing sets there is a set containing exactly the sets contained by the sets in that set 17:02:10 -!- CakeProphet has joined. 17:07:29 for every set there's a set contained in that set that doesn't contain any set contained in the set and no sets of whose are contained in the set 17:15:54 -!- Slereah has quit (Quit: Leaving). 17:16:22 -!- kar8nga has quit (Remote host closed the connection). 17:18:25 -!- Juh_ has joined. 17:20:00 -!- Juh_ has left (?). 17:24:35 well? 17:29:38 -!- jabb_ has joined. 17:32:27 -!- MigoMipo has joined. 18:01:26 -!- atrapado has quit (Quit: Saliendo). 18:06:10 * Phantom_Hoover notices that spaces don't seem to matter in C in anything other than type declarations. 18:07:06 "Helloworld!" 18:07:08 * AnMaster needs ais... 18:07:42 I'm trying to work out the semantics of "extern const note_t volatile * dsound_next_note;" 18:07:55 what does volatile apply to here 18:08:34 const would be applied to the data it points to. But volatile? 18:09:12 AnMaster: volatile means that it should always be directly written to memory right away, instead of floating around loaded in a register when next it's convenient. 18:09:20 Most useful for things like hardware buffers. 18:09:28 pikhq, the pointer or the data pointed to? 18:09:29 Erm. 18:09:32 s/when/until/ 18:09:40 pikhq, that is the question 18:09:45 AnMaster: Uh. I think the data pointed to? 18:09:47 ah 18:09:51 * pikhq googles 18:09:52 I know what volatile in general means of course 18:09:58 the issue was where it applied in this case 18:10:09 -!- DH____ has joined. 18:10:20 pikhq doesn't know everything about C? 18:10:22 pikhq, anyway, it wouldn't be "directly written" it would be "directly read" in this case, since it is const you really aren't supposed to write to it 18:10:37 oklopol, nor do I. But I'm rather new to embedded C programming 18:10:39 which this is 18:10:49 Yes, to say that the object pointed to is volatile should be at the left side of *, and the pointer itself to the right. 18:10:52 Just like const. 18:10:59 right 18:11:03 oklopol: This is one of the few things I *don't* have fully embedded in my head. :) 18:11:13 pikhq, at least it isn't function pointers. That is one thorny bit in C :) 18:11:22 pikhq: dear god... 18:11:27 AnMaster: Argh that gives me such *massive* headaches. 18:11:47 let's see if i'd known the answer... 18:11:52 pikhq, a volatile function pointer, sounds fun ;) 18:12:28 i wouldn't thought "* volatile" means * is volatile, and "volatile *" means pointer to volatile object 18:12:35 now let's see the answer 18:12:46 yay 18:13:09 extern volatile unsigned char AD_C_H; <-- fun thing, this variable is not in any C file, just this header file. It is however in the linker script. 18:13:11 hehe 18:13:16 i usually filter out the content with subjects like this, but i realized i have actually coded in c 18:13:23 anyone know where GNU ld linker script syntax is documented? 18:13:38 preferably not info pages, I treat that as last resort 18:13:43 "anyone know where baoiuhbeorijgeaorigjeag?" 18:13:57 see the world through my eyes 18:13:58 Is ':' used for anything important in C? 18:13:59 oklopol, well, where else should I ask than in here? 18:14:10 Phantom_Hoover: x ? y : z; foo: goto foo; 18:14:10 AnMaster: i'm not saying you shouldn't ask here 18:14:11 Phantom_Hoover, a ? b : c; 18:14:17 case 4: break; 18:14:17 Phantom_Hoover: Also labels. 18:14:24 pikhq, as Deewiant said 18:14:24 And cases in a switch statement. 18:14:28 i'm just saying you shouldn't ask me :P 18:14:29 and that as well 18:14:41 oklopol, I didn't highlight you? 18:14:47 AnMaster: i didn't say you did 18:14:47 So what symbol could you use to indicate type? 18:14:50 ah okay 18:16:28 -!- Tritonio_GR has quit (Ping timeout: 240 seconds). 18:16:42 :: would work 18:38:56 Is it turing-complete? 18:38:56 given that events can be reduced to function calls, I would say yes 18:38:56 logically reduced, anyway 18:39:26 what does that mean 18:39:41 oklopol, ##nomic 18:39:45 http://lomic.info/ 18:49:57 Hmm, so int::main(){printf("helloworld");return(0);} 18:50:04 A spaceless program. 18:50:36 Omit the "int::" and you have it in plain C. 18:51:05 (Except that it's invalid since you're calling printf without a prototype) 18:52:24 Prototypeless printf works on my system, but it gives a warning. 18:52:47 It works on all systems AFAIK, but it's not valid. 18:53:15 Indeed. 18:53:16 Maybe it is valid if you pass only one argument, though; not sure about that. 18:53:18 So... 18:53:55 main(){printf("Hello,%cworld!\n",10);} 18:54:03 Spaceless hello world. 18:54:08 The canonical version. 18:54:15 Phantom_Hoover: Also, undefined behavior. 18:54:48 main(){puts("Hello,\0xA0world!\n");} // I *think* this is valid? 18:55:20 You could possibly use write(). 18:55:24 Yes: it'll print "Hello," since the string terminates there. 18:55:37 If you didn't care about portability. 18:55:42 Deewiant: No it doesn't. 18:55:48 Erm. \0 18:55:49 Yes it does. 18:55:51 YES IT DOES GAH 18:55:55 \xA0 18:55:57 \040 would work, though. 18:56:12 Phantom_Hoover: Yeah, that's what I want. 18:56:21 Phantom_Hoover: write() is perfectly portable. 18:56:29 It works on all POSIXen. 18:56:32 Windows? 18:56:42 Nope. 18:57:33 Not Windows without Cygwin. 18:58:07 You could just use putchar, you know. 19:01:37 -!- Tritonio_GR has joined. 19:08:06 -!- kar8nga has joined. 19:17:34 -!- kar8nga has quit (*.net *.split). 19:17:35 -!- uorygl has quit (*.net *.split). 19:17:35 -!- Geekthras has quit (*.net *.split). 19:17:36 -!- sebbu has quit (*.net *.split). 19:17:37 -!- fungot has quit (*.net *.split). 19:17:46 -!- Phantom_Hoover has changed nick to fungot. 19:18:01 -!- fungot has changed nick to kar8nga. 19:18:09 -!- kar8nga has changed nick to fungot. 19:18:31 -!- kar8nga has joined. 19:19:28 -!- uorygl has joined. 19:20:24 asdf 19:20:29 -!- fungot has changed nick to Phantom_Hoover. 19:20:31 herlo 19:20:35 how are you fungot 19:22:43 -!- Geekthras has joined. 19:24:22 -!- sebbu has joined. 19:43:41 -!- atrapado has joined. 19:45:39 Googling "why sucks" is quite fun. 19:49:01 * oklopol immediately had to google why go sucks 19:51:58 it only mentions Go as Gene Ontology... 19:53:07 I tried Brainfuck, it wasn't that fun 19:55:51 it wasn't, you should try clue instead 19:55:55 *isn't 19:56:33 * FireFly considers not to try Self 19:56:36 Seems people think that Perl, Ruby and Python suck roughly as much (similar number of results) but Perl sucks the most of the three... 19:56:42 i should work on clue at some point, there's an obvious fix i should make to the language, but that requires programming 19:58:13 -!- sebbu has quit (Quit: reboot). 19:59:09 'No results found for "why Modula-2 sucks"' 19:59:18 -!- Oranjer has joined. 19:59:33 Nerds don't get angry about esolangs. 20:00:33 i just get mad about non-esolangs, with esolangs it's okay if something trivial is hard to do, with other languages it feels like a waste of time 20:01:33 How about a language which emails some programmers kept in a basement and promises them food if they make a working program from your design notes. 20:01:47 Like converting Str to Char in Delphi? I always found that hard... 20:02:06 Can't you just index? 20:02:06 You have to find the Ascii value... 20:02:42 I haven't programmed in Pascal for a year, but I recall strings being arrays of chars. 20:03:39 Delphi I always had slight quirks - String was TString, a class of TObject... 20:04:56 An there was no built-in function for converting between Integer and Real - you had to try and build your own using loopholes... 20:05:21 Madness. 20:05:39 I liked it though... 20:06:31 I simulated Reals myself using LongInts and writing a string function to move the dp... 20:06:53 Can you do OOP in C through a library? 20:06:59 It seems like it should be possible. 20:07:54 Phantom_Hoover: Yes, that's how GTK works. 20:07:55 Although hideous. 20:08:04 And yes, it is *hideous*. 20:08:06 Wait, someone actually *did* that? 20:08:16 Yes, it's called GObject. 20:08:23 Which is a major part of Glib. 20:08:31 I am gobsmacked. 20:13:28 -!- cal153 has joined. 20:16:05 Everything in Lisp is basically a pointer, isn't it? 20:16:07 -!- BeholdMyGlory_ has joined. 20:16:15 -!- BeholdMyGlory_ has quit (Changing host). 20:16:16 -!- BeholdMyGlory_ has joined. 20:16:25 -!- BeholdMyGlory has quit (Disconnected by services). 20:16:27 -!- BeholdMyGlory_ has changed nick to BeholdMyGlory. 20:26:23 -!- sebbu has joined. 20:31:02 -!- Oranjer has left (?). 20:31:59 -!- sebbu has quit (Ping timeout: 276 seconds). 20:35:24 Remind me to post this to alise when e gets back 20:35:25 http://shitampersand.com/ 20:36:27 Although I don't get what's so bad about the keycaps one 20:38:58 http://en.wikipedia.org/wiki/Talk:Lambda_calculus#Proposed_criticism_of_lambda_calculus 20:39:11 Rather funny. 20:42:07 Sgeo_: it says right there, apparently there's no such thing as ampersand key on keyboards except for mac and mac is so useless they should've left ampersand out of the font 20:42:30 i do have an ampersand key tho, who the fuck doesn't have an ampersand key? 20:42:48 But that's obviously untrue, but surely there must be some valid reason to criticize it 20:43:14 looks fine to me 20:43:33 -!- MigoMipo has changed nick to migomipo. 20:44:38 indeed 20:48:54 oklopol: Isn't it Shift-7? 20:51:37 -!- sebbu has joined. 20:51:52 or Shift-6 on older keyboards... 20:56:17 What do I do once I've designed and implemented an esoteric language? 20:56:30 You tell everyone! 20:56:52 Preferably *after* writing at least cat, and if possible "Hello, world!". 20:57:16 And it working, of course. 20:57:46 Cause I can write those based on my design, but I have yet to implement it :P 21:05:24 jabb_, there are some languages on the wiki that are impossible to implement 21:06:56 Well, *theoretically*. 21:07:07 They're implementable once we discover FTL. 21:07:27 How does FTL lead to super-Turing-complete? 21:10:01 FTL → violation of causality 21:10:26 Violation of causality → TwoDucks interpreter. 21:10:51 TwoDucks interpreter → Super-Turing computation. 21:12:37 Super-Turing computation -> fuck it, we can has halting oracle. 21:13:13 The cool thing is that I don't think it leads to inconsistency. 21:13:33 Provided that it's only an oracle for Turing machines. 21:14:14 Which it would be, because if it has the time travel instruction added, it can interfere with the oracle. 21:15:04 Phantom_Hoover: Yes, a machine with a halting oracle still possesses its own analogue to the halting problem. 21:15:47 If P(oracle) isn't evaluable by the oracle, there's no problem, right? 21:16:44 Right; that's how the halting problem manifests itself on Super-Turing machines. 21:17:39 TwoDucks is implementable if you ignore the ability to retrieve from the future 21:18:14 I write the ugliest Python code ever, I'm going back to C 21:19:27 Wait, the TwoDucks spec seems to conflict with the example 21:19:48 It is unclear how it would work at all. 21:19:55 SEND v TO t; Assignment across time; assign the value of variable v (in the present) to the variable v as it existed at time t (in the past or future). 21:20:13 If that's correct, the first example should not cause a paradox afaict 21:20:29 Although that description also doesn't send v to t. It retrieves v from t 21:22:35 * Phantom_Hoover investigates 21:24:12 Sgeo_: Is that better? 21:25:05 Yes 21:25:19 Although now I see the original spec could be interpreted either way 21:26:21 Actually, it still looks ambiguous 21:26:30 Maybe my brain's not functioning properly 21:26:33 BE HAPPY. 21:28:32 -!- Tritonio_GR has quit (Read error: Connection reset by peer). 21:32:22 herlo 21:32:29 i have slept long. 21:35:53 Once I finish the interpreter I'll post it here. 21:41:14 -!- Tritonio_GR has joined. 21:43:46 Hmm, no-one seems to have posted the oracle yet, 21:45:45 -!- BeholdMyGlory has quit (Remote host closed the connection). 21:48:40 OK, is the oracle I added to the TwoDucks article correct? 21:50:42 To me it looks ok, but I might be wrong 21:52:20 It was written on the fly, but there's no reason it won't work. 21:52:41 -!- rodgort has quit (Quit: Coyote finally caught me). 21:52:41 And if paradoxes don't destroy the universe we have a Turing oracle. 21:53:09 With a rewrite implementation, it would first claim it doens't halt, then if it halts, it changes it and pretends it always knew it halted 21:54:49 hahah i like this explanation 21:56:19 -!- rodgort has joined. 21:58:29 Wow, MediaWiki's DPL code looks weird. 21:58:41 "listseparators =,¶:* [[%PAGE%¦%PAGE%]], " 22:01:05 -!- oerjan has joined. 22:01:16 oerjan! 22:01:28 I implemented the halting oracle in TwoDucks! 22:01:37 Ghost_Vacuum! 22:01:49 aha 22:02:11 So now we must invent FTL! 22:02:19 -!- kar8nga has quit (Remote host closed the connection). 22:02:46 OK, need to suspend. 22:02:56 -!- Phantom_Hoover has quit (Quit: Leaving.). 22:13:18 -!- Phantom_Hoover has joined. 22:13:38 Hi, everybody! 22:15:26 Hi! 22:15:56 What's the language like? 22:17:44 I can show you the design 22:18:04 It reminds me of assembly, except it has dynamic arrays 22:18:22 http://ideone.com/wuz3Q 22:27:39 -!- Phantom_Hoover has quit (Quit: Leaving.). 22:28:18 -!- Phantom_Hoover has joined. 22:29:32 Hey, some of your Zalgo got stuck at the bottom of my terminal, below the bottom line. 22:29:51 Cool. 22:46:21 Zalgo? 22:48:28 * Sgeo_ is officially declaring war on Gregor 22:50:11 ? 22:50:35 He hates pizza! 22:51:13 He *is* anosmic. 22:51:43 * Sgeo_ did not know that 22:53:15 Anosmic? 22:53:57 * Phantom_Hoover Googles 22:54:03 Wow, that must suck. 22:54:25 -!- migomipo has quit (Read error: Connection reset by peer). 23:00:40 -!- FireFly has quit (Quit: swatted to death). 23:01:10 No tea for him. 23:02:05 -!- poiuy_qwert has joined. 23:04:01 -!- Phantom_Hoover has quit (Quit: Leaving.). 23:09:14 semantic analysis down! 23:11:48 -!- oklopol has quit (Ping timeout: 264 seconds). 23:13:04 He has taste buds, I'd assume 23:13:18 Not that those are particularly useful, admittedly 23:15:28 -!- oktolol has joined. 23:15:42 Yes, but tea sucks ass without olfactation apparently. 23:22:27 -!- tombom has quit (Quit: Leaving). 23:30:14 Have we ever learned why he can't smell? 23:43:34 he's built upside down, so his nose runs rather than smells. his feet on the other hand... 23:45:06 -!- ArcticDeath has joined. 23:55:24 -!- relet has quit (Quit: Leaving.).