←2015-05-19 2015-05-20 2015-05-21→ ↑2015 ↑all
00:03:28 -!- Herbalist has joined.
00:03:47 <ORin> @seen ORin
00:03:47 <lambdabot> You are in #esoteric..
00:04:01 <ORin> ..?
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 <Nihilumbra> Fungot are you a fungot made of light
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:16:43 <Nihilumbra> Anyways what did boily need from me
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:36 <Wright> uh
01:26:50 <Wright> this channel is about esoteric programming languages, right?
01:27:02 <ORin> yah
01:27:22 <Nihilumbra> Right, Wright
01:27:35 <ORin> [-]++++++++++++++++++++++++++++++++++++++++++++++++++++++.+.+. and all that
01:28:17 <Wright> mmkay, just checking
01:28:20 <Nihilumbra> Why
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:31:55 <FreeFull> So [-] is redundant
01:32:11 <Nihilumbra> Yeah
01:32:15 <ORin> Not in my screwed up C impl
01:32:28 <Nihilumbra> Lol
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:33:52 <Wright> I see.
01:33:52 <Nihilumbra> LOL
01:33:58 <Nihilumbra> I'm gonna join
01:34:09 <Nihilumbra> Also esoteric means something or whatever
01:34:37 <Nihilumbra> No. but I need it
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:37:47 <ORin> lol
01:37:50 <Nihilumbra> Example of unstable
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:34 <Nihilumbra> what's efnets adress again?
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:40:44 <Nihilumbra> Port?
01:40:50 <Wright> 6667
01:41:54 <Nihilumbra> 666 illuminati
01:42:01 <Wright> lol yep
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:43:03 <Nihilumbra> Muahah
01:43:08 <Nihilumbra> Programming
01:49:06 <Nihilumbra> Doesn't seem to bad
01:49:54 -!- variable has joined.
01:50:16 <Nihilumbra> Oh god its a free variabkle
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:03:12 <Nihilumbra> 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 <shachaf> @seen oerjan
03:12:01 <lambdabot> oerjan is in #esoteric. I don't know when oerjan last spoke.
03:15:00 <oerjan> @seen shachaf
03:15:00 <lambdabot> shachaf is in #esoteric, ##crypto, #ghc, #haskell-gsoc, #haskell-infrastructure and #haskell-lens..
03:15:16 <pikhq> @seen lambdabot
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:16:17 <lambdabot> Consider it noted.
03:21:40 -!- solid_whiskey has joined.
03:33:42 -!- solid_whiskey has quit (Ping timeout: 256 seconds).
03:38:37 <Nihilumbra> What is this spam
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:16 <Nihilumbra> I see
03:43:55 <Nihilumbra> Is it supposed to @seen what a user last said in any room or the most recent
03:44:14 <oerjan> most recent
03:44:36 <oerjan> @help seen
03:44:36 <lambdabot> seen <user>. Report if a user has been seen by the bot
03:44:50 <oerjan> @seen Nihilumbra
03:44:50 <lambdabot> Nihilumbra is in ##villagegreen, #esoteric and #haskell..
03:45:13 <Nihilumbra> Yeah
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:45:43 <oerjan> @seen oerjan
03:45:43 <lambdabot> You are in #esoteric..
03:45:53 <Nihilumbra> Always in esoteric
03:45:59 <oerjan> ALWAYS
03:46:01 <Nihilumbra> Is this your favourite channel
03:46:15 <oerjan> it's my nearly only channel
03:46:27 <oerjan> (there's one more, ##nomic)
03:46:37 <Nihilumbra> When did you join esoteric
03:46:40 <Nihilumbra> Can I guess
03:46:42 <oerjan> but it's not very active
03:46:53 <Nihilumbra> 2007
03:46:55 <oerjan> well sure. there's also a way you could find out.
03:46:57 <Nihilumbra> Around there
03:47:05 <oerjan> well not quite, but close.
03:47:13 <oerjan> it was 2006
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:47:58 <Nihilumbra> Nice name
03:50:18 <Nihilumbra> Johansen is a pretty decent name
03:50:31 <oerjan> it's the 2nd most common surname in norway
03:50:59 <Nihilumbra> I would've guessed Sweden
03:51:10 <oerjan> sweden would have been Johansson
03:51:15 <Nihilumbra> Lol
03:51:31 <Nihilumbra> Does you client not accept ø in a username
03:51:54 <oerjan> it's irc in general
03:52:19 <Nihilumbra> May I
03:52:33 <Nihilumbra> Nope
03:52:44 <Nihilumbra> I wonder why
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:23 <Nihilumbra> Yeah
03:53:35 <oerjan> back then they used | as a substitute.
03:53:50 <oerjan> which looks like ø in some character encodings
03:53:58 <Nihilumbra> Oh
03:54:08 <Nihilumbra> Makes sense
03:54:11 <oerjan> irc was invented in finland
03:54:16 <Nihilumbra> Heh
03:54:20 <oerjan> so it would have been ö there
03:55:16 <Nihilumbra> Oh those suomalainens.
03:56:18 <Nihilumbra> What's they staple food in Norway
03:56:34 <oerjan> these days, pizza and tacos
03:56:38 <Nihilumbra> wow
03:56:42 <Nihilumbra> Very American
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:57:58 <Nihilumbra> Ye
03:58:12 <oerjan> i don't actually know what young people eat nowadays
03:58:18 <Nihilumbra> 'snack'
03:58:26 <Nihilumbra> Can I guess your age
03:58:31 <oerjan> when i was young, potatoes was a staple food, anyway
03:58:47 <Nihilumbra> 41 years young
03:58:54 <oerjan> bit more
03:59:04 <Nihilumbra> 45
03:59:18 <oerjan> in about a month
03:59:23 <Nihilumbra> Cool
04:01:39 <oerjan> alcohol and potatoes, so does that mean you're irish
04:01:43 <Nihilumbra> Yeah
04:01:55 * oerjan giggles
04:02:03 <Nihilumbra> ?
04:02:08 <oerjan> spot on :P
04:02:12 <Nihilumbra> :0
04:02:59 <Nihilumbra> Sixth sense
04:03:26 <Nihilumbra> Putting monads on film
04:03:35 <Nihilumbra> Is it plausible
04:03:36 * oerjan spent about a month in ireland back in '98
04:04:07 <oerjan> sounds badly defined
04:04:16 <Nihilumbra> Probably
04:04:41 <Nihilumbra> Putting lambdabots library onto a vhs tape
04:04:53 <Nihilumbra> And shipping it to the government
04:05:16 <oerjan> i think a link to github would be easier
04:05:27 <Nihilumbra> American government
04:05:38 <Nihilumbra> Lots of stamps and packing peanuts
04:06:37 <oerjan> peanuts stamps
04:07:04 <oerjan> by an old george washington carver recipe
04:07:10 <Nihilumbra> An amazing factorization
04:10:27 <Nihilumbra> Lost connection
04:10:50 <Nihilumbra> I like to have formal departures
04:10:54 <Nihilumbra> Good night
04:19:49 <oerjan> 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 <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:38:32 <oerjan> ooh
04:38:43 <Nihilumbra> Discussing that chat
04:38:46 <Nihilumbra> I'm back also
04:38:53 <Nihilumbra> Drank to much coffee
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:41 <Nihilumbra> It was having issues earlier
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:40:59 <Nihilumbra> Yeah
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:41:59 <Nihilumbra> Or would that be rude
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:51 <Nihilumbra> You make it seem so
04:42:53 <pikhq> Happens just enough we'd like to be able to say "these people might be more relevant."
04:42:55 <Nihilumbra> But nvm
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:44:00 <Nihilumbra> I should automate this
04:44:55 <Ox0dea> @xkcd 1319
04:44:55 <lambdabot> Unknown command, try @list
04:46:33 -!- adu has quit (Quit: adu).
04:47:05 -!- oren has joined.
04:48:15 <oerjan> @google xkcd 1319
04:48:16 <lambdabot> https://xkcd.com/1319/
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:51:21 <lambdabot> Cake
04:51:31 <Nihilumbra> I'm pretty sure that's a lie
04:52:08 <Ox0dea> @bf +[]
04:52:11 <Ox0dea> Sorry...
04:52:13 <lambdabot> Done.
04:52:25 <Ox0dea> Heh.
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:16 <oerjan> or wait
04:53:17 <Nihilumbra> Ill just make sure not to make a mistake
04:53:20 <oerjan> just a timeout
04:53:21 <Ox0dea> oerjan: For shame.
04:53:31 <Nihilumbra> I'm doing it slowly
04:53:32 <oren> Ox0dea: maybe it has a logical loop detector
04:53:48 -!- Herbalist has quit (Ping timeout: 272 seconds).
04:53:55 <Nihilumbra> > 10^10^100
04:54:00 <lambdabot> mueval: ExitFailure 1
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:54:27 <oren> you can
04:54:31 <Nihilumbra> Not that
04:54:40 <Nihilumbra> Like its server
04:54:53 <Nihilumbra> Idk lambdabot is a pretty big bot
04:55:05 <Nihilumbra> Or is it just decieving
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:55:44 <Nihilumbra> Don't jinx me
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:48 <Nihilumbra> 1 if I stay up
04:56:54 <oerjan> can't you even cut and paste?
04:56:58 <Nihilumbra> Nah
04:57:00 <Ox0dea> OCR?
04:58:12 <Nihilumbra> Yeah
04:58:36 <Nihilumbra> The copy and paste works
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
04:59:33 <Nihilumbra> Can't copy into another window
05:00:36 <oerjan> wat
05:00:45 <Nihilumbra> Doesn't let me
05:00:46 <oerjan> that's like, pretty useless
05:00:59 <Nihilumbra> Its so people don't take
05:01:26 <Nihilumbra> Idk if someone wants to re copy 76 modules by hand
05:01:53 <Nihilumbra> What's that topic about
05:02:42 <Ox0dea> SICP, presumably.
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:29 <Nihilumbra> What if they died
05:07:42 <Nihilumbra> And they just left their computer on
05:07:47 * oerjan croaks
05:07:53 <oren> Holy crap chicago just HEADED the puck in!
05:08:16 <oerjan> is this ice hockey
05:08:33 <Nihilumbra> Probably
05:08:35 <oren> Ref says no goal, you're apparently not allowed to head the puck
05:08:46 <Nihilumbra> Goodness
05:08:56 <oerjan> fiendish
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:44:45 <Nihilumbra> English is a hard language to learn
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:47:49 <Nihilumbra> First of all
05:47:56 <Nihilumbra> *leaves room*
05:48:12 <pikhq> Also: Butthough
05:48:22 <Nihilumbra> Ye
05:48:38 <Nihilumbra> How is but that same as though
05:48:51 <Nihilumbra> The*
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:30 <Nihilumbra> English isn't my first language
05:50:33 <Ox0dea> "But don't do that" and "don't do that, though" are equivalent in meaning.
05:51:06 <Nihilumbra> "Don't do that, though" sounds ugly
05:51:24 <Nihilumbra> Which is why its not common
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:15 <Nihilumbra> Don't do that, though you could
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:18 <Nihilumbra> Ok
05:54:26 <Nihilumbra> The problem with English is that
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:56:23 <Ox0dea> *phenomenom
05:56:26 <Ox0dea> *phenomenon
05:56:28 <Ox0dea> Fuck this language.
05:56:43 <oren> fenominon
05:57:00 <Nihilumbra> Feminist onion
05:57:29 <Nihilumbra> Phenomenon sound like m'namana
05:57:38 <Nihilumbra> From the muppets
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 <Ox0dea> You're serious?
05:59:09 -!- adu has joined.
05:59:20 <Nihilumbra> Nope
05:59:23 <Ox0dea> ^_^
05:59:47 <Nihilumbra> Would you edumacate me if I was
06:00:33 <Nihilumbra> Would you edumacate me if I was
06:01:07 <Nihilumbra> Dies
06:01:10 <Nihilumbra> Goodnight
06:01:52 <Nihilumbra> And you can speak English even if you pronounce each word incorrectly to piss everyone off right?
06:03:54 <adu> hi Ox0dea
06:04:08 <Ox0dea> Hello, adu.
06:04:13 <oerjan> Eye donut sea wai anyon wood
06:04:35 <adu> Android Marshmallow?
06:04:53 <Ox0dea> Too long, methinks.
06:05:02 <Ox0dea> Mars Bar, maybe.
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:23 <oerjan> i got it hth
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:31 <oerjan> the metric convention
06:14:42 <adu> wow
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:33 <adu> yes
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:49 <oerjan> "wat"
06:25:57 <oren> in canada all milk comes in liter bags
06:26:12 <adu> Canada++
06:26:41 <oerjan> 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:44 <oerjan> fancy
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:34:49 <adu> hmm
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:43:42 <adu> in 2010?
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:43 <oren> yah
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:47:29 <oren> Or something
06:48:20 <adu> nice
06:48:48 <adu> that sounds so much nicer than LRAD
06:49:56 <oren> What is 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:43 <oren> hold on what?
07:03:55 <oren> apparently taxes are somehow lower here
07:06:46 <oren> Oh it varies
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:00 <oerjan> or sweden
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:15:48 <oerjan> ah
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:17:29 <oren> lol
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:35:29 <mroman_> wait
08:35:31 <mroman_> wrong tense
08:35:36 <mroman_> *has been declared a sin
08:35:43 <mroman_> by some pope
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:22 <b_jonas> nah, not really
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:29 <mroman_> where do you live?
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:42:39 <b_jonas> mroman_: Hungary
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:05:28 <b_jonas> yeah, I do that too
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:20:40 <mroman_> 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 <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:04 <mroman_> Taneb: (n^n) / (2^n) ?
10:29:49 <mroman_> has lim n -> infinity = infinity
10:31:16 <mroman_> suggesting O(n^n) > (2^n)
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:07:49 <mroman_> too far :)
11:08:32 <mroman_> but brackets are too unbalanced
11:08:33 <mroman_> hm
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:49 <Taneb> `relcome Wright
14:10:58 <Taneb> Hmm, the bot isn't here
14:11:32 <b_jonas> oh no
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:41:48 <shachaf> a really great help?
19:42:12 <oerjan> quite
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:04 <oren> @seen
19:48:15 <oren> @seen HackEgo
19:48:15 <lambdabot> I haven't seen HackEgo.
19:48:45 <oren> samn keubosd
19:48:47 <oerjan> it hasn't been here since @seen was reenabled, i guess
19:48:52 <oren> damn keyboard
19:49:13 <oerjan> cweilt
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> .L.hs:154:1:
22:07:58 <lambdabot> Multiple default declarations
22:07:58 <lambdabot> here was another default declaration .L.hs:130:1-29
22:08:03 <oerjan> 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 <Melvar> I have added sane showing with precedence to idris. \o/
22:30:44 <myndzi> |
22:30:44 <myndzi> /|
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:50:05 * oerjan whistles innocently
22:51:46 <oerjan> @tell fizzie HackEgo has run off the channel again
22:51:46 <lambdabot> Consider it noted.
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:36 <fizzie> oerjan: hth
23:06:44 <oerjan> yay
23:06:48 <oerjan> `? oren
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:07:03 <oerjan> 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.
←2015-05-19 2015-05-20 2015-05-21→ ↑2015 ↑all