00:10:32 -!- itsy has quit (Quit: itsy). 00:22:49 cryptography fans might find this interesting http://www.scottaaronson.com/blog/?p=1517 00:24:17 "What was long a plausible conjecture—that the NSA covertly influences cryptographic standards to give itself backdoors, and that otherwise-inexplicable vulnerabilities in deployed cryptosystems are sometimes there because the NSA wanted them there—now looks close to an established fact." 00:24:21 -!- augur has quit (Read error: Connection reset by peer). 00:26:39 oerjan, ugh why does he have to give probabilities like that 00:27:07 -!- augur has joined. 00:27:08 who do you think you're fooling, you're clearly just using 99% as a convenient rhetorical default 00:27:11 I DON'T KNOW 00:28:03 -!- douglass has joined. 00:29:44 -!- mnoqy has quit (Quit: hello). 00:35:03 I'm about to say something very stupid 00:35:41 I had to implement multiplication for numbers-as-strings-of-digits quite recently and I've read a few articles about multiplications algorithms 00:36:10 and it may have been because I was missing a lot of sleep but at several points I was under the impression that their explanations about complexity were wrong 00:36:27 -!- Nisstyre-laptop has changed nick to nisstyre. 00:36:42 for instance they were calculating the complexity in function of the number of digits of a number n 00:37:02 and sometimes ended with a conclusion "therefore this algorithm is O(n^3)" 00:37:23 well that's a stupid typo, really. 00:37:36 I figured as much but it happened several times 00:37:40 and just now I read this: 00:38:23 -!- augur has quit (Ping timeout: 260 seconds). 00:39:06 okay wait a minute my copy pasting has magically replaced spaces with newlines 00:39:21 i commend you for catching it before you actually pasted. 00:40:26 Factoring is hard. Despite centuries of effort by some of the world's smartest mathematicians and computer scientists, the fastest methods for factoring a number N take time exponential in the number of bits of N. 00:40:35 -!- augur has joined. 00:40:42 so the important part is "exponential in the number of bits" 00:41:07 yes. 00:41:17 am I missing something or is he saying it's exponential in a logarithm, which is called being linear in my town? 00:42:03 ohhhh or is that because the logarithm is not the same base as the exponential 00:42:17 i don't think it's bad to say "exponential in the number of bits" even if that does mean linear 00:42:17 it's exponential with respect to the size of the input, which is measured in bits, I think 00:42:22 like "100 digit input" vs "200 digit input" 00:42:28 you're missing something: the number of bits of the input is the standard x which you measure complexity as a function of. 00:42:28 the 200 digit input is twice the size, not 10^100 the size 00:42:44 Koen_: different bases would only cause a constant multiplicative factor, which is nothing anybody cares about in complexity :p 00:43:01 yeah hum 00:43:07 so the first thing was only a typo? 00:43:13 which first thing 00:43:17 which fir.. 00:43:23 you're welcome oerjan 00:43:30 `welcome oerjan 00:43:32 oerjan: 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.) 00:43:36 `thanks shachaf 00:43:37 Thanks, shachaf. Thachaf. 00:43:47 Koen_: for instance they were calculating the complexity in function of the number of digits of a number n 00:43:48 [02:37] Koen_: and sometimes ended with a conclusion "therefore this algorithm is O(n^3)" 00:43:51 that first thing 00:44:16 what's wrong with that? 00:44:23 schoolboy multiplication is n³ i think 00:44:31 Koen_: the typo is using the same variable n for both the number and what you're measuring complexity as a function of (which should be the _size_ of the number, not the number.) 00:44:39 yes 00:44:43 oh 00:44:45 Bike: it's wrong because it not the same n in the two lines 00:44:48 yeah that'd be some kind of typo 00:44:50 *it's 00:44:55 okay so everything is working right in the world and I was just imagining things 00:45:01 thank you 00:45:04 ^celebrate 00:45:04 \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/ 00:45:05 | c.c.c | ¯|¯⌠ `\o/´ | c.c.c | `\o/´ ¯|¯⌠ | c.c.c | 00:45:05 |\ c.c >\ /'\| | |\ c.c >\ | /^\|/| c.c >\ 00:45:05 /´¯|_) /´\ 00:45:06 (_| (_| |_) 00:46:21 since when does celebrate contain c.c 00:46:22 c.c.c 00:46:22 c.c 00:46:42 don't deny the seraphim their celebration! 00:47:37 > text . unwords . replicate 20 $ " c.c " 00:47:37 c.c.c 00:47:38 c.c 00:47:38 shachaf: i updated it to include new myndzi features 00:47:38 c.c c.c c.c c.c c.c c.c c.c c.c c.c c.c c.c c.c c.... 00:47:44 > text . unwords . replicate 5 $ " c.c " 00:47:44 c.c.c 00:47:45 c.c 00:47:45 c.c c.c c.c c.c c.c 00:47:45 c.c.c c.c.c c.c.c c.c.c c.c.c 00:47:45 c.c c.c c.c c.c c.c 00:48:03 myndzi: ꙮ.ꙮ 00:48:14 ꙮ.ꙮ 00:48:17 ꙮ.ꙮ.ꙮ 00:48:18 ꙮ.ꙮ 00:48:25 useless bot 00:48:28 have to do everything myself 00:48:37 what did i invent computers for anyway 00:49:05 you didn't, do you think you're al gore or something? 00:49:32 `quote pota 00:49:34 No output. 00:49:39 shocking. 00:49:48 no, i'm the giant on whose shoulders al gore stoode 00:49:50 s/.$// 00:49:56 `? potato 00:49:59 potato? ¯\(°_o)/¯ 00:49:59 | 00:50:00 º¯`\o 00:50:12 `? potatoe 00:50:14 potatoe? ¯\(°_o)/¯ 00:50:23 | 00:50:24 o/`¯º 00:51:10 myndzi is so popular today 00:52:09 also, do you like the underscore? it's the new style 00:52:12 c.c 00:52:13 c.c.c 00:52:13 c.c 00:52:20 why not grace_notes 00:52:21 c·c·c 00:52:26 c°c 00:52:28 sigh 00:52:32 -!- Gracenotes_ has quit (Changing host). 00:52:32 -!- Gracenotes_ has joined. 00:52:48 Bike: plz fix the weather thx 00:52:55 got identified, back 00:53:03 the weather's fine 00:53:06 hope I didn't miss anything 00:53:07 Gracenotes_: why not grace_notes 00:53:26 @google palo alto weather 00:53:27 No Result Found. 00:53:31 someone is probably registering it as we speak 00:53:36 29° right now :'( 00:53:36 no weather found 00:53:40 it's an arms race 00:53:48 shachaf: it's going to be a high of 90F pretty much all week 00:53:56 @google 90f in c 00:53:57 32.2222222 degrees Celsius 00:53:57 http://www.myscienceproject.org/beer.html 00:53:57 Title: How to Keep Beer Cold 00:53:59 @google 90f in real degrees 00:54:00 to use regional measurements 00:54:00 http://answers.yahoo.com/question/index?qid=20070712040823AABeQ2f 00:54:00 Title: What is 90 degrees fahrenheit in celcius? - Yahoo! Answers 00:54:17 my ol' buddy Yahoo! Answers knows what's up 00:54:45 `sanetemp 90 00:54:46 something like 25? 00:54:47 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sanetemp: not found 00:54:53 !sanetemp 90 00:54:56 32.2 00:55:00 wow go me. 00:55:04 wouldn't that be google that knows what's up 00:55:45 p. sure i'm not allowed to talk about that in public, Gracenotes_ 00:56:52 imo http://www.theonion.com/articles/ford-develops-new-suv-that-runs-purely-on-gasoline,33568/ 00:57:07 @google 30C in real degrees 00:57:09 http://calculator-converter.com/converter_c_to_f_celsius_to_fahrenheit_calculator.php 00:57:09 Title: C to F Convert Celsius to Fahrenheit and Fahrenheit to Celsius degrees Conver... 00:57:30 `units 00:57:36 just gasoline? doesn't even need oxygen? 00:57:55 p. extraordinary 00:57:58 it's amazing in that way 00:58:01 2527 units, 72 prefixes, 56 nonlinear units \ \ You have: 00:58:57 `run units '90 degF' degC 00:58:59 ​* 50 \ / 0.02 00:59:06 hm 01:00:17 @google 300 kelvin in real degrees 01:00:18 http://www.rapidtables.com/convert/temperature/kelvin-to-fahrenheit.htm 01:00:18 Title: Kelvin to Fahrenheit (�F) degrees converter 01:00:32 just skip to reamur 01:00:35 ah, well, enough of this 01:05:48 it was pretty bad today, though 01:06:01 my chocolate that was just sitting on my desk, not in the sun, melted 01:06:20 silly chocolate 01:06:23 my hands got very chocolatey as I was figuring it out 01:06:24 the desk isn't for sitting 01:06:25 try the chair 01:06:26 ate them anyway 01:08:13 I should get a fan 01:08:53 aren't we all fans of Gracenotes_ 01:09:36 -!- Koen_ has quit (Quit: Koen_). 01:10:50 apparently the fundamental way you talk to the GPIO pins on the Raspberry Pi is that you mmap() /dev/mem and just start poking shit 01:11:05 as far as continuing the educational legacy of 80s microcomputers, I approve 01:12:51 for a while, you could tell iOS to map arbitrary regions of memory to a device 01:12:56 that's how we did a lot of sneaky stuff 01:13:07 /dev/fucktheworld 01:13:15 nice 01:13:47 it was actually how we circumvented their hardware encryption, which stumped us for months 01:14:30 but anyway, it wasn't the standard endorsed way to do things in iOS, just a feature apple forgot to remove in their kernel builds for a while, until they realized what we were doing with it 01:15:11 I mean, this is more-or-less what PCI and PCIe is, yeah 01:15:21 peeking and poking 01:15:29 * copumpkin pokes Gracenotes_ 01:15:38 -!- augur has quit (Remote host closed the connection). 01:15:49 * Gracenotes_ giggles 01:16:06 copumpkin: say, are you going to ICFP, by any chance? 01:16:07 copumpkin: why don't you come poke him face to face!! 01:16:13 -!- augur has joined. 01:16:15 Gracenotes_: yup 01:16:24 * shachaf isn't. :-( 01:16:27 woo. I plan on attending the Haskell bits. 01:16:29 I need to register still 01:16:41 shachaf: :( 01:16:51 Gracenotes_: how about the main event? that's what I'll be at 01:16:53 copumpkin: Maybe next year! 01:17:02 Or maybe not. 01:17:06 won't it be somewhere exotic next year? 01:17:08 You'd better come visit to be on the safe side. 01:17:10 it's almost never in the US! 01:17:14 Oh, hmm, that's true. 01:17:23 copumpkin: I might sneak in the first day for the main event 01:17:23 Outside the US is a lot more trouble. 01:18:21 -!- yorick has quit (Remote host closed the connection). 01:18:29 yup 01:18:53 the first day is dependent types, both keynote and session, as well as things like data parallelism and fun/pearls. 01:19:00 then I have a flight in the evening 01:19:11 before that, there are 3 days of Haskell things 01:20:01 so then I will be missing SPJ's talk about the work he's done with Computing at School, but hopefully that will be recorded 01:20:27 hm, this underscore is too heavy 01:20:30 -!- Gracenotes_ has changed nick to Gracenotes. 01:20:42 -!- augur has quit (Ping timeout: 256 seconds). 01:27:19 yeah it is 01:32:45 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:48:10 -!- nisstyre has quit (Quit: Leaving). 01:55:01 -!- Nisstyre-laptop has joined. 01:57:25 Sgeo: around? 01:57:44 Hi 01:58:39 What's up? 01:59:56 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer). 02:02:24 -!- augur has joined. 02:02:35 constant? 02:03:34 Sgeo: /whois is thataway 02:03:40 -!- augur has quit (Read error: Connection reset by peer). 02:03:40 -!- augur_ has joined. 02:03:47 -!- douglass has quit (Ping timeout: 260 seconds). 02:04:39 What am I missing here? 02:05:19 the account 02:05:45 as well as the cloak. 02:07:08 So constant is variable is a FreeBSD person. Why does that warrant pinging me? 02:07:55 Also may be using, or pretending to be using, root 02:08:12 I still don't see how I got caught up in this 02:08:40 well i don't know about that, but e _is_ a regular. 02:09:11 oerjan: I think Sgeo is asking why you mentioned /whois. 02:09:36 I didn't mean to accidently imply that e isn't a regular, I just want to know why e pinged me 02:09:42 ok, i interpreted "constant?" as Sgeo not knowing who e was. 02:09:51 Imagine: shachaf: around? Hi What's up? [...] oerjan? 02:10:17 UNIMAGINABLE 02:11:18 i note constant hasn't spoken since the line, maybe e's lost connection somewhere. 02:12:19 now I'm back 02:12:21 Sgeo: do you know Ada ? 02:12:42 -!- Nisstyre-laptop has joined. 02:12:51 I know one thing about Ada, which I mentioned last time Ada was mentioned: a and b or c is invalid, you need parentheses 02:13:11 Sgeo: ah, okay 02:13:35 does anyone else know Ada? 02:13:47 There may be an Ada IRC channel 02:13:52 Sgeo: There is. 02:13:54 You were there. 02:14:51 I wasn't expecting that 02:14:53 thanks 02:15:05 yw 02:21:50 -!- augur_ has quit (Ping timeout: 240 seconds). 02:22:50 -!- augur has joined. 02:30:21 -!- Nisstyre-laptop has quit (Ping timeout: 276 seconds). 02:32:35 elliott: what's that thing you do when you delete spam that makes it not show up in recent changes any longer :( 02:32:49 apparently clicking rollback wasn't it. 02:34:36 that elliott doesn't look online 02:34:39 -!- Nisstyre-laptop has joined. 02:34:47 "Hide anonymous useres" 02:35:11 Gracenotes: i'm talking about hiding it from _others_ unless they show bots. 02:35:16 elliott's asleep fyi 02:35:21 iirc 02:36:38 -!- shachaf has left. 02:37:19 oerjan: to change user statuses, there is Special:UserRights 02:38:38 What are your opinions of Ellsberg paradox? 02:38:50 Gracenotes: i do not think we are talking about the same feature. 02:39:41 ais523 used to do this thing whenever there was major spamming going on. 02:41:41 anyway, you can try marking that user as a bot, if that is what you wanted 02:41:42 Gracenotes: i don't have access to Special:UserRights anyway, and i'm pretty sure ais523 doesn't have more rights than me. 02:41:49 hm 02:42:05 oh maybe that's what he did. 02:42:33 he does have extra rights: check users (accept IP info), bureaucrat 02:43:17 with the default configuration, bureaucrats are able to change rights such as admin status. In other configs, admins can change statuses like the ability to rollback. 02:43:18 did he have it back then? 02:43:46 -!- douglass has joined. 02:45:15 started February 18, 2012. 02:45:45 My own conclusion (hopefully I did it correctly) is that if no probability can be assigned to the number of black and yellow balls (and that it isn't any kind of deception or any other psychological factors of the people who put the balls in there), then either AD or BC should be selected. 02:46:00 i think he got it when elliott took over the wiki, but what i'm talking about he did before that, when spam was getting out of hand 02:47:10 I may have made a mistake though. 02:47:21 zzo38: AD makes sense to me. 02:48:44 oerjan: he's deleted over 4000 spam pages 02:49:06 deletion is not what i'm talking about here 02:49:49 i'm talking about reverting spam edits to an already existing page, without it showing up in the default recent changes. 02:49:50 Gracenotes: What is your reasoning? 02:50:36 well, they are the ones with definite probabilities 02:50:52 I suppose I'd be thinking about it adversarially 02:51:11 Yes, but that isn't a full reasoning. 02:52:18 Between A and B, A has probability 33%, B as 0-66%. rounding a bit. 02:52:27 C has 33-100%. D has 66%. 02:55:01 My strategy is maximizing the minimum. There's just not enough information to make an optimality argument. 02:55:52 -!- Nisstyre-laptop has quit (Read error: Operation timed out). 02:56:46 In most real world situations involving missing information, there are no numbers, either for the probabilities or the amount of uncertainty. 02:57:14 I am also maximizing the minimum. 02:59:35 Well, that is my view. What complications are introduced by that? 03:06:13 I am maximizing the minimum expected gain according to probabilities. 03:06:54 The thing you have failed to consider is that you should consider both gambles together using whatever same amount of black and yellow balls there are; the amount is the same for both gambles. 03:09:09 oh, both gambles occur together? I see. 03:09:11 oops 03:10:10 I did make these assumptions, that the number of the balls is the same each time, and that the ball picked is replaced before picking again, as well as that you must select both gambles before the first ball is picked. 03:10:45 yes, so 0%-66% scales with 100%-33% respectively. 03:11:37 What I have not yet considered is if you want to instead maximize the probability of winning at least $100. 03:12:00 "the amount is the same for both gambles" is a pretty big assumption 03:12:20 not big as in unreasonable, but more important, I expect 03:12:41 for the analysis 03:18:20 The Wikipedia article also makes that assumption (although I make these assumptions even regardless of Wikipedia). 03:21:03 I would probably plot the probabilities of winning $0, $100, and $200 for all four combinations as blacks vary from 0 to 60 03:22:05 if I were less lazy. 03:22:13 Yes, I would do the same 03:22:23 (if I were less lazy) 03:23:32 then make my decision based on either assuming a uniform distribution or an adversarial distribution (I would probably go for the latter) 03:24:32 What is an "adversarial distribution"? 03:38:34 the number of black balls an adversary would put when they know your strategy and are trying to minimize your gains. 03:39:52 distribution refers to the distribution of black/yellow balls 03:42:03 Yes, OK. 03:42:24 And yes it is also what I was considering, but not because there actually is such an adversary; it is because such thing is unknown. 03:42:30 You can do fun things like have a strategy like 'flip a fair coin to decide between AD and BC', in which case your adversary's calculation would get more complicated, but still possible. 03:42:55 In crypto, people have fun strategies like 'flip 256 random coins' 03:43:09 Yes, things like that too, I suppose, can be. 03:44:14 hm. I'm off to get dinner. sadly, I might buy it from walgreens, but it'll be okay. 03:49:17 what will it be 03:51:58 In one book I read about Newcomb's paradox, my own strategy as soon as I read it was toss a coin. However, later in a book by Gardner, they said it is empty if you select at random. 04:08:47 zzo38: so, how about now? one-box or two-box? 04:11:53 quintopia: It depends. "The Predictor can be presented as a psychic, as a superintelligent alien, as a deity, as a brain-scanning computer, etc." So it depends on these things and on other details not specified here. 04:12:02 As well as about how much money I need. 04:12:26 And on things that happen between the prediction and my actual selection. 04:12:32 There are too many factors to consider. 04:14:09 zzo38: assume that you want to maximize your profit and that the predictor has shown 99% accuracy in all demonstrations to date 04:15:41 OK, but still, what kind of predictor? Still, I wouldn't really know until I actually got the chance to pick, although I can try to guess. 04:19:42 I would also want to know why I am being given these choices (even if they lie to me when telling the reason, it doesn't matter) 04:19:56 zzo38: guess what you would pick if all you knew was what i just told you. you don't know if the predictor is psychic or just very well-informed, but you do know he is right 99% so far. 04:20:34 -!- conehead has quit (Quit: Computer has gone to sleep.). 04:20:40 and you are being given these choices as an alternative to humanity being destroyed 04:20:48 if you don't pick, we all must die 04:21:02 In that case, I don't care. 04:21:30 why not? 04:22:19 -!- tertu has joined. 04:22:45 I find it difficult to answer, but I don't care, and probably won't pick any (although other people can pick one if they want to) 04:23:12 -!- constant has changed nick to trout. 04:26:20 Humanity is only a very minor part of the universe, and I am even a more minor thing in the universe. 04:28:17 -!- oerjan has quit (Quit: leaving). 04:28:22 Also, it isn't necessarily a bad thing (although not being destroyed is also not necessarily a bad thing) 04:28:55 So in other words, there still isn't enough information!!! 04:32:03 -!- ter2 has joined. 04:33:41 -!- tertu has quit (Ping timeout: 248 seconds). 04:36:36 Do you know of some other paradoxes (whether or not they are mentioned in Wikipedia)? 04:39:53 newcomb isn't really a paradox, just a problem 04:40:06 but there's bell's paradox 04:40:09 and 04:43:14 http://sprachlogik.blogspot.com/2011/02/liar-paradox-of-material-implication.html 04:44:00 -!- tertu3 has joined. 04:45:55 http://www.smbc-comics.com/?id=1371 the engineer paradox, not mentioned in wikipedia to my knowledge 04:47:01 -!- tertu3 has quit (Read error: Connection reset by peer). 04:47:13 -!- ter2 has quit (Ping timeout: 245 seconds). 04:47:28 -!- tertu3 has joined. 04:47:45 http://www.smbc-comics.com/?id=2148 also "the paradox of the court" http://en.wikipedia.org/wiki/Paradox_of_the_Court 04:47:51 going back, I do see that the interesting bit about the Ellsberg paradox is that some ways of knowing what you don't know help you more than others. 04:49:17 an interesting bit 04:50:36 zzo38: do you know the curry paradox? 04:51:27 how it's both sweet and savory? 04:53:52 quintopia: I can see now, I saw it before but forgot 04:54:41 if this sentence is true, then you'll forget again. 04:55:15 I can see that it doesn't work due to nontermination, I think 05:02:13 http://fuckyeahx11.tumblr.com/ 05:03:14 jesus christ 05:03:35 how many levels of irony are involved here help 05:05:12 ε₀ 05:05:23 tumblr wants me to "Never miss a post!" 05:05:30 or am i bad for answering a "how many" question with an ordinal 05:05:47 no ur good 05:06:09 what's epsilon zero again? the fixed point of x -> \omega ^ x? 05:07:11 oh wow i actually got that mostly right. 05:09:14 > fix ((sqrt 2) ^) 05:09:15 No instance for (GHC.Show.Show a0) 05:09:15 arising from a use of `M777596952.sho... 05:09:40 is it saying it can't show undefined 05:10:38 kmc: is it intentional that the background, like, flashes when you scroll? 05:11:17 ...lol, it does. 05:11:21 not enough xeyes tbh 05:12:21 hm, especially not here. http://fuckyeahx11.tumblr.com/image/2385309201 05:13:13 the superior computer program. 05:14:15 -!- tertu has joined. 05:16:38 -!- tertu3 has quit (Ping timeout: 240 seconds). 05:19:02 :t sqrt 05:19:03 Floating a => a -> a 05:19:06 -!- hogeyui has quit (Ping timeout: 240 seconds). 05:19:07 :t (^) 05:19:08 (Integral b, Num a) => a -> b -> a 05:19:40 i can't be bothered to remember all of haskell's numeric crap 05:19:43 don't you know, you can't be Floating and Integral at the same time. it's totally impossible 05:19:43 :t (**) 05:19:44 Floating a => a -> a -> a 05:19:47 :t (^^) 05:19:48 (Fractional a, Integral b) => a -> b -> a 05:19:59 also it won't work anyway obviously. 05:20:02 -!- carado_ has joined. 05:20:05 > fix ((sqrt 2) **) 05:20:12 mueval-core: Time limit exceeded 05:20:14 even though 2 is a better answer!! it's terrible 05:20:30 well, it finds the least fixpoint of definedness. 05:20:42 thar you go. job done. raises for all. 05:21:11 -!- hogeyui has joined. 05:21:15 yeah, yeah. 05:21:40 i just want the fun answer, man. :( 05:22:27 -!- douglass has quit (Ping timeout: 260 seconds). 05:25:17 risky business being around engineers tho 05:25:26 what? 05:26:10 no levity is safe 05:27:08 oh no 05:27:35 -!- ter2 has joined. 05:30:26 -!- tertu has quit (Ping timeout: 245 seconds). 05:31:23 When people are trying to solve my Pokemon card puzzles I find that often people try many solutions that don't work (often believing they do work; sometimes the mistake is due to ignoring some important information). 05:31:45 available online? 05:32:11 Yes they are available online 05:32:37 would you be able to link them? 05:33:17 http://zzo38computer.org/textfile/miscellaneous/pokemon_card/puzzle.* Replace the * with a number 1 to 5 (more might be added later) 05:33:33 For a glossary, see the file "terminology.txt" in the same directory. 05:33:59 (They are all plain text; no HTML or Unicode is used) 05:35:51 Do you like this? 05:41:01 It has been a while since I've played, this or another CCG, so I don't have enough intuition for it, but I do like the idea of it. Do people make these for e.g. Magic? (I mean, that's Turing complete via tokens.) 05:41:18 I can see how some of the listed mechanics can interact. 05:41:46 Yes people do make them for Magic much more, or at least they used to; I don't know how common it is more recently. 05:42:05 (and 'white to checkmate' or 'black to live' is of course the older variant) 05:44:24 Older variant of what? Chess? 05:45:03 Chess, Go, etc. 05:45:57 Puzzles using game mechanics. (One video game I like, DROD, is pretty much exclusively composed of this.) 05:50:32 There is also tsume shogi and other puzzles involving game mechanics I suppose too 05:53:30 And then there can be puzzle games somewhat based on other games 05:54:00 Gracenotes: Do you know anything about the rules of Pokemon card? If you have some questions, I can answer them. 05:54:08 (The glossary doesn't contain the rules for the game.) 05:56:16 I think when I was 10 -.- 05:56:52 at least partly, as every time I look at them they are deeper than I remember. probably more 'collectible' than 'card game', at the time. 05:58:33 Can you be specific? 06:01:36 I don't think I have any specific recollections, nor questions. I might not try my hand at solving your puzzles, but I quite like the format of them, which I had no clue about previously. 06:02:32 -!- nooodl has joined. 06:03:31 I like these format too; is there anything specific you like about these formats, though, and other comments of it? 06:03:31 Solutions are actually provided if you change "puzzle" to "solution", although best is to try to figure it out by yourself 06:03:31 But if you don't want to try to solve them and just want an example of a solution you could look at one of them to see how the game works kind of 06:05:57 -!- carado has joined. 06:06:04 -!- carado has quit (Remote host closed the connection). 06:07:37 hm, looking at the solution of one of them, it seems as though it does require a bit of domain-specific knowledge. 06:08:05 -!- nooodl has quit (Ping timeout: 248 seconds). 06:08:30 I don't see all of the nice constraints falling into the place, where it magically happens that there's only one solution 06:08:58 Which solution are you viewing? 06:09:41 well, just of #1 06:12:25 Well, some of the steps may be commutative, in this and other solutions. 06:12:54 For example, step 1 and 2 can be swapped. 06:13:10 Other than these kind of things, I believe the solutions to be unique. 06:16:21 Also, except in the first two puzzles, the opponent gets a turn too. 06:17:40 -!- FreeFull has quit. 06:18:02 The fifth puzzle is even more complicated than the others. 06:20:19 when people find bad solutions, is it because they misunderstand mechanics, or don't think of all ways opponent could counter, or stuff like that? 06:20:35 If you are sure you won't try it later, view that puzzle too and view that solution too (although perhaps first read the card data mentioned) 06:20:57 Gracenotes: Sometimes those are the reasons. Other times it is because they fail to read the entire file. 06:22:10 Do you think the glossary is good though, even only considering what you know about it? (Some of these things come from chess) 06:22:41 If you have any puzzles for Pokemon card or Magic: the Gathering or some other game, I would still like to see it please! 06:28:13 -!- douglass has joined. 06:28:38 glossary is a pleasant game, largely because of metagame exposition :) 06:29:28 s/game/read/, dunno where that came from. also, almost wrote game from. 06:31:07 Do you have any opinions on individual entries, suggestions for improvement, or new entries which could be added? 06:34:40 `slist 06:34:44 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 06:35:06 hm, not that I can think of. also, I do like the ASCII approximation of water symbol 06:35:18 and others too 06:50:01 -!- ter2 has quit (Ping timeout: 245 seconds). 06:53:52 Some people like them; some other people do not like them. I do like these symbols, which is why I used them. 07:28:44 -!- Taneb has joined. 07:49:16 Sometimes I see use of comments in an example computer program code which are placeholder for the other things that belong in its place. I think a better way would be use a chunk inclusion syntax of WEB, so that you can know it is not a comment. 07:49:52 (Furthermore, using the chunk inclusion syntax, it will actually compile and work properly, too.) 07:50:42 -!- epicmonkey has joined. 08:01:11 -!- SingingBoyo has joined. 08:10:03 -!- zzo38 has quit (Remote host closed the connection). 08:13:46 -!- epicmonkey has quit (Ping timeout: 245 seconds). 08:23:02 -!- douglass has quit (Ping timeout: 264 seconds). 08:54:00 -!- quintopia has quit (Ping timeout: 260 seconds). 09:08:29 -!- quintopia has joined. 09:43:52 -!- epicmonkey has joined. 10:13:51 -!- augur_ has joined. 10:14:09 -!- augur has quit (Read error: Connection reset by peer). 10:15:58 -!- MindlessDrone has joined. 10:26:07 -!- SingingBoyo has quit (Remote host closed the connection). 10:29:20 -!- conehead has joined. 10:36:47 -!- Phantom_Hoover has joined. 10:42:30 -!- conehead has quit (Ping timeout: 245 seconds). 11:23:17 -!- Sgeo has quit (Read error: Connection reset by peer). 11:29:58 -!- yorick has joined. 11:50:56 -!- Taneb has quit (Quit: Leaving). 11:54:19 -!- yorick has quit (Remote host closed the connection). 11:55:54 -!- Frooxius has quit (Read error: Connection reset by peer). 11:56:19 -!- Frooxius has joined. 12:11:53 -!- boily has joined. 12:12:36 -!- metasepia has joined. 12:16:27 good vegetarian morning! 12:17:41 Vorpal: ah, first time I've heard of that. I'd say go for unstable, fsdvo unstable. 12:20:14 -!- hogeyui has quit (Ping timeout: 240 seconds). 12:25:16 -!- hogeyui has joined. 12:28:49 -!- Taneb has joined. 12:33:42 helloily! 12:34:13 -!- hogeyui has quit (Ping timeout: 248 seconds). 12:35:42 quinthello! 12:36:30 it's not vegetarian morning you know 12:36:33 turkey bacon 12:36:54 it isn't vegetarian morning indeed, but yesterday night was. 12:37:09 (and I guess nutella toasts are vegetarian, no? at least the OJ was.) 12:42:04 -!- hogeyui has joined. 12:59:00 `pastewisdom 12:59:02 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 12:59:16 -!- Koen_ has joined. 12:59:36 do you like cookies 13:00:16 they're not my favourite type of biscuit but they're fine 13:00:42 quintopia: http://www.commercialbakeries.com/images/CookieOptions/CommericalCookiesProductsThumbBig.jpg 13:01:12 yes those 13:01:24 this subway didn't give me a receipt 13:01:30 so i can't take the survey 13:01:37 and get a free cookie 13:02:11 'tis a sad world where cookies aren't free to be freed. 13:03:04 i've never actually seen leaf shaped cookies before 13:03:09 -!- Frooxius has quit (Quit: ChatZilla 0.9.90-rdmsoft [XULRunner 1.9.0.17/2009122204]). 13:03:11 -!- tromp has quit (Read error: Connection reset by peer). 13:03:17 seem like they'd be hard to make at home 13:03:23 -!- Frooxius has joined. 13:05:10 quintopia: I think you can get cookie cutters for that, but you can get them in any respectable Canadian grocery. 13:05:24 I know I shouldn't, but it's very tempting... 13:05:28 `relcome Frooxius 13:05:32 ​Frooxius: 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.) 13:05:49 you're at the wrong end of canadia 13:07:46 bah. humbug. it may be the wrong end, but it's a pretty wrong end. 13:09:07 this area is pretty 13:11:00 -!- yorick has joined. 13:11:51 quintopia: are you still in Newton? 13:14:05 -!- tromp has joined. 13:14:30 -!- mnoqy has joined. 13:16:13 hellorick. hellomp. helloqy. 13:18:53 hello 13:40:35 quintopia: would you like a box of «biscuits feuille d'érable»? 13:47:37 -!- ter2 has joined. 13:49:24 -!- ter2 has quit (Read error: Connection reset by peer). 13:49:53 -!- ter2 has joined. 13:50:40 `relcome ter2 13:50:41 ​ter2: 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.) 14:05:28 boily: i am nowhere near newton 14:05:41 boily: i will gladly eat cookies 14:06:57 quintopia: where is the approximate nowhere where you are at? I'll need that relevant info to send you the cookies. 14:10:00 boily: are you going to post them to me? 14:15:22 quintopia: I'd prefer to send them by submarine, but alas it is not practical in this reality-set. therefore, I'll have to do with Postes Canada and USPS. 14:16:30 send them to David Rutter, Gen. Delivery, Gorham, NH 03581. if they arrive in a week or less, i will get them. 14:17:36 you seem to be the travelling guy... oh well. let's do hope the postal services will be fast enough. 14:22:06 (I like our bilingual site... «Veuillez vérifier kind of biscuits») 14:51:19 -!- nisstyre has joined. 14:55:19 nisstyrello. 14:56:40 -!- epicmonkey has quit (Read error: Operation timed out). 15:05:00 quintopia, you can't just announce your address on the internet like that!! 15:10:01 -!- nooodl has joined. 15:13:23 -!- FreeFull has joined. 15:15:24 -!- nisstyre has quit (Quit: Leaving). 15:30:23 -!- Taneb has quit (Quit: Leaving). 15:40:57 Phantom_Hoover: so what, he just gave me the post office's address. he appröximates like a gentleman. 15:42:28 you are making me hate the diaeresis 15:42:37 i love the diaeresis 15:42:52 Phantom_Hoover: :̈) 15:43:03 fuck you boily 15:44:16 I lö̤ve you too. 15:44:39 diæ̈resis 15:49:40 three seconds away from banning the diaeresis here!! 15:52:29 -!- Taneb has joined. 15:52:55 -!- ter2 has quit (Ping timeout: 260 seconds). 16:06:46 -!- augur_ has quit (Remote host closed the connection). 16:07:13 -!- augur has joined. 16:11:16 -!- augur has quit (Ping timeout: 245 seconds). 16:19:28 -!- conehead has joined. 16:40:04 -!- tertu has joined. 16:43:06 -!- augur has joined. 16:44:49 -!- carado_ has quit (Ping timeout: 246 seconds). 16:51:28 -!- tertu has quit (Ping timeout: 246 seconds). 16:54:07 -!- Bike has quit (Ping timeout: 240 seconds). 16:54:34 -!- NihilistDandy has joined. 16:58:21 -!- tertu has joined. 16:59:36 -!- AnotherTest has joined. 17:05:31 back from lunch, and the diæresis is still alive. in heaven, everything is fine. you got your good thing, and I've got mine. 17:07:49 i'm still at lunch 17:07:51 i had a gyro 17:07:59 i think i want another thing 17:08:06 -!- Bike has joined. 17:08:57 the only proper time to eat gyros, kebabs, shishes and other shawarmas is when the sun is down. 17:14:50 i can't make the sun go down sorry 17:14:58 i just have to eat now 17:23:36 how do you eat a gyro 17:23:45 actually, don't tell me 17:23:59 the mental image i have is more interesting and delicious than whatever you actually ate 17:24:24 i'm telling you 17:24:30 you put it in your mouth 17:24:35 bite 17:24:37 chew 17:24:37 "Nobody really styles their element with { display: inline }, for the most part" 17:24:39 and swallow 17:24:42 * boily has a mental image of Phantom_Hoover having a mental image of quintopia imagining eating a gyro. 17:24:59 kmc: what 17:25:05 kmc: “for the most part”??? 17:26:13 is it nonsense to set display: inline for the html element? 17:27:28 well... considering the state of everything web-based, it is only slightly nonsenser to inline . 17:30:04 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 17:30:41 «"More Research Urgently Needed on Caffeine," says Journal of Caffeine Research» http://view.liebertpubmail.com/?j=fe631771746400747011&m=ff281776736c&ls=fdc615737c6004787d17787564&l=fe61157870640678741c&s=fe1f1079726c037e751c72&jb=ffcf14&ju=fe2317777464027b7c1375&r=0 17:31:05 beautiful 17:31:53 journal of trippin' research 17:36:26 "gosh I'm so excited for more caffeine research!!!!!" said the caffeine researcher, jittering as he frantically tried to come up with the words to describe the energetic feelings coursing through his body 17:36:48 :| 17:36:58 «my glassware, let me show you it» 17:37:04 haha 17:37:24 unfortunately if you consume enough caffeine it stops doing anything at all 17:37:24 is that a drug reference? 17:37:44 caffeeine is a drug, yes 17:37:47 or it starts curing headaches, depending on how you look at it 17:39:30 kmc: "if you consume enough caffeine it stops doing anything at all" // my life 17:40:08 get off my lawn you punk druggies 17:40:28 I ain't no punk. 17:41:04 `addquote "gosh I'm so excited for more caffeine research!!!!!" said the caffeine researcher, jittering as he frantically tried to come up with the words to describe the energetic feelings coursing through his body 17:41:08 1103) "gosh I'm so excited for more caffeine research!!!!!" said the caffeine researcher, jittering as he frantically tried to come up with the words to describe the energetic feelings coursing through his body 17:41:34 that sounds like a lyttle lytton entry 17:41:46 everything's always lyttle lytton with you 17:41:50 that sounds like more work for me :p 17:41:51 there's more to life than lytton!! 17:41:55 there's a great rant about hippies in one of the mushroom books in my living room 17:42:03 everything should be all lyttle lytton all the time 17:42:29 basically the author is tired of hippies asking him stupid questions about mushrooms and so devotes a page or so to attacking their whole attitude and worldview 17:42:56 but it ends with basically "if you want to trip that's fine, just don't ask me dumb questions" 17:43:30 which of these shrooms are like the ones the olmecs used to talk to Gilgamesh 17:43:50 ~duck olmec 17:43:50 The Olmec were the first major civilization in Mexico. 17:43:55 ~duck gilgamesh 17:43:55 Mythology The semidivine king of Erech, a city of southern Babylonia, and hero of an epic collection of mythic tales, one of which tells of a flood that covered the earth. 17:43:59 ~duck mushroom 17:43:59 mushroom definition: an enlarged complex aboveground fleshy fruiting body of a fungus (as a basidiomycete) that consists typically of a stem bearing a pileus; '''especially'''. 17:44:11 ~duck bike 17:44:11 bike definition: '''chiefly Scottish''' a nest of wild bees, wasps, or hornets. 17:44:25 yep 17:44:29 OKAY 17:45:05 I completely fail to see the link made by a chiefly Scottish bike between ancient mexicans, ancient mesopotamians, and modern fungi. 17:45:18 0kay 17:45:21 in practice "mushroom" is used to describe fruiting bodies of some ascomycetes as well 17:45:36 modern fungot 17:45:36 kmc: of course, i know 17:45:51 * boily is scared. very, very scared. 17:48:04 of fungot? 17:48:04 olsner: process 2 killed. it's a mammal ( fnord) be top level? 17:48:45 fungot: are you a mammal? 17:48:45 kmc: but it doesn't answer my question dammit. you're right. i'm getting strange. mit scheme is 17:48:54 mit scheme is a mammal. 17:49:02 that's not surprising 17:49:36 * boily dons his +3 hazmat-mail of sentient bot warding 17:49:40 -!- douglass has joined. 17:49:55 (every piece of armour is *-mail. chain mail. scale mail. plate mail...) 17:51:43 say, do we have any D-class personel on hand in this channel? 17:52:16 we used to have fungot? 17:52:16 olsner: and some discordians say it's a clone of an operator 17:53:32 olsner: so fungot is a former D-class that got [REDACTED] into an IRC bot? 17:53:32 boily: so " my client..." is 17:54:32 fungot, attorney at law 17:54:32 kmc: 1. it's not the size, it's the pty itself that eats it 17:54:34 boily: [REDACTED] 17:55:20 olsner: gross. 18:00:08 ~duck laukaa 18:00:08 Laukaa is a municipality of Finland. 18:00:15 makes sense. 18:00:42 My aunt and her family have a place in Laukaa. 18:01:01 according to the quotes... 18:01:03 `quote laukaa 18:01:05 823) fungot: what's your view on angels and other otherworldly beings? olsner: well i'm mentioning theoretical image to be dumped in rain forests of laukaa. 18:01:36 Also: huh. One of the local TV channels is showing a program about baking at 04:15am-04:40am. I wonder if that has something to do with 420. 18:03:03 does anyone know a way to make my right shift key only work for things on the left-hand side of the keyboard? 18:03:12 fungot: Would you like to explain where that quote came from? 18:03:12 fizzie: i want to eat today :) prop. the best fnord 18:04:07 fungot: I'll feed you if you're helpful. 18:04:07 coppro: create a new kind of shift, xmodmap and/or create a new layout that uses that shift. 18:04:08 fizzie: that's the entire point of forking and returning twice, or using cfunge_realerr. 18:05:21 boily: afraid of that 18:05:25 -!- Bike has quit (Ping timeout: 248 seconds). 18:05:26 iirc lshift and rshift are already separate modifiers but every key just maps to the same character with both left and right shift 18:05:31 Grep suggests it was extracted from " somewhere in the forests of laukaa." from #douglasadams of IRCnet in 2003-03-29. 18:06:12 olsner: That's not a true, at least in X. 18:06:12 olsner: iianm, lshift and rshift are separate keys, but they point to the same index in a key's definition. 18:06:42 fizzie: how about the (linux) console keymaps? 18:07:01 olsner: I don't recall enough about that. 18:07:52 can I get X to filter all keyboard commands through a daemon before going to other applications? 18:08:29 (doing this with a kernel change would definitely be Not A Bad Idea I'm sure) 18:08:54 olsner: ♪ding♪ you have quotes. 18:08:57 ksplice that shit 18:09:30 ksplice was originally called keysplice and used for that exact purpose 18:10:20 There's a bit of evdev called "uinput" that you can use to make an input device from userland. 18:10:34 You could have X read that, and source it from a real evdev device. 18:10:35 -!- Bike has joined. 18:10:59 (Sounds like quite the fiddly thing.) 18:11:55 You'd probably need a xorg.conf with some custom Keyboard blockery, because -- IIRC -- by default X would read all keyboard(s), so you'd get both your injected events and the originals. 18:12:19 `quote at least as on-topic 18:12:20 841) FireFly: oh, did you see ion's police reindeer? that was ... at least as on-topic as this discussion 18:12:56 olsner: thanks for that very helpful fact 18:13:02 boily: I think that "..." is not a redaction, it's just a pause 18:14:28 olsner: woops. I'll change it. 18:16:32 meanwhile, I have this feeling that I should include alise's quotes somewhere... 18:17:48 @tell alise where art thou nowst? 18:17:48 Consider it noted. 18:18:14 in the channel right now actually 18:19:24 olsner: you are alise? 18:19:28 nope 18:19:39 fungot: are you? 18:19:39 olsner: why do i need something to be desired, so it's all right, we are outside of the function 18:19:50 How philosophical 18:20:02 olsner: alise is the former D-class??? 18:20:30 no, fungot is 18:20:31 olsner: more or less automagically result in what the reader uses, though it would need to install loggerhead is good to hack in 18:21:53 me brains are not happy. me need many more coffee today. 18:22:33 `? copumpkin 18:22:35 copumpkin? ¯\(°_o)/¯ 18:22:35 | 18:22:35 º¯`\o 18:23:01 and may nobody come to me saying copumpkin is someone else without telling me who the someone else is. 18:23:51 I think copumpkin has always been copumpkin 18:24:09 thanks. I feel reassured now. 18:24:32 and I have always been me 18:24:33 -!- NihilistDandy has quit. 18:24:50 olsner: Except when it transformed into a cocarriage briefly, I think. 18:26:37 -!- epicmonkey has joined. 18:26:43 fizzie: well, that I understand. the link is fairy evident. 18:27:30 Did you know: Google Chromebook Pixel's touchpad is: "analyzed and honed using a laser microscope for exceptional smoothness and accuracy". 18:27:38 Gosh 18:27:59 honed... that's when you cover it in honey right? 18:28:09 Covered in honey with lasers. 18:29:43 honing... isn't that like when you attract missiles with honey? 18:35:02 `slist 18:35:04 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 18:36:02 Thanks, Fiora 18:36:05 `thanks Fiora 18:36:07 Thanks, Fiora. Thiora. 18:36:49 Thiora: the sulfur-bridged version of Fiora. 18:37:16 haha 18:38:07 ttants: theobromine, thiobromine, bromine 18:38:14 (ttants = Things That Are Not the Same) 18:38:33 where's shachaf :( 18:38:34 Also: thiotimoline. 18:38:45 I want to do my usual "shachaf: did you know X" thing 18:38:50 but it seems silly if he's not actually here 18:39:06 fizzie: yes 18:39:13 let me just boot up my "shachaf simulation" 18:39:15 fun fact 0 = 1 18:39:27 but here goes anyway 18:39:39 Bike, I managed to parse that in such a way that it's true 18:39:49 "function factorial of 0 is 1" 18:40:01 | n = n * fact (n - 1) 18:40:01 shachaf: isn't it great how "ascii" and "iso8859-1" and "latin1" are all aliases for Windows-1252 on the Web 18:40:08 Taneb: !!!!! 18:40:09 Taneb: that's the joke 18:40:13 oh 18:40:15 oooooh 18:40:17 it's SML syntax 18:40:18 ooooooooooooooooooooooooooooooooh 18:40:24 taneb's mind is blown 18:40:32 ooooooooooooooooooooooooooooooooooooooooooh 18:40:35 ꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮꙮh 18:40:42 looks like shachaf parted because Fiora said I was asleep(?) 18:40:49 confusing 18:40:55 well what's the point of being in an elliottless channel 18:43:42 kmc: what? are those... flowers??? 18:43:46 kmc: i can't see "Ed Balls" in news now without chuckling. thx 18:43:59 boily: multioculi 18:44:00 elliott: maybe it's coincidental? 18:44:24 ~duck multioculi 18:44:24 --- No relevant information 18:44:28 ~duck multioculus 18:44:29 --- No relevant information 18:44:33 ~duck multiocular o 18:44:33 Multiocular O is the most rare and exotic glyph variant of Cyrillic letter O. This glyph variant can be found in certain manuscripts in the phrase . 18:44:38 yesssss 18:45:01 Bike: can I eat your brains, so that I may gain understanding of the Duck? 18:45:12 nah 18:45:19 killjoy. 18:45:24 Bike: haha, this is my gift to you 18:45:25 eatjoy 18:45:45 the phrase is «серафими многоꙮчитїи» 18:45:53 "many-eyed seraphim" 18:45:53 "Ed Balls tells #c4news if Cameron puts military action back on table, Labour will consider this" "haha, balls" -- my head 18:46:19 as a job title, "shadow chancellor" sounds much cooler than it is 18:47:28 Bike, he used to be Secretary for Education 18:47:50 As far as schools were concerned, the British government was balls. 18:49:30 c.c 18:49:34 * boily subtly lurches over Bike with a pair of chopsticks and some light soy sauce 18:49:41 D: 18:49:45 the joke with ed balls isn't even "haha balls" although that can't hurt 18:49:55 it's the amazing tweet he sent and the 2+ year running joke about it 18:50:32 "Ed Balls."? 18:50:49 no fullstop even 18:50:55 http://knowyourmeme.com/memes/ed-balls 18:54:03 olsner: if I were to include alise in the PDF, under which name shall I put him/her/them? 18:58:11 alise is elliott 18:59:44 Ō_Ō. 18:59:52 that. is. most. disturbing. 19:01:48 -!- Bike has quit (Ping timeout: 245 seconds). 19:02:48 that's probably not the word i'd use but okay 19:02:59 what's disturbing about it? 19:05:17 elliott is even more ancient and insane that I previously thought. 19:05:37 Phantom_Hoover: ♪dőng♪ your quotes are ready. 19:05:55 elliott, ban diaereses plx 19:06:54 it's not a diæresis, it's a double acute! 19:07:06 don't you try your french tricks on me 19:07:20 fyi, it's a Hungarian trick. hth. :D 19:07:48 speaking of Hungarian, have any of you tried sine mora? 19:08:40 -!- AnotherTest has quit (Ping timeout: 246 seconds). 19:10:05 hungarian tricks? have you been sipping the szoup again? 19:10:21 boily, he's also ehird hth 19:12:37 ah fungot. 19:12:38 boily: but no frog games on any... emergent properties :) i'm writing a brainfuck to c " compiler" portion that runs on .net. 19:12:53 olsner: I wish. 19:15:36 is ghci just really pokey 19:19:18 it took about a minute to calculate fib 40 19:21:30 it's slow but shouldn't be that slow 19:22:01 well it depends on your fib though 19:22:23 if you wrote fib n = fib (n-1) + fib (n-2) then you're doing O(2^n) work 19:22:32 (more preciself O(fib(n)), the algorithm's output is its running time!) 19:24:28 -!- tertu has quit (Read error: Connection reset by peer). 19:24:53 -!- tertu has joined. 19:25:05 ~duck tertu 19:25:05 --- No relevant information 19:27:14 -!- epicmonkey has quit (Remote host closed the connection). 19:27:42 -!- conehead has joined. 19:29:09 -!- epicmonkey has joined. 19:33:26 > let fibs = 0 : 1 : zipWith (+) fibs (tail fibs) in fibs !! 40 19:33:27 102334155 19:33:30 That's a biggish number. 19:33:38 (Though not all *that* big.) 19:34:36 > fix((0:).scanl(+)1)!!40 -- showing off 19:34:37 102334155 19:38:59 echo -e 'let fib 0 = 0; fib 1 = 1; fib n = fib (n-1) + fib (n-2) in fib 40' | time ghci => 173 seconds; echo '(define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) (fib 40)' | time csi => 47 seconds. 19:39:06 -!- `^_^v has joined. 19:39:56 > let fibs = 0 : 1 : uncurry (zipWith (+)) ((id &&& tail) fibs) in fibs !! 40 19:39:57 102334155 19:40:07 @tell Sgeo ♪d奥ng♪ you have quotes! 19:40:07 Consider it noted. 19:40:48 Is that a CJK pictograph in place of an 'i'? 19:40:59 Oh, I thought it was in place of an 'o'. 19:41:02 FireFly: no, in place of an o. 19:41:08 Oh. 19:41:09 -!- Bike has joined. 19:41:33 FireFly: the more quotes I have to format, the opener the vowel. 19:41:47 (I should have used an 'a' when Phantom_Hoovering...) 19:42:03 `quote FireFly 19:42:05 57) * oerjan swats FireFly since he's easier to hit -----### Meh * FireFly dies \ 841) FireFly: oh, did you see ion's police reindeer? that was ... at least as on-topic as this discussion 19:42:16 -!- nycs has quit (Ping timeout: 256 seconds). 19:42:37 > 102334155 -- now *that's* code golf 19:42:37 FireFly: your quote is in the file, if you want to check it. 19:42:38 102334155 19:42:39 What exactly is this pdf thing you're doing? 19:42:49 you have a file on me?! 19:43:00 nooodl: wow, impressive 19:43:13 hm? oh, no. not at all. 19:43:20 > 0x6197ecb -- Aww, no golf. 19:43:21 102334155 19:43:28 * boily hides the evidence under the... darn. there is no rug here, only wooden floors. 19:43:52 > fib 40 -- just in case the function exists... 19:43:53 Not in scope: `fib' 19:43:53 Perhaps you meant `fix' (imported from Data.Function) 19:44:35 FireFly: I'm reformatting the wisdom and quotes, for posterity. and because I am not insane. 19:44:44 > ord'x̢̳̙̏̈́ͧ̏͝' 19:44:45 :1:6: lexical error at character '\783' 19:44:50 Oh, okay 19:44:56 (huh lambdabot doesn't know about the 102334155th unicode char??) 19:44:59 > ord '\783' 19:45:00 783 19:45:13 > ord maxBound 19:45:14 1114111 19:45:24 @let fib n = let aux (f1,f2) = (f2,f1+f2) in iterate aux (0,1) !! n 19:45:26 Defined. 19:45:30 nooodl: That wasn’t a character. 19:45:30 > fib 0 19:45:33 (0,1) 19:45:35 oh, wait. 19:45:36 derp. 19:45:41 @let fib n = let aux (f1,f2) = (f2,f1+f2) in fst $ iterate aux (0,1) !! n 19:45:42 .L.hs:151:1: Warning: 19:45:42 Pattern match(es) are overlapped 19:45:42 In an equat... 19:45:55 @let fib n = let aux (f1,f2) = (f2,f1+f2) in fst (iterate aux (0,1) !! n) 19:45:56 .L.hs:151:1: Warning: 19:45:56 Pattern match(es) are overlapped 19:45:56 In an equat... 19:45:56 ion: how was that joke supposed to work with a single *existing* unicode char though! 19:46:02 :t fst 19:46:02 (a, b) -> a 19:46:11 what am i missing here 19:46:15 > fib 10 19:46:18 (55,89) 19:46:43 lambdabot: what's the deal! 19:46:52 maybe fib is already defined? 19:46:53 you defined fib three times 19:47:12 well i wanted the one to override the other! 19:47:17 -!- tertu has quit (Ping timeout: 248 seconds). 19:47:22 @help let 19:47:22 let = . Add a binding 19:47:29 @help undefine 19:47:29 undefine. Reset evaluator local bindings 19:47:30 @unlet fib 19:47:30 Parse failed: TemplateHaskell is not enabled 19:47:37 elliott: help 19:47:44 @undefine let 19:47:45 There's currently no way to undefine just one thing. Say @undefine (with no extra words) to undefine everything. 19:47:48 @undefine 19:47:48 Undefined. 19:47:58 wow great. 19:48:05 @let a = 102334155 19:48:05 @let fib n = let aux (f1,f2) = (f2,f1+f2) in fst $ iterate aux (0,1) !! n 19:48:06 Defined. 19:48:07 Defined. 19:48:10 > fib 10 19:48:13 55 19:48:18 > fib 1000 19:48:21 434665576869374564356885276750406258025646605173717804024817290895365554179... 19:48:26 cool 19:49:29 when i do iterate like that does the compiler avoid generating code to actually build the list 19:49:39 @let tetration a b = foldr1 (^) $ replicate b a 19:49:40 Defined. 19:49:48 > fib $ tetration 3 4 19:49:59 mueval-core: Time limit exceeded 19:50:05 beuh :( 19:50:15 if you wanted that i'd use a log definition of fib 19:50:20 ("yes that would help") 19:51:31 > tetration 3 4 19:51:38 mueval-core: Time limit exceeded 19:52:11 even the tetration won't do. I guess g_64 is way off limits... 19:53:15 compared to g_64, fib g_64 isn't that much bigger :p 19:54:25 I tried 3 ↑↑ 4 on my machine. forcefully kill -9ed the process after it gobbled a full 4 GB of ram... 19:57:55 -!- Bike has quit (Ping timeout: 260 seconds). 20:01:12 fib is approximately exponential anyway 20:04:33 boily: 3 ↑↑ 4 has... approximately 3.6*10^12 decimal digits, if I read 'pedia right -- so 4 gigs sounds a bit small for storing the number. 20:04:35 @src tetration 20:04:35 Source not found. Where did you learn to type? 20:04:40 -!- Bike has joined. 20:05:22 fizzie: well, it was growing, and I didn't want my machine to suddenly crash in the middle of good music playing in my headphones. 20:06:00 "g_64" bam stored!! 20:06:04 > zipWith logBase <*> tail $ fix ((0:) . (1:) . (zipWith (+) <*> tail)) 20:06:05 [-0.0,NaN,Infinity,1.584962500721156,1.464973520717927,1.2920296742201791,1... 20:06:19 boily: pipe g_64 to /dev/snd 20:06:30 > drop 50 $ zipWith logBase <*> tail $ fix ((0:) . (1:) . (zipWith (+) <*> tail)) 20:06:31 [1.0206920565661424,1.0202725752914699,1.0198697640046614,1.019482648379181... 20:06:57 "[-0.0,NaN,Infinity,1.584962500721156,..." is the best start for a sequence. 20:06:57 > drop 200 $ zipWith logBase <*> tail $ fix ((0:) . (1:) . (zipWith (+) <*> tail)) 20:06:58 [1.005042159409283,1.0050168635833612,1.0049918203018742,1.0049670258016374... 20:07:08 Bike: I like to pipe my swap partition to /dev/snd from time to time. 20:07:14 ion: what is this exactly 20:07:16 ion: that is unholy. 20:07:38 bike: log fib_n / log fib_{n−1} 20:07:40 @tell shachaf ♪dıng♪ you have quotes. 20:07:40 Consider it noted. 20:07:45 oh 20:08:14 Re: “approximately exponential”, i was curious about that. 20:08:40 well it's roughly phi^ or whatever 20:09:18 > zipWith (/) <*> tail $ fix ((0:) . (1:) . (zipWith (+) <*> tail)) 20:09:19 [0.0,1.0,0.5,0.6666666666666666,0.6,0.625,0.6153846153846154,0.619047619047... 20:09:39 well, that showed that pretty well 20:09:45 > drop 50 $ zipWith (/) <*> tail $ fix ((0:) . (1:) . (zipWith (+) <*> tail)) 20:09:46 [0.6180339887498949,0.6180339887498949,0.6180339887498949,0.618033988749894... 20:09:58 that's 1/phi, of course 20:10:02 known to its close friends as phi-1 20:10:12 s/1\/phi/phi - 1/ 20:10:25 s/phi-1/1 \/ phi/ 20:10:39 wow boily 20:11:02 If you find yourself escaping a slash with a backslash in regexps, you’re Doing It Wrong™. 20:11:03 you didn't see nothing. 20:11:07 More things should have \ as the reverse division operator. (a\b = b/a.) 20:11:25 https://twitter.com/matthew_d_green/status/377120854678585344 this is going well 20:12:00 D: 20:12:04 “Something something Streisand something...’ 20:12:09 http://blog.cryptographyengineering.com/2013/09/on-nsa.html said post 20:12:11 get it while it's hot 20:12:31 "Go after the implementation. Cryptography is almost always implemented in software -- and software is a disaster" lol :/ 20:13:07 fungot: You're a disaster. 20:13:07 fizzie: i installed wiliki source patches gdbm-ci, and had a simple reader macro in chicken" from google :p. but, this way i have already 20:13:15 Yeah, I'd say that confirms it. 20:15:11 "Ugh MAIN macro, great. *WASH_Eyes_outWith_soap*" oh, i see 20:15:51 #ifdef (OMG) if (moo) { ... } else #endif <-- oh 20:16:01 ~duck moo 20:16:09 mooed, mooing, moos To emit the deep, bellowing sound made by a cow; low. 20:16:10 re backdooring standards, have you seen https://www.schneier.com/blog/archives/2007/11/the_strange_sto.html 20:16:28 tl;dr: one of the NIST recommended PRNGs makes no sense unless designing in a backdoor was a primary concern 20:16:44 great. 20:17:44 kmc: But what if you *do* need a backdoor? 20:17:47 Fire safety and all 20:19:18 @tell tswett ♪տինկ♪ you have quotes! 20:19:18 "The original author of OpenSSL thought it would be a fun way to learn C." o.O 20:19:18 Consider it noted. 20:19:39 v.fun 20:25:12 Reasons why I should not be an actor: I managed to lose a prop in the 5 or so meters between the props table and the stage 20:27:36 Taneb: was it an orange? 20:27:45 It was a plastic shot glass 20:37:21 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 20:37:58 -!- conehead has joined. 20:42:31 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 20:44:50 -!- Phantom_Hoover has joined. 20:47:33 before I reformat ZOMGMODULES, is he/she/they a singular person, or should they be conflagrated with someone else? 20:48:22 boily: ZOMG* 20:48:31 zomgmodules is chris p., last i checked 20:48:52 Roujo: o hai! 20:48:56 boily: Hai ^^ 20:49:11 mnoqy: oh, thanks! 20:49:38 -!- tertu has joined. 20:52:51 why the fuck do i have texlive installed anyway 20:52:58 -!- epicmonkey has quit (Ping timeout: 246 seconds). 20:53:22 Phantom_Hoover: because you are a responsible adult. 21:06:48 -!- Bike has quit (Ping timeout: 245 seconds). 21:12:40 -!- Bike has joined. 21:16:01 boily, I think the two oklos are two different people 21:16:24 what 21:16:28 where did you get that idea from 21:17:15 -!- yorick has quit (Remote host closed the connection). 21:17:40 Phantom_Hoover, a wise man told me many years ago 21:17:44 I think it was oerjan 21:17:48 Maybe fizzie 21:17:56 was this wise man oko by any chance 21:17:58 And by many years ago, I of course mean about two 21:18:01 never trust anything oko says, ever 21:18:59 Anyway, I am going to stalk sleep and kill it 21:19:03 Goodnight 21:19:04 -!- Taneb has quit (Quit: Leaving). 21:19:18 considering that fizzie and oerjan may have been answering based on information given to them by oko 21:19:22 fuck you taneb 21:23:32 fizzie is wise. oerjan is... uhm... wise too, I guess. 21:24:10 Welp. Not-bus time again 21:24:12 'night 21:29:03 @tell zzo38 ♪moof♪ you have quotes! 21:29:03 Consider it noted. 21:29:10 hungry. 21:29:15 -!- boily has quit (Quit: Poulet!). 21:29:16 -!- metasepia has quit (Remote host closed the connection). 21:41:30 -!- nooodl has quit (Quit: Ik ga weg). 21:49:20 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:57:11 -!- oerjan has joined. 22:00:39 -!- tertu has quit (Ping timeout: 260 seconds). 22:04:42 http://www.theguardian.com/world/2013/sep/09/dennis-rodman-north-korea-baby-name I don't understand anything any more 22:04:50 -!- Bike_ has joined. 22:06:00 -!- Bike has quit (Disconnected by services). 22:06:02 -!- Bike_ has changed nick to Bike. 22:17:29 -!- Bike has quit (Ping timeout: 254 seconds). 22:25:27 -!- Koen_ has quit (Quit: Koen_). 22:27:25 -!- Bike has joined. 22:45:07 -!- NihilistDandy has joined. 22:51:21 woah: python -c 'print u"\N{CYRILLIC LETTER MULTIOCULAR O}"' 22:52:02 ⎈very useful 22:52:21 python -c 'print u"\N{SNOWMAN}"' 22:52:26 `python -c 'print u"\N{SNOWMAN}"' 22:52:28 ​ File "", line 1 \ 'print u"\N{SNOWMAN}"' \ ^ \ IndentationError: unexpected indent 22:52:36 darn 22:53:11 that's puzzling 22:53:20 oh wait 22:53:23 `run python -c 'print u"\N{SNOWMAN}"' 22:53:25 Traceback (most recent call last): \ File "", line 1, in \ UnicodeEncodeError: 'ascii' codec can't encode character u'\u2603' in position 0: ordinal not in range(128) 22:53:32 `run python -c 'print u"\N{SNOWMAN}".encode("utf-8")' 22:53:33 ​☃ 22:53:37 yay! 22:55:49 `run printf '#!/usr/bin/env python\nimport sys\nimport unicodedata\n\nprint unicodedata.lookup(sys.argv[1])\n' > bin/unicode && chmod +x bin/unicode 22:55:53 No output. 22:55:54 `unicode SNOWMAN 22:55:55 Traceback (most recent call last): \ File "/hackenv/bin/unicode", line 5, in \ print unicodedata.lookup(sys.argv[1]) \ UnicodeEncodeError: 'ascii' codec can't encode character u'\u2603' in position 0: ordinal not in range(128) 22:56:04 `run printf '#!/usr/bin/env python\nimport sys\nimport unicodedata\n\nprint unicodedata.lookup(sys.argv[1]).encode("utf-8")\n' > bin/unicode && chmod +x bin/unicode 22:56:04 lol 22:56:08 No output. 22:56:10 `unicode SNOWMAN 22:56:11 ​☃ 22:56:20 `unicode CYRILLIC LETTER MULTIOCULAR O 22:56:21 ​ꙮ 22:56:53 I started writing like eval(r'u"\N{'+sys.argv[1]+'}') and then I was like "... no" 22:57:03 hahah 22:57:16 `unicode LATIN SMALL LETTER A WITH DIAERESIS AND MACRON 22:57:18 ​ǟ 22:58:13 `run printf '#!/usr/bin/env python\nimport sys\nimport unicodedata\n\nprint u''.join(map(unicodedata.lookup, sys.argv[1:])).encode("utf-8")\n' > bin/unicode && chmod +x bin/unicode 22:58:17 No output. 22:58:45 `run unicode 'LATIN CAPITAL LETTER Y' 'LATIN CAPITAL LETTER A' 'LATIN CAPITAL LETTER Y' 22:58:47 Traceback (most recent call last): \ File "/hackenv/bin/unicode", line 5, in \ print u.join(map(unicodedata.lookup, sys.argv[1:])).encode("utf-8") \ NameError: name 'u' is not defined 22:58:57 `run printf '#!/usr/bin/env python\nimport sys\nimport unicodedata\n\nprint u"".join(map(unicodedata.lookup, sys.argv[1:])).encode("utf-8")\n' > bin/unicode && chmod +x bin/unicode 22:59:01 No output. 22:59:02 `run unicode 'LATIN CAPITAL LETTER Y' 'LATIN CAPITAL LETTER A' 'LATIN CAPITAL LETTER Y' 22:59:04 YAY 22:59:11 `unicode SNOWMAN 22:59:13 ​☃ 22:59:27 so, you need to import unicodedata for something strings need anyway, huh 23:00:22 U+034F COMBINING GRAPHEME JOINER 23:00:27 "The name does not describe the function of this character. Despite its name, it does not join graphemes." 23:00:37 does it at least combine 23:00:46 `run unicode 'LATIN MINUSCULE LETTER H' 'LATIN MINUSCULE LETTER T' 'LATIN MINUSCULE LETTER H' 23:00:48 Traceback (most recent call last): \ File "/hackenv/bin/unicode", line 5, in \ print u"".join(map(unicodedata.lookup, sys.argv[1:])).encode("utf-8") \ KeyError: "undefined character name 'LATIN MINUSCULE LETTER H'" 23:00:49 or is everything i know a lie. 23:00:51 darn 23:01:00 foiled by terminology 23:01:25 `run unicode 'LATIN SMALL LETTER H' 'LATIN SMALL LETTER T' 'LATIN SMALL LETTER H' 23:01:25 maybe rewrite it to do a nearest edit distance match 23:01:26 that could be fun 23:01:27 hth 23:01:56 I love that an international technical standard has an appendix which starts "There are two separate cantillation systems in the Hebrew Bible." 23:07:26 -!- Bike has quit (Ping timeout: 264 seconds). 23:07:32 don't you know, you can't be Floating and Integral at the same time. it's totally impossible <-- you make that sound like a challenge. 23:10:16 -!- ggherdov has quit (Ping timeout: 256 seconds). 23:13:20 -!- tertu has joined. 23:15:27 -!- Bike has joined. 23:16:09 -!- CADD has quit (Read error: Operation timed out). 23:34:57 -!- Sgeo has joined. 23:44:32 -!- Bike has quit (Quit: Reconnecting). 23:45:40 -!- Nisstyre-laptop has joined. 23:46:11 -!- Bike has joined. 23:46:41 -!- Nisstyre-laptop has changed nick to nisstyre.