00:01:06 -!- Bike has joined. 00:06:29 -!- Bike has quit (Ping timeout: 248 seconds). 00:08:23 -!- Bike has joined. 00:13:16 -!- augur has quit (Remote host closed the connection). 00:13:48 -!- augur has joined. 00:13:52 -!- muskrat has joined. 00:14:19 -!- Sgeo has joined. 00:14:21 -!- mnoqy has joined. 00:15:42 -!- muskrat has quit (Client Quit). 00:18:04 -!- augur has quit (Ping timeout: 246 seconds). 00:19:00 http://www.jwz.org/blog/2013/10/today-in-computational-necromancy-2/ 00:19:10 -!- epicmonkey has quit (Ping timeout: 245 seconds). 00:20:00 "simply transmit the program via the audio jack" is a pretty great phrase 00:20:29 audio jack of all trades 00:20:43 nice 00:21:00 yes I used to store my TRS-80 Model 100 programs as .WAV files on my parents' Windows 95 machine 00:22:46 the MIT intro signal processing class has a lab where you transmit data using speaker and microphone: https://github.com/keithw/onepingonly 00:23:02 cool :o 00:25:42 Nice. 00:40:52 there's also http://www.araneus.fi/audsl/ 00:42:40 Pity it can't do V.90. 00:44:26 yeah 00:44:40 i wonder what's the fastest "real modem" standard you can implement with a sound card 00:45:30 Almost certainly waaay faster than v.90. That's what winmodems *are*, so. 00:46:56 -!- mnoqy has quit (Quit: hello). 00:47:50 I'm having trouble believing that you can go from 44.1k 16-bit samples per second to way more than 56 kilobits per second 00:48:00 i don't really know though 00:48:10 do winmodems really offload everything besides the DAC/ADC? 00:48:24 > 44100 * 16 00:48:25 705600 00:48:34 (I guess I'm using the word "offload" backwards of its usual meaning) 00:49:33 Common soundcards often surpass 44.1k 16-bit samples (for no good reason) 00:49:38 well true 00:50:31 but anyway this AuDSL does 96 kbps so clearly I'm wrong and it is possible 00:50:33 Yet distort the input 00:51:12 The reason for 56kbps is pretty simple, FWIW. The audio channel it's going over is (effectively) 7-bit 8k mu-law PCM. 00:51:13 er I guess that just comes from 4-level amplitude modulation * 48 kHz sample rate 00:51:25 i.e. 56k. 00:51:32 pikhq: the POTS is? 00:51:35 Yes. 00:52:08 POTS is *actually* 8-bit 8kHz, but the low bit is stolen for in-band signalling on a regular basis, making it hard to use. 00:52:10 AuDSL doesn't seem to have any error correcting code 00:52:58 pikhq: tricky 00:54:06 So yeah. 56kbps is the limit because that's literally the rate that POTS guarantees over digital switching. 00:54:25 huh, that's neat to know. 00:54:28 yes 00:54:40 and the analog last-mile is good enough that you don't lose very much there? 00:54:44 Does that mean that you can read the signalling by taking the low bits off your telephone line 00:54:47 kmc: Yup. 00:55:12 Which is also why you only get 56kbps down. Because it only actually works when you can control the PCM coming out. 00:55:17 Jafet: I.. think so? 00:55:31 what do you mean by that? 00:55:52 The end point of a 56k modem line isn't hooked up via analog last-mile. 00:56:23 the end at the service you're dialing into, you mean? 00:56:26 Yes. 00:56:27 maybe this will inspire me to try figuring out the ethernet on my FPGA board again 00:56:46 okay, but I still don't see why that makes down different from up 01:04:24 Do you see the same problem I see with this chess problem? http://www.chessvariants.org/problems.dir/chaturangadehaas.html 01:07:29 Actually I think there is another problem too. 01:09:02 No, probably just one. 01:14:11 How can I pattern match rose trees, for example A(B C(D E) F G(H(I))) and I want to match A(? C(*) F G(?)) or whatever and then use the parameters received to do a replacement or some other program 01:18:15 -!- muskrat has joined. 01:21:24 -!- oerjan has quit (Quit: Nite). 01:22:00 I have tried to ask anyone but nobody can know this yet. 01:24:21 Do you know? 01:24:43 I may also want to match it elsewhere in the tree, rather than only the top. 01:25:12 The tree is stored in a SQL table with one record per node, although if I can match in C that is good enough; such thing can be made to provide to SQL. 01:29:49 -!- ion has changed nick to ION. 01:29:58 HION 01:30:34 HACHAF 01:30:43 MERRY INTERNATIONAL CAPS LOCK DAY 01:30:58 oh 01:31:04 idon'tparticipateinthat 01:32:21 -!- shikhin has quit (Ping timeout: 248 seconds). 01:34:22 -!- shikhin has joined. 01:40:46 http://24.media.tumblr.com/c2bc96625b70798ce816820ab3af7625/tumblr_muuav0Erwl1s1y5f6o1_500.png meanwhile in something bitcoin 01:42:03 Do you participate in not spaces day instead? 01:46:41 -!- conehead has quit (Quit: Computer has gone to sleep.). 02:00:00 *international* caps lock day? sounds communist 02:00:39 american caps lock day is 4 months later to avoid such associations 02:01:37 Bike: the anarcho-libertarian sausage shop in Berkeley didn't seem to accept Bitcoin :/ 02:01:42 i didn't have the guts to ask though 02:04:33 -!- ^v has quit (Read error: Connection reset by peer). 02:04:56 -!- ^v has joined. 02:14:12 -!- shikhin has quit (Ping timeout: 256 seconds). 02:16:23 -!- muskrat has quit (Quit: Leaving). 02:17:40 :( DrRacket seems to like freezing when I make an infinite loop in what should be a different thread 02:18:13 -!- shikhin has joined. 02:19:24 -!- augur has joined. 02:24:44 -!- shikhin_ has joined. 02:25:27 -!- shikhin has quit (Ping timeout: 260 seconds). 02:28:24 -!- augur_ has joined. 02:29:06 -!- augur has quit (Ping timeout: 252 seconds). 02:29:48 Syncing on system-idle-evt seems to be working now, hmm 02:29:55 Nope, just froze 02:44:46 -!- shikhin_ has quit (Ping timeout: 268 seconds). 02:51:47 -!- augur_ has changed nick to augur. 02:53:34 aw man you can't "actually" jump to the legacy vsyscall page at 0xffffffffff600000 on modern Linux 02:53:41 it claims to be mapped executable but this is a lie 02:54:05 D: 02:55:16 the kernel traps it and emulates the old behavior because MUST NOT BREAK USERSPACE ABI EVER 02:55:28 this also means that the old way of making an extra fast syscall is now extra slow 02:55:36 "WAI" 02:55:46 i guess a 100x performance regression doesn't count as breaking userspace ABI 02:56:13 oh, wait, is this linux-gate.dso or whatever 02:56:24 it's the old version of that 02:56:35 oh 02:56:36 which is just raw machine code mapped at a fixed address 02:56:37 mysterious 02:56:43 sounds sensible 02:56:45 -!- Sprocklem has joined. 02:57:05 I wonder why the page apparently has three syscall instructions followed by rets 02:57:08 this is nice and simple but also very useful for exploit writers, to have a SYSCALL; RET sequence at a known address 02:57:16 Isn't one enough 02:57:29 Jafet: this is the stuff for implementing clock_gettime() / gettimeofday() / etc. in userspace 02:57:32 so there's one per call 02:57:37 it's not the generic syscall path 02:57:55 on AMD64 you make a syscall using the SYSCALL instruction directly 02:57:59 Oh, the polling thing 02:58:19 it's only on i386 that you go through the vDSO for all syscalls 02:58:21 polling thing? 02:58:26 -!- augur has quit (Ping timeout: 264 seconds). 02:58:34 Is this the one where linux writes the time into the page itself 02:58:41 something like that yeah 02:59:17 -!- augur has joined. 02:59:25 anyway the legacy fixed-address thing is deprecated and so the code sequences were reverted to real syscalls in order to be less useful to exploit writers 03:00:25 the new (not that new) vDSO is an ordinary ELF shared object; the kernel maps it into memory and then passes its address to the dynamic linker, which links it like any other .so 03:00:48 and that means its address can be randomized as well 03:01:35 I feel kinda dumb talking about this trivia because it's just trivia 03:01:59 it's a cool thing though. i like linkers even if i don't understand then 03:02:10 maybe I can't solve hard problems and I just collect trivia instead but both seem to be useful so w/e 03:02:44 Bike: http://www.iecc.com/linker/ is cool 03:03:56 i should (re)read more of it 03:04:39 oh yeah i've seen that 03:04:55 some cool php errors maybe i should actually read it instead of uh *looks at tabs* something about tunicates 03:08:02 -!- augur has quit (Ping timeout: 264 seconds). 03:13:07 it's weird that many of the people campaigning for affordable housing in SF also want no new housing built anywhere 03:13:14 they just want all the people they don't like to stop trying to live here 03:13:30 or they want the govt to magically make housing cheap without a tax base of rich tech workers to draw on 03:13:48 (not that the current city govt would be remotely capable of doing that in an efficent way, anyway) 03:13:59 did you see that thing i retweeted about silicon valley seceeding 03:14:03 maybe 03:14:22 it was pretty great that a journalist took it seriously 03:15:48 -!- NihilistDandy has quit. 03:21:58 otoh it's not clear that building a bunch of new luxury apartments will help 03:22:12 it might result in people like me moving out of the historically lower income areas, causing rents to fall there 03:22:24 or it might result in more of us moving to the city from elsewhere 03:23:35 economics of housing are fucking weird and it's one of the areas where simple supply/demand analysis is most wrong 03:24:22 i actually know the few things i do about housing prices from a microeconomics class (since rent controls make for a good example) 03:24:28 cool 03:24:31 what things do you know 03:24:39 less than you! 03:24:56 not sure about that! 03:24:57 mostly i remember that rent controlled apartments tend to have ended up in the hands of people who don't need rent control so much 03:25:07 i have basically no formal knowledge of economics 03:25:51 yeah i'm in a rent controlled unit and so are a lot of my fellow rich tech wanker friends 03:26:15 :O 03:27:18 hi copumpkin 03:27:25 hi shachaf!!!!1!11!!1!!!! 03:28:07 ⱳɦỏả, ɗủɗẻ 03:28:23 * pikhq finds rent control... weird 03:28:45 ^ 03:29:55 Rent control? 03:30:37 copumpkin: how are the pumpkins 03:30:42 don't have any :( 03:31:06 when is cohalloween 03:31:15 beats me 03:32:59 Sgeo: Rent control is a scheme wherein governments mandate that a rent cannot increase by more than a certain percentage at a time. 03:34:05 Particularly nuts when utilities are included with rent. 03:34:41 And you live in New York State. C'mon, NY runs on rent control. 03:35:04 -!- sebbu has joined. 03:35:06 I'm still living in the apartment that my dad owns 03:35:44 -!- sebbu has quit (Changing host). 03:35:44 -!- sebbu has joined. 03:37:33 pikhq: SF is worst than NY 03:37:51 -!- augur has joined. 03:38:25 -!- zhr0 has joined. 03:38:38 -!- sebbu2 has quit (Ping timeout: 256 seconds). 03:38:56 http://www.thevenusproject.com/online-community 03:41:16 what about it 03:41:34 `rwelcome zhr0 03:41:38 ​zhr0: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 03:43:42 well, at least it's not porn. 03:43:59 I was expecting porn 03:44:35 Apparently it involves cybernating. 03:44:56 But seriously, spamming ain't cool. 03:45:49 Books such as 1984 and Brave New World, and motion pictures such as Blade-Runner and Terminator 2 have spawned fear in some people regarding the takeover of technology in our society. The Venus Project's only purpose is to elevate the spiritual and intellectual potential of all people, while at the same time providing the goods and services that will meet their individual and material needs. 03:46:51 I wish people wouldn't use nervous system analogies to refer to any distributed system. 03:46:54 Bike seriously, spamming ain't cool 03:47:23 I'm not spamming. I'm sharing information with the world. 03:55:15 bike seriously 03:55:24 What? 03:56:52 It's just one paste, that's not actually spamming, I hope 03:58:57 Save often! Floss regularly! Floss meaningfully! Floss athletically! Think happy thoughts! And above all, never forget: who is the Boss of you? Me! I am the Boss of you! 04:06:03 -!- zhr0 has left ("Leaving"). 04:29:43 -!- mnoqy has joined. 04:32:49 Bike pls why u keep spammin 04:33:20 ;_; 04:33:24 ;) 04:33:28 okokokokokoko 04:33:30 okokokokokokokoko 04:33:31 okokokokokoko 04:33:33 okokokokokokokoko 04:33:34 help 04:33:35 okokokokoko 04:33:36 oko 04:33:37 okokokoko 04:33:40 okokokokokokokokokokokoko 04:33:42 okokokokokokoko 04:33:52 i have my first driving lesson tomorrow 04:34:00 eeeeeeeeeeeeeeeek 04:34:09 it's just like riding a bike 04:35:05 hot 04:35:20 help 04:35:37 oklofok: i heard driving lessons in finland are basically impossible 04:35:40 might as well give up now 04:35:56 mnoqy: hello, mnoqy. 04:36:01 hi 04:36:14 do you know about succinct data structures y/n 04:36:31 probably not 04:36:39 man i wish i was succinct 04:37:40 :( 04:37:50 i hate doing impossible things 04:38:20 well, driving in finland is not actually impossible 04:38:26 but braking is equivalent to the halting problem 04:39:20 it's true, coming to a complete stop is just asymptote-chasing 04:39:59 have you considered just adjusting your reference frame so that you're not moving 04:40:13 oh my god that was the best joke ever 04:40:18 shachaf's i mean 04:40:23 thanks 04:40:25 Bike's i haven't read yet 04:40:29 i will read it now 04:40:35 feel very good about my humor sense now 04:40:57 okay yours is um 04:41:05 ok 9/10 :) 04:41:14 that's also really good! 04:41:15 you don't need to soften the blow 04:41:21 i know i;m terible 04:41:25 Please remain seated until the plane has come to a complete stop. Thank you for flying Zeno Airlines. 04:41:56 now my average is 5/10 :'( 04:42:13 :') 04:42:53 : ⓜ ) 04:42:57 : ⓝ ) 04:43:01 : ⓞ ) 04:43:03 : ⓠ ) 04:43:06 : ⓨ ) 04:43:33 I am unable to do impossible things. It may seem that some impossible things can sometimes happen, but I doubt it. 04:43:51 but isn't it the definition of impossible things that they cannot happen 04:43:53 zzo38: Well, it's impossible for impossible things to happen. 04:44:04 So most people conclude that they never do. 04:44:08 But that's circular logic! 04:44:34 things that have once been described as impossible may well be doable, but then that description, by definition, was wrong. 04:44:40 -!- asie has joined. 04:44:47 man i wish i was impossible 04:45:00 apparently just braking me is though 04:45:00 oklofok: O, OK, yes I suppose you would be correct about that. 04:45:01 don't worry, Bike. you are 04:45:36 -!- asie has quit (Read error: Connection reset by peer). 04:46:22 -!- asie has joined. 05:03:43 ais[...]@gmail.com turned out not to be ais523 :-( 05:08:31 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 05:11:01 -!- augur has quit (Ping timeout: 246 seconds). 05:13:52 -!- augur has joined. 05:22:26 -!- augur has quit (Ping timeout: 264 seconds). 05:28:31 -!- carado has joined. 05:30:18 -!- mnoqy has quit (Quit: hello). 05:30:43 -!- Sprocklem has quit (Ping timeout: 260 seconds). 05:32:57 -!- augur has joined. 05:39:59 -!- augur_ has joined. 05:40:51 -!- augur has quit (Read error: Connection reset by peer). 05:41:49 -!- carado has quit (Ping timeout: 246 seconds). 05:42:39 -!- carado has joined. 05:48:57 -!- ^v has quit (Quit: ping timeout: 1337 seconds). 06:04:33 -!- asie has joined. 06:14:12 -!- asie has quit (Quit: Textual IRC Client: www.textualapp.com). 06:26:19 -!- FreeFull has quit. 06:50:48 -!- nooodl has joined. 07:12:07 -!- carado has quit (Ping timeout: 246 seconds). 07:16:24 -!- nisstyre has quit (Read error: Connection timed out). 07:26:56 -!- zzo38 has quit (Remote host closed the connection). 07:32:05 -!- augur_ has quit (Remote host closed the connection). 07:32:38 -!- augur has joined. 07:37:17 -!- augur has quit (Ping timeout: 272 seconds). 07:45:08 -!- `^_^v has quit (Ping timeout: 240 seconds). 07:54:34 -!- augur has joined. 07:56:11 -!- augur has quit (Remote host closed the connection). 08:12:39 -!- nooodl_ has joined. 08:15:03 -!- nooodl has quit (Ping timeout: 252 seconds). 08:52:56 -!- epicmonkey has joined. 08:57:49 -!- Uguubee111117 has quit (Quit: Uguubee111117). 09:01:59 -!- Uguubee111117 has joined. 09:22:30 -!- carado has joined. 09:24:37 -!- carado_ has joined. 09:24:38 -!- carado has quit (Read error: Connection reset by peer). 10:05:52 A DISCONTINUED MUCH AS IN THE REASONS HE'S A RECENT EVENTS HAVE PROMPTED BY AN OUNCE AT THE C. A. N. S. 10:06:10 fungot: Even you make more sense than these results. 10:06:10 fizzie: maybe its just my lack of a standard. 10:06:16 fungot: Could be. 10:06:17 fizzie: lol this game is awesome. fnord, c. a compiled scheme rewrite seems the best way 10:09:00 -!- nooodl_ has changed nick to nooodl. 10:20:26 -!- yorick has joined. 10:29:25 -!- Koen_ has joined. 10:29:34 -!- Koen_ has quit (Client Quit). 10:29:50 -!- Koen_ has joined. 10:49:29 -!- atslash has quit (Quit: Leaving). 11:20:38 http://www.reddit.com/r/lolphp/comments/1owwcz/pupesoft_a_finnish_erp_app/ 11:25:03 -!- oerjan has joined. 11:37:23 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 11:38:52 -!- Sgeo has quit (Read error: Connection reset by peer). 11:51:44 huh lolphp censors nicks? 11:51:54 -!- KingOfKarlsruhe has joined. 11:55:38 ok that was as easy to get around as expected. 11:56:11 i suppose it keeps out the chaff. 11:57:04 HION 12:04:43 HIREFLY 12:04:48 HAPPY CAPS LOCK DAY 12:05:54 HireFly, a killer for hire. 12:06:41 -!- oerjan has quit (Quit: OKAY). 12:17:45 -!- boily has joined. 12:17:55 -!- metasepia has joined. 12:18:11 good croissant morning! 12:19:01 fizzie: I don't think I did. 12:24:32 Well, you should, to keep up with things. 12:27:18 my backlog has a backlog backlog, and on top of that I'm piling up this season's series. 12:27:57 (and I have a bunch of bundles of books and stories to read, sets of albums to listen to, and a bluetooth device to pair.) 12:42:05 At least there's just one of those. 12:43:05 -!- nooodl_ has joined. 12:46:41 -!- nooodl has quit (Ping timeout: 245 seconds). 12:47:29 fizzie: one device that I still can't pair. why must it be so fscking complex? 12:55:34 -!- asie has joined. 13:12:06 -!- `^_^v has joined. 13:36:14 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 14:00:25 -!- asie has joined. 14:07:15 -!- boily has quit (Read error: Connection reset by peer). 14:07:17 -!- metasepia has quit (Read error: Connection reset by peer). 14:08:11 -!- boily has joined. 14:08:27 good my-machine-froze morning! 14:10:00 -!- metasepia has joined. 14:11:23 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 14:12:22 -!- conehead has joined. 14:25:38 -!- Sprocklem has joined. 14:26:34 -!- boily has quit (Read error: Connection reset by peer). 14:26:35 -!- metasepia has quit (Read error: Connection reset by peer). 14:27:51 -!- boily has joined. 14:29:16 what the fungot is going on. second crash. 14:29:16 boily: do you need 14:29:22 fungot: yes, I do need. 14:29:22 boily: if you aren't allowed to put fnord rye-bread in it's place in the world is the best 14:29:33 ...............wut? 14:29:50 -!- Sprocklem has quit (Ping timeout: 240 seconds). 14:30:06 fungot: what has knäckebröd got to do with my computer problems? 14:30:06 boily: it is implemented in bef86 though. 14:30:18 fungot: OKAY. 14:30:18 boily: you need to be at the " object" metaphor. sue me.). it loses its 14:31:29 -!- Sprocklem has joined. 14:34:10 -!- carado_ has quit (Ping timeout: 246 seconds). 14:35:13 ~metar CYUL 14:35:24 -!- metasepia has joined. 14:35:36 ~metar CYUL 14:35:36 CYUL 221429Z 25018G34KT 8SM -RA BKN015 OVC035 09/06 A2968 RMK SF5SC3 RERA PRESRR SLP052 14:35:42 ~yi 14:35:42 Your divination: "Bound" to "Providing-For" 14:35:47 ~fortune 14:35:48 "I thought that you said you were 20 years old!" 14:35:48 "As a programmer, yes," she replied, 14:35:48 "And you claimed to be very near two meters tall!" 14:35:48 "You said you were blonde, but you lied!" 14:35:48 Oh, she was a hacker and he was one, too, 14:35:48 They had so much in common, you'd say. 14:35:48 They exchanged jokes and poems, and clever new hacks, 14:35:49 And prompts that were cute or risque'. 14:35:49 He sent her a picture of his brother Sam, 14:35:50 She sent one from some past high school day, 14:35:50 And it might have gone on for the rest of their lives, 14:35:51 If they hadn't met in L.A. 14:35:51 "Your beard is an armpit," she said in disgust. 14:35:52 He answered, "Your armpit's a beard!" 14:36:08 useless bot. 14:39:16 -!- mnoqy has joined. 14:45:57 -!- FreeFull has joined. 14:46:00 -!- FreeFull has quit (Changing host). 14:46:00 -!- FreeFull has joined. 14:47:05 -!- asie has joined. 14:53:20 -!- Sprocklem has quit (Ping timeout: 245 seconds). 15:00:03 -!- JWinslow23 has joined. 15:00:25 What about the Dysfunctional programming language? 15:01:25 what about it 15:01:39 It will be a new programming language I make. 15:01:48 Everything is a function. 15:02:24 The following could be a Hello, World program. 15:02:27 PRINTSTR("Hello, World!") 15:02:31 PRINTCHAR(10) 15:02:51 are "Hello, World!" and 10 functions too 15:03:21 No, they are values. 15:03:32 but then how is everything a function 15:03:37 "Hello, World!" and a newline are displayed. 15:04:08 everything is a function except the values 15:04:18 Yeah, that's what I mean. 15:04:47 so i take it functions aren't values 15:05:07 Uhh..yeah. 15:05:18 Truth Machine: 15:05:22 INPUTNUM(x) 15:05:29 LABELIF(EQUAL(x,0),"0","1") 15:05:33 LBLDEFN("1") 15:05:39 PRINTNUM(x) 15:05:44 GOTO("1") 15:05:48 LBLDEFN("0") 15:05:49 is there anything interesting about functions? or by everything being a function do you just mean that you use the thingy(thingy,thingy) syntax 15:05:51 PRINTNUM(x) 15:06:07 I think it is "satire" 15:06:11 can you define INPUTNUM and GOTO and LBLDEFN and LABELIF in your language 15:06:20 it looks like you are programming a calculator. 15:06:31 INPUTNUM inputs a number to a variable as an argument. 15:06:35 mnoqy: i'm imagining things like 15:06:42 mapping lbldefn over some values 15:06:47 So INPUTNUM(x) inputs something and stores it into x. 15:07:14 nooodl_: functions aren't values. map would have to be a special form. but there are no special forms. everything is a function. 15:07:19 LBLDEFN("labelname") defines a label, and GOTO("label") works in the same way. 15:07:23 mnoqy: zen 15:08:00 LABELIF(conditional,goto_label_true,goto_label_false) 15:08:09 map could be a "value" 15:08:13 JWinslow23: how are they different from simple keywords, though! 15:08:17 JWinslow23: i meant, can you write a definition for them in your language. not an english definition. can you write a function that does exactly what INPUTNUM does, but it's written by you, and not a special part of the spec 15:08:34 nooodl_: see: 08:05:49 is there anything interesting about functions? or by everything being a function do you just mean that you use the thingy(thingy,thingy) syntax 15:08:38 Yeah, you can define your own functions. 15:08:54 JWinslow23: but can they do the things that INPUTNUM and LBLDEFN and LABELIF do 15:09:01 mnoqy: i'm going to socratically approach the "these aren't actually functions" wish me luck 15:09:10 FUNCDEFN(function_syntax,"codeblockname") 15:09:26 That makes a function that does whatever is in the codeblock. 15:09:39 CODEBLOCK("codeblockname") defines a codeblock. 15:09:52 CODEBLOCKEND("codeblockname") end a codeblock. 15:10:11 seriously, what do you mean by these things being functions 15:10:31 This is partly inspired by spreadsheet syntax in Excel. 15:11:07 ok i'm caving in: JWinslow23: see, the thing is, these functions are not really functions in a meaningful way, they're just syntax that looks like function calls 15:11:11 if you write 15:11:13 goto some_place 15:11:16 as 15:11:22 GOTO("some_place") 15:11:30 -!- MindlessDrone has joined. 15:11:36 Then why does Functional exist? 15:11:37 it's not suddenly a function! functions have real interesting properties 15:12:11 dysfunctional programming is already a thing on the wiki. for what it's worth. 15:12:16 http://esolangs.org/wiki/Functional should not exist. 15:12:29 http://esolangs.org/wiki/0x29A http://esolangs.org/wiki/Object_disoriented 15:12:51 Functional makes the same mistake 15:13:29 I told you it was satire 15:13:54 What was "satire"? 15:15:48 :^) 15:16:10 OK, then can anyone help me make something like Brainmaker? 15:16:50 in what way 15:17:36 Like that, but 2 dimensional, maybe? 15:17:58 Also, how do you write ACTUAL code in Brainmaker? 15:18:06 Anyone got any good resources for learning Clean? I want to see what uniqueness types are about 15:18:12 ooh what's brainmaker 15:18:17 nooodl_: tehz language 15:18:28 nooodl_: you're familiar with tehz, right? 15:19:28 i'm not 15:19:34 then you're in for a treat 15:19:42 http://esolangs.org/wiki/Brainmaker 15:20:44 i like how it just starts talking about "cells", like, 15:20:53 JWinslow23: You define a language and then write your code 15:20:54 "you damn well know this is a bf derivative so let's just get over with it" 15:20:55 Simple 15:21:30 Heh, there is no interpreter for it 15:22:17 OK, I'll make one. HQ9+, maybe. 15:22:24 Be right back! 15:22:27 uhm. can't we just... like... I don't know, maybe, perhaps like delete all those languages-which-are-very-boring-variations-of-one-another, and languages-which-aren't-even-esoteric-much-less-anything-at-all-i'm-looking-at-you-poison? 15:23:13 Brainmaker is unique enough 15:23:23 i think i'd kill people if http://esolangs.org/wiki/poison disappeared 15:23:31 my favorite part is the terminology tehz invented & made a page about to describe it. mostly the talk page. http://esolangs.org/wiki/Talk:Meta_Turing-complete it still hasn't been deleted 15:24:43 "(unless you are an admin?)" nice 15:25:35 oh apparently someone else invented it. i'll blame both of em 15:25:45 nooodl_: re: poison's disappearance: why would that make you violent? 15:27:01 it's a beautiful page 15:27:22 who remembers FURscript. who remembers Snack. 15:27:43 esme... the language with the zombies,,, 15:27:49 thats snack 15:27:54 oops i w-- yes 15:27:57 who will have had to be remembered feather? 15:28:05 SLEEP? ARE YOU CRAZY? LETS GET UP FOR MIDNIGHT DINNER 15:29:07 * FreeFull performs a Mathes eqaution 15:29:50 * boily backs away from that bunch of demented esötericians... 15:30:13 nooodl_: I wasn't an admin at the time 15:30:24 I'm not allowed to be that rude to people now that I am 15:30:30 actually I am but I feel worse about it 15:30:33 um you're -- yes 15:30:36 http://esolangs.org/wiki/Apple3.14 15:31:00 actually it's painful to read me being mean to people 15:31:16 mnoqy: what. the. fungot. is. that. 15:32:30 mnoqy: nice 15:32:44 http://esolangs.org/wiki/Unusable 15:34:21 * boily runs far, far away “I AM SANE! I AM SAAAAAAAANE!” 15:36:40 http://esolangs.org/wiki/6ix this language (with variations on syntax) seems to be quite popular 15:37:12 OK, I could not possibly implement the Q command, so instead, I made a Hello, World! program. 15:37:24 H : ++++++++++ 15:37:28 e : [?'!>+++++++>++++++++++>+++>+<<<<-&]> 15:37:33 l : + 15:37:37 o : . 15:37:41 , : >+.+++++++ 15:37:45 : ..+++.>++. 15:37:50 W : <<+++++++++++++++ 15:37:55 r : >.++ 15:38:00 d : .------.--- 15:38:04 ! : -----.>+.>. 15:38:04 15:38:08 Hello, World! 15:38:19 ☺ 15:38:22 That was it. 15:42:53 i have an esolang idea... "inspiration"... 15:43:39 Lay it on me... 15:44:09 oh, sexy esolanging action! 15:44:30 i'll just implement it. i think it might be boring, but i have to write it down and do some stuff in it first. 15:44:50 Just make the esolang page, and I'll make examples. 15:45:03 Just go! Run as fast as your little CPU can carry you! 15:45:54 wow, 6ix is even more boring than a brainfuck derivative, impressive 15:46:34 there should be a language so abstrusely boring for the records. something like a sort of “Able Line” of Esolangs. 15:47:01 "I can't respond to this until you tell me if you've misplaced the '?'s." i like this guy 15:47:54 boily: honestly i'm ok with sticking with http://esolangs.org/wiki/Most_ever_Brainfuckiest_Fuck_you_Brain_fucker_Fuck 15:48:21 Bike: oh. in that case, my wish is fullfilled. 15:48:28 `thanks Bike 15:48:33 Thanks, Bike. Thike. 15:48:37 `thanks oklofok 15:48:39 Thanks, oklofok. Thoklofok. 15:49:30 `? I 15:49:32 i love monoids 15:49:40 `? colour 15:49:43 ​Colour is a phenomenon from outer space designed to drive humanity insane and bring forth the new age of Cthulhu. 15:49:43 i actually have two ideas for esolangs right now, which is a first, but it'll be a while before i can write them up adequately 15:49:51 Bike: a first and second, surely 15:49:58 Just go! Run as fast as your little CPU can carry you! 15:50:08 no it's the first time i've had two ideas!! 15:50:12 Sorry to quote myself, but I'm excited. 15:50:17 what are you excited about 15:50:27 The new languages! 15:50:37 really, I'm in a slump for ideas. 15:50:45 well neither of them can really run on proper CPUs so uh sorry 15:50:58 What? Why? 15:51:19 What about nooodl_'s idea, "inspiration"? 15:51:30 one involves real numbers and the other would technically need a dedicated physics simulator i suppose 15:51:44 what's inspiration 15:52:50 To quote nooodl_, "i have an esolang idea... inspiration..." 15:53:44 I can make something that looks like a poem... 15:54:10 RhymeScheme, or Verses? 15:55:04 I have to go. I only got a few hours for lunch. 15:55:19 You need to get the pages on esolangs.org, though! 15:55:27 -!- JWinslow23 has quit (Quit: Page closed). 15:55:41 i don't even know how to deal with enthusiasm 15:56:02 -!- nisstyre has joined. 15:56:35 wow i actually don't know how i should properly handle reading both code and input 15:56:38 -!- nooodl_ has changed nick to nooodl. 15:57:15 read a code file from a command line argument and input from stdin i guess 15:59:15 ^bf ,[.,]!liek thse 15:59:15 liek thse 16:01:11 -!- ^v has joined. 16:06:12 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 16:15:36 -!- mnoqy has quit (Quit: hello). 16:26:28 -!- zzo38 has joined. 16:33:50 http://bpaste.net/show/WgkDbwNiGLAgVkQgWt1D/ 16:34:09 http://bpaste.net/show/6VJTQXq9diM71mx3IQ4N/ hello world 16:34:28 http://bpaste.net/show/XqnBhVRiUArmBdZzNFT7/ a loop that prints the lowercase alphabet 16:36:15 i have no idea what this is capable of but writing anything in it is really annoying! 16:36:37 -!- asie has joined. 16:37:37 oh those should be code[y][x] in the command descriptions, of course 16:39:15 -!- asie has quit (Client Quit). 16:55:20 It seems quite capable. 16:56:02 -!- sebbu2 has joined. 16:56:41 -!- sebbu2 has quit (Changing host). 16:56:41 -!- sebbu2 has joined. 16:58:43 -!- sebbu has quit (Ping timeout: 246 seconds). 16:58:44 The kind of thing one writes a brainfuck translation to. 16:59:19 there should be an unbrainfuckable language. 17:03:05 Madbrain . 17:05:15 helloman. 17:05:18 long time no see! 17:06:51 long time no see you too 17:07:01 I can't even remember if i've ever seen you at all. 17:07:44 probably. I managed to compile the language you were working on on my machine. 17:07:56 oh 17:07:58 burlesque? 17:08:07 that's the one. 17:09:09 neat 17:09:20 it requires a bunchload of haskell packages :) 17:09:58 that I know, you vile dependenter! 17:10:10 well 17:10:16 a lot of those are for statistics functions I think 17:10:42 oh 17:10:44 (according to the Fizzian Graphs, we overlapped in Summer 2012 and February 2013) 17:10:44 yeah 17:10:58 and haskeline mtl and digits 17:11:03 and web-encodings 17:11:14 web-encodings were hairy to get online, iirc. 17:11:19 yes 17:11:23 it's now deprecated :) 17:12:00 nooodl: http://sprunge.us/iSXR there's an (untested) translation from brainfuck to that. 17:12:16 Where are these fizzian graphs located? 17:12:27 FireFly: http://zem.fi/ircvis/esoteric/ 17:12:35 (Which reminds me, should update them.) 17:13:27 “Fizzian Graph”... doesn't it sound like the title of a thriller? 17:14:22 Graphs: uptodated. 17:15:44 burlesque has gotten quite messy 17:15:50 and still too many features are missing 17:15:52 :) 17:16:14 http://zem.fi/ircvis/esoteric/fig/charfreq_z_20y.png mhm 17:16:16 wd{{ri}f[}m[f:sp 17:16:22 that's still too long for my taste 17:16:38 FireFly: 2005 was well-known as the year of the z. 17:16:42 `olist (926) 17:16:44 olist (926): shachaf oerjan Sgeo FireFly 17:17:08 źź :: źź 17:17:20 http://zem.fi/ircvis/esoteric/people_presence.html who do i kill to get on this list 17:17:30 nooodl: You. 17:17:42 well 17:17:49 with the newest version it's wd{:ri}m[f:sp 17:17:54 Does include uppercase "Z", and does it count multiples if there is multiple "z" in one message? 17:17:56 nooodl: you need to get a quote homologated in the PDF. 17:18:02 that's much better 17:18:18 Thanks shachaf 17:18:36 Is source-codes of this quotes PDF still available all the time? 17:18:55 zzo38: it is. private github repo :D 17:19:06 fizzie: there should probably be a terms graph for 'hth' 17:19:20 -!- Vorpal has joined. 17:19:25 boily: why is the repo private? (admittedly, i feel cool about being part of the cool club) 17:19:32 zzo38: It does include uppercase "Z", and it does count multiples. (In other words, it's (total amount of Z's)/(total amount of characters).) 17:19:34 elliott's some kinda fucked up cave 17:19:54 (the Clubbe of Secret Wisdomme \LaTeX{}) 17:19:57 FireFly: It wasn't really such a hot topic when the graphs were first made, but that's certainly true. 17:20:01 nooodl: because I can. 17:20:08 also I couldn't convince many people to golf in it on golf.shinh.org :( 17:20:23 Bike: I like how I stopped sleeping sometime in 2009 for a bit 17:20:27 three or so golf 17:20:58 zzo38: packaging the source for you. 17:21:29 boily: Do you have raw links for source files so that someone knowing the URL can check for updates? 17:21:59 elliott: inorite 17:22:15 (That way it is not necessary to do it manually) 17:23:19 oerjan's is really trippy 17:23:30 not even I can manage that kind of slant 17:23:44 zzo38: well, I'd say the github repo is your best source. it has update times and stuff and commits. 17:24:16 zzo38: https://dl.dropboxusercontent.com/u/2023808/the-pdf.tar.bz2 17:24:39 I don't have access to private github repo though 17:25:17 zzo38: I'd very much like to add you, but you don't seem to exist. it's very Canadian of you, but pour les besoins de la cause, you'll have to materialise an account. 17:26:09 Well, I don't have any nor intend to add some; GitHub always runs very slowly and sometimes crashes so I don't use it. 17:26:15 ah 17:26:19 tu parles francais? 17:26:48 mroman: il semblerait que je suis le francophone résident du channel. (d'ailleurs il faut que je convainque Roujo de revenir) 17:27:28 Koen aussi parle français, y'a Taneb qui nie parler français, d'autres qui font des horreurs avec google translate plutôt cocasses (I'm looking at you oerjan). 17:27:34 I haven't spoken french in like 6 years 17:27:41 I barely remembery anything. 17:27:44 :( 17:27:51 at least you conjugate your verbs :D 17:27:57 I studied it for 8 years 17:28:04 8 years for nothing 17:29:29 on doit conjuguer les verbes. 17:29:42 don't you worry. French is a drug in which it is very easy to relapse. 17:29:55 je suis, tu es, il est, nous sommes, vous êtes, ils sont... 17:30:06 yeah 17:30:17 conjugation isn't really the problem 17:30:26 you just learn the few regular ones 17:30:30 learn a few irregular ones 17:30:38 and assume everything you don't know is in fact regular :) 17:31:11 well 17:31:18 maybe I should start learning vocabulary again 17:31:33 but currently I have to learn spanish 17:31:34 so 17:31:42 quelle domage! 17:31:49 ow. 17:31:51 *dommage 17:31:53 «quel dommage». 17:31:54 *quel 17:31:55 se 17:31:57 dommage is masculin. 17:31:57 *see 17:32:22 jái oublie 17:32:29 and my terminal fucks up unicode again 17:32:41 ~duck jái 17:32:41 --- No relevant information 17:32:58 j'ai oublié? 17:33:02 that oughta be correct 17:33:05 it is so. 17:33:08 haha 17:33:23 je suis rigolé 17:33:35 euh... attends un peu pour celle-là... 17:33:47 «je suis en train de rire», peut-être? 17:34:09 -!- carado_ has joined. 17:34:12 je ne sais pas :( 17:34:27 what is your original intended sentence? 17:34:53 i'm laughing? 17:35:06 (I found that the most important thing to say when learning a language is “I forgot”. well, second most important after “One pint, please”) 17:35:09 is je suis rigolé past? 17:35:18 oh no 17:35:22 it's with avoir 17:35:26 j'ai ri. 17:35:34 and I forgot the distinction between parfait and imparfait 17:35:43 it means “I laughed”. 17:35:46 and the conjugation of imparfait anyway 17:36:09 imparfait in French is a misnomer. it's used for just about anything except what should be true imparfait. 17:36:10 tengo que estudiar mucho. 17:36:30 pienso que el español es más facíl que el frances. 17:36:42 The way I remember it imparfait describes past conditions 17:36:43 like 17:36:48 but, as you said, I forgot just about everything from Spanish. 17:36:49 "It was cold" 17:36:53 and parfait describes action. 17:36:57 «Il faisait froid». 17:37:01 oui 17:37:10 Il faisait trés froid cette nuite! 17:37:19 oooooh, un «nuite»! 17:37:23 *nuit 17:37:25 what's nuite? 17:37:25 spoken like a True Quebecker! 17:37:50 a mispronunciation dating to 17th Century French. 17:37:56 nuitte, frette, icitte, litte... 17:38:09 (night, cold, here, bed) 17:41:05 you really say icitte? 17:41:21 bizarre, monsiour 17:41:26 trés bizarre 17:41:27 monsieur 17:41:46 My ultimate goal is to speak 4 languages 17:42:01 German, French, Spanish, English 17:42:12 and Swiss German, as it is my native language :) 17:42:51 I see you've listed the language in order of increasing utility. 17:42:55 *languages 17:43:09 exactly 17:43:33 that's why I said swiss german last 17:43:37 because it's most useful. 17:43:56 the most useful 17:44:14 la choose le plus utile 17:44:20 or however comparision were done again in french 17:44:34 i thought the germans were mutually intelligible. 17:45:13 hm? 17:45:20 what's that supposed to mean? 17:45:31 all germans understeand each other? 17:45:36 I'm not even german 17:45:38 that a german speaker from switzerland could understand one from germany. 17:45:52 Bike: definitely not. 17:45:56 shame 17:46:02 unless they speak the standard german 17:46:06 otherwise no 17:46:28 even all german speakers of switzerland don't understand each other 17:46:47 some dialects are just too different 17:47:14 in some regions you just switch to the most common variation of swiss german to communicate 17:47:41 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 24.0/2013091200]). 17:47:48 due to modernization and big cities those dialects intermix to new dialects 17:47:53 which are much closer together 17:51:03 and the ones that can't be understood by everyone are slowly mourir 17:51:24 descending into the state of not being spoken anymore 17:52:58 -!- Bike has quit (Ping timeout: 246 seconds). 17:53:57 aaarughghgh! sudden meetings! 17:54:57 Why did you include my client address in the quotation of the quit message even though not included in the other messages? Would it be more clear just include the address once in the appendix or something like that? 17:55:24 zzo38: that's how it was logged in the `quotes. I can change it for your convenience. 17:55:53 I don't intend you to change it only for my convenience; I was simply asking why it is logged like that in HackEgo. 17:56:17 It doesn't seem the best way to do it as far as I am concerned. If you disagree you can say so of course. 17:56:19 if things are as they are, it's because they were so. 17:56:30 -!- mnoqy has joined. 17:56:34 that, and I'm one lazy bum. 17:56:42 Is it possible to find out what kind of things you can stream from, say, Netflix, without making an account? 17:56:57 I know they've got some kind of a "first month is free" thing, but still. 18:03:51 oerjan's people_presence chart kinda looks like it bifurcates in 2011 18:04:11 -!- _grotr has joined. 18:04:18 `relcome _grotr 18:04:22 ​_grotr: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 18:04:40 -!- Taneb has joined. 18:05:13 dommage is masculin. 18:05:33 nooodl: oui? et? puis? que? 18:05:35 i didn't know this :( 18:06:21 les genres et moi... ça ne marche pas 18:07:10 à moins d'être né dans un milieu francophone, c'est à peu près certain que le monde vont faire des erreurs de genre. 18:08:22 anecdote: les gens de Montréal disent «le bus» (/lə.bʌs/), et à Québec c'est «la bus» (/la.bys/). 18:10:45 ouais, en néerlandais le genre est aussi un bon «shibboleth». les deux articles sont «de» et «het» mais les non-néerlandophones ont l'air de dire «de» partout 18:12:09 hm. il faudrait que j'apprenne le néerlandais. le plus proche que j'ai été était la fois où on était en vacances en famille à Aruba. 18:12:47 mais ça devra patienter. dans l'ordre, il faut que je me remette au japonais, que j'apprenne des bases de mandarin et de cantonnais, faire un détour par l'estonien, puis après ça on verra bin. 18:15:03 il paraît que c'est la galère, apprendre le néerlandais! 18:16:29 Maybe we should add some wisdom files for other esolangs too. 18:19:48 speaking of: a map of genders for countries in russian http://i.imgur.com/rEHizAI.png 18:20:41 the French version → http://i.imgur.com/PTZjh8V.jpg 18:21:16 I think a lot of the ones that are plural in Russian are plural in English too? 18:21:38 United States, United Arab Emirates, the Philipines? 18:21:41 zzo38: how? it sounds interesting. 18:22:09 i think zzo38 means `learn befunge (blah blah blah) 18:22:56 anyway: wow. what are all of these article-less countries 18:22:56 hmm... that'd deserve a split with its own chapter... 18:23:04 madagascar... 18:23:08 cuba. 18:23:12 yemen? 18:23:21 oh oman 18:23:25 Yes I mean add `learn befunge and whatever other esolangs they have 18:23:27 we don't say «La Cuba», just «Cuba». 18:23:45 what languages are there already? 18:23:50 piet, ursala... 18:23:55 -!- Sprocklem has joined. 18:23:55 `? brainfuck 18:23:57 brainfuck is the integral of the family of terrible esolangs. 18:24:24 fungot: Write an entry for Befunge, please. 18:24:24 fizzie: i prefer to get in... 18:24:29 `? fungot 18:24:29 fizzie: but i'll wait 10 years and hopefully be able to contact you fnord from the for loop 18:24:31 fungot cannot be stopped by that sword alone. 18:24:38 fungot: You're *already* in. 18:24:39 fizzie: i'm just a beginner :) :) :) :) 18:24:54 `? chess 18:24:56 Chess is a complex boardgame, where players exchange unclear royal steaks until they decide which of them has lost. The game is recorded through the Gringmuth Moving Pineapple Notation. 18:25:02 ↑ that one was fun. :D 18:25:34 `? go 18:25:36 Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia. 18:26:12 -!- asie has joined. 18:26:27 -!- asie has quit (Remote host closed the connection). 18:27:42 -!- asie has joined. 18:28:16 But how many points are said territories worth?! 18:29:47 ~duck Taneb's worth 18:29:47 --- No relevant information 18:33:49 Taneb: how many points are you worth? how tall is imhotep? what is the capital of Canada? 18:34:41 17, 6 foot 8, Yellowknife 18:35:10 ... 18:35:31 that may be the most creative answer I have seen about Canada's capital... 18:36:17 fungot: what do you think is the capital of Canada? 18:36:17 FireFly: you can kill yourself easily :) the two rules are pretty simple themselves 18:36:28 Hm 18:36:36 I think fungot thought I was asking about Go instead 18:36:36 FireFly: hmmmm. when i did it 18:36:42 oh, "Yellowknife is the capital and largest city of [...] Canada." 18:36:56 I don't think I knew that before 18:36:57 And then you have other stuff in the `? too, not only esolangs you could make up a lot of stuff including Imakuni?'s pokemon cards (which makes your own active pokemon card confused), and the Dungeons&Dragons 18:37:39 zzo38: I think I've asked you before, but I don't remember the answer, so: have you played Pokémon Card GB2? 18:37:58 FireFly: Yes I have done 18:38:01 that “[...]” seems very evil. its aura emanates silenced and tortured paragraphs... 18:38:54 zzo38: oh, okay. I wish they'd do a sequel of it for the 3DS 18:39:03 boily: thousands of informations of canada crying out in terror 18:39:34 I happen to like the old rules though; I think the new rules and cards damage the positional nature of the game. However, a thing I would like to see is Limited format play. 18:40:52 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA......... 18:42:49 my keyboard needs a bath :/ 18:42:52 FireFly: Did you make up any other Pokemon card puzzle? 18:43:02 zzo38: nope :( 18:43:34 I would like to see, though. Have you seen my puzzle.5? 18:44:10 Oh, I agree about preferring older rules. I stopped playing the TCG around when the EX sets were first released 18:44:19 I don't think I have 18:44:41 zzo38: where do I find puzzle.5? 18:44:48 Look at it now if you want see if you understand it. http://zzo38computer.org/textfile/miscellaneous/pokemon_card/puzzle.5 18:45:59 I also wrote terminology.txt in the same directory 18:46:44 -!- _grotr has left. 18:47:58 I also mentioned different tie breaking rules which I prefer rather than the ordinary ones. 18:50:09 FireFly: I think your puzzle is economical. Mine tend not to be. 18:50:30 -!- asie has quit (Write error: Broken pipe). 18:50:47 -!- asie has joined. 18:51:16 I don't even remember my puzzle, haha 18:51:28 (Yours is puzzle.4 if you want to review it) 18:51:46 Can you figure out puzzle.5 yet? 18:53:49 I didn't really check it out yet, let me see 18:54:26 fungot: do you bathe? 18:54:26 olsner: i think i'm forgetting my japanese". fucking read what i've said about fnord i plan to ( fnord fnord) ( gcc version 3.3.3 ( suse linux)) 1 18:55:52 fucking read what i've said about fnord 18:56:05 fungot: You don't have to be so aggressive, dude. 18:56:05 fizzie: i don't think that is an issue with my example code. the more projects try to emulate it or something like that 18:57:51 Do you like this game? 18:58:22 oh, hm, resistance against fighting 18:58:42 Yes, I put that in there on purpose. 18:59:19 -!- muskrat has joined. 18:59:23 So the straightforward approach with using kabutops' first move on gengar is a no-go 18:59:31 (Also notice most of your own cards have the wrong energy; that is also on purpose.) 18:59:48 FireFly: Correct; it doesn't work. Try again. 19:01:45 Hm 19:06:12 Did you check all of the cards in hand? 19:06:27 Yes 19:06:46 Empty draw pile means I have to win this turn (or somehow put cards back in the draw pile), right? 19:06:48 the halting problem is solvable for FSMs and LBAs right? 19:06:58 FireFly: Yes. 19:07:28 Clean doesn't seem to have a REPL 19:08:26 Oh, hmm 19:09:03 the halting problem is solvable for flying spaghetti monsters and logical block addressing??? 19:10:07 -!- Taneb has quit (Quit: Leaving). 19:10:19 fungot: who or what do you believe in? 19:10:19 boily: are you saying that there's something odd about the irc protocol 19:10:26 fungot: yes I am. 19:10:26 boily: stop apologizing. that's just m- and m-, and yes. 19:10:36 zzo38: I think I'm too tired for this :P but I think it isn't possible to solve this turn, so you'd have to grab the maintenance and put two cards in the draw pile 19:10:52 whose order somehow is unimportant 19:11:17 boily! 19:11:20 FireFly: Do you want some other kind of hint? 19:11:25 there was no package for me at andover 19:11:44 -!- zzo38 has quit (Remote host closed the connection). 19:19:05 -!- muskrat_ has joined. 19:19:17 -!- muskrat has quit (Disconnected by services). 19:19:23 -!- muskrat_ has changed nick to muskrat. 19:19:32 -!- shikhin_ has joined. 19:25:19 quintopia! 19:25:21 I know :( 19:25:52 I still have the box. 19:27:53 -!- NihilistDandy has joined. 19:32:25 -!- muskrat has quit (Quit: Leaving). 19:33:48 then just send it to my home 19:34:08 -!- shikhin_ has changed nick to shikhin. 19:34:09 i won't get there for 2 more weeks, but then, you aren't going to send it by then either! 19:34:32 * boily is ashamed 19:35:24 i have your thank you postcard already... 19:36:06 * boily is guilty, and has pictures of an anime character receiving words through his heart 19:36:07 ow. 19:36:51 quintopia: tonight. I'm printing your address and having it delivered. 19:37:40 shall I andover it now, or should I forward it to your home? 19:37:57 i am no longer in me 19:38:03 oh. 19:38:39 -!- oerjan has joined. 19:38:56 oerjan: welp. I screwed up, and now quintopia is angry! 19:39:10 angry? 19:39:14 ANGRY???? 19:39:28 WHY WOULD I BE ANGRY???????!!!??!!??? 19:41:57 -!- augur has joined. 19:42:56 -!- Molotok has joined. 19:44:50 fungot: what has knäckebröd got to do with my computer problems? <-- let's just say eating knekkebrød close to a computer keyboard may not be optimal. 19:44:51 oerjan: 2) session timeouts? :p ( heh, guess so. it's nothing like the fnord 19:45:02 boily: OKAY 19:45:21 i might get around to that part eventually, the logs are big today. 19:45:47 -!- Molotok has left. 19:52:35 -!- Sprocklem has quit (Ping timeout: 272 seconds). 19:55:51 -!- Taneb has joined. 19:59:44 -!- Sprocklem has joined. 20:00:26 oerjan: the halting problem is solvable for LBAs, right? 20:00:30 -!- asie has quit (Quit: Textual IRC Client: www.textualapp.com). 20:00:37 so i take it functions aren't values <-- that _does_ sound dysfunctional. 20:00:38 -!- ping has joined. 20:00:49 -!- ping has quit (Client Quit). 20:00:53 quintopia, yeah 20:01:09 The number of states they have is proportional to some function of the length of the program 20:01:20 so it occurs to me that something like "Super BILF" could actually have been implemented 20:01:42 if it had three outputs: 1) halts 2) loops 3) overflows memory 20:01:54 quintopia: yes. the space hierarchy theorem of complexity is basically proved by showing you can solve the halting problem for a machine with a bound on the space with a machine with a _slightly_ higher bound, proving that they are all distinct classes. 20:02:45 so linear can be solved by O(x^1.2), e.g. (or something like that, i don't quite recall how small the steps are.) 20:03:06 oerjan: and the proof looks like "simulate the machine and track its memory history, halt if it halts or repeats a state from its history"? 20:03:44 something like that. basically just modify the usual halting theorem proof, i think. 20:04:02 erm wait 20:04:04 i mean, yes. 20:05:26 the usual halting problem proof is modified to prove the classes are distinct. i assume, it's been a while since i read this stuff. 20:06:02 and i'm not sure i literally read that proof, but this stuff is afaik "obvious if you know the principle". 20:15:13 who remembers FURscript. who remembers Snack. <-- who could _forget_ snack. 20:15:45 That reminds me... 20:15:55 @ask ais523 How's Underlambda going? 20:15:55 Consider it noted. 20:16:16 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:16:26 @tell Phantom_Hoover Remind me to send you the fortress 20:16:26 Consider it noted. 20:17:34 * boily runs far, far away “I AM SANE! I AM SAAAAAAAANE!” 20:17:37 `? mad 20:17:39 ​"But I don't want to go among mad people," Alice remarked. "Oh, you can't help that," said the Cat: "we're all mad here. I'm mad. You're mad." "How do you know I'm mad?" said Alice. "You must be," said the Cat, "or you wouldn't have come here." 20:18:10 You know, I've got commit access to the dreaded PDF 20:18:22 Taneb: indeed. 20:18:24 If I could think of anything evil to do, I'd do it 20:18:41 Maybe put nefarious referrals in it 20:18:57 nefarious? what kind of nefarious? 20:19:10 Devilish 20:19:51 try me :p 20:20:26 -!- epicmonkey has quit (Ping timeout: 245 seconds). 20:24:18 @ask ais523 How's Feather going? 20:24:18 Consider it noted. 20:24:36 FireFly, Feather is already completed 20:24:54 did it retroactively complete itself? 20:25:10 It was the first ever programming language, first implemented in 1821 20:25:33 why did it retroactivate itself into 1821 instead of now? 20:26:00 olsner, ais523 thought it'd be funny 20:30:35 -!- augur has quit (Write error: Broken pipe). 20:31:36 "p must be an inetger less than n" 20:34:00 let's define a point P, and call it Q. 20:39:30 I don't know what it is about radio, but there's something that makes it fancy. (Been listening to websdr again.) 20:41:00 -!- boily has quit (Quit: dook dook dook dook dook dook dook dook dook dook...). 20:41:05 -!- metasepia has quit (Remote host closed the connection). 20:47:53 -!- mnoqy has quit (Quit: hello). 20:50:27 Wow, tomorrow I'll see people like Neil Mitchell and Phil Wadler 20:54:22 original gangstas 20:57:00 fizzie: i saw your brainfuck-that thing translation. looked pretty neat! 20:57:06 -!- NihilistDandy has quit. 20:57:13 "Users of the Paperclip gem are encouraged to upgrade to the latest version of Cocaine." https://groups.google.com/forum/#!topic/ruby-security-ann/3XTGFbAJoTg 20:57:50 reminds me of a folder I had back in my windows days "Alcohol 120% With Crack" 21:01:40 oh gosh, I remember that program back when I was a terrible pirate in high school I guess xD 21:02:09 @yarr 21:02:09 Aye Aye Cap'n 21:02:34 fun fact: @yarr and @arr are two different commands with a different collection of replies 21:02:41 fun fact 0 = 1 21:03:13 fun fact n = n * fact (n - 1) 21:03:21 There are lots of fun facts 21:05:09 @arr 21:05:09 Yeh scurvy dog... 21:05:24 @yard! 21:05:24 I'll crush ye barnacles! 21:11:33 -!- Taneb has quit (Quit: Leaving). 21:15:43 -!- shikhin_ has joined. 21:18:59 -!- shikhin has quit (Ping timeout: 272 seconds). 21:19:10 -!- carado_ has quit (Ping timeout: 245 seconds). 21:20:19 does Linux have a syscall for bulk stat() of many files, I wonder 21:22:11 -!- Sprocklem has quit (Ping timeout: 260 seconds). 21:25:10 would that be worthwhile? 21:26:30 well some programs (like git) do thousands of stats in a row, and the results should mostly be cached in the kernel 21:26:42 so the system call overhead might be significant 21:26:45 but i don't know really 21:27:01 -!- Nisstyre-laptop has joined. 21:37:52 for(int i = 0; i < 100000000; i++) syscall(__NR_getpid); takes 9s on my system (11 million syscalls/s?) 21:38:17 gosh, that's fast 21:38:28 with fstat(0, &st) instead it takes 15s 21:42:29 stat("foo", &st) on a (constant) filename in the working directory took 37s 21:42:32 on a longer path with a couple of directory components, 70s 21:45:18 so file name lookup is slower than system calls? (fstat might be special though - file descriptors could have a direct pointer to their stat data for example) 21:46:09 @tarr 21:46:09 Maybe you meant: yarr arr 21:46:20 * oerjan cackles madly 21:46:42 -!- Bike has joined. 21:46:58 hi oerjan 21:47:24 do you know about Elias-Fano encoding 21:47:29 no. 21:47:36 food -> 21:48:16 isn't file name lookup a system call? so like, it's a system call + some other things 21:49:30 olsner: ~100 ns for a syscall is about in line with what I've heard, yeah 21:49:34 SYSCALL instruction is pretty damn fast 21:50:11 imo SYSENTER 21:50:18 Fiora: no, system calls usually take paths... and besides actually opening a file (which requires read access at least), there's no "resolved file name object" thingy 21:50:28 shachaf: have you seen http://semipublic.comp-arch.net/wiki/SYSENTER/SYSEXIT_vs._SYSCALL/SYSRET 21:50:58 olsner's for loop test takes 3.716s real time (0.452s user, 3.256s sys) here. 21:51:03 I think so. 21:51:17 well a "resolved file name object" would just be a file descriptor/description yeah? 21:51:38 and there tend to be calls for those to e.g. fstat(), fchdir() 21:51:44 mkdirat() 21:51:48 mk_dire_rat() 21:52:05 Well, readdir() or similar doesn't give you a file descriptor. 21:52:50 olsner: so like, looking up a file name doesn't go to the kernel? 21:53:24 Looking up a file name in what? 21:53:40 Fiora: Names are not looked up separately, is I think the point here. 21:54:00 (Except for the aforementioned file-descriptor-taking syscalls.) 21:54:31 ahhh 21:56:01 I'm sure you could systemtap-or-something out how much of the time spent inside a single syscall is taken by name-lookup-related operations, but it's still happening inside the call. 21:56:55 (The syscall underlying readdir (getdents) is, incidentally, a bit more bulk-style interface, since it takes a struct linux_dirent * and a count, and returns multiple entries at one go.) 21:59:30 (And the dirent structure includes a type field for the block device/character device/directory/fifo/socket/symlink/file distinction, which I suppose could have been put there to cut down the number of stat calls necessary.) 22:12:02 -!- yorick has quit (Remote host closed the connection). 22:12:28 fizzie: why are syscalls 3x faster for you? 22:12:39 (fwiw I have a http://ark.intel.com/products/33923/) 22:13:52 maybe somethingwith like, XSAVE and XSAVEOPT? 22:19:08 olsner: I have no idea. (And a http://ark.intel.com/products/75047/) 22:21:07 I'd test on the workstation at work too, but it's got 400 CPU% of MATLAB whirring, and I'm afraid that'd skew the result somehow. 22:21:10 XSAVEOPT is only on sany bridge and ltaer I think? maybe that has something to do with it 22:21:30 *sandy bridge and later 22:22:31 it's like, a thing that only saves the parts of the processor state that have been used? 22:22:35 Zany Bridge, Intel's rehash for clowns. 22:22:46 I think 22:23:29 fizzie: that's nice and newer, maybe they optimalized something 22:27:20 current matlab joke: mat=ones(s1,s2); [~,j] = find(mat==1); for i=i:length(j): ...code that doesn't touch j but assigns to mat(:, i) every iteration... end 22:29:25 afaik, linux does the lazy saving and restoring of floating point registers so I think it shouldn't be a big part of the syscall overhead 22:29:54 though it might've changed recently (there was some discussion about dumping it, since it causes an extra interrupt when you do need to save/restore them) 22:30:00 does that work for like, SSE/AVX registers though? 22:30:09 I don't know if there's a way for the OS to know whether they've been changed 22:30:44 i think they count as touching floating point 22:31:06 and it branches twice every iteration to check how far in the iteration it is because of course it does 22:31:08 like I mean is there a way for the kernel to know if an SSE register was changed by user code...? 22:31:14 Bike: That ones-and-find-==1 idiom is kind of strange. 22:31:14 when switching process you set a flag that disallows usage of fpu/sse/avx/etc registers, then when the new process tries to use them you get an interrupt 22:31:21 ooh 22:31:49 fizzie: yeah so's the part where it writes m×n columns of an n column matrix. 22:32:01 is matlab just suppressing all those bad accesses 22:32:05 http://lwn.net/Articles/391972/ is this related? 22:32:13 because, like, i'm not cool enough to know about them. 22:32:44 Bike: It should complain. I guess there mst be Circumstances. 22:33:07 well i replaced it with for i=i:s2 and i don't see any difference. 22:33:10 damned thing 22:33:34 You can extend a matrix silently. 22:33:44 it's not extending though, it's just ugh 22:33:47 >> x = [1 2 3] 22:33:47 x = 22:33:47 1 2 3 22:33:47 >> x(5)=2 22:33:47 x = 22:33:49 1 2 3 0 2 22:34:29 (It's a very slow thing to not preallocate, though.) 22:34:48 yeah i'm gonna be fixing up some preallocations later. apparently this isn't extending it though. 22:35:52 which is... mysterious, since it sure looks like it ought to be doing so. 22:36:13 oh, no, i see. it works because of the branching. 22:36:42 so, it does m×n iterations, but past n it so happens that there's never an assignment to mat(:, i). 22:36:53 so i guess it can just spin that whole time. cool 22:40:07 @tell boily anecdote: les gens de Montréal disent «le bus» (/lə.bʌs/), et à Québec c'est «la bus» (/la.bys/). <-- did you know trondheim is the only [citation needed] city in norway where the word "bil" (en:car) is feminine. 22:40:07 Consider it noted. 22:46:44 Fiora: it gets a bit interesting on multiprocessor machines though - you could find cpu0 trying to resume a thread whose fpu state is on cpu1 (and was never saved to memory) 22:46:52 @tell boily also it's _only_ in the city, not the rest of the region. 22:46:52 Consider it noted. 22:50:18 -!- Sgeo has joined. 22:55:35 -!- augur has joined. 22:56:30 olsner: huh, how does that work? 22:57:01 you mean how to work around it, or how the situation happens? 22:58:13 like, how they work around it? 22:58:26 I thought the fpu states were saved in memory with xsave or something (?) 23:00:18 it seems that linux originally just disabled the lazy fpu state thing for SMP, now they might send an interrupt to the processor it needs fpu state from 23:08:34 my keyboard needs a bath :/ <-- http://www.mezzacotta.net/postcard/?comic=1721 23:09:12 (no there's not supposed to be a picture.) 23:09:54 is the page broken or is there's really not supposed to be a picture? 23:10:44 * oerjan taps his fingers 23:11:08 there's really not supposed to be a picture. 23:13:41 http://www.mezzacotta.net/postcard/about.php now I'm sad 23:14:10 FireFly: i recommend reloading. 23:14:52 now I'm confused 23:14:58 I'm confused and somewhat upset by this page 23:15:16 -!- zzo38 has joined. 23:15:49 I'm confused that you're confused about it; it's not like the "comic" has not been discussed here previously. 23:16:02 I haven't seen it before 23:16:54 i've never seen it before either. 23:17:21 Didn't I even do some plots about a weird random number generation details for the about page, or something? 23:17:24 -!- sebbu2 has changed nick to sebbu. 23:18:02 hm quite possible. i'm sure we tried to discover all the variations. 23:18:27 And then I asked on the forums, and got some sort of a response. 23:18:32 It was time-related, I think. 23:18:41 And perhaps a non-uniform distribution. 23:18:54 ah yes you did. 23:19:12 (My sprunge pastes about it have died, though.) 23:19:24 how rude. 23:19:27 I guess it was completely coincidental then that the first thing I got on the about page was "On behalf of [list of companies] all images on this website has been taken down" then 23:19:33 s/then$// 23:19:40 s/ $// 23:19:42 Anyone figure out the puzzle.5 yet? I asked earler but have to leave so now I am elsewlere so could not answer completely 23:19:43 hth 23:19:46 s/shachaf// 23:19:50 FireFly: i got the same one, excitingly enough. 23:19:51 -!- shachaf has left. 23:20:05 s/.*/shachaf/ 23:20:55 FireFly: that one is itself inspired by http://www.irregularwebcomic.net/1526.html 23:21:17 (you might note the date on that.) 23:21:25 I put a 10 second interval in my getter script, and got an almost repeating sequence out of the 11 different variants, because the randomness was based on the second-resolution timestamp, is I think what happened. 23:21:37 Oh 23:23:06 http://users.ics.aalto.fi/htkallas/mezza.png -- frequencies of the 11 different variant. 23:23:57 now... enhance 23:24:11 http://users.ics.aalto.fi/htkallas/mezzoseq.png -- and that's the sequence of variants. 23:24:26 (Permuted appropriately.) 23:26:18 Okay, I caught up in the log. The selection "algorithm" turned out to be "time()%11", and the hypothesis for uneven distribution was that... actually, never mind, it's not all that interesting. 23:26:44 The point, however, was that everyone should've noticed this was going on, because it was spread out over several days. 23:27:00 -!- zzo38 has quit (Remote host closed the connection). 23:27:15 I want to know the h ypothesis. 23:28:56 -!- Phantom_Hoover has joined. 23:29:58 -!- Sprocklem has joined. 23:30:36 I had my sampling done with a "while true; do fetch; sleep 10; done" loop, and some variants of the page were larger than others so therefore had higher likelihood of causing a longer-than-appropriate delay (and consequently a discontinuity in the otherwise ordered sequence of variants received), which skewed the distribution. 23:33:38 what are the haps etcl 23:33:44 *etc, 23:33:46 *etc. 23:33:57 `? haps 23:33:59 haps? ¯\(°_o)/¯ 23:34:42 @tell Taneb remind me to remind you to remind you to give me the fortress when i'm online 23:34:45 Consider it noted. 23:34:46 @wn hops 23:34:47 *** "hops" wn "WordNet (r) 3.0 (2006)" 23:34:49 hops 23:34:51 n 1: twining perennials having cordate leaves and flowers 23:34:53 arranged in conelike spikes; the dried flowers of this 23:34:55 plant are used in brewing to add the characteristic bitter 23:34:57 taste to beer [syn: {hop}, {hops}] 23:35:04 Those are the hops. 23:35:09 Oh, haps. Sorry. 23:36:57 `? hips 23:36:59 hips? ¯\(°_o)/¯ 23:37:33 -!- Phantom__Hoover has joined. 23:37:34 `? NIPS 23:37:36 NIPS? ¯\(°_o)/¯ 23:37:41 (It's a conference.) 23:39:11 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 23:46:34 -!- Phantom__Hoover has quit (Ping timeout: 272 seconds). 23:47:11 -!- Bike has quit (Ping timeout: 272 seconds). 23:47:38 -!- Bike has joined. 23:49:44 -!- nooodl has quit (Quit: Ik ga weg). 23:51:50 -!- Bike has quit (Ping timeout: 240 seconds).