00:03:28 -!- Herbalist has joined.
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 <ORin> maybe not a good idea to press ^A and then random letters to see what they do
00:13:00 <ORin> apparently ^Ak kills everything in the active terminal
00:13:09 <ORin> 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> Nihilumbra: another error, as it were, something exterior to the state.
00:35:33 <ORin> fungot is, i think, made of fudge
00:35:33 <fungot> 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 <boily> I believe the fungot is a vortex of fnords.
00:48:31 <fungot> 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 <boily> 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 <Nihilumbra> I will empty your body of your vital organs
01:16:32 <Nihilumbra> The cruor of your eviceration will cling to the ceiling
01:21:19 <ORin> body weight, longitude, latitude, and altitude?
01:24:36 -!- ZombieAlive has joined.
01:24:57 <Nihilumbra> -56000,000 lbs. x -64157 y -651 and altitude is 78e+808^100 light years above earths atmosphere
01:26:50 <Wright> this channel is about esoteric programming languages, right?
01:27:35 <ORin> [-]++++++++++++++++++++++++++++++++++++++++++++++++++++++.+.+. and all that
01:29:01 <ORin> `8-ball why not?
01:29:31 <Nihilumbra> Proof that all bots are invisible humans that are really slow
01:30:07 <ORin> Oh, hackego isn't online
01:31:51 <FreeFull> ORin: I'd assume the initial state of that cell is 0
01:32:15 <ORin> Not in my screwed up C impl
01:32:44 <ORin> It just takes a pointer to the open stacka nd uses it as the tape
01:33:00 <Wright> 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 <fungot> 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:34:09 <Nihilumbra> Also esoteric means something or whatever
01:35:43 <Wright> 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 <ORin> 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 <ORin> er. first cells
01:38:40 <Wright> Ooh I wrote a TI-basic brainf interpreter
01:39:06 <Nihilumbra> The meme cultur is real on this amazon page
01:39:50 <Nihilumbra> Wright what server did you connect to?
01:40:06 <Wright> I use irc.mzima.net, not sure if there's an 'official' one like freenode has
01:42:17 <Wright> Oh goddammit, I visited that amazon link one too many times. Now google's giving me weird ads
01:42:28 <Wright> stuff like http://pagead2.googlesyndication.com/simgad/17740892814984858553
01:49:54 -!- variable has joined.
01:51:00 <Wright> Really? Okay; I was only there for a split second, didn't get to see them talking
01:52:51 <Wright> 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 <Wright> I called the memory tape a 'stack' for some reason
02:01:22 -!- solid_whiskey has joined.
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 <lambdabot> oerjan is in #esoteric. I don't know when oerjan last spoke.
03:15:00 <lambdabot> shachaf is in #esoteric, ##crypto, #ghc, #haskell-gsoc, #haskell-infrastructure and #haskell-lens..
03:15:16 <lambdabot> 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 <lambdabot> , #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 <lambdabot> 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 <lambdabot> overflow, #haskell-in-depth, #haskell-books, #haskell-blah, #haskell-infrastructure, #haskell-lens and #haskell
03:15:24 <oerjan> lambdabot: but i wanted to know when he last spoke!
03:16:17 <oerjan> @tell int-e i think @seen has some verbosity issues
03:21:40 -!- solid_whiskey has joined.
03:33:42 -!- solid_whiskey has quit (Ping timeout: 256 seconds).
03:40:48 -!- adu has joined.
03:42:30 <oerjan> Nihilumbra: int-e reenabled lambdabot's @seen command, it's not very good at limiting output
03:42:44 <oerjan> especially when you ask about lambdabot itself
03:43:55 <Nihilumbra> Is it supposed to @seen what a user last said in any room or the most recent
03:44:36 <lambdabot> seen <user>. Report if a user has been seen by the bot
03:44:50 <lambdabot> Nihilumbra is in ##villagegreen, #esoteric and #haskell..
03:45:17 <oerjan> oh it doesn't say when people last spoke any longer
03:45:42 <Nihilumbra> that's what I suspected most bots have that function
03:46:15 <oerjan> it's my nearly only channel
03:46:27 <oerjan> (there's one more, ##nomic)
03:46:42 <oerjan> but it's not very active
03:46:55 <oerjan> well sure. there's also a way you could find out.
03:47:05 <oerjan> well not quite, but close.
03:47:27 <Nihilumbra> I'm not into dredging through years of logs
03:47:40 <oerjan> there's a way via nickserv too
03:47:42 <Nihilumbra> I could just open all the logs and type oerjan
03:50:31 <oerjan> it's the 2nd most common surname in norway
03:51:10 <oerjan> sweden would have been Johansson
03:51:31 <Nihilumbra> Does you client not accept ø in a username
03:52:48 <oerjan> although back when i got the nick, it was unix which didn't.
03:53:01 <oerjan> irc is old, from the 80s
03:53:16 <oerjan> and everything needs to be backwards-compatible
03:53:35 <oerjan> back then they used | as a substitute.
03:53:50 <oerjan> which looks like ø in some character encodings
03:54:11 <oerjan> irc was invented in finland
03:54:20 <oerjan> so it would have been ö there
03:56:34 <oerjan> these days, pizza and tacos
03:56:55 <oerjan> well i guess we still eat bread
03:57:15 <oerjan> but pizza and tacos is the general weekend snack
03:57:39 <Nihilumbra> Stereotype for me alchohal and potatos
03:57:52 <oerjan> potatoes are pretty common
03:58:12 <oerjan> i don't actually know what young people eat nowadays
03:58:31 <oerjan> when i was young, potatoes was a staple food, anyway
04:01:39 <oerjan> alcohol and potatoes, so does that mean you're irish
04:03:36 * oerjan spent about a month in ireland back in '98
04:04:41 <Nihilumbra> Putting lambdabots library onto a vhs tape
04:05:16 <oerjan> i think a link to github would be easier
04:07:04 <oerjan> by an old george washington carver recipe
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 <oerjan> <Wright> 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 <fungot> 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 <pikhq> oerjan: Appears to have 10 people ATM.
04:37:53 <oerjan> that does sound promising
04:38:19 <oerjan> what about the dalnet one we're already pointing to
04:38:25 <pikhq> They appear to also run a website and such.
04:39:07 <pikhq> So maybe not the largest community, but certainly looks to be alive.
04:39:11 <oerjan> hm i haven't had any caffeine yet...
04:39:23 <pikhq> Dunno -- don't have a Dalnet connection going. :P
04:39:29 <oerjan> might change it once hackego comes back, then
04:39:53 <Nihilumbra> Idk how you come here for the wrong reason, unless you join every esoteric on every irc you join
04:40:15 <Nihilumbra> Want me to see how the dalnet one is doing
04:40:22 <oerjan> oh wait it's doing that thing where it's not joining the channel again
04:40:44 <pikhq> Well, Freenode is a popular IRC network and "esoteric" is more commonly used to refer to esotericism than to esolangs.
04:41:18 <pikhq> So it at least sounds like something that oughta work.
04:41:45 <Nihilumbra> If you don't want people coming here for the wrong reasons why not make it +s
04:42:18 -!- ORin has quit (Quit: Lost terminal).
04:42:28 <oerjan> Nihilumbra: it doesn't happen _that_ often
04:42:31 <pikhq> It's not a *massive* problem.
04:42:53 <pikhq> Happens just enough we'd like to be able to say "these people might be more relevant."
04:43:52 <Nihilumbra> 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:46:33 -!- adu has quit (Quit: adu).
04:47:05 -!- oren has joined.
04:48:40 <oerjan> perhaps not much of an improvement
04:50:16 <oren> that's caused by him wanting the code to do a perfect job like he would
04:50:56 <oren> Most jobs can only be automated in 95% of cases
04:51:20 <Nihilumbra> @bf + +++++++++++++++++++++++++[>++>+++>++++<<<-]++++++++++++++++++++++++++>>-----------.>-------.++++++++++.------.
04:52:36 <Ox0dea> lambdabot solved the halting problem?
04:52:42 <oerjan> <Wright> 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 <Nihilumbra> I can't automate a data chart that's a scroll down I think
04:53:12 <oerjan> Ox0dea: wrapping cells, presumably
04:53:17 <Nihilumbra> Ill just make sure not to make a mistake
04:53:32 <oren> Ox0dea: maybe it has a logical loop detector
04:53:48 -!- Herbalist has quit (Ping timeout: 272 seconds).
04:54:11 <oren> it is running under haskell which iirc is used by lots of automated proof people
04:54:20 <Nihilumbra> I wish I could see lambdabot behind the scenes
04:55:16 -!- shachaf has left.
04:55:19 <oerjan> <Nihilumbra> Ill just make sure not to make a mistake <-- famous programmer last words
04:56:15 <oerjan> Nihilumbra: lambdabot is on github hth
04:56:35 <oerjan> and its server is just some vps int-e got
04:56:42 <Nihilumbra> It takes me about 3 days to fill these statistics charts out
04:56:54 <oerjan> can't you even cut and paste?
04:58:50 <Nihilumbra> But it just pastes it back into the box I took it from
04:59:22 <Nihilumbra> Some weird barrier thing a friend made like 2 years ago and now I've forgotten how to take it off
05:00:46 <oerjan> that's like, pretty useless
05:01:26 <Nihilumbra> Idk if someone wants to re copy 76 modules by hand
05:03:37 <Nihilumbra> 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 <Nihilumbra> Seems like the people here don't really talk
05:07:53 <oren> Holy crap chicago just HEADED the puck in!
05:08:35 <oren> Ref says no goal, you're apparently not allowed to head the puck
05:09:07 <oren> yeah I'm watching the NHL
05:09:43 <oren> 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 <oerjan> the metre convention is 140 years old today
05:24:48 <oren> one minute left in the second overtime
05:32:04 <newsham> formally verified C analyzer http://compcert.inria.fr/verasco/
05:45:11 <Nihilumbra> But it can be learned through tough thorough thought, though
05:46:42 <Ox0dea> /^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 <pikhq> But redundancy is awesome, though.
05:49:36 <oren> Yeah just everyone on the team stand around in the crease
05:50:11 <Ox0dea> Nihilumbra: Fundamentally, they both indicate refutation of the component to which they're attached.
05:50:33 <Ox0dea> "But don't do that" and "don't do that, though" are equivalent in meaning.
05:51:47 <Nihilumbra> Like saying don't do that, although maybe you could
05:52:03 <Nihilumbra> That sounds a lot better but has different context
05:52:36 <Ox0dea> Right, they're certainly not perfectly synonymous, but *starting* with "but" and finishing with "though" is indeed redundant.
05:52:47 <Ox0dea> I had hoped that using the regular expressions would clarify this point.
05:53:39 <pikhq> But you should've said /^But.*though$/, though.
05:54:10 <Ox0dea> But I address them as a pair later in the sentence, though.
05:54:51 <oren> there are supposedly, but not actually, any rules
05:55:09 <Nihilumbra> 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 <oren> That's not unique to english hth
05:55:31 <Ox0dea> Nihilumbra: That is called semantic satiation, and it's quite an interesting phenomena.
05:57:57 <Ox0dea> I suspect a lack of coincidence for some reason.
05:58:37 <Nihilumbra> 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 <Nihilumbra> So I feel like speaking just wastes so much energy
05:59:09 -!- adu has joined.
06:01:52 <Nihilumbra> And you can speak English even if you pronounce each word incorrectly to piss everyone off right?
06:04:13 <oerjan> Eye donut sea wai anyon wood
06:04:35 <adu> Android Marshmallow?
06:05:52 * oerjan wonders why cameroon left the CGPM
06:06:10 <Ox0dea> Thesis ha why ink ripped alma come eunuch Haitians.
06:06:26 <Ox0dea> Slightly proud of that one, actually.
06:06:52 <adu> 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 <oerjan> just to communicate my headache from your line, you see
06:09:02 <Ox0dea> Hey, that looks like valid SNUSP!
06:12:13 * adu just got it
06:12:20 <oerjan> hm this is strange with cameroon having still close relations with france
06:12:28 <adu> (partially)
06:12:42 <adu> something about encrypted communications?
06:12:44 <Ox0dea> "This is how I encrypt all my communications."
06:12:50 <oerjan> i mean north korea leaving is more like, duh.
06:13:13 <adu> yeah, I never would have gotten that...
06:13:33 <oerjan> and NOW MY BRAIN HURTS
06:13:53 <oerjan> (partial disclosure: i may have had a headache already)
06:14:19 <adu> leaving what?
06:14:48 <oerjan> or organization, anyway
06:15:00 <oerjan> (it's complicated, they have 3)
06:15:01 <adu> are they using kim un's feet now?
06:15:31 <oerjan> it is fairly likely they didn't actually change any measures
06:16:05 <oerjan> knowing them, they'd be more likely to declare his feet to be precisely that long
06:16:48 <adu> 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 <oerjan> did you know the usa was actually an original signatory (although they took 3 years extra to join, somehow)
06:17:38 <adu> it's a shame
06:18:13 <adu> but I want to be part of the solution, but I can't find any liters of milk
06:18:33 <adu> it's all in stupid gallons
06:18:46 <oerjan> surely you mean cubic decimeters hth
06:19:00 <adu> is there a difference?
06:19:07 <oerjan> hm finnish spam season
06:19:24 <oerjan> adu: no but i'm not sure the liter is quite as official as it used to be...
06:19:42 <adu> why wouldn't it be?
06:20:07 <oerjan> "non-SI metric system unit"
06:20:39 <oerjan> because it doesn't fit quite in with the rest
06:20:43 <adu> that's like saying radians, sterradians, or lumens are not official
06:21:59 <adu> I once had a long thought about radians, and why they didn't fit in with the rest
06:22:50 <adu> 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 <adu> so the SI that says rad = 1 is incorrect, since rad = m(arc) / m(vec)
06:25:57 <oren> in canada all milk comes in liter bags
06:26:42 <oren> usually you buy a 4 liter bag containing 4 liter bags
06:27:09 <oren> http://en.wikipedia.org/wiki/Milk_bag
06:27:20 <oren> there is a picture of a milk bag
06:27:52 <oerjan> in norway they come in liter cartons
06:28:19 <oren> we have those too
06:28:33 <oren> and 2-liter cartons
06:29:22 <oren> but usually every week my family buys 3 of the 4 liter bag bags
06:30:56 <adu> oren: are you in Canada?
06:31:21 -!- variable has changed nick to trout.
06:31:32 <oren> adu: Yes i live in Toronto
06:31:53 <adu> oren: how often do people riot in Canada?
06:33:09 <adu> or perhaps a more general question would be: what's it like?
06:34:09 <oren> adu: that differs greatly between quebec and the rest of canada
06:34:19 <oren> In quebec they riot a lot
06:34:44 <oren> generally in ontario we write to the newspaper instead
06:35:27 <Ox0dea> "Ontario" is an anagram of "riot nao".
06:35:41 <Ox0dea> Explain that one, oren.
06:35:55 <adu> I think there's an exponentially increasing number of riots in the US
06:36:16 <adu> I may consider moving to not-Quebec Canada
06:39:09 <oren> Hmm, has there been one since the ferguson thing?
06:39:20 <oren> I don't watch the news often so
06:39:25 <adu> yes, in Baltimore
06:41:27 <adu> they burned a convinience store
06:43:09 <oerjan> riot is just the quebecois word for party hth
06:43:20 <adu> 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 <oren> I see... well, Toronto did have some problems during G20/G8 conference
06:44:02 <oren> yes, but I suspect some of it was done by tourists
06:45:19 <oren> er, wait, is the the right year
06:45:47 <adu> the G20 was in Toronto in 2010
06:46:08 <oerjan> adu: https://xkcd.com/605/
06:46:18 <adu> ppl don't like secret meetings for some reason
06:46:32 <oren> In any case, our police tend to control protests by being on horses
06:46:46 <oren> and letting people pet the horses
06:48:48 <adu> that sounds so much nicer than LRAD
06:50:00 <adu> https://en.wikipedia.org/wiki/Long_Range_Acoustic_Device
06:50:07 <adu> 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 <oren> looks like they have LRAD in montreal, but to be fair, their hockey riots are pretty severe
06:51:37 <oren> they burn police cars and buses
06:52:14 <oren> when the habs lose
06:53:59 <adu> well, I live pretty close to Baltimore, so it was on every news channel here
06:54:27 <adu> like nonstop for 2 weeks
06:57:28 -!- Frooxius has quit (Quit: *bubbles away*).
07:01:15 <oren> 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:55 <oren> apparently taxes are somehow lower here
07:08:40 <oren> ok fuck it, my dad does my taxes fior me anyway
07:10:59 <oren> Well, the main point is, alcohol is much more expensive. That's the IMPORTANT downside,
07:12:42 <oerjan> so basically it's like norway, check
07:13:33 <oerjan> wait does this mean quebec does _not_ have single payer
07:15:39 <oren> no I was talking differences from the US where adu lives
07:16:46 <adu> yes, I've heard about taxes in Canada
07:17:09 <oren> quebec does let their bars stay open later and you can drink at 18 instead of 19
07:17:25 <adu> that must be why there are more riots
07:21:17 <oren> ok so for example
07:21:21 <oren> http://www.humuch.com/prices/Guinness-Stout-6-bottles/______/727
07:23:29 <oren> there is a "sin tax" on alcohol and tobacco
07:24:51 <b_jonas> 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 <mroman_> the gambling tax however could be named "sin tax"
08:35:05 <mroman_> and they should put a sin tax on condoms
08:35:21 <mroman_> since using them has to be declared a sin
08:36:09 <mroman_> and popes are the speaking tubes of god
08:40:42 <b_jonas> mroman_: meh, everything has been declared a sin by _someone_
08:41:03 <b_jonas> and the gambling tax isn't sin tax either, it's idiot tax
08:41:34 <b_jonas> the gambling tax is a tax for the state to keep their monopoly in gambling
08:41:43 <mroman_> Sure, but not everyone has the authority to declare something as a sin
08:41:45 <b_jonas> because gambling can get you lots of income, so the state wants to do it itself
08:41:47 <mroman_> only religious leaders can do that.
08:42:09 <b_jonas> so they make rules so complicated that almost nobody other than the state can run gamblinlg
08:42:12 <b_jonas> and they run all the lotteries
08:42:16 <b_jonas> that's what's happening here
08:42:36 <b_jonas> it's just difficult because it's hard to regulate all the online gambling (casinos and sports betting) with online payments
08:43:14 <b_jonas> 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 <b_jonas> argh, why I people still writing “Check out <a href="example:">this link</a> for a detailed explanation.” instead of “Check out <a href="example:">a detailed explanation</a>.” ? Can't they learn?
09:01:08 <b_jonas> Or “Check out <a href="example:">this link for a detailed explanation</a>.” if they think their readers are still so dumb they don't recognize hyperlinks.
09:01:24 <b_jonas> (which is not very likely because this is a computer-related context)
09:03:06 <lifthrasiir> there are people liking <a href="example:">t</a><a href="example:">h</a><a href="example:">i</a><a href="example:">s</a>, so consider yourself lucky.
09:12:12 <HackEgo> [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 <HackEgo> [wiki] [[Truth-machine]] M http://esolangs.org/w/index.php?diff=42971&oldid=41659 * Vriskanon * (+953) /* Implementations */ Added Duck Duck Goose
09:27:53 -!- Weloxux has joined.
09:44:14 -!- Weloxux has quit (Quit: Leaving).
09:44:41 -!- Weloxux has joined.
10:04:35 <Taneb> 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:49 <mroman_> has lim n -> infinity = infinity
10:38:30 <mroman_> 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 <mroman_> if it's some constant then f(n) = g(n)
10:45:24 -!- Weloxux has joined.
10:51:52 <Deewiant> 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 <mroman_> http://codepad.org/IZbs5gog
11:08:32 <mroman_> but brackets are too unbalanced
11:09:18 <mroman_> 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:58 <Taneb> Hmm, the bot isn't here
14:11:45 <Taneb> 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 <HackEgo> [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 <HackEgo> [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 <oerjan> <Taneb> 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 <oerjan> (O notation is subtle, writing it as confusing as he did later is painful)
19:46:00 <oren> I remember having to do proofs of O questions from first principles. a huge pain
19:47:40 <oerjan> HackEgo, fizzie and Gregor all seem absent
19:47:45 <oren> e.g prove that \A x \E y s.t y^y > x2^y
19:47:54 <oerjan> (although HackEgo is lurking in the shadows)
19:48:47 <oerjan> it hasn't been here since @seen was reenabled, i guess
19:52:37 <oren> im tryumng tp learn tp toycj tupe bir imhabing problens
19:53:08 <oren> I'm trying to learn to touch tuype
19:54:01 -!- bb010g has joined.
19:54:35 <b_jonas> oren: great, what problems exactly?
19:55:01 <oerjan> have you tried a typing game
19:55:30 <oren> mosrlyt nor hitting thr right keys
19:56:12 <oren> as you cam trll
19:59:04 <oren> 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 <Taneb> 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 <HackEgo> [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 <HackEgo> [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 <HackEgo> [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 <oerjan> @let default (Int, Complex Float, Double) -- did i try this once before...
22:07:58 <lambdabot> here was another default declaration .L.hs:130:1-29
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 <Melvar> I have added sane showing with precedence to idris. \o/
22:41:05 <Sgeo> Is there a way to figure out which files are affected by a bad sector?
22:46:30 <oren> that orobablu depends greatly ojn waht file sytsem it is
22:51:46 <oerjan> @tell fizzie HackEgo has run off the channel again
22:52:07 <oerjan> i'd @tell gregor but he's 19 days idle.
22:53:20 <oerjan> 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:49 <HackEgo> 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: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.