00:16:51 -!- kmc has joined. 00:18:08 damn you ec2 00:22:33 -!- augur has joined. 00:28:02 Dangit, I don't understand BitCoin enough to elaborate on my thoughts on http://www.loper-os.org/?p=988 00:29:06 people still read loper-os for anything but yuks? 00:29:40 -!- Arc_Koen has quit (Quit: Arc_Koen). 00:29:51 He has some interesting thoughts on Bitcoin, I think 00:30:07 Actually, I find Loper-OS to be interesting rather often, if not perfect 00:35:33 There is no computable set of axioms that uniquely defines the natural numbers. 00:35:54 Damned Gödel. 00:39:33 -!- kwertii has quit (Quit: kwertii). 00:42:34 poor gödel finished himself 00:44:51 lucky as i am.. i don't undestand the consequences of this theorem 00:45:08 *his 00:56:14 Eh, his incompleteness theorems are nothing special. 00:56:45 They state, roughly, that there are things we will never know. Big whoop. 00:56:55 His *completeness* theorem is something else, though. 00:57:15 It implies that there is no computable set of axioms that uniquely defines the natural numbers. 00:57:26 *No computable set of axioms that uniquely defines the natural numbers.* 00:57:46 no computable set of axioms that uniquely defines the natural numbers 00:57:59 Yeah! Tell me about it! 00:58:25 There is no computable set of axioms that uniquely defines the natural numbers. 00:59:01 You'd think that there'd be a computable set of axioms that uniquely defines the natural numbers. 00:59:09 But no, there is no computable set of axioms that uniquely defines the natural numbers. 00:59:44 -!- copumpkin has quit (Remote host closed the connection). 01:01:50 thanks 01:19:41 -!- zzo38 has quit (Remote host closed the connection). 01:23:15 -!- Phantom__Hoover has joined. 01:26:55 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 01:35:28 -!- hagb4rd|afk has quit (Read error: Connection reset by peer). 01:37:46 -!- barts has quit (Remote host closed the connection). 01:38:00 -!- barts has joined. 01:58:36 -!- copumpkin has joined. 01:58:57 -!- copumpkin has changed nick to Guest14165. 01:59:07 -!- Guest14165 has quit (Client Quit). 01:59:25 -!- pumpkin has joined. 01:59:49 -!- pumpkin has changed nick to copumpkin. 02:20:39 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:41:41 -!- TodPunk has quit (Quit: This is me, signing off. Probably rebooting or something.). 02:55:27 -!- TodPunk has joined. 04:02:37 -!- Frooxius has quit (Ping timeout: 268 seconds). 04:14:25 -!- zzo38 has joined. 06:20:06 -!- sivoais has quit (Quit: Lost terminal). 06:21:10 Do look keys? 06:29:46 yes 06:31:24 i disagree, zzo38 06:34:11 OK. Why? 06:34:29 I neither agree or disagree. 06:43:25 barts: still at it? 06:48:53 barts: hi 06:49:05 barts: "do u hate me" 06:49:06 Music update! 06:53:16 -!- MoALTz_ has joined. 06:54:16 -!- zzo38 has quit (Remote host closed the connection). 06:55:14 -!- MoALTz has quit (Ping timeout: 240 seconds). 07:09:58 -!- epicmonkey has joined. 07:11:30 -!- MoALTz has joined. 07:13:31 -!- MoALTz_ has quit (Ping timeout: 246 seconds). 07:24:38 -!- epicmonkey has quit (Read error: Operation timed out). 07:29:10 oh ffs 07:31:03 hi 07:32:22 hi elliott!!!!! 07:33:04 Fuck. 07:33:10 hi 07:33:13 Remind me never to tutor for money without a lot of documentation. 07:33:22 Person is now trying to defraud his government, I think. 07:33:38 what 07:33:51 hi 07:33:54 :') 07:33:59 He paid me, but is asking me to sign his sheet for reimbursement for far more money than he gave me 07:35:18 what did you do.......................... 07:35:58 Tutored someone. He paid me. He is expecting to receive money back. I delayed on the paperwork. Now he's giving me paperwork to sign, but it says I tutored for more hours than actuality. 07:36:44 hi 07:37:10 hi 07:52:19 -!- FreeFull has quit. 08:25:36 Whatever. I wrote down and signed for the amount of tutoring paid for, although I have no idea if the actual list of sessions is accurate or not 08:36:21 -!- epicmonkey has joined. 08:50:33 -!- hagb4rd|afk has joined. 09:13:05 There is no computable set of axioms that uniquely defines the natural numbers? 09:15:06 -!- carado has joined. 09:25:43 kmc: Is there a way to write foo :: (a -> b) -> a -> Identity b which doesn't eta-expand without unsafeCoerce? 09:27:11 elliott, monqy something 09:30:01 (Strictness-wise, that is.) 10:21:22 -!- barts_ has joined. 10:22:44 -!- Arc_Koen has joined. 10:24:57 -!- barts has quit (Ping timeout: 268 seconds). 10:31:41 hello 10:35:44 -!- barts_ has quit (Ping timeout: 255 seconds). 10:41:50 -!- barts has joined. 10:43:18 -!- barts_ has joined. 10:46:14 -!- barts has quit (Ping timeout: 256 seconds). 10:56:20 Deewiant: Did CCBI 2 ever become a thing? 10:57:22 Yes? http://iki.fi/matti.niemenmaa/befunge/ccbi.html 11:00:30 Deewiant: I mean, a thing more than the thing it was. 11:00:33 I remember there being some un-thinginess. 11:01:43 Well, I'm working on the C library version of its funge-space right now and at some point I intend to convert/rewrite the interpreter itself in C as well. Does that count? 11:03:19 -!- monqy has quit (Quit: hello). 11:05:10 -!- hagb4rd|afk has quit (Ping timeout: 244 seconds). 11:05:55 Deewiant: Oh, you're still writing that fungespace? 11:07:05 -!- hagb4rd|afk has joined. 11:07:42 More "began working again a week ago" than "still", but yes. I'm doing some stuff related to it as part of a data structures course. 11:08:54 Deewiant: Oh no, is it getting even fancier. 11:09:09 Nothing that wasn't in the works anyway. 11:10:39 Deewiant: So have you finally given up on D? 11:10:42 I'm hoping to be able to throw out the hash table fallback in favour of using a decent spatial data structure for the boxes, and the course work is essentially trying that out and seeing if it's any good. 11:11:54 Kinda-sorta. For this C makes the most sense IMO since I'm trying to stay as low-level as possible for performance. :-P C++ might be a better idea, but, well, it's C++. 11:12:25 And my higher-level language of choice is Haskell so there isn't room for D. 11:12:44 Deewiant: I guess shiro 2 will just have to beat you with Haskell then!! 11:12:49 Even though C is totally cheating. 11:12:55 Maybe I can write Shiro 2 in Rust. 11:12:57 The main thing here is that D1 is totally deprecated, so if I have to convert my code to D2 I might as well convert it to C instead. 11:13:03 That sounds sort of pleasant. 11:13:08 Deewiant: I thought it was D2 already. 11:13:14 Nope. 11:13:39 elliott: Did you know about GitHub's : pictures. :-( 11:13:40 Hence good luck getting it to compile anywhere nowadays. :-P 11:14:10 shachaf: GitHub's what? 11:14:22 Deewiant: I needed good luck to compile it anywhere when D1 wasn't deprecated... 11:14:35 elliott: That, too. 11:14:57 elliott: When you're editing text and press : 11:15:21 shachaf: Smilies? 11:15:33 yes. 11:15:37 Deewiant: Anyway CCBI 2 isn't going to have a scrubber-based debugger, is it?! Therefore Shiro is better. 11:16:17 fizzie: Now that I ended up talking about this stuff: what's the most funge-space-allocation-intensive stuff fungot does and (how) can I easily make it do only that? I could use a 'ready-made' 'real-world' benchmark. 11:16:21 elliott: Scrubber-based? 11:16:35 Deewiant: You know, scrubbers like you have to seek around in media players. 11:16:40 Deewiant: Except this one seeks in TIME. 11:16:53 So you get to see the funge-space animated with all your IPs dancing around while you drag the scrubber along. 11:16:57 And get the stack in a sidebar and so forth. 11:17:05 Not exactly sure how that will work with TRDS, admittedly. 11:17:13 Yeah I wanted to do that back when we were talking about the Funge debugging protocol thing. 11:17:34 (Not in CCBI but in the external debugger program.) 11:18:03 I think Microsoft Visual Funge 2012 has that, right? 11:18:03 I think I got approximately as far as drawing a triangle in an opengl frame with gtkhs. 11:18:39 (That's pretty much what usually happens when I try to program something non-CLI.) 11:19:43 elliott: With TRDS you just need to drag along executed ticks, not in-Funge ticks. 11:20:31 Or then you can execute everything once and draw only the last executed tick matching the corresponding in-Funge tick, but that doesn't seem useful for a debugger. 11:25:37 elliott: With TRDS you just need to drag along executed ticks, not in-Funge ticks. 11:25:50 Right, but it'd be cool if you somehow made the scrubber have a topology whereby it linked up with the previous ones and stuff. 11:25:58 But I guess TRDS is too leaky for that anyway. 11:26:02 Well yeah, you can make it fancy if you want. 11:33:17 -!- carado has quit (Ping timeout: 256 seconds). 11:50:18 -!- Jafet has joined. 12:02:58 -!- sivoais has joined. 12:05:31 Deewiant: Oh, right, I forgot to answer. Um. My guess would be that it's the Underload interp that does the most funge-space manipulation. (Though it does it all with STRN, if that matters.) 12:06:48 Of the "major modules" (eh, heh), the babbling doesn't write much at all because it's all about FILE-seeking around and reading four-to-five byte things, and the Brainfuck has a 1000-cell tape that it manipulates (plus a few cells of state) and that's it. 12:07:45 The Underload, though, has the stack (and sometimes the program) both growing to negative X direction. (Though I suppose optimally you'd then need a "real-world" Underload benchmark to run in it.) 12:08:14 -!- fungot has joined. 12:10:41 You should load the babble stuff into Funge-Space instead of using FILE. :-P 12:15:11 But, thanks for the info. That's what I suspected anyhow; I recall messing with that Underload interpreter at some point. 12:15:29 There's that standalone copy of it somewhere too. 12:15:34 Easier to run than fungot. 12:15:35 fizzie: ( and that's where your coding skills come into play? 12:15:41 ... 12:15:52 I have an underload.b98 which is probably it. 12:16:56 -!- Frooxius has joined. 12:17:25 Also, having the babble stuff in fungespace would be such a memory-waster. (Admittedly, though, it'd then at least do the silly base-128 number-parsing only once.) 12:17:58 I was about to say "and I don't have that much memory to waste, anyway", but apparently fungot's box has (-/+ buffers/cache) 128M used, 872M free. 12:17:59 fizzie: ok, what's next? fnord? yow! it's some people inside the wall! 12:18:26 How much does it take up on disk? 12:18:52 The 'irc' style (which is the largest) is 195659600 + 1042812 bytes. 12:19:32 627M for the whole chroot dir it runs in. 12:19:33 Binary-loading that into a 32-bit fungespace would nicely eat up most of that 872M. 12:20:22 Given that with buffers/cache it's 888M used, 113M free, there's a reasonable change a large amount of it is already "in memory" in a sense anyway. 12:20:27 In CCBI2, that is. In the hash table interpreters I guess you should something like double that. 12:20:29 Chance. 12:58:45 -!- ais523 has joined. 13:02:12 -!- epicmonkey has quit (Ping timeout: 268 seconds). 13:07:07 -!- Phantom_Hoover has joined. 13:10:20 -!- epicmonkey has joined. 13:10:43 a language that doesn't have any form of conditonal statements 13:10:55 that's basically an automaton, right? 13:12:51 or don't we have a computational class for those 13:13:35 Your statement is conditional on what a conditional statement is 13:13:55 oh, yes 13:14:12 well, I'm reading http://www.esolangs.org/wiki/Beebles 13:14:24 basically it has 13 simple commands to manipulate two stacks 13:14:44 but none of those commands can retrieve information from the stack 13:15:32 oh wait it does have "if the top item of the stack is not 0" on the jump command 13:15:35 don't know why I missed that 13:15:42 ok, but imagine it didn't 13:16:26 It could have unconditional computed goto 13:16:49 -!- epicmonkey has quit (Ping timeout: 245 seconds). 13:16:59 what do you mean? 13:17:06 pop x -> goto x 13:19:01 If there is a fork command, you could also make the interpreter angry in the branch that you don't want to run. 13:19:02 I'm pretty sure the "pop" commands pops and discards the top item 13:19:55 well it does have a "kill" command so making the interpreter angry shouldn't be necessary 13:21:35 But without a conditional operator, you can't exercise discretion on killing the program 13:22:04 as far as I know you can't exercise discretion on making the interpreter angry, either 13:22:43 You can push some numbers that happen to be prime if a condition is met 13:22:57 ouh, nice 13:23:13 ok, but it's limited to 30 numbers on the stack anyway 13:33:48 @tell AnotherTest well apparently you were right, zzz is not strictly-speaking equivalent to brainfuck... see cpressey's comment on zzzzzz! 13:33:48 Consider it noted. 13:34:32 -!- epicmonkey has joined. 13:35:16 elliott: Why am I awake? 13:35:42 who knows 13:35:58 who: Why am I awake? 13:36:09 elliott: who is a doctor right 13:44:00 foo ℓ = foo' True 13:44:22 hmm, writing comments in BF is annoying 13:44:31 the only punctuation mark you can normally use is the semicolon 13:44:36 Just zencode them. 13:44:40 so you use it in all sorts of contexts it'd otherwise be inappropriate 13:44:50 y u no type lik this lol? 13:44:58 Or write them like telegrams. 13:44:58 oh, and ? and ! 13:45:07 And () 13:45:14 you can't use () in BF Joust 13:45:20 which is where I mostly write BF comments 13:45:21 Oh, Joust. 13:46:05 https://en.wikipedia.org/wiki/Telegram_style 13:46:46 There is a telegram exchange consisting of "?", followed by "!" 13:48:05 It's mentioned on that page. 13:48:16 «In 1843, a school girl remarked that General Charles James Napier on his having conquered the Indian province of Sindh, should have sent the telegram peccavi, Latin for "I have sinned", as used in the confessional.[2]» 13:48:42 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 13:49:04 so you use it in all sorts of contexts it'd otherwise be inappropriate 13:49:11 ais523: you already do that though! :) 13:58:42 I mean, even more so 14:00:30 -!- boily has joined. 14:08:58 -!- copumpkin has joined. 14:08:59 -!- elliott has quit (Read error: Connection reset by peer). 14:11:16 -!- augur has quit (Remote host closed the connection). 14:12:02 -!- elliott has joined. 14:15:07 -!- hagb4rd|afk has quit (Read error: Operation timed out). 14:16:53 -!- hagb4rd|afk has joined. 14:41:08 -!- Phantom__Hoover has joined. 14:41:26 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 14:42:44 -!- augur has joined. 14:47:43 -!- kmc has quit (Quit: leaving). 14:48:18 -!- AnotherTest has joined. 14:48:23 Hello 14:48:23 AnotherTest: You have 1 new message. '/msg lambdabot @messages' to read it. 14:48:29 @messages 14:48:29 Arc_Koen said 1h 14m 41s ago: well apparently you were right, zzz is not strictly-speaking equivalent to brainfuck... see cpressey's comment on zzzzzz! 14:48:35 -!- kmc has joined. 14:48:54 yeah, "zz" is a command and "zzz" is another 14:49:02 so parsing might turn out to be somewhat difficult 14:49:18 The author probably thought it was a good idea 14:49:31 but was obviously worng 14:49:33 *wrong 14:51:31 "Intended brainfuck equivalent, but failed" 14:51:32 ? 14:52:11 -!- Phantom_Hoover has joined. 14:53:06 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds). 14:55:25 -!- lifthrasiir has quit (Ping timeout: 244 seconds). 15:01:42 AnotherTest: I'm starting to think we should have a category for that :p 15:03:57 -!- atriq has joined. 15:03:59 is there an esolang whose syntax consists entirely of invisible unicode characters? 15:04:05 Whitespace? 15:04:33 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 15:04:38 zero-width as well, i mean 15:05:00 Unispace? 15:06:55 well you can start an Emmental program by renaming all instructions \0, \1, etc. 15:07:44 soft hyphen is a fun invisible character 15:08:01 as are the various bidirectional overrides/embeds 15:08:24 What happens when you use a combining mark next to an invisible character? 15:10:00 You know, if you create this language and use it to implement itself, it would probably be the first unicode aware self-interpreter 15:10:07 for an esolang 15:11:31 I was about to say 15:12:54 hm I guess the prevalence of brainfuck equivalents is a corollary of Wadler's Law 15:13:58 I knew someone called Wadler. 15:14:03 I wonder how he's doing 15:14:40 -!- lifthrasiir has joined. 15:17:11 Jafet: I think I wrote a partial Underlambda interp which was Unicode-aware for no obvious reason 15:17:16 but it wasn't a self-interp 15:17:17 you can name things with utf word characters in php. is php an esoteric language? 15:18:18 No, PHP lacks even that redeeming quality 15:18:37 Also, it's not really unicode aware 15:18:50 https://bugs.php.net/bug.php?id=18556 15:19:18 I guess it is unicode aware, it just becomes aware that it can break things in more ways 15:19:24 huh, I recognise the email address of the reporter 15:19:26 but am not sure from where 15:19:44 i remember you were able to use non-breaking spaces in names 15:20:24 hey is there a "random" service on google ? 15:20:25 in another life, you were a php developer 15:20:29 like, show me random pages from the internet 15:20:33 Jafet: it looks like it's using the current locale to parse identifiers 15:20:50 A good approximation is to search for porn 15:20:58 anyway, in Turkish, lowercase I is ı, capital i is İ 15:21:02 And throw in random words 15:21:13 Jafet: I doubt it, porn is one of the most heavily seo'd of industries 15:22:21 also, how the hell does the "I'm feeling lucky" button work? as soon as you start typing you're redirected to the search page 15:22:53 Try 15:22:55 pressing it 15:23:37 Arc_Koen: it automatically goes to the first result 15:23:49 ais523: my point is it cannot be pressed 15:23:53 or clicked or whatever 15:23:54 the name is because if you're lucky, the first result will be what you want 15:24:05 Arc_Koen: well it probably only works if you have instant results off 15:24:10 oh 15:24:12 how do I do that 15:24:22 haha, wow 15:24:30 so I'm feeling lucky is now a button that exists just to be there 15:24:33 that's beautiful 15:25:00 I bet Clint Eastwood uses it. 15:25:04 -!- barts_ has quit (Ping timeout: 252 seconds). 15:25:09 (also, if I hover the mouse over it, it starts spinning 15:25:19 -!- barts has joined. 15:25:42 Arc_Koen: it's in the options somewhere 15:25:52 and is replaced by random stuff like "I'm feeling hungry" or "I'm feeling stellar" (which redirects to results for "restaurants" or image results for "nebulae", respectively) 15:25:55 elliott: it's probably like the upvote/downvote counter on Reddit 15:26:01 the numbers are actually entirely made up 15:26:04 ais523: recently I haven't even be able to get google in english 15:26:20 IIRC Google did studies that said people would be super mad if they got rid of I'm feeling lucky 15:26:26 even though nobody actually /used/ it 15:26:29 other than manually typing google.com/search?hl=en&q=(query here) 15:26:36 but apparently user feedback was that they preferred blatant lies to removing the values entirely 15:26:46 elliott: yes, I thought it'd be similar to the reddit situation 15:26:58 what's the reddit situation 15:27:04 every now and then someone asks why there are so many downvotes on what looks like an uncontroversial post, and someone has to explain 15:27:30 Arc_Koen: well I dislike Google, and typically preferred other search engines 15:27:32 Arc_Koen: haha, I never noticed the spin before 15:27:40 neither did I 15:27:41 I used Wikia Search back when it existed 15:27:48 the numbers are entirely made up? 15:27:54 (note: I started hating Wikia some time after it stopped existing, so there's no real contradiction there) 15:27:55 ais523: well I'm seriously considering using something else 15:27:56 then what is it based on 15:28:07 nowadays I use DuckDuckGo 15:28:22 kmc: nothing 15:28:23 wasn't that just a proxied google? 15:28:28 it's just upvote and downvote numbers that add up to the right thing 15:28:34 Arc_Koen: it's mostly a proxied Bing, acutally 15:28:41 but the net upvotes - downvotes is real? 15:28:45 Jafet: yes 15:28:53 *kmc: yes 15:28:55 Jafet: sorry about the misping 15:28:59 i see 15:29:09 I feel misped. 15:29:14 ais523: I think it is actually based on the real numbers. 15:29:19 They're just so heavily fudged it's meaningless. 15:29:35 that would seem strictly inferior just to making it entirely fudged 15:42:35 -!- ogrom has joined. 15:43:17 Jafet: anyway that PHP bug you linked seems to be a demonstration of the fundamental problem that it's impossible to be case-insensitive in every language at once 15:43:43 the only backwards-compatible solution I can think of would be to insist that PHP identifiers are case-insensitive in English, regardless of what language is being used to process data 15:44:02 meanwhile, the PHP devs are trying (and failing) to solve every possibility at once, which is ofc impossible 15:44:30 -!- atriq has quit (Ping timeout: 244 seconds). 15:45:41 ais523: it's perfectly possible to fail at that 15:46:15 -!- Vorpal has joined. 15:46:25 -!- atriq has joined. 15:49:54 elliott: not sure I understand 15:50:02 oh, I see 15:50:06 you intentionally misparsed my sentence 15:50:24 Well, it's possible to be case-insensitive in every language at once. Simply make no distinctions at all. 15:50:46 the PHP developers are trying and failing so hard at so many things 15:50:53 The downside is that this means that there is only one usable identifier. 15:51:27 Anyway, what happens if you try to be case-insensitive in every language at once? Can you show that if you do that, then two "obviously different" identifiers end up being the same? 15:52:45 How would one be case-insensitive in chinese 15:53:15 Chinese makes no case distinctions. I'd say it's impossible *not* to be case-insensitive in Chinese. 15:54:49 on the contrary 15:55:00 So you can be case-sensitive and case-insensitive at the same time 15:55:43 Well, if you define "case-sensitive" as "sensitive to at least one case distinction", and "case-insensitive" as "not sensitive to any case distinction"... 16:02:20 -!- AnotherTest has quit (Ping timeout: 260 seconds). 16:09:35 How soon after a job fair will employers typically contact you if they're interested 16:10:56 You could ask them 16:18:45 -!- ogrom has quit (Ping timeout: 255 seconds). 16:20:10 -!- ogrom has joined. 16:23:34 -!- Phantom_Hoover has joined. 16:26:29 -!- zzo38 has joined. 16:29:01 -!- FreeFull has joined. 16:29:45 Sgeo: did he say "we'll be contacting you" or something? 16:30:42 One of them said if you don't hear back from us, let me know. I don't remember about the others 16:32:23 the logical answer to that would be to let him know immediately, and then if in the future when you hear back from them, use your time machine to stop yourself from letting them know 16:37:23 I'm sure xkcd has made that joke before 16:38:55 I don't remember that. Perhaps Munroe thought it was trite and went back in time to erase it. 16:53:20 Does Famicompo Mini have a maximum song duration rule? 17:02:37 that's like the law of the excluded middle 17:04:13 -!- barts has quit (Ping timeout: 255 seconds). 17:05:55 -!- barts has joined. 17:07:19 -!- carado has joined. 17:09:53 -!- atriq has quit (Quit: Leaving). 17:13:47 -!- ogrom has quit (Quit: Left). 17:16:32 -!- elliott has quit (Ping timeout: 265 seconds). 17:17:47 Sgeo: i don't think there's a circumstance where it hurts to try to contact them again 17:18:36 not to be like "WHY WON'T YOU TALK TO ME?!?!?!!?" but just "I enjoyed talking to everyone at the job fair, and I'm excited to hear back about the next steps" 17:19:40 kmc, well, that one employer gave a time frame 17:20:06 even then I don't think it would hurt to send them an email 17:21:32 companies like to see that you are excited 17:22:30 Dear Shankly, 17:22:31 SO ARE YOU GOING TO GIVE ME A PAYCHECK OR WHAT 17:22:31 Yours sincerely 17:22:42 is the company actually called shankly 17:34:46 -!- Jafet has quit (Quit: Leaving.). 17:38:01 -!- AnotherTest has joined. 17:46:09 -!- epicmonkey has quit (Ping timeout: 256 seconds). 18:07:22 Or, is that the name of the people whose job it is to give you a paycheck? 18:08:06 kmc: What are you saying is like law of excluded middle? 18:10:06 -!- ais523_ has joined. 18:10:16 -!- ais523 has quit (Disconnected by services). 18:10:18 -!- ais523_ has changed nick to ais523. 18:13:30 'let him know immediately, and then if in the future when you hear back from them, use your time machine to stop yourself from letting them know' 18:14:03 it is like the proof of excluded middle using call/cc i.e. peirce's law 18:15:18 Here, have some absolutely disgusting gross and, worst of all, useless Clojure code that I wrote 18:15:19 http://ideone.com/BTJxYN 18:15:56 O, so that is how it is. I don't entirely see how it is like that, but I guess it may be. (I think I made a law of excluded middle by call/cc) 18:16:02 "p is false! what, you claim p is true and provide a proof? let me just steal your proof and go back in time and claim that p was true all along!" 18:16:09 ^----- this is what classical logic actually believes 18:16:16 -!- Jafet has joined. 18:18:55 O, I suppose that is sort of like law of excluded middle with call/cc, although classical logic is not about time like this 18:19:25 yeah 18:19:29 Since I have once made the law of excluded middle from call/cc you may have seen before on this channel. 18:19:41 And it is somewhat like how you described. 18:19:42 it's not entirely fair and accurate way to interpret classical logic 18:19:44 but it is amusing 18:20:01 OK 18:21:02 (call-cc (lambda (cont) (Left (lambda (proof-of-p) (cont (Right proof-of-p)))))) 18:21:30 shankly would be a good name for a social network devoted to swapping information about how to shank people in prison 18:21:35 http://achewood.com/index.php?date=01142005 18:23:02 Mine was Haskell, but OK 18:26:54 What syntax highlighting schemes do you all use in vim? I'm sort of trying vim out for the first time, but I dislike the white background and yellow colors when I do :syntax on 18:28:24 AnotherTest: I use an old revision of lucius, slightly tweaked to fit with a transparent darkish background. 18:28:41 i use the default but my terminal is white on black 18:28:51 aha 18:29:02 Debian seems to have black on white as a default 18:29:04 I should change that 18:30:37 AnotherTest: White background? Are you using gvim? =P 18:30:59 Ah 18:31:05 No, the debian terminal seems to have white as the default background 18:31:07 What terminal do you use? 18:31:10 I changed that now 18:32:20 FreeFull: the same with in another profile (gnome-terminal) 18:34:33 so 18:34:38 dumb question 18:34:47 How do I switch to a second tab again? 18:35:03 If I did vim -p *.ext 18:35:56 I think it's :n 18:37:08 It worked with :n 18:37:09 thanks 18:37:40 You could just close the current file with :q too 18:37:44 But then you can't come back to it 18:52:19 -!- epicmonkey has joined. 19:01:09 there are trapdoors that you can't come back from 19:06:11 -!- carado has quit (Ping timeout: 244 seconds). 19:06:37 Also my law of excluded middle in Haskell put Left and Right the other way around but basically that is what it was 19:15:24 -!- AnotherTest has quit (Quit: Leaving.). 19:24:47 -!- Master7 has joined. 19:27:02 -!- Master7 has quit. 19:27:44 -!- Master7 has joined. 19:36:15 -!- barts has quit (Ping timeout: 276 seconds). 19:45:44 How do you tilt an underground cave? 19:55:26 -!- ais523 has quit. 19:58:16 tectonic motion 19:59:10 also, by replacing once side of it with neutronium 20:04:36 I don't think we have any of those things. 20:09:33 what is this for? d&d? 20:10:00 Yes 20:11:49 why do you need to tilt it? 20:12:12 To gain an advantage in fighting the demon who owns it. 20:13:12 I already realized some things: I have an amulet which can negate magic, which I think will cause the water on the ceiling to fall down, extinguishing the candles, but it is probably not enough to cause much of a flood. 20:14:01 This antimagic will still help a lot, though, since they will not be able to cast any spells at us. 20:15:46 is there another way to get advantage (besides the usual stuff)? 20:16:49 flanking, partial/complete cover, and the maneuver that shall not be named. 20:33:26 Sure those are some ways, but I think tilting the floor will help a bit, and so will the anti-magic. One thing that can be done with the anti-magic is cause the water to fall down, so we can pick it up and extinguish the candles which are lit around that room. 20:34:30 -!- augur has quit (Remote host closed the connection). 20:40:33 @seen Oerjan 20:40:34 Unknown command, try @list 20:40:48 !seen oerjan 20:40:56 `seen oerjan 20:41:07 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: seen: not found 20:42:07 ah, /ns info is responding 20:52:53 -!- ais523 has joined. 20:58:38 -!- Vorpal has quit (Read error: Operation timed out). 21:02:25 Arrow's theorem sucks. (As in, the implications suck, not as in I think that it's incorrect) 21:04:27 -!- Master7 has quit. 21:10:29 -!- epicmonkey has quit (Read error: Operation timed out). 21:10:52 -!- Master7 has joined. 21:14:19 ais523: imagine I had created a wiki page for an "esolang" and was especially ashamed of it 21:14:39 because it is a derivative of an already existing esolang, and doesn't bring anything new or interesting at all 21:15:02 could I blank the page or something? 21:29:37 Arc_Koen, you could just ask Phantom_Hoover to kill you 21:30:13 hey! it's not even a brainfuck derivative! 21:30:30 to people tend to survive getting their brain replaced with a brick? 21:30:34 *do 21:30:47 apparently yes 21:31:06 he threatened someone to have his brain repeatedly replaced with a brick then replaced with the brain again 21:31:47 it's totally harmless 21:31:59 for the brick or for the person? 21:32:26 -!- hagb4rd|afk has quit (Quit: hagb4rd|afk). 21:37:26 no comment 21:43:34 -!- ais523_ has joined. 21:43:47 -!- ais523 has quit (Disconnected by services). 21:43:49 -!- ais523_ has changed nick to ais523. 21:44:02 Maybe you know why, in this Dungeons&Dragons game, that I need a wig and nail clipper and facial hair trimmer? (Hint: I don't use them on myself! Also, the wig has two purposes and the others only one.) 21:44:18 Probably you don't know because I haven't told you, but you can try to figure out. 21:44:46 -!- hagb4rd|afk has joined. 21:55:29 -!- augur has joined. 21:59:36 -!- augur has quit (Ping timeout: 244 seconds). 22:05:52 Based on the hearts surrounding it when it was briefly shown in one of the videos, I think http://blog.cgpgrey.com/politics-in-the-animal-kingdom/ likes Schulze voting 22:06:27 wooo i got my first letter from tv licensing trying to extort me 22:06:42 at last i am a man grown 22:09:07 What are they writing? 22:09:07 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 22:09:15 -!- Zuu has joined. 22:10:01 -!- Zuu has left. 22:12:15 zzo38, uh, do you know how TV licensing works 22:13:15 No 22:13:24 Not quite. 22:14:10 you need to pay for a license to watch live tv on any device 22:14:36 and the attitude of the agency that collects it is that the onus is on you to prove that you don't have to pay 22:14:37 O, yes, in England yes I read that somewhere. I still don't know exactly how they work, though. 22:14:53 How can you prove that you don't have to pay? 22:15:33 by not being caught watching live tv 22:15:54 even if you never do that they'll still assume you're a freeloader and try to intimidate you 22:17:48 lol 22:17:49 usa 22:18:43 -!- augur has joined. 22:19:10 I think I read somewhere, you can watch it later, you don't have to pay, and that if it is black and white you still have to pay but not as much as colors? 22:19:34 Is that how it works? 22:22:06 dunno about the second part 22:22:09 first part is true 22:22:18 * Sgeo vaguely wonders if it would be possible to have a voting system where voters submit functions. 22:23:06 Do you have to pay for audio? I think I might have read somewhere that you don't but I am unsure. 22:23:07 As in, apparently one criticism of IRV is that voters can't actually change where their "next" vote goes based on who lost, so multiple rounds gives more flexibility. 22:23:15 But maybe a function that ... hm 22:25:04 Could they encrypt the broadcasts and then broadcast the key afterward, so that if you don't pay you are forced to watch after you can decrypt the recording you have made? 22:32:48 http://www.youtube.com/watch?v=A9rk-JTCCck 22:33:31 Sgeo: possible, certainly 22:33:34 worth it? probably not 22:39:41 -!- MoALTz has quit (Quit: Leaving). 22:51:22 -!- boily has quit (Quit: Poulet!). 22:52:21 -!- sivoais has changed nick to cooljj_21. 22:52:39 -!- cooljj_21 has changed nick to sivoais. 22:54:32 -!- monqy has joined. 23:04:33 -!- Arc_Koen has quit (Quit: Arc_Koen). 23:21:49 -!- Master7 has quit. 23:25:24 I should play Alchemy 23:25:48 I actually bought the standalone version a long time ago 23:26:02 I want to say PC version, but the flash version runs on PCs, so.. 23:28:57 -!- ais523 has quit. 23:29:09 Many programs can run on PCs. 23:29:29 git log --pretty=%s | grep ^[A-Z] | awk '{print $1}' | sort | uniq -c | sort -nr | head -n 10 23:29:38 Whether it is native codes, running standalone, by an operating system, or an emulator, it may run. 23:31:45 -!- copumpkin has joined. 23:32:15 -!- SimonRC has quit (Ping timeout: 260 seconds). 23:33:29 Yeah, but what's the best way to distinguish between the Flash version of a game and a version that's a .exe? 23:34:49 Hmm, it seems to actually be Java not Flash 23:35:28 If it is a Windows .exe file then call it the Windows version. 23:36:48 I think it should only be called software for PC if it is meant to run on the PC with only the hardware and BIOS not needing operating system and so on. That way, you can distinguished more easily you can say specifically what operating system/programming language/whatever if it is for some specific system. 23:37:23 After having watched a video of some expert playing Alchemy, I realized I have no idea of basic Alchemy strategy 23:37:53 The person discarded runes that could have been placed 23:37:57 Rather often, actually 23:38:57 -!- SimonRC has joined. 23:44:15 -!- monqy has quit (Quit: hello). 23:52:34 -!- Slereah_ has quit (Ping timeout: 246 seconds). 23:53:35 -!- Slereah has joined.