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 <Koen_> 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 <Koen_> this school is FUN
01:06:10 <Bike> pseudo-ass language
01:07:57 <Koen_> 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 <Koen_> (entering password to boot the computer took a few tries though)
01:08:32 <int-e> oh, sorry. I got hooked up on the first word and didn't notice the consistency :)
01:08:41 <oerjan> you cannot prove it wasn't five words
01:09:21 <int-e> (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 <Koen_> azerty is like french for qwerty and oh guess what the punctuation is all wrong
01:10:54 <Koen_> anyway, just wanted to say hi to you guys
01:11:50 <Koen_> 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 <Sgeo> 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 <Sgeo> At least on social media websites
01:20:54 <Sgeo> Don't know if IRC is covered
01:21:22 <Sgeo> (I'm not disagreeing with the policy, just not sure how it would apply to chat)
01:21:47 <Bike> cablevision doesn't sound like the name of a company that has opinions
01:26:57 <Koen_> sounds can be deceiving
01:27:18 <kmc> irc is a social media website
01:27:47 <Sgeo> IRC is a social medium, which in most cases can be accessed via some websites
01:28:15 <Sgeo> Maybe I don't need the disclaimer if I see no web client users?
01:29:25 -!- copumpkin has joined.
01:34:25 -!- ^v has joined.
01:40:58 <Sgeo> "Breaking News: No shots fired"
01:46:45 <Sgeo> ^^ actual headline
01:47:14 <Sgeo> or.. whatever they're called on TV news
01:47:30 <Sgeo> Probably made more sense to people who were watching than people who saw a glimpse
01:51:31 <Phantom_Hoover> the pardon campaign was nothing but tactless pandering to begin with
01:52:33 <Phantom_Hoover> afaik the important part -- the absolution of all gays convicted under those laws -- was quietly implemented years ago
01:53:56 <Phantom_Hoover> 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 <elliott> pardoning someone for violating an unjust law is somewhat perverse
01:54:35 <elliott> since it implies special circumstances mean that Turing's being gay was excusable
01:55:04 <Phantom_Hoover> someone should disagree so we can have a proper fight over this
01:55:37 <LinearInterpol> 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 <Bike> i admit i'm kind of glad every time i see turing in the news at all since he owned
01:57:18 <Bike> is that movie with cumbutler out yet
01:57:50 <Phantom_Hoover> look if you want to deride cumberbatch just call him poshfuck
01:58:16 <Phantom_Hoover> 'ultimate poshfuck' if there are other poshfucks forcing disambiguation
01:58:24 <Bike> i don't dislike him or anything even he just has an absurd name
01:59:00 <Bike> is he bad/ i seriously don't know, i've never seen anything with him in it
02:00:07 <Phantom_Hoover> 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:02:01 <Bike> «“I remember being really quite scared at the Twitter thing [a global army of online fans call themselves “Cumberbitches”]» terrifying
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:51:44 <Bike> now i have a machinegun
04:52:47 -!- preflex_ has joined.
04:53:23 -!- preflex has quit (Ping timeout: 272 seconds).
04:53:32 -!- preflex_ has changed nick to preflex.
04:56:53 <Sgeo> 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 <oerjan> <Bike> 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 <oerjan> 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 <oerjan> `addquote <Sgeo> I don't like having an infinitely large close button on my browser
10:53:09 <HackEgo> 1147) <Sgeo> 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 <FreeFull> My browser doesn't have a close button
11:24:04 <oerjan> 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:30 <FreeFull> No window decorations whatsoever
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 <Taneb> Trivia: when I was pretending to be a rabbi, the actor Mr. Neeson pretended to be my son
13:26:22 <Taneb> And today it is his birthday!
13:28:40 <Taneb> God, imagine if Liam Neeson played my son
13:29:22 <Taneb> Since when is Liam Neeson a "her"/
13:30:09 <Taneb> My godfather was once on Who Wants To Be A Millionaire
13:31:11 <oerjan> `addquote <Taneb> Well, get him <Phantom_Hoover> her! <Taneb> Well, get her <Taneb> Hang on <Taneb> Since when is Liam Neeson a "her"/ <Phantom_Hoover> oh i thought you meant my dad's godmother
13:31:15 <HackEgo> 1148) <Taneb> Well, get him <Phantom_Hoover> her! <Taneb> Well, get her <Taneb> Hang on <Taneb> Since when is Liam Neeson a "her"/ <Phantom_Hoover> oh i thought you meant my dad's godmother
13:31:37 <Taneb> And... my great uncle makes honey?
13:31:53 <Taneb> And my... dad's cousin is in a crime drama?
13:32:15 <Taneb> The Doctor Blake Mysteries
13:38:33 <Koen_> doctor blake? isn't that the fake series from friends?
13:39:16 <Taneb> Koen_, it's also a real series from Australia
13:39:39 <Koen_> australia? isn't that the fake continent?
13:40:02 <Taneb> Koen_, if it's fake then I'm 50% fake
13:40:07 <Taneb> Which I guess is true
13:40:11 <Taneb> So Australia is fake!
13:42:58 -!- carado has quit (Ping timeout: 246 seconds).
13:46:19 <Koen_> hmmm so I've got a permutation
13:46:34 <Koen_> and I have to output a sequence of instruction to build that permutation
13:47:31 <Koen_> 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).
15:03:58 -!- tromp_ has joined.
15:12:13 <oerjan> i was checking that new one for 255
15:12:51 -!- boily has joined.
15:13:01 <oerjan> which makes some of the others obsolete
15:13:08 <boily> good Joyeux Noël morning!
15:13:42 <quintopia> boily i've been working on something for you!
15:14:18 <boily> oerjoyeux noël à toi aussi :D
15:14:46 <boily> joyeux quinoëltopia!
15:16:27 -!- ais523 has joined.
15:17:46 <quintopia> boily: this has been my main project of the past few days: http://imgur.com/cqSDKci
15:21:27 <boily> you christmassy fiend! :p
15:21:48 <boily> oh right. I should metasepia first.
15:22:44 -!- metasepia has joined.
15:22:49 <metasepia> CYQB 251500Z 22012KT 25SM FEW020 M18/M21 A3050 RMK SC1 SC TR SLP336
15:24:38 <quintopia> boily: you could have been here. two of your fellow quebecois computer geeks are here.
15:24:43 -!- oerjan_ has joined.
15:24:54 <boily> quintopia: bin wéyons don.
15:25:03 -!- oerjan has quit (Disconnected by services).
15:25:11 -!- oerjan_ has changed nick to oerjan.
15:25:22 <quintopia> why say it if i can't understand it
15:25:32 <boily> can you transcribe it for them? :D
15:25:36 <quintopia> also, there is nothing that is untranslatable if you try hard enough
15:25:57 <oerjan> > length "+++++[>+++++++<-]>[<+++++++>-]<++++"
15:26:26 <boily> quintopia: uhm... “well we see [emphatic particle]”?
15:27:51 <boily> it's an exclamation of inquiring surprise, denoting scepticism and a desire to know more.
15:29:20 <quintopia> jordan thiboust and his wife(?) cyrielle
15:30:08 <quintopia> he's a game designer at ubisoft (Assassin's Creed 2015) and she's a QAer at a subsidiary of Activision.
15:32:04 <boily> go enjoy the droempiunbilciacn while you can!
15:33:09 <oerjan> it seems to me that the new 2-cell non-wrapping algorithms are sometimes better than the old 3-cell ones...
15:34:21 <oerjan> 248 being the first (last?)
15:34:54 <oerjan> 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 <oerjan> boily: your bot is not feeling well
15:38:47 <boily> I now, and it is time to go for me also.
15:39:38 <boily> 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 <oerjan> 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 <ais523> yep, that keeps catching ais523_ out too
16:08:10 <nooodl> oh noooo i have to document this esolang
16:08:58 <ais523> I dunno, documentation's the interesting part sometimes
16:09:05 <ais523> btw, merry christmas, all those who celebrate it today
16:09:12 <nooodl> merry christmas ais523 !
16:10:21 <oerjan> merry christmas, all those who _don't_ celebrate it today! *hides behind rock*
16:12:35 <kmc> the set of all christmases that do not celebrate themselves
17:03:16 -!- ^v has joined.
17:05:04 <quintopia> thanks ais523 and to you too. i will spend the rest of the day in cars and planes and airports
17:07:00 <quintopia> oerjan: what is the 3-cell algorithm for 248?
17:07:27 <oerjan> there's a whole bunch listed right under the 2-cell one i inserted.
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 <zzo38> 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 <oerjan> zzo38: i don't recall seeing dotted strikeouts...
20:54:47 -!- MindlessDrone has joined.
21:01:10 <Bike> «the holes (called "exploits" in security lingo) »
21:02:24 <oerjan> getting too close to black exploits is very insecure.
21:02:51 <Bike> (http://www.businessinsider.com/security-folks-share-snapchat-hack-2013-12)
21:07:00 <Sgeo> Outlook is telling me I missed a meeting this morning... I'm very distinctly certain I have Christmas day off
21:08:10 <oerjan> you just missed the message yesterday evening that your day off was canceled hth
21:09:20 <ais523> maybe your day off /was/ the meeting
21:09:40 <kmc> the meeting was inside you all along
21:09:51 <kmc> and that's the true meaning of christmas
21:13:08 <oerjan> just before christmas does sound like a shitty time to reveal an exploit.
21:13:27 <Phantom_Hoover> doctor who christmas special was godalmighty mess; news at eleven
21:13:41 <oerjan> Phantom_Hoover: was it a timey-wimey mess?
21:14:43 <Sgeo> And I got a weird voicemail that must have been intended for someone else
21:16:14 <kmc> was it a hot mess
21:16:21 -!- AnotherTest has quit (Ping timeout: 248 seconds).
21:16:45 <Sgeo> Phantom_Hoover: It didn't air yet... oh, I guess it aired in England earlier?
21:17:00 <olsner> earlier than in scotland?
21:17:15 <olsner> I thought scotland was in england
21:17:36 <oerjan> i refuse to believe olsner isn't joking
21:17:49 <ais523> I hope olsner isn't joking
21:17:59 <kmc> olsner: right now a huge scottish man is running at you with a claymore
21:18:00 <Sgeo> There's some chart somewhere, but I kind of don't remember it
21:18:20 <Sgeo> And also would have thought that Phantom_Hoover is in England and not Scotland
21:18:24 <kmc> it's not that complicated. until you try to explain jersey and guernsey and shit like that
21:18:36 <ais523> Sgeo: Phantom_Hoover's been well-established to claim to be Scottish
21:18:43 <Sgeo> http://qntm.org/uk
21:19:02 <olsner> england and scotland are in the same place on that chart, that's good enough for me
21:19:02 <Sgeo> I was wavering back and forth as to whether or not too say UK
21:19:18 <Phantom_Hoover> 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 <kmc> i like that the placement of the dots within Great Britain is vaguely geographical
21:19:50 <kmc> people are talking about whether they'll redesign the Union Jack if Scotland leaves the UK
21:20:06 <kmc> BBC has some example redesigns most of which are eye-wateringly ugly http://www.bbc.co.uk/news/magazine-25222891
21:20:12 <Phantom_Hoover> they'd have to lose the blue background, it'd be a disaster
21:20:28 <olsner> will scotland still be in the GB or the commonwealth after independence?
21:20:51 <kmc> olsner: Great Britain is a mostly geographic term not a political one
21:20:58 <kmc> it just means the whole island
21:21:12 <ais523> 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 <ais523> 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 <kmc> I think plans are to stay in the commonwealth but not sure
21:21:58 <ais523> 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 <kmc> 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 <ais523> it'd just be renamed again
21:22:17 <Phantom_Hoover> ais523, re ireland, ulster is generally used interchangeably with northern ireland, but parts of ulster aren't actually in northern ireland
21:22:21 <kmc> but the Republic of Ireland doesn't include the whole island of Ireland so whatever
21:22:26 <ais523> Phantom_Hoover: Ulster is a county, isn't it?
21:22:41 <Phantom_Hoover> no, it's... a province, i think? it's the biggest division
21:22:50 <ais523> right, that makes more sense
21:23:01 <kmc> 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 <olsner> does scotland want to be in the EU?
21:23:24 <Phantom_Hoover> which is then subdivided into counties; iirc donegal is the only counter in ulster and the ROI
21:23:46 <kmc> yeah and England wants out :3
21:24:16 <Phantom_Hoover> 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 <kmc> 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 <kmc> which would be awkward
21:24:55 <kmc> because states joining the EU are required to be on a path to adopting the euro
21:25:08 <kmc> UK having negotiated an exemption at the start of the EU
21:25:23 <ais523> 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 <Sgeo> I got a call from what I assume to be a wrong number, not sure if I should call back
21:25:32 <Sgeo> Or... even how I could call back
21:25:47 <kmc> so does that exemption carry over to scotland or what
21:25:47 <olsner> kmc: you can stay on the path pretty long without actuall getting the euro though
21:25:51 <kmc> olsner: that's true
21:26:04 <ais523> Phantom_Hoover: indeed
21:26:24 <ais523> 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 <ais523> also I consider Scottish independence an interesting prospect, but don't believe it will actually happen in practice
21:26:40 <Phantom_Hoover> i'm not sure anyone's really in favour of the euro any more
21:26:47 <kmc> also I like that some states use the euro without the knowledge or approval of the ECB
21:26:52 <kmc> er I mean they know obviously
21:26:55 <kmc> but there's no formal approval
21:27:59 <kmc> and as a result they don't get any say in monetary policy
21:29:34 <kmc> everyone knows ECB mode is insecure anyway
21:31:43 -!- olsner has quit (Quit: Leaving).
21:33:27 <Sgeo> > [Just (), Nothing] >>= repeat
21:33:29 <lambdabot> [Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Jus...
21:33:55 <FreeFull> > [Just (), Nothing] >>= replicate 3
21:33:56 <lambdabot> [Just (),Just (),Just (),Nothing,Nothing,Nothing]
21:34:16 <Sgeo> Is that first one anything like the mythical 0.9 repeating 1?
21:34:32 -!- MindlessDrone has quit (Quit: MindlessDrone).
21:34:40 <lambdabot> [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 <ais523> now, repeat makes an infinite list of 1s
21:34:55 <Sgeo> ais523: and then twos after infinity, I would think
21:35:05 <Sgeo> Except they aren't reachable
21:35:05 <FreeFull> It's the same as concatenating an infinite list of 1s to an infinite list to 2s
21:35:20 <ais523> so if you view it as a List monad action, it replaces each element of a list with infinitely many copies
21:35:27 <ais523> so yeah, the 2s are unreachable
21:35:27 <Sgeo> Right, so, like 0.99999999999999999999 repeating followed by something else, which doesn't really make sense
21:35:38 <ais523> > [1, fix id] >>= repeat
21:35:39 <lambdabot> [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 <ais523> > [fix id, 1] >>= repeat
21:35:48 <FreeFull> (>>= f) is just concat . map f
21:36:41 <Sgeo> I don't think I need the tutorial on >>= in the list monad
21:37:33 <FreeFull> I thought we were just saying factual stuff randomly
21:39:02 <Sgeo> How about fictional stuff randomly? id is non-strict on its argument
21:39:14 <kmc> FreeFull: that's what you do all the time
21:40:34 <kmc> Sgeo is writing list monad fan fiction
21:40:34 <Sgeo> Pure Haskell functions do not mutate anything
21:42:10 <FreeFull> Laziness is actually a limited form of mutation
21:42:16 <FreeFull> But that's an implementation detail
21:42:37 <kmc> thatsthejoke.png
21:42:41 <Sgeo> So I should specify GHC?
21:44:43 <kmc> 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 <kmc> if you care about performance
21:45:00 <kmc> and that's like the opposite of what haskell is supposed to be about
21:45:04 <Bike> maybe we could say .999....4 is 9*10^-1 + 9*10^-2 + 9*10^-3 + ... + 4*10^-\infty
21:45:55 <FreeFull> kmc: I don't think it's possible to follow the standard and do much better with regards to performance though
21:46:05 <kmc> arithmetic on \infty is poorly defined
21:46:15 <kmc> FreeFull: well it is, but in ways that aren't really relevant to my point
21:46:32 <Bike> we define 10^-\infty as zero. for the sake of my meaningless point
21:46:35 <Sgeo> Idris has laziness annotations in function types, and strict by default otherwise
21:46:40 <Bike> yes thank you FreeFull
21:46:41 <Sgeo> Which seems like a good idea to me
21:46:43 <kmc> you can do arithmetic on ω and such
21:47:00 <Bike> blowing my mind here
21:48:19 <Bike> > pi / exp(sqrt(2))
21:48:39 <lambdabot> cannot mix `GHC.Real./' [infixl 7] and prefix `-' [infixl 6] in the same...
21:48:49 <Sgeo> I think most people here know the denominator 9s trick... although I'm not totally sure how it works
21:49:05 <Bike> just take the limit.
21:49:06 <kmc> i had forgotten
21:49:07 <Bike> everyone loves limits
21:49:15 <kmc> know your limits
21:49:33 <FreeFull> Sgeo: It works in other bases too
21:50:02 <Sgeo> I could have guessed... base-1 several times in denominator
21:50:39 <FreeFull> I wonder if it works in fractional bases
21:54:31 <Bike> 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 <Bike> throw another ellipsis in there, barkeep
21:55:53 <FreeFull> I like how simple repunits are to generate
21:56:12 <FreeFull> Works for any integer base that is 2 or bigger
21:56:42 <Bike> you're a positive integer
21:58:03 <ais523> Sgeo: the nice thing is that it works for negative n too
21:58:09 <ais523> -0.1, -0.11, -0.111, -0.1111, etc.
21:58:20 <ais523> (again, regardless of the base)
21:59:24 <Sgeo> I assume ais523 meant FreeFull
22:00:05 <FreeFull> ais523: Yeah, except for ending up negative
22:00:17 <ais523> well, the 0th repunit is 0
22:00:25 <ais523> so negative repunits have to be negative, really
22:00:27 <Bike> merry christmas
22:02:00 -!- nooodl has quit (Ping timeout: 260 seconds).
22:02:27 <Bike> 'Goormaghtigh conjecture'
22:02:30 <Sgeo> 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 <FreeFull> Sgeo: I don't think they're infinite
22:03:53 <Sgeo> Hmm, maybe not owned pointers particularly, but some sort of pointer?
22:04:18 <Bike> is seven an infinite data structure
22:04:58 <kmc> Sgeo: how do you figure
22:05:30 <kmc> any structure made of owned & borrowed pointers can be built using raw C-style pointers (in Rust or in C)
22:05:48 <ais523> I think you can do one using managed pointers
22:05:51 <kmc> just with no safety checking or smart memory management
22:05:52 <ais523> an infinite structure, that is
22:06:20 <FreeFull> You need to use pointers in Rust for recursive structures
22:06:24 <ais523> 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 <Sgeo> I seem to have forgotten about non-cyclic infinite structures
22:06:41 <Bike> some advantages of seven: * infinitely many bits * prime * not like those other girls
22:06:47 <kmc> 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 <FreeFull> Non-recursive structures are basically unboxed
22:07:06 <kmc> I don't think Rust brings anything special in this area
22:07:24 <ais523> Bike: it might have infinitely many bits, but most of them are zeros :-(
22:07:41 <Bike> ais523: allowing for efficient storage!
22:07:49 <Bike> truly, seven is the data structure of the future
22:09:09 <kmc> > let f 0 = "{}"; f n = (let x = f (n-1) in x ++ ",{" ++ x ++ "}") in f 7
22:09:10 <lambdabot> "{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},{{},{{}},{{},{{}}},{{},{{}},{{},{{}}}...
22:12:54 -!- nooodl has joined.
22:13:44 -!- zzo38 has quit (Remote host closed the connection).
22:16:32 <Taneb> It still amuses me that the first thing you see in Newcastle's chinatown is the Tynedale Irish Club
22:17:48 -!- conehead has joined.
22:23:16 -!- CADD has quit (Quit: Connection closed for inactivity).
22:25:43 <kmc> Taneb: is the irish club run by chinese people
22:26:10 <Bike> do they serve chinese turkey
22:26:54 <Taneb> Bike, yeah, on finest turkish china
22:26:57 -!- conehead has quit (Quit: Computer has gone to sleep.).
22:32:19 <Taneb> Phantom_Hoover, I enjoyed it but I try really hard to enjoy everything so I don't know whether it was good or not
22:37:41 <kmc> Missing Out Man, the worst superhero
22:40:21 <fizzie> Never there when he's needed?
22:41:11 <kmc> how's your xmas and such
22:41:47 <fizzie> It's following established trajectories.
22:45:43 <fizzie> (We've made the traditional christmas foods -- tortillas with a meat-onion-bell-pepper fillings; chocolate fondue with (totally) bananas -- and I've mostly been playing games on a computer.)
22:49:19 <fizzie> ("Google Chrome could not load the webpage because store.steampowered.com took too long to respond. The website may be down, or you may be experiencing issues with your Internet connection." man, that "free L4D2" deal just did a number on their servers.)
22:49:53 <fizzie> Oh, and we had that Pallini evening, though that was somewhat before the holidays.
22:50:03 <fizzie> (The "my balls" brand of limoncello.)
22:52:40 <kmc> hehe, balls
22:52:51 <kmc> what happens on Pallini evening, other than the drinking of Pallini?
22:53:03 <kmc> or is it more like "what happens on Pallini evening stays in Pallini evening"?
22:54:19 <fizzie> kmc: We watched The Running Man, because it was being shown by one of the local TV channels, and it seemed somehow appropriate.
22:55:41 <fizzie> (Unrelated: I was tempted to say "playing vidcons" back there, a word I learned from a Barkley, Shut Up and Jam: Gaiden video, but was afraid the reference wouldn't be "gotten".)
22:59:09 <oerjan> fizzie: your christmas cuisine seems somehow unfinnish...
23:00:16 <fizzie> oerjan: Yes, well, that's because Finnish christmas cuisine is kind of stupid.
23:07:42 <kmc> what is finnish christmas cuisine?
23:08:50 -!- conehead has joined.
23:09:01 <fizzie> The "centerpiece" is conventionally a ham, but the turkey has been stealing some market share.
23:10:17 -!- preflex has quit (Remote host closed the connection).
23:10:36 <fizzie> Then there's fish in a couple of ways, the "boxes" (various casseroles; potato, carrot, rutabaga are the usual triplet) and "rosolli", which is a kind of a beetroot/carrot/potato/apple/etc. salad.
23:11:01 <fizzie> The latter sometimes with whipped cream, possibly coloured light pink with the beetroot juice.
23:11:30 <fizzie> Karelian stew in the eastern parts, but I'm not sure if that counts, since it's quite an everyday food there too.
23:11:40 <FreeFull> Beetroot juice can colour other things too
23:12:15 -!- preflex has joined.
23:12:40 <fizzie> Oh, and rice porridge, possibly not as a part of the actual christmas dinner but just generally during this time of the year.
23:13:01 <fizzie> And some sort of plum-based dessert, that's quite common too.
23:13:08 <fizzie> That's about all I can think of offhand.
23:13:56 <fizzie> The ham is supposed to have some kind of a mustard glazing thing going on, too.
23:14:37 <fizzie> (Oh, and there's glögi (mulled wine) to drink, but there's nothing wrong with *that*.)
23:16:18 <fizzie> Some people eat lutefisk, I believe.
23:17:04 -!- ^v has joined.
23:20:44 <kmc> i don't really understand the appeal of turkeys
23:20:47 <kmc> most of the meat is flavorless
23:21:12 <kmc> FreeFull with the #beetrootjuicefacts
23:21:34 <kmc> mulled wine is great
23:25:16 -!- conehead has quit (Quit: Computer has gone to sleep.).
23:28:44 <fizzie> Though it's more of a "it's twenty degrees below freezing out there" drink, seems a bit of a waste for this "flat +5 °C day and night" weather.
23:32:16 <kmc> that's pretty warm
23:40:57 <fizzie> http://outside.aalto.fi/img/temp.week.png
23:42:22 <fizzie> Warmer than the average, but possibly nothing too unlikely yet.
23:42:35 <fizzie> Statistically, two out of three christmases in Helsinki are white.
23:43:04 -!- nisstyre has joined.
23:51:24 <kmc> ah, I guess it's already not-Christmas there
23:52:57 <oerjan> that might depend how you define christmas.
23:53:24 <fizzie> It's been the 26th for about two hours now.
23:53:43 <oerjan> by some norwegian traditions, "jul" lasts for 20 days.
23:54:58 <kmc> some would say that christmas is on january 7
23:56:43 <FireFly> The sixth is a holiday in sweden anyway
23:56:59 <FireFly> "Thirteenth day of christmas"
23:57:45 <FireFly> Oh, I guess it's twelth day, counting from the 25th
23:59:17 <kmc> look i just put "orthodox easter" into google i didn't ask a bishop or w/e