00:04:40 -!- hogeyui_ has quit (Ping timeout: 246 seconds). 00:05:12 -!- w00tles has joined. 00:06:03 -!- realzies has joined. 00:06:37 -!- hogeyui_ has joined. 00:14:56 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 26.0/20131205075310]). 00:15:51 -!- hogeyui_ has quit (Ping timeout: 252 seconds). 00:20:17 -!- hogeyui_ has joined. 00:40:00 -!- Bike has quit (Ping timeout: 240 seconds). 00:42:35 -!- w00tles has quit (Quit: quit). 00:46:07 -!- Phantom_Hoover has joined. 00:48:46 -!- w00tles has joined. 00:56:44 -!- Bike has joined. 00:58:46 -!- Koen_ has joined. 01:03:21 lqst qssignement: write q compiler and then an interpreter for some pseudo-asm language used to build "warriors", for a bf-joust like competition 01:03:30 this school is FUN 01:06:10 pseudo-ass language 01:06:50 lqst? last? 01:07:57 int-e: as you can see it took me no more than four words to switch back to azerty, even though I'm typing in the dark` 01:08:22 (entering password to boot the computer took a few tries though) 01:08:32 oh, sorry. I got hooked up on the first word and didn't notice the consistency :) 01:08:41 you cannot prove it wasn't five words 01:09:21 (also I'm blissfully unaware of azerty. I have enough trouble with using both qwertz and qwerty) 01:09:30 -!- oerjan has quit (Quit: Also, good night). 01:10:15 azerty is like french for qwerty and oh guess what the punctuation is all wrong 01:10:54 anyway, just wanted to say hi to you guys 01:11:07 hi to you guys. 01:11:50 and now I`m going back to sleep - I havent had a single free day since it all started sooooo Im gonna enjoy tomorrow a lot 01:18:53 -!- Taneb has quit (Read error: Operation timed out). 01:20:43 If I talk about Cablevision or competitors, I think I'm expected to state that I work for Cablevision, but all opinions expressed are my own and not necessarily that of my employer 01:20:49 At least on social media websites 01:20:54 Don't know if IRC is covered 01:21:22 (I'm not disagreeing with the policy, just not sure how it would apply to chat) 01:21:47 cablevision doesn't sound like the name of a company that has opinions 01:26:57 sounds can be deceiving 01:27:18 irc is a social media website 01:27:47 IRC is a social medium, which in most cases can be accessed via some websites 01:28:15 Maybe I don't need the disclaimer if I see no web client users? 01:29:03 'makes sense' 01:29:25 -!- copumpkin has joined. 01:34:25 -!- ^v has joined. 01:40:58 "Breaking News: No shots fired" 01:46:45 ^^ actual headline 01:47:14 or.. whatever they're called on TV news 01:47:30 Probably made more sense to people who were watching than people who saw a glimpse 01:51:01 Turing has been pardoned. 01:51:05 As of yesterday. 01:51:15 such bullshit 01:51:29 how so? 01:51:31 the pardon campaign was nothing but tactless pandering to begin with 01:51:56 agreed. 01:52:04 he shouldn't have been convicted in the first place. 01:52:33 afaik the important part -- the absolution of all gays convicted under those laws -- was quietly implemented years ago 01:52:41 correct. 01:52:52 yet it's an important ritual at least in my eyes. 01:53:06 it doesn't excuse anything, but it's a gift. 01:53:20 but it's not! the apology already did that 01:53:56 the pardon is a deeply unsavoury gesture which implies that turing was just an exception because he was gay but useful 01:54:17 -!- Koen_ has quit (Quit: Koen_). 01:54:20 pardoning someone for violating an unjust law is somewhat perverse 01:54:24 aye, if you see it like that, I'm inclined to agree. 01:54:35 since it implies special circumstances mean that Turing's being gay was excusable 01:54:46 yep. 01:55:04 someone should disagree so we can have a proper fight over this 01:55:16 I think many people agree. 01:55:37 I just see it as a sort of useful recognition, I suppose. It's a nice gift to see Turing in the news again. 01:56:32 i admit i'm kind of glad every time i see turing in the news at all since he owned 01:57:14 he did. 01:57:18 is that movie with cumbutler out yet 01:57:50 look if you want to deride cumberbatch just call him poshfuck 01:58:01 nope 01:58:16 'ultimate poshfuck' if there are other poshfucks forcing disambiguation 01:58:24 i don't dislike him or anything even he just has an absurd name 01:58:45 but he's such a poshfuck! 01:58:46 poshfuck. 01:59:00 is he bad/ i seriously don't know, i've never seen anything with him in it 01:59:01 vocabulary.extend("poshfuck"); 02:00:07 http://www.telegraph.co.uk/culture/tvandradio/9473337/Posh-baiting-may-drive-Benedict-Cumberbatch-to-the-US.html well he's definitely a poshfuck 02:00:51 posh-bashing 02:01:01 benedict cucumberpatch. 02:02:01 «“I remember being really quite scared at the Twitter thing [a global army of online fans call themselves “Cumberbitches”]» terrifying 02:04:36 cumberbitches? that is terrifying. 02:09:00 i would be terrified 02:10:50 -!- Phantom_Hoover has quit (Quit: Leaving). 02:12:39 -!- Chillectual has joined. 02:15:41 -!- LinearInterpol has quit (Ping timeout: 272 seconds). 02:36:44 -!- copumpkin has quit (Ping timeout: 260 seconds). 02:40:46 -!- carado has quit (Ping timeout: 246 seconds). 02:44:27 -!- ^v has quit (Ping timeout: 272 seconds). 02:45:26 -!- Chillectual has changed nick to LinearInterpol. 02:45:47 -!- yorick has quit (Remote host closed the connection). 02:50:12 -!- nooodl__ has joined. 02:50:24 -!- nooodl_ has quit (Ping timeout: 240 seconds). 02:58:14 -!- w00tles has quit (Quit: quit). 02:58:15 -!- Sorella has quit (Read error: Connection reset by peer). 03:03:07 -!- w00tles has joined. 04:03:56 -!- nisstyre has joined. 04:22:07 -!- w00tles has quit (Quit: quit). 04:50:11 -!- Edward___ has joined. 04:50:18 -!- mauke has quit (Disconnected by services). 04:50:28 -!- mauke has joined. 04:50:55 -!- Edward___ has changed nick to Edwardz. 04:50:59 howdy1 04:51:01 !* 04:51:44 now i have a machinegun 04:52:47 -!- preflex_ has joined. 04:53:23 -!- preflex has quit (Ping timeout: 272 seconds). 04:53:29 I don't. 04:53:32 -!- preflex_ has changed nick to preflex. 04:54:21 ho ho ho 04:56:53 I don't like having an infinitely large close button on my browser 05:10:53 -!- Chillectual has joined. 05:11:08 -!- LinearInterpol has quit (Disconnected by services). 05:11:15 -!- Chillectual has changed nick to LinearInterpol. 05:14:32 -!- Edwardz has quit (Quit: Page closed). 05:23:00 -!- nooodl__ has quit (Quit: Ik ga weg). 05:28:29 -!- tertu has joined. 05:34:59 -!- Sprocklem has quit (Ping timeout: 260 seconds). 05:38:01 -!- zzo38 has joined. 05:59:51 -!- tromp_ has quit (Remote host closed the connection). 06:31:39 -!- nisstyre has quit (Quit: Leaving). 07:00:23 -!- LinearInterpol has quit (Ping timeout: 260 seconds). 07:06:12 -!- tertu has quit (Ping timeout: 240 seconds). 07:27:42 -!- preflex has quit (Remote host closed the connection). 07:27:48 -!- preflex_ has joined. 07:28:13 -!- preflex_ has changed nick to preflex. 08:06:36 -!- Gracenotes_ has changed nick to Gracenotes. 08:26:13 -!- Taneb has joined. 08:27:57 -!- zzo38 has quit (Remote host closed the connection). 08:38:43 -!- Taneb has changed nick to atriq. 08:39:53 -!- Taneb has joined. 08:40:06 -!- atriq has quit (Quit: Leaving). 10:37:22 -!- MindlessDrone has joined. 10:42:45 -!- MindlessDrone has quit (Ping timeout: 248 seconds). 10:44:18 -!- oerjan has joined. 10:49:35 i don't dislike him or anything even he just has an absurd name <-- itym "cumbersome" hth 10:49:56 * oerjan almost added an extra hth to get around the filter, then remembered he wasn't on irssi 10:50:51 i assume there's no one around today to get the login server i use working again. 10:51:19 -!- MindlessDrone has joined. 10:53:02 `addquote I don't like having an infinitely large close button on my browser 10:53:09 1147) I don't like having an infinitely large close button on my browser 11:10:19 -!- hogeyui_ has quit (Ping timeout: 240 seconds). 11:22:53 My browser doesn't have a close button 11:23:13 shocking 11:24:04 i guess you are using a window manager without a close button on windows 11:33:43 -!- hogeyui_ has joined. 11:33:46 -!- yorick has joined. 11:35:22 Yeah 11:35:30 No window decorations whatsoever 11:35:39 Except for a 1 pixel border 11:47:52 -!- carado has joined. 12:19:11 -!- Sorella has joined. 12:19:50 -!- Sorella has quit (Changing host). 12:19:50 -!- Sorella has joined. 12:20:28 -!- Phantom_Hoover has joined. 12:58:13 -!- LinearInterpol has joined. 13:21:10 -!- Koen_ has joined. 13:24:36 Trivia: when I was pretending to be a rabbi, the actor Mr. Neeson pretended to be my son 13:25:38 amazing 13:26:22 And today it is his birthday! 13:27:51 you mean liam neeson? 13:28:05 No 13:28:09 James Neeson 13:28:14 He's 16 today 13:28:16 poor 13:28:40 my dad's godmother was in a play with liam neeson 13:28:40 God, imagine if Liam Neeson played my son 13:28:44 i'm better than you Taneb 13:28:48 Well, get him 13:29:00 her! 13:29:10 Well, get her 13:29:16 Hang on 13:29:22 Since when is Liam Neeson a "her"/ 13:29:35 oh i thought you meant my dad's godmother 13:30:09 My godfather was once on Who Wants To Be A Millionaire 13:31:11 `addquote Well, get him her! Well, get her Hang on Since when is Liam Neeson a "her"/ oh i thought you meant my dad's godmother 13:31:15 1148) Well, get him her! Well, get her Hang on Since when is Liam Neeson a "her"/ oh i thought you meant my dad's godmother 13:31:37 And... my great uncle makes honey? 13:31:53 And my... dad's cousin is in a crime drama? 13:32:01 which one 13:32:15 The Doctor Blake Mysteries 13:36:15 She played Mattie 13:38:33 doctor blake? isn't that the fake series from friends? 13:39:16 Koen_, it's also a real series from Australia 13:39:39 australia? isn't that the fake continent? 13:40:02 Koen_, if it's fake then I'm 50% fake 13:40:07 Which I guess is true 13:40:11 So Australia is fake! 13:42:58 -!- carado has quit (Ping timeout: 246 seconds). 13:46:19 hmmm so I've got a permutation 13:46:34 and I have to output a sequence of instruction to build that permutation 13:47:31 those instructions will affect two dequeues a and b; a is the list to be sorted and b is initially empty 13:55:23 -!- carado has joined. 14:34:14 -!- Koen_ has quit (Quit: Koen_). 14:39:30 -!- nooodl has joined. 14:42:54 -!- Frooxius has quit (Read error: Connection reset by peer). 14:49:38 -!- LinearInterpol has quit (Ping timeout: 252 seconds). 14:50:28 -!- Frooxius has joined. 14:52:39 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 14:59:32 > 35*7+3 14:59:33 248 15:00:02 > 36*7+3 15:00:04 255 15:03:58 -!- tromp_ has joined. 15:09:19 workin' on some constants? 15:12:13 i was checking that new one for 255 15:12:51 -!- boily has joined. 15:13:01 which makes some of the others obsolete 15:13:08 good Joyeux Noël morning! 15:13:42 boily i've been working on something for you! 15:13:48 quintopia: oh! 15:13:49 joilyeux noëi 15:13:54 oops 15:13:55 *l 15:14:18 oerjoyeux noël à toi aussi :D 15:14:46 joyeux quinoëltopia! 15:16:27 -!- ais523 has joined. 15:17:46 boily: this has been my main project of the past few days: http://imgur.com/cqSDKci 15:17:59 just for you! 15:21:13 ... 15:21:27 you christmassy fiend! :p 15:21:31 ~metar CYQB 15:21:38 joyeux noïly! 15:21:48 oh right. I should metasepia first. 15:22:00 joooyeux noëdl! 15:22:44 -!- metasepia has joined. 15:22:48 ~metar CYQB 15:22:49 CYQB 251500Z 22012KT 25SM FEW020 M18/M21 A3050 RMK SC1 SC TR SLP336 15:24:38 boily: you could have been here. two of your fellow quebecois computer geeks are here. 15:24:43 -!- oerjan_ has joined. 15:24:54 quintopia: bin wéyons don. 15:25:03 -!- oerjan has quit (Disconnected by services). 15:25:05 (untranslatable.) 15:25:11 -!- oerjan_ has changed nick to oerjan. 15:25:12 well damn 15:25:22 why say it if i can't understand it 15:25:32 can you transcribe it for them? :D 15:25:36 also, there is nothing that is untranslatable if you try hard enough 15:25:57 > length "+++++[>+++++++<-]>[<+++++++>-]<++++" 15:25:58 35 15:26:26 quintopia: uhm... “well we see [emphatic particle]”? 15:27:51 it's an exclamation of inquiring surprise, denoting scepticism and a desire to know more. 15:28:50 gotcha 15:29:20 jordan thiboust and his wife(?) cyrielle 15:30:08 he's a game designer at ubisoft (Assassin's Creed 2015) and she's a QAer at a subsidiary of Activision. 15:30:59 i guess i should go now 15:32:04 go enjoy the droempiunbilciacn while you can! 15:33:09 it seems to me that the new 2-cell non-wrapping algorithms are sometimes better than the old 3-cell ones... 15:34:21 248 being the first (last?) 15:34:54 i started copying by hand, but that's not going to be sustainable if this continues. 15:35:13 * oerjan also is lazy, in case someone didn't note. 15:36:38 -!- metasepia has quit (Ping timeout: 240 seconds). 15:37:15 boily: your bot is not feeling well 15:38:47 I now, and it is time to go for me also. 15:38:59 oh noews 15:39:38 it is so. I have to resume the ongoing Towerfall tournament my bro and I are undergoing. 15:39:53 -!- boily has quit (Quit: OUYING CHICKEN!). 15:48:13 one awkward thing about webchat is that it gives you no direct indication that you've been disconnected, so once it's happened once i get nervous whenever the channel falls silent... 15:50:15 yep, that keeps catching ais523_ out too 16:08:10 oh noooo i have to document this esolang 16:08:12 the boring part..... 16:08:58 I dunno, documentation's the interesting part sometimes 16:09:05 btw, merry christmas, all those who celebrate it today 16:09:12 merry christmas ais523 ! 16:10:21 merry christmas, all those who _don't_ celebrate it today! *hides behind rock* 16:12:35 the set of all christmases that do not celebrate themselves 17:03:16 -!- ^v has joined. 17:05:04 thanks ais523 and to you too. i will spend the rest of the day in cars and planes and airports 17:07:00 oerjan: what is the 3-cell algorithm for 248? 17:07:27 there's a whole bunch listed right under the 2-cell one i inserted. 17:09:56 ok 17:09:59 g2g 17:10:14 have a nice trip 17:24:55 -!- copumpkin has joined. 18:00:28 -!- zzo38 has joined. 18:07:25 -!- LinearInterpol has joined. 18:13:19 -!- conehead has joined. 19:12:20 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 19:22:23 -!- conehead has quit (Quit: Computer has gone to sleep.). 19:23:59 -!- Phantom_Hoover has joined. 19:31:13 -!- conehead has joined. 19:45:49 -!- AnotherTest has joined. 20:00:04 -!- ^v has joined. 20:04:26 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 20:06:55 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 20:14:23 -!- Bike_ has joined. 20:16:25 -!- Bike has quit (Ping timeout: 272 seconds). 20:20:09 -!- Bike has joined. 20:21:26 -!- Bike_ has quit (Ping timeout: 240 seconds). 20:24:00 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 20:32:53 -!- Phantom_Hoover has joined. 20:38:31 How do I make a dotted strikeout on a MediaWiki file? 20:39:25 -!- olsner has joined. 20:40:31 -!- MindlessDrone has quit (Ping timeout: 241 seconds). 20:52:53 -!- ^v has joined. 20:52:54 -!- w00tles has joined. 20:53:10 zzo38: i don't recall seeing dotted strikeouts... 20:54:47 -!- MindlessDrone has joined. 21:01:10 «the holes (called "exploits" in security lingo) » 21:02:24 getting too close to black exploits is very insecure. 21:02:51 (http://www.businessinsider.com/security-folks-share-snapchat-hack-2013-12) 21:07:00 Outlook is telling me I missed a meeting this morning... I'm very distinctly certain I have Christmas day off 21:08:10 you just missed the message yesterday evening that your day off was canceled hth 21:09:20 maybe your day off /was/ the meeting 21:09:40 the meeting was inside you all along 21:09:51 and that's the true meaning of christmas 21:13:08 just before christmas does sound like a shitty time to reveal an exploit. 21:13:27 doctor who christmas special was godalmighty mess; news at eleven 21:13:41 Phantom_Hoover: was it a timey-wimey mess? 21:14:43 And I got a weird voicemail that must have been intended for someone else 21:15:45 oerjan, not even, it was just... a mess 21:15:59 shocking 21:16:14 was it a hot mess 21:16:21 -!- AnotherTest has quit (Ping timeout: 248 seconds). 21:16:37 a bose-einstein mess 21:16:45 Phantom_Hoover: It didn't air yet... oh, I guess it aired in England earlier? 21:17:00 earlier than in scotland? 21:17:02 Sgeo, SCOTLAND you MIMSY FUCK 21:17:15 I thought scotland was in england 21:17:31 ;___; 21:17:36 i refuse to believe olsner isn't joking 21:17:49 I hope olsner isn't joking 21:17:54 err, is joking 21:17:59 olsner: right now a huge scottish man is running at you with a claymore 21:18:00 There's some chart somewhere, but I kind of don't remember it 21:18:20 And also would have thought that Phantom_Hoover is in England and not Scotland 21:18:21 >.> 21:18:24 it's not that complicated. until you try to explain jersey and guernsey and shit like that 21:18:29 http://qntm.org/files/uk/uk.gif 21:18:36 Sgeo: Phantom_Hoover's been well-established to claim to be Scottish 21:18:43 http://qntm.org/uk 21:18:54 (a gif? wtf sam) 21:19:02 england and scotland are in the same place on that chart, that's good enough for me 21:19:02 I was wavering back and forth as to whether or not too say UK 21:19:18 Sgeo, you're going to watch it anyone so i'll not spoil anything in the hope that you realise it's a mess first-hand 21:19:18 i like that the placement of the dots within Great Britain is vaguely geographical 21:19:28 s/anyone/anyway 21:19:31 / 21:19:50 people are talking about whether they'll redesign the Union Jack if Scotland leaves the UK 21:20:03 haha 21:20:06 BBC has some example redesigns most of which are eye-wateringly ugly http://www.bbc.co.uk/news/magazine-25222891 21:20:12 they'd have to lose the blue background, it'd be a disaster 21:20:28 will scotland still be in the GB or the commonwealth after independence? 21:20:38 swapping blue for green 21:20:45 i bet the unionists will be right on board with that 21:20:51 olsner: Great Britain is a mostly geographic term not a political one 21:20:58 it just means the whole island 21:21:12 but basic lesson in geography of that area: the British Isles is an archipelago, of which Great Britain is the largest island and Ireland is the second-largest; the UK is a country/nation, which currently contains all of Great Britain, many of the surrounding islands, Northern Ireland, and some random areas elsewhere in the world (Scotland is considering independence); the main "countries of the UK" are England, Scotland, Wales, and Northern Ireland, 21:21:14 with some minor smaller ones; and the Republic of Ireland is the other major nation in the archipelago, which consists of all of Ireland apart from Northern Ireland 21:21:19 I think plans are to stay in the commonwealth but not sure 21:21:58 but yeah, "is Scotland in Great Britain" is a bit of a type error, and the closest answer is "Scotland is a country of the UK, most (but not all) of which consists of land on the island Great Britain" 21:22:05 but the UK is the "United Kingdom of Great Britain and Northern Ireland" etc. and that could be awkward if their territory doesn't include the whole island of Britain 21:22:16 it'd just be renamed again 21:22:17 ais523, re ireland, ulster is generally used interchangeably with northern ireland, but parts of ulster aren't actually in northern ireland 21:22:21 but the Republic of Ireland doesn't include the whole island of Ireland so whatever 21:22:26 Phantom_Hoover: Ulster is a county, isn't it? 21:22:41 no, it's... a province, i think? it's the biggest division 21:22:50 right, that makes more sense 21:23:01 olsner: the more interesting question I think is whether Scotland gets grandfathered into the EU or whether they'll have to join afresh 21:23:24 does scotland want to be in the EU? 21:23:24 which is then subdivided into counties; iirc donegal is the only counter in ulster and the ROI 21:23:29 olsner, yes 21:23:33 very much so 21:23:46 yeah and England wants out :3 21:24:16 http://news.bbcimg.co.uk/media/images/71533000/jpg/_71533511_350641.jpg i wonder if this was designed just to piss off both sides in ireland 21:24:43 but iirc most of the pro-independence groups want to keep using the pound and enter a currency union with the uk, rather than switching to the euro 21:24:46 which would be awkward 21:24:55 because states joining the EU are required to be on a path to adopting the euro 21:25:01 we already print our own banknotes after all 21:25:08 UK having negotiated an exemption at the start of the EU 21:25:23 Phantom_Hoover: which aren't accepted in England, on the basis that most shopkeepers don't know how to tell whether they're real or forgeries 21:25:24 I got a call from what I assume to be a wrong number, not sure if I should call back 21:25:32 Or... even how I could call back 21:25:47 so does that exemption carry over to scotland or what 21:25:47 kmc: you can stay on the path pretty long without actuall getting the euro though 21:25:48 ais523, eh, it varies on the shopkeeper 21:25:51 olsner: that's true 21:26:04 Phantom_Hoover: indeed 21:26:24 well, I'm in favour of the EU, but not of the euro 21:26:34 -!- ^v has quit (Remote host closed the connection). 21:26:40 also I consider Scottish independence an interesting prospect, but don't believe it will actually happen in practice 21:26:40 i'm not sure anyone's really in favour of the euro any more 21:26:47 also I like that some states use the euro without the knowledge or approval of the ECB 21:26:52 er I mean they know obviously 21:26:55 but there's no formal approval 21:27:59 and as a result they don't get any say in monetary policy 21:29:34 everyone knows ECB mode is insecure anyway 21:31:43 -!- olsner has quit (Quit: Leaving). 21:33:27 > [Just (), Nothing] >>= repeat 21:33:29 [Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Jus... 21:33:55 > [Just (), Nothing] >>= replicate 3 21:33:56 [Just (),Just (),Just (),Nothing,Nothing,Nothing] 21:34:16 Is that first one anything like the mythical 0.9 repeating 1? 21:34:26 Sgeo: no 21:34:32 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:34:34 let me simplify it 21:34:39 > [1, 2] >>= repeat 21:34:40 [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... 21:34:48 now, repeat makes an infinite list of 1s 21:34:55 ais523: and then twos after infinity, I would think 21:35:02 err, of its argument 21:35:05 Except they aren't reachable 21:35:05 It's the same as concatenating an infinite list of 1s to an infinite list to 2s 21:35:20 so if you view it as a List monad action, it replaces each element of a list with infinitely many copies 21:35:27 so yeah, the 2s are unreachable 21:35:27 Right, so, like 0.99999999999999999999 repeating followed by something else, which doesn't really make sense 21:35:38 > [1, fix id] >>= repeat 21:35:39 [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... 21:35:45 > [fix id, 1] >>= repeat 21:35:48 (>>= f) is just concat . map f 21:35:49 mueval-core: Time limit exceeded 21:35:57 Or concatMap f 21:36:41 I don't think I need the tutorial on >>= in the list monad 21:37:33 I thought we were just saying factual stuff randomly 21:39:02 How about fictional stuff randomly? id is non-strict on its argument 21:39:14 FreeFull: that's what you do all the time 21:40:05 kmc: Sometimes 21:40:34 Sgeo is writing list monad fan fiction 21:40:34 Pure Haskell functions do not mutate anything 21:42:10 Laziness is actually a limited form of mutation 21:42:16 But that's an implementation detail 21:42:37 thatsthejoke.png 21:42:41 So I should specify GHC? 21:44:43 it's funny though because it means that ghc haskell has this pervasive hidden side effect that is almost impossible to reason about 21:44:52 if you care about performance 21:45:00 and that's like the opposite of what haskell is supposed to be about 21:45:04 maybe we could say .999....4 is 9*10^-1 + 9*10^-2 + 9*10^-3 + ... + 4*10^-\infty 21:45:55 kmc: I don't think it's possible to follow the standard and do much better with regards to performance though 21:46:05 arithmetic on \infty is poorly defined 21:46:15 FreeFull: well it is, but in ways that aren't really relevant to my point 21:46:30 It's easy to do 0.999... 21:46:32 we define 10^-\infty as zero. for the sake of my meaningless point 21:46:34 It's just 9/9 21:46:35 Idris has laziness annotations in function types, and strict by default otherwise 21:46:40 yes thank you FreeFull 21:46:41 Which seems like a good idea to me 21:46:43 you can do arithmetic on ω and such 21:46:47 > 8 / 9 21:46:49 0.8888888888888888 21:46:53 > 1 / 9 * 9 21:46:54 1.0 21:47:00 blowing my mind here 21:47:14 > 12345 / 99999 21:47:15 0.12345123451234512 21:47:49 > 71 / 39 21:47:50 1.8205128205128205 21:48:09 But the 71 doesn't repeat 21:48:13 > 71/99 21:48:14 0.7171717171717171 21:48:19 > pi / exp(sqrt(2)) 21:48:20 0.763773746863268 21:48:32 Too irrational D:< 21:48:38 > 1 / -1 21:48:38 Precedence parsing error 21:48:39 cannot mix `GHC.Real./' [infixl 7] and prefix `-' [infixl 6] in the same... 21:48:49 I think most people here know the denominator 9s trick... although I'm not totally sure how it works 21:49:05 just take the limit. 21:49:06 i had forgotten 21:49:07 everyone loves limits 21:49:15 know your limits 21:49:33 Sgeo: It works in other bases too 21:50:02 I could have guessed... base-1 several times in denominator 21:50:39 I wonder if it works in fractional bases 21:54:31 S = a*b^-1 + a*b^-2 + ... -> S*b = a + a*b^-1 + a*b^-2 -> S*b = a + S -> S(b-1) = a -> S = a/(b-1) 21:54:44 throw another ellipsis in there, barkeep 21:55:53 I like how simple repunits are to generate 21:56:03 (10^n - 1)/(10-1) 21:56:12 Works for any integer base that is 2 or bigger 21:56:34 n is a positive integer 21:56:42 you're a positive integer 21:57:16 Thank you 21:58:03 Sgeo: the nice thing is that it works for negative n too 21:58:09 -0.1, -0.11, -0.111, -0.1111, etc. 21:58:20 (again, regardless of the base) 21:59:24 I assume ais523 meant FreeFull 21:59:36 err, yes 22:00:05 ais523: Yeah, except for ending up negative 22:00:17 well, the 0th repunit is 0 22:00:20 Sgeo: Today is your day 22:00:25 so negative repunits have to be negative, really 22:00:27 merry christmas 22:00:41 merry christmas. 22:01:24 merry christmas 22:01:40 chris merrytmas 22:01:53 rather, I should say.. 22:02:00 -!- nooodl has quit (Ping timeout: 260 seconds). 22:02:02 happy Baby Jesus Blowout Extravaganza 2013. 22:02:27 'Goormaghtigh conjecture' 22:02:30 kmc: just realized you don't need laziness to get infinite data structures... Rust has effectively infinite data structures via owned pointers, right? 22:03:16 Sgeo: I don't think they're infinite 22:03:53 Hmm, maybe not owned pointers particularly, but some sort of pointer? 22:04:18 is seven an infinite data structure 22:04:58 Sgeo: how do you figure 22:05:30 any structure made of owned & borrowed pointers can be built using raw C-style pointers (in Rust or in C) 22:05:48 I think you can do one using managed pointers 22:05:51 just with no safety checking or smart memory management 22:05:52 an infinite structure, that is 22:06:05 err, cyclic 22:06:20 You need to use pointers in Rust for recursive structures 22:06:24 you could do a "cyclic" structure with a mix of owned and borrowed, but it'd be one where all the cycles were broken via borrowed pointers 22:06:24 I seem to have forgotten about non-cyclic infinite structures 22:06:31 Mostly owned pointers 22:06:41 some advantages of seven: * infinitely many bits * prime * not like those other girls 22:06:47 you can represent something like the classic Haskell "infinite list" in Rust or C, you just need to explicitly distinguish the thunk at the end of the list-so-far and call it to get more elems 22:06:50 Non-recursive structures are basically unboxed 22:07:06 I don't think Rust brings anything special in this area 22:07:24 Bike: it might have infinitely many bits, but most of them are zeros :-( 22:07:41 ais523: allowing for efficient storage! 22:07:49 truly, seven is the data structure of the future 22:09:09