00:03:28 -!- Herbalist has joined. 00:03:47 @seen ORin 00:03:47 You are in #esoteric.. 00:04:01 ..? 00:07:34 -!- infinitymaster has quit (Quit: Leaving...). 00:08:58 -!- ORin has quit (Quit: Lost terminal). 00:09:59 -!- ORin has joined. 00:11:54 maybe not a good idea to press ^A and then random letters to see what they do 00:13:00 apparently ^Ak kills everything in the active terminal 00:13:09 pretty useful actually 00:20:10 -!- Wright has joined. 00:21:56 -!- Nihilumbra has joined. 00:23:36 -!- ZombieAlive has quit (Remote host closed the connection). 00:32:40 Fungot are you a fungot made of light 00:32:40 Nihilumbra: another error, as it were, something exterior to the state. 00:35:33 fungot is, i think, made of fudge 00:35:33 ORin: book ix. fnord), and even the will; which, seizing upon the senses and imagination, in the states where it is fnord riots ought to suspend our judgment until the first effervescence is a little more besides. those pictures of beard's in that fnord little did i dream when she added titles of veneration to those of the body. 00:48:31 I believe the fungot is a vortex of fnords. 00:48:31 boily: " no man can be pardoned for describing ill, for observing the world in all stages of civilisation. as one of these on making land came straight to london, inspected by the court faction, a degree of his confidence, to set apart and commissioned to be a chief guest on an occasion like this. 00:49:50 Nihilumbra: Nihellolumbra. first time I see you in this channel. what are your approximate coördinates and body weigh? 01:13:08 -!- boily has quit (Quit: CAPITAL CHICKEN). 01:16:10 I will empty your body of your vital organs 01:16:32 The cruor of your eviceration will cling to the ceiling 01:16:43 Anyways what did boily need from me 01:21:19 body weight, longitude, latitude, and altitude? 01:24:36 -!- ZombieAlive has joined. 01:24:57 -56000,000 lbs. x -64157 y -651 and altitude is 78e+808^100 light years above earths atmosphere 01:26:36 uh 01:26:50 this channel is about esoteric programming languages, right? 01:27:02 yah 01:27:22 Right, Wright 01:27:35 [-]++++++++++++++++++++++++++++++++++++++++++++++++++++++.+.+. and all that 01:28:17 mmkay, just checking 01:28:20 Why 01:29:01 `8-ball why not? 01:29:31 Proof that all bots are invisible humans that are really slow 01:30:07 Oh, hackego isn't online 01:31:51 ORin: I'd assume the initial state of that cell is 0 01:31:55 So [-] is redundant 01:32:11 Yeah 01:32:15 Not in my screwed up C impl 01:32:28 Lol 01:32:44 It just takes a pointer to the open stacka nd uses it as the tape 01:33:00 because I accidentally joined #esoteric on efnet first instead of on freenode (on efnet it's some weird culty religious thing), and fungot's messages vaguely represented the stuff in that channel. I wasn't sure if he was serious or not 01:33:01 Wright: your executive administration through the whole course of history and posterity, i care not, as many others had compared it, to engraft it and spread it over more territory. it was merely a continuation of the literature of britain. 01:33:52 I see. 01:33:52 LOL 01:33:58 I'm gonna join 01:34:09 Also esoteric means something or whatever 01:34:37 No. but I need it 01:35:43 I left the other #esoteric right away, but they link to this guy in their channel topic http://www.amazon.com/Mike-Hockney/e/B004KHR7DC 01:36:34 Note that taking a pointer to the open stack as the tape means the top 5 or so cells are unstable when you perform a . instruction 01:36:50 er. first cells 01:37:47 lol 01:37:50 Example of unstable 01:38:40 Ooh I wrote a TI-basic brainf interpreter 01:39:06 The meme cultur is real on this amazon page 01:39:34 what's efnets adress again? 01:39:50 Wright what server did you connect to? 01:40:06 I use irc.mzima.net, not sure if there's an 'official' one like freenode has 01:40:44 Port? 01:40:50 6667 01:41:54 666 illuminati 01:42:01 lol yep 01:42:17 Oh goddammit, I visited that amazon link one too many times. Now google's giving me weird ads 01:42:28 stuff like http://pagead2.googlesyndication.com/simgad/17740892814984858553 01:43:03 Muahah 01:43:08 Programming 01:49:06 Doesn't seem to bad 01:49:54 -!- variable has joined. 01:50:16 Oh god its a free variabkle 01:51:00 Really? Okay; I was only there for a split second, didn't get to see them talking 01:52:51 Found my ti-basic brainfuck thing, btw! http://cemete.ch/p234462#234462 01:53:15 -!- lleu has quit (Read error: Connection reset by peer). 01:53:50 I called the memory tape a 'stack' for some reason 02:01:22 -!- solid_whiskey has joined. 02:03:12 A stack 02:04:39 -!- Ox0dea has joined. 02:22:15 -!- hilquias has joined. 02:24:22 -!- Sprocklem has joined. 02:26:18 -!- Frooxius has joined. 02:27:13 -!- Froox has joined. 02:28:02 -!- Froo has joined. 02:30:44 -!- Frooxius has quit (Ping timeout: 252 seconds). 02:31:07 -!- Frooxius has joined. 02:31:27 -!- Froox has quit (Ping timeout: 252 seconds). 02:31:54 -!- Froox has joined. 02:31:58 -!- oerjan has joined. 02:32:33 -!- Froo has quit (Ping timeout: 252 seconds). 02:32:44 -!- Froo has joined. 02:35:29 -!- Frooxius has quit (Ping timeout: 252 seconds). 02:36:13 -!- Frooxius has joined. 02:36:15 -!- Froox has quit (Ping timeout: 255 seconds). 02:36:57 -!- Froox has joined. 02:37:09 -!- Froo has quit (Ping timeout: 255 seconds). 02:37:49 -!- Froo has joined. 02:39:34 -!- bb010g has quit (Quit: Connection closed for inactivity). 02:40:45 -!- Frooxius has quit (Ping timeout: 255 seconds). 02:41:21 -!- Froox has quit (Ping timeout: 244 seconds). 02:41:47 -!- Frooxius has joined. 02:42:23 -!- Froo has quit (Ping timeout: 244 seconds). 02:42:29 -!- ChanServ has set channel mode: +o oerjan. 02:43:40 -!- oerjan has set channel mode: +b *!Frooxius@199-241-202-205.PUBLIC.monkeybrains.net$#fix_your_connection. 02:44:06 -!- oerjan has set channel mode: -o oerjan. 02:54:42 -!- solid_whiskey has quit (Ping timeout: 264 seconds). 03:12:01 @seen oerjan 03:12:01 oerjan is in #esoteric. I don't know when oerjan last spoke. 03:15:00 @seen shachaf 03:15:00 shachaf is in #esoteric, ##crypto, #ghc, #haskell-gsoc, #haskell-infrastructure and #haskell-lens.. 03:15:16 @seen lambdabot 03:15:16 Yes, I'm here. I'm in #fp@nith, #lpmc, #lysa, #learnmath, ##scalaz, #vinyl, #aurapm, #plaimi, ##megaharem, #lw-prog, #bfpg, #nicta-course, ##categorytheory, #hledger, #ledger, #csa_uva, #tanuki, ##villagegreen, #hscraft-srv, #esoteric, ##manatee, #unicycling, #scannedinavian, #mainehackerclub, #scala, #rosettacode, #macosx, #scalaz, #functionaljava 03:15:16 , #jtiger, ##crypto, #jhc, #happs, #ghc, #gentoo-uy, #fedora-haskell, #gentoo-haskell, #friendly-coders, #macosxdev, #haskell-game, #haskell-freebsd, #dreamlinux-es, ##proggit, #learnprogramming, #learnanycomputerlanguage, #darcs, #archlinux-haskell, #haskell-arcade, ##logic, #yi, #numerical-haskell, #snapframework, #diagrams, #xmonad, #agda, # 03:15:16 hackage, #haskell-beginners, #haskell-cn, #haskell-by, #haskell-id, #haskell_ru, #haskell.se, #haskell.ru, #haskell.no, #haskell.jp, #haskell.it, #haskell.hr, #haskell-fr, #haskell.fi, #haskell.es, #haskell.dut, #haskell.de, #haskell.cz, #haskell-br, #haskell-pl, #haskell.tw, #haskell.au, #haskell-llvm, #haskell-soc, #haskell-gsoc, #haskell- 03:15:16 overflow, #haskell-in-depth, #haskell-books, #haskell-blah, #haskell-infrastructure, #haskell-lens and #haskell 03:15:24 lambdabot: but i wanted to know when he last spoke! 03:16:17 @tell int-e i think @seen has some verbosity issues 03:16:17 Consider it noted. 03:21:40 -!- solid_whiskey has joined. 03:33:42 -!- solid_whiskey has quit (Ping timeout: 256 seconds). 03:38:37 What is this spam 03:40:48 -!- adu has joined. 03:42:30 Nihilumbra: int-e reenabled lambdabot's @seen command, it's not very good at limiting output 03:42:44 especially when you ask about lambdabot itself 03:43:16 I see 03:43:55 Is it supposed to @seen what a user last said in any room or the most recent 03:44:14 most recent 03:44:36 @help seen 03:44:36 seen . Report if a user has been seen by the bot 03:44:50 @seen Nihilumbra 03:44:50 Nihilumbra is in ##villagegreen, #esoteric and #haskell.. 03:45:13 Yeah 03:45:17 oh it doesn't say when people last spoke any longer 03:45:42 that's what I suspected most bots have that function 03:45:43 @seen oerjan 03:45:43 You are in #esoteric.. 03:45:53 Always in esoteric 03:45:59 ALWAYS 03:46:01 Is this your favourite channel 03:46:15 it's my nearly only channel 03:46:27 (there's one more, ##nomic) 03:46:37 When did you join esoteric 03:46:40 Can I guess 03:46:42 but it's not very active 03:46:53 2007 03:46:55 well sure. there's also a way you could find out. 03:46:57 Around there 03:47:05 well not quite, but close. 03:47:13 it was 2006 03:47:27 I'm not into dredging through years of logs 03:47:40 there's a way via nickserv too 03:47:42 I could just open all the logs and type oerjan 03:47:58 Nice name 03:50:18 Johansen is a pretty decent name 03:50:31 it's the 2nd most common surname in norway 03:50:59 I would've guessed Sweden 03:51:10 sweden would have been Johansson 03:51:15 Lol 03:51:31 Does you client not accept ø in a username 03:51:54 it's irc in general 03:52:19 May I 03:52:33 Nope 03:52:44 I wonder why 03:52:48 although back when i got the nick, it was unix which didn't. 03:53:01 irc is old, from the 80s 03:53:16 and everything needs to be backwards-compatible 03:53:23 Yeah 03:53:35 back then they used | as a substitute. 03:53:50 which looks like ø in some character encodings 03:53:58 Oh 03:54:08 Makes sense 03:54:11 irc was invented in finland 03:54:16 Heh 03:54:20 so it would have been ö there 03:55:16 Oh those suomalainens. 03:56:18 What's they staple food in Norway 03:56:34 these days, pizza and tacos 03:56:38 wow 03:56:42 Very American 03:56:55 well i guess we still eat bread 03:57:15 but pizza and tacos is the general weekend snack 03:57:39 Stereotype for me alchohal and potatos 03:57:52 potatoes are pretty common 03:57:58 Ye 03:58:12 i don't actually know what young people eat nowadays 03:58:18 'snack' 03:58:26 Can I guess your age 03:58:31 when i was young, potatoes was a staple food, anyway 03:58:47 41 years young 03:58:54 bit more 03:59:04 45 03:59:18 in about a month 03:59:23 Cool 04:01:39 alcohol and potatoes, so does that mean you're irish 04:01:43 Yeah 04:01:55 * oerjan giggles 04:02:03 ? 04:02:08 spot on :P 04:02:12 :0 04:02:59 Sixth sense 04:03:26 Putting monads on film 04:03:35 Is it plausible 04:03:36 * oerjan spent about a month in ireland back in '98 04:04:07 sounds badly defined 04:04:16 Probably 04:04:41 Putting lambdabots library onto a vhs tape 04:04:53 And shipping it to the government 04:05:16 i think a link to github would be easier 04:05:27 American government 04:05:38 Lots of stamps and packing peanuts 04:06:37 peanuts stamps 04:07:04 by an old george washington carver recipe 04:07:10 An amazing factorization 04:10:27 Lost connection 04:10:50 I like to have formal departures 04:10:54 Good night 04:19:49 au revoir 04:26:44 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 04:35:50 -!- Herbalist has quit (Read error: Connection reset by peer). 04:36:39 because I accidentally joined #esoteric on efnet first instead of on freenode (on efnet it's some weird culty religious thing), and fungot's messages vaguely represented the stuff in that channel. I wasn't sure if he was serious or not <-- wait is that efnet thing active? we've been trying to find somewhere to point people coming _here_ for the wrong reason... 04:36:39 oerjan: he put the revolver to his forehead and blew a tunnel straight through his head. god forbid that i should call the material walls, doors, and windows of, the world worth speaking of, the influence of their priests; or where the priests who teach the common people is a bottom but for a short time the nation, and that 04:37:04 -!- Herbalist has joined. 04:37:36 oerjan: Appears to have 10 people ATM. 04:37:53 that does sound promising 04:38:19 what about the dalnet one we're already pointing to 04:38:25 They appear to also run a website and such. 04:38:32 ooh 04:38:43 Discussing that chat 04:38:46 I'm back also 04:38:53 Drank to much coffee 04:39:07 So maybe not the largest community, but certainly looks to be alive. 04:39:11 hm i haven't had any caffeine yet... 04:39:23 Dunno -- don't have a Dalnet connection going. :P 04:39:29 might change it once hackego comes back, then 04:39:53 Idk how you come here for the wrong reason, unless you join every esoteric on every irc you join 04:40:15 Want me to see how the dalnet one is doing 04:40:22 oh wait it's doing that thing where it's not joining the channel again 04:40:41 It was having issues earlier 04:40:44 Well, Freenode is a popular IRC network and "esoteric" is more commonly used to refer to esotericism than to esolangs. 04:40:59 Yeah 04:41:18 So it at least sounds like something that oughta work. 04:41:45 If you don't want people coming here for the wrong reasons why not make it +s 04:41:59 Or would that be rude 04:42:18 -!- ORin has quit (Quit: Lost terminal). 04:42:28 Nihilumbra: it doesn't happen _that_ often 04:42:31 It's not a *massive* problem. 04:42:51 You make it seem so 04:42:53 Happens just enough we'd like to be able to say "these people might be more relevant." 04:42:55 But nvm 04:43:52 I'm very slowly entering numbers into a data chart to see precisely how good my bots speed is 04:43:59 -!- Wright has quit (Read error: Connection reset by peer). 04:44:00 I should automate this 04:44:55 @xkcd 1319 04:44:55 Unknown command, try @list 04:46:33 -!- adu has quit (Quit: adu). 04:47:05 -!- oren has joined. 04:48:15 @google xkcd 1319 04:48:16 https://xkcd.com/1319/ 04:48:40 perhaps not much of an improvement 04:50:16 that's caused by him wanting the code to do a perfect job like he would 04:50:56 Most jobs can only be automated in 95% of cases 04:51:20 @bf + +++++++++++++++++++++++++[>++>+++>++++<<<-]++++++++++++++++++++++++++>>-----------.>-------.++++++++++.------. 04:51:21 Cake 04:51:31 I'm pretty sure that's a lie 04:52:08 @bf +[] 04:52:11 Sorry... 04:52:13 Done. 04:52:25 Heh. 04:52:36 lambdabot solved the halting problem? 04:52:42 I left the other #esoteric right away, but they link to this guy in their channel topic http://www.amazon.com/Mike-Hockney/e/B004KHR7DC <-- ok i think i won't be visiting either, then 04:53:04 I can't automate a data chart that's a scroll down I think 04:53:12 Ox0dea: wrapping cells, presumably 04:53:16 or wait 04:53:17 Ill just make sure not to make a mistake 04:53:20 just a timeout 04:53:21 oerjan: For shame. 04:53:31 I'm doing it slowly 04:53:32 Ox0dea: maybe it has a logical loop detector 04:53:48 -!- Herbalist has quit (Ping timeout: 272 seconds). 04:53:55 > 10^10^100 04:54:00 mueval: ExitFailure 1 04:54:11 it is running under haskell which iirc is used by lots of automated proof people 04:54:20 I wish I could see lambdabot behind the scenes 04:54:27 you can 04:54:31 Not that 04:54:40 Like its server 04:54:53 Idk lambdabot is a pretty big bot 04:55:05 Or is it just decieving 04:55:16 -!- shachaf has left. 04:55:19 Ill just make sure not to make a mistake <-- famous programmer last words 04:55:44 Don't jinx me 04:56:15 Nihilumbra: lambdabot is on github hth 04:56:35 and its server is just some vps int-e got 04:56:42 It takes me about 3 days to fill these statistics charts out 04:56:48 1 if I stay up 04:56:54 can't you even cut and paste? 04:56:58 Nah 04:57:00 OCR? 04:58:12 Yeah 04:58:36 The copy and paste works 04:58:50 But it just pastes it back into the box I took it from 04:59:22 Some weird barrier thing a friend made like 2 years ago and now I've forgotten how to take it off 04:59:33 Can't copy into another window 05:00:36 wat 05:00:45 Doesn't let me 05:00:46 that's like, pretty useless 05:00:59 Its so people don't take 05:01:26 Idk if someone wants to re copy 76 modules by hand 05:01:53 What's that topic about 05:02:42 SICP, presumably. 05:03:37 I should really type in full sentences because its probably annoying, I just always hit enter for a new line a lot and I rarely use irc so not so good on manners 05:07:24 Seems like the people here don't really talk 05:07:29 What if they died 05:07:42 And they just left their computer on 05:07:47 * oerjan croaks 05:07:53 Holy crap chicago just HEADED the puck in! 05:08:16 is this ice hockey 05:08:33 Probably 05:08:35 Ref says no goal, you're apparently not allowed to head the puck 05:08:46 Goodness 05:08:56 fiendish 05:09:07 yeah I'm watching the NHL 05:09:43 2OT 10 min CHI 2 ANA 2 05:14:57 -!- bb010g has joined. 05:15:38 -!- ZombieAlive has quit (Remote host closed the connection). 05:19:11 the metre convention is 140 years old today 05:24:48 one minute left in the second overtime 05:32:04 formally verified C analyzer http://compcert.inria.fr/verasco/ 05:44:45 English is a hard language to learn 05:45:11 But it can be learned through tough thorough thought, though 05:46:42 /^But/ and /though$/ are essentially equivalent, and thus mutually redundant, and so should not be used together in the same sentence, or even fragment. 05:47:46 But redundancy is awesome, though. 05:47:49 First of all 05:47:56 *leaves room* 05:48:12 Also: Butthough 05:48:22 Ye 05:48:38 How is but that same as though 05:48:51 The* 05:49:36 Yeah just everyone on the team stand around in the crease 05:50:11 Nihilumbra: Fundamentally, they both indicate refutation of the component to which they're attached. 05:50:30 English isn't my first language 05:50:33 "But don't do that" and "don't do that, though" are equivalent in meaning. 05:51:06 "Don't do that, though" sounds ugly 05:51:24 Which is why its not common 05:51:47 Like saying don't do that, although maybe you could 05:52:03 That sounds a lot better but has different context 05:52:15 Don't do that, though you could 05:52:36 Right, they're certainly not perfectly synonymous, but *starting* with "but" and finishing with "though" is indeed redundant. 05:52:47 I had hoped that using the regular expressions would clarify this point. 05:53:39 But you should've said /^But.*though$/, though. 05:54:10 But I address them as a pair later in the sentence, though. 05:54:18 Ok 05:54:26 The problem with English is that 05:54:51 there are supposedly, but not actually, any rules 05:55:09 If you say a word a lot it sounds like utter bullshit and feels as if you are puking out random syllables 05:55:28 That's not unique to english hth 05:55:31 Nihilumbra: That is called semantic satiation, and it's quite an interesting phenomena. 05:56:23 *phenomenom 05:56:26 *phenomenon 05:56:28 Fuck this language. 05:56:43 fenominon 05:57:00 Feminist onion 05:57:29 Phenomenon sound like m'namana 05:57:38 From the muppets 05:57:57 I suspect a lack of coincidence for some reason. 05:58:37 Its not that interesting because language is made up cats and other animals do just fine by making small movements to indicate what they mean so I'm pretty sure out one common ancestor did the same thing but humans had to be special and now everytime you say a word to much your brain realises wow this is stupid what am I doing 05:58:51 So I feel like speaking just wastes so much energy 05:59:09 You're serious? 05:59:09 -!- adu has joined. 05:59:20 Nope 05:59:23 ^_^ 05:59:47 Would you edumacate me if I was 06:00:33 Would you edumacate me if I was 06:01:07 Dies 06:01:10 Goodnight 06:01:52 And you can speak English even if you pronounce each word incorrectly to piss everyone off right? 06:03:54 hi Ox0dea 06:04:08 Hello, adu. 06:04:13 Eye donut sea wai anyon wood 06:04:35 Android Marshmallow? 06:04:53 Too long, methinks. 06:05:02 Mars Bar, maybe. 06:05:52 * oerjan wonders why cameroon left the CGPM 06:06:10 Thesis ha why ink ripped alma come eunuch Haitians. 06:06:26 Slightly proud of that one, actually. 06:06:52 yeah, but consider these: http://ecx.images-amazon.com/images/I/41wpBoQexXL._SY300_.jpg http://ecx.images-amazon.com/images/I/414iaF3eVeL._SS500_.jpg 06:08:01 * oerjan hits Ox0dea with the saucepan ===\__/ 06:08:40 just to communicate my headache from your line, you see 06:09:02 Hey, that looks like valid SNUSP! 06:12:13 * adu just got it 06:12:20 hm this is strange with cameroon having still close relations with france 06:12:28 (partially) 06:12:42 something about encrypted communications? 06:12:44 "This is how I encrypt all my communications." 06:12:50 i mean north korea leaving is more like, duh. 06:13:13 yeah, I never would have gotten that... 06:13:23 i got it hth 06:13:33 and NOW MY BRAIN HURTS 06:13:53 (partial disclosure: i may have had a headache already) 06:14:19 leaving what? 06:14:31 the metric convention 06:14:42 wow 06:14:48 or organization, anyway 06:15:00 (it's complicated, they have 3) 06:15:01 are they using kim un's feet now? 06:15:31 it is fairly likely they didn't actually change any measures 06:16:05 knowing them, they'd be more likely to declare his feet to be precisely that long 06:16:48 yeah, I mean cars have had mi and km for decades in the US, but the road signs still say mph, too many to replace, not enough money 06:17:18 -!- MoALTz has quit (Quit: Leaving). 06:17:26 did you know the usa was actually an original signatory (although they took 3 years extra to join, somehow) 06:17:33 yes 06:17:38 it's a shame 06:18:13 but I want to be part of the solution, but I can't find any liters of milk 06:18:33 it's all in stupid gallons 06:18:46 surely you mean cubic decimeters hth 06:19:00 is there a difference? 06:19:07 hm finnish spam season 06:19:24 adu: no but i'm not sure the liter is quite as official as it used to be... 06:19:42 why wouldn't it be? 06:20:07 "non-SI metric system unit" 06:20:39 because it doesn't fit quite in with the rest 06:20:43 that's like saying radians, sterradians, or lumens are not official 06:21:59 I once had a long thought about radians, and why they didn't fit in with the rest 06:22:50 and I decided that all the other units were vector ratios, but the radian is defined as an arc-length divided by a vector, and so it shouldn't even be defined as unitless 06:25:06 so the SI that says rad = 1 is incorrect, since rad = m(arc) / m(vec) 06:25:49 "wat" 06:25:57 in canada all milk comes in liter bags 06:26:12 Canada++ 06:26:41 bags? 06:26:42 usually you buy a 4 liter bag containing 4 liter bags 06:27:09 http://en.wikipedia.org/wiki/Milk_bag 06:27:20 there is a picture of a milk bag 06:27:52 in norway they come in liter cartons 06:28:19 we have those too 06:28:33 and 2-liter cartons 06:29:22 but usually every week my family buys 3 of the 4 liter bag bags 06:30:44 fancy 06:30:56 oren: are you in Canada? 06:31:21 -!- variable has changed nick to trout. 06:31:32 adu: Yes i live in Toronto 06:31:53 oren: how often do people riot in Canada? 06:33:09 or perhaps a more general question would be: what's it like? 06:34:09 adu: that differs greatly between quebec and the rest of canada 06:34:19 In quebec they riot a lot 06:34:44 generally in ontario we write to the newspaper instead 06:34:49 hmm 06:35:27 "Ontario" is an anagram of "riot nao". 06:35:41 Explain that one, oren. 06:35:55 I think there's an exponentially increasing number of riots in the US 06:36:16 I may consider moving to not-Quebec Canada 06:39:09 Hmm, has there been one since the ferguson thing? 06:39:20 I don't watch the news often so 06:39:25 yes, in Baltimore 06:41:27 they burned a convinience store 06:43:09 riot is just the quebecois word for party hth 06:43:20 because a citizen was arrested for having a knife, put in the back of a police cruiser, and when he got out of the cruiser he was in a coma 06:43:30 I see... well, Toronto did have some problems during G20/G8 conference 06:43:42 in 2010? 06:44:02 yes, but I suspect some of it was done by tourists 06:45:19 er, wait, is the the right year 06:45:43 yah 06:45:47 the G20 was in Toronto in 2010 06:46:08 adu: https://xkcd.com/605/ 06:46:18 ppl don't like secret meetings for some reason 06:46:32 In any case, our police tend to control protests by being on horses 06:46:46 and letting people pet the horses 06:47:29 Or something 06:48:20 nice 06:48:48 that sounds so much nicer than LRAD 06:49:56 What is LRAD 06:50:00 https://en.wikipedia.org/wiki/Long_Range_Acoustic_Device 06:50:07 https://en.wikipedia.org/wiki/List_of_incidents_of_civil_unrest_in_the_United_States#2010s 06:50:19 -!- Ox0dea has quit (Ping timeout: 246 seconds). 06:51:23 looks like they have LRAD in montreal, but to be fair, their hockey riots are pretty severe 06:51:37 they burn police cars and buses 06:52:14 when the habs lose 06:53:59 well, I live pretty close to Baltimore, so it was on every news channel here 06:54:27 like nonstop for 2 weeks 06:57:28 -!- Frooxius has quit (Quit: *bubbles away*). 07:01:15 apart from our police system, there are other differences; we have a single-payer heathcare system, a provincial government monopoly on the sale of alcohol, quite strict laws on owning weapons, and higher taxes 07:03:43 hold on what? 07:03:55 apparently taxes are somehow lower here 07:06:46 Oh it varies 07:08:40 ok fuck it, my dad does my taxes fior me anyway 07:10:59 Well, the main point is, alcohol is much more expensive. That's the IMPORTANT downside, 07:12:42 so basically it's like norway, check 07:13:00 or sweden 07:13:33 wait does this mean quebec does _not_ have single payer 07:15:39 no I was talking differences from the US where adu lives 07:15:48 ah 07:16:46 yes, I've heard about taxes in Canada 07:17:09 quebec does let their bars stay open later and you can drink at 18 instead of 19 07:17:25 that must be why there are more riots 07:17:29 lol 07:21:17 ok so for example 07:21:21 http://www.humuch.com/prices/Guinness-Stout-6-bottles/______/727 07:23:29 there is a "sin tax" on alcohol and tobacco 07:24:51 it's "healthcare tax", not "sin tax" 07:41:04 -!- adu has quit (Quit: adu). 07:51:28 -!- Herbalist has joined. 08:10:10 -!- Nihilumbra has quit (Quit: Connection closed for inactivity). 08:27:34 -!- Patashu has joined. 08:34:55 the gambling tax however could be named "sin tax" 08:35:05 and they should put a sin tax on condoms 08:35:21 since using them has to be declared a sin 08:35:29 wait 08:35:31 wrong tense 08:35:36 *has been declared a sin 08:35:43 by some pope 08:36:09 and popes are the speaking tubes of god 08:40:42 mroman_: meh, everything has been declared a sin by _someone_ 08:41:03 and the gambling tax isn't sin tax either, it's idiot tax 08:41:22 nah, not really 08:41:34 the gambling tax is a tax for the state to keep their monopoly in gambling 08:41:43 Sure, but not everyone has the authority to declare something as a sin 08:41:45 because gambling can get you lots of income, so the state wants to do it itself 08:41:47 only religious leaders can do that. 08:42:09 so they make rules so complicated that almost nobody other than the state can run gamblinlg 08:42:12 and they run all the lotteries 08:42:16 that's what's happening here 08:42:29 where do you live? 08:42:36 it's just difficult because it's hard to regulate all the online gambling (casinos and sports betting) with online payments 08:42:39 mroman_: Hungary 08:43:14 and the tax is part of these rules 08:52:53 -!- hilquias has quit (Remote host closed the connection). 08:59:34 -!- oerjan has quit (Quit: Later). 09:00:26 argh, why I people still writing “Check out this link for a detailed explanation.” instead of “Check out a detailed explanation.” ? Can't they learn? 09:01:08 Or “Check out this link for a detailed explanation.” if they think their readers are still so dumb they don't recognize hyperlinks. 09:01:24 (which is not very likely because this is a computer-related context) 09:03:06 there are people liking this, so consider yourself lucky. 09:05:28 yeah, I do that too 09:12:12 [wiki] [[Duck Duck Goose]] M http://esolangs.org/w/index.php?diff=42970&oldid=42967 * Vriskanon * (+951) /* Sample programs */ Added truth machine 09:15:09 [wiki] [[Truth-machine]] M http://esolangs.org/w/index.php?diff=42971&oldid=41659 * Vriskanon * (+953) /* Implementations */ Added Duck Duck Goose 09:20:40 b_jonas: You're evil. 09:27:53 -!- Weloxux has joined. 09:44:14 -!- Weloxux has quit (Quit: Leaving). 09:44:41 -!- Weloxux has joined. 10:04:35 How do I show that n^n is not in O(2^n)? 10:14:59 -!- Weloxux has quit (Ping timeout: 244 seconds). 10:26:51 -!- lleu has joined. 10:29:04 Taneb: (n^n) / (2^n) ? 10:29:49 has lim n -> infinity = infinity 10:31:16 suggesting O(n^n) > (2^n) 10:38:30 If f(n)/g(n) for n -> infinity is infinity then f(n) > g(n), if it is zero then f(n) < g(n) 10:38:36 if it's some constant then f(n) = g(n) 10:45:24 -!- Weloxux has joined. 10:51:52 CCBI's been getting a bunch of hits from this old course lately, I wonder what that's about http://www.ugcs.caltech.edu/~nwatson/pa70/ 10:55:37 -!- Herbalist has quit (Read error: Connection reset by peer). 10:56:53 -!- Herbalist has joined. 11:03:03 -!- Herbalist has quit (Ping timeout: 245 seconds). 11:03:58 -!- choochter has joined. 11:05:12 -!- Tritonio_ has joined. 11:07:47 http://codepad.org/IZbs5gog 11:07:49 too far :) 11:08:32 but brackets are too unbalanced 11:08:33 hm 11:09:18 http://codepad.org/eecSiuaC <- much better 11:09:22 -!- Tritonio has quit (Ping timeout: 272 seconds). 11:10:00 -!- Tritonio_ has quit (Ping timeout: 272 seconds). 11:10:15 -!- Tritonio has joined. 11:41:57 -!- KnightArm0 has joined. 11:45:33 -!- Weloxux has quit (Quit: Leaving). 12:39:47 -!- AnotherTest has joined. 12:41:31 -!- idris-bot has quit (Quit: Terminated). 12:43:02 -!- idris-bot has joined. 12:55:08 -!- Patashu has quit (Ping timeout: 245 seconds). 13:09:17 -!- hilquias has joined. 13:09:28 -!- Phantom_Hoover has joined. 13:36:11 -!- scoofy_ has changed nick to scoofy. 13:38:46 -!- `^_^v has joined. 13:39:16 -!- GeekDude has joined. 13:41:50 -!- KnightArm0 has quit (Remote host closed the connection). 13:45:44 -!- Sprocklem has quit (Ping timeout: 252 seconds). 13:52:16 -!- Wright has joined. 14:10:49 `relcome Wright 14:10:58 Hmm, the bot isn't here 14:11:32 oh no 14:11:45 Wright, welcome, this is the channel for esoteric programming languages. If you wanted the other kind of esoteric, try #esoteric on irc.dal.net. Check out our wiki at esolangs.org! 14:11:58 -!- evalj has joined. 14:23:35 -!- Weloxux has joined. 14:35:47 -!- solid_whiskey has joined. 14:41:33 -!- Sprocklem has joined. 14:46:38 -!- evalj has quit (Remote host closed the connection). 15:00:25 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 15:05:17 -!- GeekDude has joined. 15:18:04 -!- AnotherTest has quit (Ping timeout: 264 seconds). 15:20:06 -!- idris-bot has quit (Quit: Terminated). 15:20:22 -!- idris-bot has joined. 15:35:44 [wiki] [[MiniMAX]] http://esolangs.org/w/index.php?diff=42972&oldid=31448 * 168.99.197.18 * (+39) /* Example */ code implies   should be -3 ; fixed that 15:39:54 [wiki] [[MiniMAX]] http://esolangs.org/w/index.php?diff=42973&oldid=42972 * 168.99.197.18 * (-39) Undo revision 42972 by [[Special:Contributions/168.99.197.18|168.99.197.18]] ([[User talk:168.99.197.18|talk]]) oh, I get it now. whoops. 15:47:04 -!- gniourf has quit (Remote host closed the connection). 15:48:22 -!- gniourf has joined. 15:52:36 -!- glguy has joined. 15:52:42 -!- glguy has left. 16:03:47 -!- Weloxux has quit (Ping timeout: 256 seconds). 16:05:39 -!- Herbalist has joined. 16:05:39 -!- Herbalist has quit (Changing host). 16:05:39 -!- Herbalist has joined. 16:23:03 -!- solid_whiskey has quit (Ping timeout: 256 seconds). 16:49:51 -!- Weloxux has joined. 17:12:53 -!- ZombieAlive has joined. 17:21:44 -!- hilquias has quit (Remote host closed the connection). 18:10:04 -!- evalj has joined. 18:26:28 -!- Sprocklem has quit (Ping timeout: 264 seconds). 18:28:05 -!- adu has joined. 18:33:40 -!- shachaf has joined. 18:40:43 -!- AnotherTest has joined. 18:45:40 -!- ZombieAlive has quit (Remote host closed the connection). 19:04:40 -!- hilquias has joined. 19:04:58 -!- ZombieAlive has joined. 19:09:33 -!- bb010g has quit (Quit: Connection closed for inactivity). 19:10:01 -!- MoALTz has joined. 19:14:13 -!- AnotherTest has quit (Ping timeout: 265 seconds). 19:34:03 -!- oerjan has joined. 19:38:28 How do I show that n^n is not in O(2^n)? <-- look at mroman_'s first two lines then ignore the rest argh 19:40:38 (O notation is subtle, writing it as confusing as he did later is painful) 19:41:48 a really great help? 19:42:12 quite 19:46:00 I remember having to do proofs of O questions from first principles. a huge pain 19:47:40 HackEgo, fizzie and Gregor all seem absent 19:47:45 e.g prove that \A x \E y s.t y^y > x2^y 19:47:54 (although HackEgo is lurking in the shadows) 19:48:04 @seen 19:48:15 @seen HackEgo 19:48:15 I haven't seen HackEgo. 19:48:45 samn keubosd 19:48:47 it hasn't been here since @seen was reenabled, i guess 19:48:52 damn keyboard 19:49:13 cweilt 19:52:37 im tryumng tp learn tp toycj tupe bir imhabing problens 19:53:08 I'm trying to learn to touch tuype 19:54:01 -!- bb010g has joined. 19:54:35 oren: great, what problems exactly? 19:55:01 have you tried a typing game 19:55:30 mosrlyt nor hitting thr right keys 19:56:12 as you cam trll 19:59:04 anywayt i'm aure ill get berter if i pravtice a lot 20:23:10 -!- Weloxux has quit (Quit: Leaving). 20:36:47 -!- ZombieAlive has quit (Ping timeout: 245 seconds). 20:40:37 Seeing one of my friends play a skinhead from 1969 on TV is kind of weird 20:48:32 -!- ZombieAlive has joined. 20:53:37 -!- Tritonio has quit (Ping timeout: 252 seconds). 20:55:03 -!- atrapado has joined. 21:02:13 -!- MoALTz has quit (Quit: Leaving). 21:02:29 -!- Patashu has joined. 21:15:49 -!- ZombieAlive has quit (Ping timeout: 255 seconds). 21:17:47 -!- ZombieAlive has joined. 21:27:46 -!- `^_^v has quit (Quit: This computer has gone to sleep). 21:30:15 -!- adu has quit (Ping timeout: 244 seconds). 21:34:19 -!- Patashu has quit (Ping timeout: 252 seconds). 21:43:22 -!- AnotherTest has joined. 21:47:09 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 21:48:24 -!- AnotherTest has quit (Remote host closed the connection). 21:55:50 [wiki] [[Churro]] N http://esolangs.org/w/index.php?oldid=42974 * 50.65.114.255 * (+4346) Churro is a stack-based interpreted programming language in which the code is entirely made up of churros. 21:56:47 [wiki] [[Churro]] http://esolangs.org/w/index.php?diff=42975&oldid=42974 * 50.65.114.255 * (+0) 21:57:24 -!- atrapado has quit (Quit: Leaving). 21:58:45 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=42976&oldid=42897 * 50.65.114.255 * (+13) /* C */ 22:00:13 -!- evalj has quit (Remote host closed the connection). 22:05:24 -!- olsner has quit (Ping timeout: 258 seconds). 22:07:56 @let default (Int, Complex Float, Double) -- did i try this once before... 22:07:58 .L.hs:154:1: 22:07:58 Multiple default declarations 22:07:58 here was another default declaration .L.hs:130:1-29 22:08:03 hmph 22:19:16 -!- hilquias has quit (Remote host closed the connection). 22:19:46 -!- bb010g has quit. 22:28:09 -!- bb010g has joined. 22:30:43 I have added sane showing with precedence to idris. \o/ 22:30:44 | 22:30:44 /| 22:41:05 Is there a way to figure out which files are affected by a bad sector? 22:46:30 that orobablu depends greatly ojn waht file sytsem it is 22:50:05 * oerjan whistles innocently 22:51:46 @tell fizzie HackEgo has run off the channel again 22:51:46 Consider it noted. 22:52:07 i'd @tell gregor but he's 19 days idle. 22:53:20 it's so confusing when tab completion doesn't reliably tell if someone is on the channel 23:06:33 -!- HackEgo has joined. 23:06:36 oerjan: hth 23:06:44 yay 23:06:48 `? oren 23:06:49 oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. He'll orobablu get the hang of toycj tuping soon. 23:07:03 hth 23:10:04 -!- Wright has quit (Remote host closed the connection). 23:27:46 -!- Wright has joined. 23:34:02 -!- lleu has quit (Quit: That's what she said). 23:35:29 -!- hilquias has joined.