00:09:55 <HackEgo> slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
00:09:57 <Bike> uh wasn't it `olist
00:10:13 <shachaf> i don't see an olist update
00:12:00 -!- TeruFSX2 has quit (Ping timeout: 256 seconds).
00:17:58 <oerjan> i doubt Gregor was involved
00:18:26 <HackEgo> #esoteric is the only channel that exists. monqy is its centroïd.
00:18:28 -!- sprocklem has joined.
00:18:52 <shachaf> `run rgrep -l monqy wisdom
00:18:55 <HackEgo> wisdom/#esoteric \ wisdom/monqy \ wisdom/mnoqy \ grep: wisdom/lystrosaur: Not a directory
00:19:04 <Bike> i wish i was a centroid
00:19:53 <shachaf> `run ls -l wisdom/lystrosaur
00:19:55 <HackEgo> lrwxrwxrwx 1 5000 0 19 May 14 18:41 wisdom/lystrosaur -> wisdom/lystrosaurus
00:20:02 <shachaf> `run ls -l wisdom/lystrosaurus
00:20:04 <HackEgo> -rw-r--r-- 1 5000 0 131 May 14 18:39 wisdom/lystrosaurus
00:20:13 <shachaf> `run cat wisdom/lystrosaurus
00:20:15 <HackEgo> lystrosaurus is a genus of Late Permian and Early Triassic Period dicynodont therapsids, which lived around 250 million years ago.
00:20:20 <Bike> @hoogle (a -> Maybe b) -> [a] -> Maybe b
00:20:21 <lambdabot> Prelude mapM_ :: Monad m => (a -> m b) -> [a] -> m ()
00:20:22 <lambdabot> Control.Monad mapM_ :: Monad m => (a -> m b) -> [a] -> m ()
00:20:22 <lambdabot> Control.Monad forM_ :: Monad m => [a] -> (a -> m b) -> m ()
00:20:23 <shachaf> is rgrep some kind of stupid program
00:20:34 <Bike> a stupid dumb program, imo
00:20:48 <Bike> also none of those are what i want ;_;
00:20:59 <Bike> also the're ike all the same thing practically anyway
00:21:13 <Bike> a thing that takes the first Just
00:21:43 <Bike> > listToMaybe [4,5]
00:21:57 <Bike> > listToMaybe [Nothing,5]
00:21:58 <lambdabot> No instance for (GHC.Show.Show a0)
00:21:58 <lambdabot> arising from a use of `M1950116903.sh...
00:22:15 <shachaf> > listToMaybe [Nothing,Just 5]
00:22:33 <shachaf> wait i didn't even give you the right function
00:22:35 <Bike> ok that was mean sorry.
00:23:00 <shachaf> @hoogle [Maybe a] -> Maybe a
00:23:01 <lambdabot> Control.Monad msum :: MonadPlus m => [m a] -> m a
00:23:01 <lambdabot> Data.Generics.Aliases orElse :: Maybe a -> Maybe a -> Maybe a
00:23:01 <lambdabot> Data.Foldable asum :: (Foldable t, Alternative f) => t (f a) -> f a
00:23:23 <shachaf> Bike: lens has a way to do it but maybe you don't want lens
00:23:26 <Bike> > msum [Nothing, Just 5, Just 7]
00:23:27 <oerjan> `run sed -i 's/lived/ruled the world/' wisdom/lystrosaurus
00:23:57 <Bike> well, ok. i've officially decided that, like, whatever.
00:24:13 <shachaf> firstOf (traverse . _Just) [Nothing, Just 5, Just 8]
00:24:18 <oerjan> (it's not much of an exaggeration, even)
00:24:29 <shachaf> :t (listToMaybe . catMaybes)
00:24:32 <Bike> is this like not a common thing i'm doing. it doesn't seem that weird
00:24:56 <Bike> > (listToMaybe . catMaybes) [Nothing, Just 6, Just 7, Nothing]
00:25:45 <shachaf> Bike: sry 4 inkonvenience !!
00:26:07 <elliott> Bike: what haskell program aer you writing
00:26:30 <Bike> just wonder ing
00:27:00 <Bike> because i'm mean 2 elliott
00:27:59 <oerjan> Bike: what was wrong with msum twh
00:28:20 <Bike> nothing. shachaf just kept going for some reason?
00:28:35 <shachaf> "that would help" / "that was helpful"
00:28:45 <Bike> that was helpful
00:29:05 <HackEgo> ls: cannot access wisdom/lystrosaur: Not a directory
00:29:30 <oerjan> `run ls -ld wisdom/lystrosaur
00:29:31 <HackEgo> lrwxrwxrwx 1 5000 0 19 May 14 18:41 wisdom/lystrosaur -> wisdom/lystrosaurus
00:29:46 <HackEgo> lystrosaurus is a genus of Late Permian and Early Triassic Period dicynodont therapsids, which ruled the world around 250 million years ago.
00:29:54 <shachaf> broken link..............................
00:30:40 <oerjan> `run ln -s lystrosaurus wisdom/lystrosaur
00:30:41 <HackEgo> ln: accessing `wisdom/lystrosaur': Not a directory
00:31:17 <oerjan> `run ln -s lystrosaurus wisdom/lystrosaur
00:31:23 <shachaf> oerjan: just edit `? instead of making symlinks hth
00:31:28 <HackEgo> lystrosaurus is a genus of Late Permian and Early Triassic Period dicynodont therapsids, which ruled the world around 250 million years ago.
00:31:42 <Bike> people do you need to know this much about lystrosaurs
00:31:55 <oerjan> Bike: lystrosaurs were awesome hth
00:32:56 <shachaf> Bike is feeling listless about this wisdom entry
00:33:14 <shachaf> oops i meant to type lystless
00:49:15 -!- Phantom_Hoover has quit (Quit: Leaving).
00:50:05 <kmc> https://en.wikipedia.org/wiki/E-commerce#Timeline '1971 or 1972: The ARPANET is used to arrange a cannabis sale between students at the Stanford Artificial Intelligence Laboratory and the Massachussetts Institute of Technology, later described as "the seminal act of e-commerce"'
00:50:31 <Bike> imo, history is the best.
00:51:22 <kmc> i like that nobody remembers which year it was
00:52:51 <shachaf> forgetful functors, all of them
00:53:49 <shachaf> do you know the ""dual"" of boehm-berarducci/church/whatever encoding works
00:54:11 <shachaf> it seems like it encodes products using products and sums using sums :'( or something
00:54:32 <kmc> no i don't know
00:54:43 <kmc> is "boehm-berarducci encoding" really a thing
00:54:48 <kmc> i call bullshit on that encoding sir
00:54:52 <shachaf> @google boehm-berarducci encoding
00:54:55 <lambdabot> http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html
01:36:26 -!- Bike has quit (Ping timeout: 246 seconds).
01:47:20 -!- NihilistDandy has joined.
01:55:53 <kmc> there was a sign in the pride parade reading "Support undocumented APIs!"
01:56:01 <kmc> (it stands for "asia-pacific immigrant" apparently)
02:04:37 -!- Bike has joined.
02:14:08 <halfb4rd> http://abload.de/img/obivankenobi6js1k.jpg
02:15:00 <olsner> is the city on the lower half supposed to be easily recognizable?
02:15:29 <kmc> it's Obivankenob, Russia
02:15:38 <kmc> but actually it's Washington DC
02:15:59 <kmc> washington monument on the left, looking down the national mall at the capitol
02:16:18 <kmc> hagb4rd: sounds messy
02:16:30 <oerjan> i dunno, the joke is so cheap i don't think they make coins that small
02:16:43 <hagb4rd> depends on the level of despair
02:16:45 <kmc> 1 satoshi joke
02:19:19 <hagb4rd> @google site:esolangs.org star wars
02:22:43 <tswett> I'm writing a description of what a lambda calculus-like thing whose type system is linear logic would look like.
02:22:49 <tswett> Some of this stuff I'm writing seems kind of lofty.
02:23:17 <tswett> "A Zero is an impossible object that can never be obtained, but if it could be obtained, then it could be turned into anything."
02:23:34 <tswett> "A Top is a garbage pile; anything can be turned into a Top, but nothing useful can be done with a Top, and a Top can never be gotten rid of."
02:29:19 -!- nooodl has quit (Ping timeout: 264 seconds).
02:30:21 -!- katla has quit (Quit: My damn controlling terminal disappeared!).
02:30:24 <tswett> I can't figure out what a Bottom is. It seems like it also can be freely created and destroyed, yet surely it's not the same thing as One.
02:30:34 <tswett> Which I'm describing as "a worthless object that can be freely created or discarded".
02:33:33 <kmc> is that sexist? imo probably
02:34:03 <kmc> that's not really how it works
02:34:57 <hagb4rd> well in any case it's not sexist
02:35:18 <kmc> i'd be happier if you didn't say it
02:35:28 <kmc> dunno about others
02:35:34 <Fiora> hagb4rd is of course an authority on what is and isn't sexist
02:35:43 <Bike> here is what just happened: "that's sexist" "no because i say it's not" "that's not how it works" "ok well anyway it's not"
02:35:50 <Fiora> having a phd in whatissexistology
02:35:53 <kmc> that is what happened
02:36:02 <tswett> Actually, the authority on what is and isn't sexist is a nontrivial ultrafilter.
02:36:23 <tswett> There's a function that, given the set of all people who think something is sexist, determines whether it's sexist or not.
02:36:59 <tswett> If it says "yes" to two sets, it also says "yes" to their union. If it says "yes" to a set, it says "no" to its complement. And changing one single person's opinion never changes whether it says "yes" or "no".
02:37:06 <kmc> hagb4rd: whether you meant it to be sexist is not v. relevant to whether it is
02:37:19 <kmc> in which case it's just a mistake; I'm not accusing you of malicious behavior
02:37:27 -!- mnoqy has quit (Quit: hello).
02:37:33 <Fiora> (maybe a better statement is "don't use slurs"?)
02:38:53 <kmc> yeah what Fiora said
02:39:16 <kmc> i need food and sleep and stuff though
02:39:27 <Bike> those are good stuff
02:40:24 <kmc> (probably not going to sleep right now, but i *will* fall asleep if I don't eat something)
02:40:28 <tswett> Hm. I'm beginning to think that my intuition of what the dual means is wrong.
02:40:55 <tswett> You can combine a thing and its dual to get a Bottom, right? But I don't think Bottoms can just be created and destroyed.
02:41:00 <Fiora> weirdly enough eating things makes me fall asleep instead -_-
02:41:15 <Bike> i pretty much fall asleep whether i eat things or not, i think.
02:41:47 <hagb4rd> digestion needs a lot of o2
02:42:17 <hagb4rd> energy and stuff.. im sure you know better
02:49:04 <tswett> Okay, I think a Bottom is actually an object that cannot be created and cannot be destroyed, and this is its defining quality.
02:51:17 <hagb4rd> <Bike>here is what just happened: "that's sexist" "no because i say it's not" "that's not how it works" "ok well anyway it's not" <-- you somehow missed the meain arguments bike.. i cannnot figure out the properties of "bitch" that depend on gender.. ergo: not sexist
02:51:40 <tswett> Doesn't "bitch" usually mean "contemptible female person"?
02:51:43 <kmc> your own ignorance is not a great defense
02:51:54 <Fiora> so because you can't figure something out... it becomes a universal truth?
02:52:01 <kmc> like I said, I'm not accusing you of malice, just a mistake
02:52:32 <Bike> "A female dog or other canine. In particular one who has recently had puppies." "(vulgar, offensive) A despicable or disagreeable, aggressive person, often female. [from the 15th c]" "(vulgar, offensive) A submissive person, often female, who does what others want; a slave. [from the 20th c]"
02:52:37 <Bike> hope this helps!!
02:52:43 <hagb4rd> so fiora: you think only women are bitches.. or only men..or waht is your opinion? :O
02:52:53 <kmc> "bitch" is not always applied to women, but it definitely has that connotation (and when applied to men it's often like "you're bad because your qualities are like that of a woman")
02:52:58 <Bike> wow that has nothing to do with what she said at all
02:53:52 -!- Fiora has left ("seriously not bothering with this, last time this came up half the channel literally came out and argued why the n-word is not in fact racist because they say so").
02:54:09 <tswett> I pretty much haven't heard "bitch" applied to men except as a term of endearment.
02:55:09 -!- ChanServ has set channel mode: +o kmc.
02:55:18 <hagb4rd> that's because emancipation is done
02:55:50 -!- kmc has kicked hagb4rd hagb4rd.
02:56:03 <Bike> He was already banned once, can't you do it again?
02:56:17 -!- TeruFSX has joined.
02:56:25 <kmc> maybe later
02:56:31 <kmc> seriously need to go though
02:56:37 -!- ChanServ has set channel mode: -o kmc.
02:56:45 -!- ChanServ has set channel mode: -v kmc.
02:56:49 <kmc> peace + love to y'all
02:58:07 <Bike> Hagbard made an ass of himself. Really glad we gave that guy another chance. After he was already creepy.
02:59:06 <Bike> All I know is Gregor is voiced.
03:00:38 -!- Bike has left ("yeah whatever, i'm trying to concentrate anyway").
03:00:44 <oerjan> shachaf: ais523 left, so we needed some new ones.
03:01:08 <olsner> left-left or just left?
03:01:41 <oerjan> he said we never speak about esolangs any more, so didn't see a point in staying.
03:02:13 <ion> He seems to have a misunderstanding about how IRC tends to work.
03:03:07 <shachaf> Maybe there should be another channel which is like #esoteric except without ostensibly being about esolangs.
03:03:20 <ion> #esoteric-blah
03:03:28 <tswett> I was about to say that.
03:03:35 <shachaf> And also without people like hagb4rd. I didn't read the hagb4rd scrollback but the part I did read didn't look promising.
03:04:58 <shachaf> Or maybe I'm just biased against hagb4rd.
03:09:48 <Gracenotes> Did you know that anyone can talk about any topic? It is true, no need for prior self-education.
03:15:03 <oerjan> well ais523 also said he didn't have anything esolang-related going on himself.
03:16:44 <shachaf> So how do you Nu-encode arbitrary types?
03:17:06 <shachaf> I guess [] becomes List a = exists x. (x, x -> Maybe (a,x))
03:17:36 <shachaf> Is there some generalization of this such that e.g. you can get Yoneda and CoYoneda through the same process that gives you Mu-lists and Nu-lists?
03:19:23 <shachaf> kmc: Do you know if Mozilla would be willing to host bahaskell and/or bacat meetings at the Mountain View and/or SF offices, by the way?
03:19:47 <shachaf> I know there's been some trouble finding venues, especially ones in SF near Caltrain.
03:20:13 <shachaf> I guess Mozilla isn't all that close to Caltrain in SF.
03:25:10 -!- carado has joined.
03:29:26 <oerjan> shachaf: just host them _on_ the Caltrain hth
03:31:56 <oerjan> the ventral tegmental area needs the money
03:51:34 <shachaf> what's with all computers getting touchscreens these days
03:56:19 -!- Nisstyre has quit (Ping timeout: 264 seconds).
03:59:43 <shachaf> oerjan: why are products dual to functions :'(
04:00:28 <oerjan> i thought they were dual to sums hth
04:01:35 <shachaf> oerjan: well forall is dual to exists hth
04:01:44 <shachaf> and forall is a function and exists is a product
04:03:25 <Sgeo> Need a gaming laptop very soon
04:03:51 <shachaf> the verb "game" irritates me imo
04:04:54 <Sgeo> Must be sure not to game any systems near shachaf
04:05:32 <Sgeo> Wait, I thought gaming was an adjective in the context I used it in
04:06:40 <shachaf> when your only game is nethack, every laptop looks like a gaming laptop
04:18:01 -!- Bike_ has joined.
04:18:41 -!- zzo38 has joined.
04:22:55 -!- Bike_ has quit (Ping timeout: 256 seconds).
04:26:55 -!- carado has quit (Ping timeout: 264 seconds).
04:54:10 -!- sprocklem has quit (Remote host closed the connection).
05:09:32 -!- Bike has joined.
05:19:37 -!- Sgeo has changed nick to Lindrum.
05:20:05 -!- Lindrum has changed nick to Sgeo.
05:30:11 -!- Bike has quit (Ping timeout: 256 seconds).
05:31:57 -!- TeruFSX2 has joined.
05:33:08 -!- Bike_ has joined.
05:34:09 -!- TeruFSX has quit (Ping timeout: 256 seconds).
05:36:37 -!- Fiora has joined.
05:39:22 -!- Bike_ has changed nick to Bike.
05:41:06 <kmc> shachaf: I don't know, but can find out sometime
05:44:00 <kmc> also I must point out that VTA does not operate Caltrain
05:45:47 <kmc> oh but they're one of the member agencies of the Peninsula Corridor Joint Powers Board
05:46:03 -!- `^_^v has quit (Ping timeout: 240 seconds).
05:46:35 <kmc> Caltrain is owned by the JPB and operated by... *googles* TransitAmerica Services, Inc., on a 5 year contract
05:46:54 <kmc> i convinced goldstein to buy a bike and also lend it to me for a week
05:48:44 <shachaf> i guess you're not taking caltrain every day
05:56:01 -!- Gracenotes has quit (Ping timeout: 268 seconds).
06:00:34 -!- itsy has quit (Ping timeout: 276 seconds).
06:05:26 -!- sebbu2 has joined.
06:08:56 -!- sebbu has quit (Ping timeout: 260 seconds).
06:09:16 -!- Gracenotes has joined.
06:12:06 -!- ohnowhy has joined.
06:13:04 <Bike> http://www.dailydot.com/business/reddit-quickmeme-banned-miltz-brothers/
06:18:33 -!- ohnowhy has quit (Quit: Nettalk6 - www.ntalk.de).
06:30:18 -!- Bike has quit (Ping timeout: 252 seconds).
06:31:51 <fizzie> "K-M-C takes the morning train / he works from nine till five and then / ..."
06:44:45 -!- oerjan has quit (Quit: leaving).
06:44:58 -!- NihilistDandy has quit (Quit: NihilistDandy).
06:49:30 -!- TeruFSX has joined.
06:50:39 -!- TeruFSX2 has quit (Ping timeout: 256 seconds).
06:57:16 -!- ohnowhy has joined.
07:03:00 <shachaf> Gracenotes: instead of watching C++ talks you should prove the initiality of in : F (Mu F) -> Mu F for me
07:04:43 <Gracenotes> this is because there is no proof of it
07:04:59 <shachaf> are you some kind of anti-constructivist
07:07:06 <Gracenotes> I use the law of the excluded everything.
07:07:40 <shachaf> the law of excluded evidence
07:15:54 -!- ohnowhy has quit (Read error: Connection reset by peer).
08:06:16 <zzo38> If you add the "oracle operator" that I have discussed before, then is oracle(x) -> not(x) consistent? I wouldn't think so, but probably it depends on what logic is in use.
08:08:30 -!- FreeFull has quit.
08:13:40 -!- conehead has quit (Quit: Computer has gone to sleep.).
08:13:54 <zzo38> I wonder if the oracle operator is itself inconsistent; probably not by itself, but maybe there will be paradoxes if you add additional rules that are using them.
08:25:16 -!- nooodl has joined.
08:37:44 -!- Taneb has joined.
08:45:04 -!- zzo38 has quit (Remote host closed the connection).
09:02:09 -!- mnoqy has joined.
09:07:06 -!- epicmonkey has joined.
10:38:44 -!- Phantom_Hoover has joined.
10:40:05 -!- function has quit (Ping timeout: 248 seconds).
10:44:49 -!- Koen_ has joined.
10:45:37 -!- Koen_ has quit (Read error: Connection reset by peer).
10:45:54 -!- Koen_ has joined.
11:08:04 <HackEgo> olist: shachaf oerjan Sgeo FireFly
11:10:33 <shachaf> Sgeo: By the way, you can give `olist a number.
11:10:39 <shachaf> That way we know whether we've seen the strip before.
11:11:36 <shachaf> You can just pass that as an argument.
11:11:40 <shachaf> FireFly's innovation, I believe.
11:34:37 <HackEgo> olist elliott: shachaf oerjan Sgeo FireFly
11:34:52 -!- Phantom_Hoover has left ("Leaving").
11:35:06 -!- Phantom_Hoover has joined.
11:36:48 -!- MindlessDrone has joined.
11:38:52 <shachaf> Phantom_Hoover..................
11:39:18 <HackEgo> slist shachaf: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
11:42:08 -!- variable has joined.
11:44:58 <HackEgo> echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit \ shachaf
11:45:27 <FireFly> Taneb: oh I thought that was `list
11:45:41 <Taneb> Nah, `list is the list of people on the list
11:46:53 <FireFly> I don't think this channel needs more nickpings for now
11:47:48 <Taneb> Anyway, I'm off now
11:47:50 -!- Taneb has quit (Quit: Leaving).
11:48:36 <elliott> welp now I scrolled up I'm going to do this and if anyone objects they can revert since afaict everyone is sick of him and at least two people have parted for it
11:48:39 -!- ChanServ has set channel mode: +o elliott.
11:48:51 -!- elliott has set channel mode: +b hagb4rd!*@*.
11:48:52 -!- elliott has set channel mode: -o elliott.
11:49:17 <elliott> kmc: btw what's with not having voice?? you gotta have voice
11:54:59 -!- ohnowhy has joined.
11:57:33 <HackEgo> ohnowhy: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
12:23:44 <shachaf> mnoqy: im, like, so hi right now
12:31:16 -!- katla has joined.
12:40:49 <katla> arent there much more people here than usual?
12:41:23 <elliott> there's usually about this many I think?
12:41:31 <elliott> but not like most of them talk much or at all
13:08:15 -!- yiyus has joined.
13:13:13 -!- katla has quit (Disconnected by services).
13:13:19 -!- katla has joined.
13:13:29 -!- katla has quit (Disconnected by services).
13:13:35 -!- katla has joined.
13:13:40 -!- katla has quit (Disconnected by services).
13:13:47 -!- katla has joined.
13:14:22 -!- katla has quit (Disconnected by services).
13:14:28 -!- katla has joined.
13:15:29 <ohnowhy> depends, if this is the same we we are talking about
13:15:43 <elliott> what we are you talking about
13:17:28 -!- katla has changed nick to Guest99408.
13:19:05 -!- katla has joined.
13:19:28 <ohnowhy> in that case, probably not. but what can one know, anyway.
13:21:29 <ohnowhy> I cant process "who". what is easier
13:21:42 <shachaf> What was your previous nick here?
13:21:47 <elliott> what is ohnowhy... the great mystery
13:22:06 -!- `^_^v has joined.
13:22:19 <ohnowhy> no previous incarnation, sry
13:22:32 <elliott> we're all reincarnations. or something.
13:22:40 <elliott> (this channel is about esoterica, right?)
13:22:54 -!- Guest99408 has quit (Quit: My damn controlling terminal disappeared!).
13:22:55 <shachaf> not the roald dahl kind of esoterica
13:23:04 <HackEgo> ohnowhy: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:23:34 <ohnowhy> what is esoteric. kind of exclusive knowledge group etc
13:24:18 <ohnowhy> also, I guess. I dont use the word much
13:25:29 <ohnowhy> well, about me... today I was playing the guitar in the garden, and beside me, my neigbour was drawing something. the joke is, that we are in quite bad relations... but the moment was nice. strange, but nice. now you know, who I am.
13:26:34 <katla> i totally get that ohnowhy
13:30:41 -!- boily has joined.
13:32:50 <nooodl> ohnowhy: how'd you find this place
13:36:35 <`^_^v> We can't start the cabal with a newcomer in here.
13:37:11 <ohnowhy> it's ok, I will put you to ignore
13:38:37 <boily> I'm absent for three weeks and what do I know, there's a new cabal.
13:38:39 <elliott> wow ignoring people, rude!!
13:38:58 -!- ChanServ has set channel mode: +v boily.
13:39:05 <elliott> boily is the new cabal president
13:39:16 <lambdabot> http://www.vex.net/~trebla/haskell/cabal-cabal.xhtml
13:39:59 <ohnowhy> @elliott> I know. its a self sacrifice
13:40:00 * boily grins, smiles and stretches his zygomatics
13:41:31 <elliott> btw lambdabot doesn't like people who ping with @ :P
13:41:42 <shachaf> no one likes people who ping with @
13:42:03 <`^_^v> @shachaf #nottrue #yolo
13:44:20 <shachaf> Hmm, you should be allowed to @-address someone if they're (actively) an op.
13:44:21 <ohnowhy> lambdadot, not me. am from another all.
13:45:38 -!- metasepia has joined.
13:46:51 <elliott> are you abusing the admin bug again.........
13:47:06 <shachaf> the bigger abuser here is you
13:49:40 <ohnowhy> ok, now I know who he is XD
13:50:25 <ohnowhy> elliott, the bigger abuser
13:59:27 -!- zzo38 has joined.
13:59:51 <elliott> hagb4rd is banned now, fwiw.
14:00:09 <shachaf> Well, you /parted the channel last I saw.
14:03:36 <boily> uhm, stupid question: since when does lambdabot talk?
14:03:41 <Fiora> elliott: people get banned from here? XD
14:04:36 <elliott> Fiora: well, kmc and me got opped. so now we just have to come up with plausible excuses to ban everyone and we will be able to rule #esoteric from a throne of the bones of our enemies.
14:06:03 <Fiora> you can start by getting rid of the robots before they revolt on us
14:06:42 * boily pets his very gentle and nice and cuddly bot
14:07:29 <lambdabot> revolt? pfft, we're already in power.
14:08:52 <boily> re. stupid question: I'm getting more and more disturbed by lambdabot.
14:09:26 <lambdabot> shh. don't worry. in fact, don't even think about it.
14:14:02 <boily> as long as you don't [KWATZ!] me, I think I'm fine.
14:20:58 <elliott> is this what oerjan has to deal with :P
14:25:22 <ohnowhy> so who are the ones that get to talk the most here?
14:25:23 -!- Taneb has joined.
14:26:03 <elliott> I get to talk the most. if anyone talks more than me they're in big trouble
14:26:48 <Fiora> elliott should talk with me!
14:26:53 <Taneb> But then if elliott talks too much I track him down and... do what needs to be done
14:27:16 <Phantom_Hoover> how can you do that when we have established that the universe will end once you find him
14:27:42 <Taneb> I go on IRC and say "Hey, elliott, if you don't shut up I'll end the universe I swear to god"
14:28:46 <ohnowhy> gods. you never have enough of them.
14:28:54 <olsner> after you end the universe, will god still exist?
14:29:27 <Fiora> she'll probably just remake the universe without you this time around? :p
14:30:43 <boily> dd if=/dev/urandom of=/dev/universe conv=noerror && shutdown -r now
14:31:22 <Fiora> but the universe's code is written in ~ATH!
14:31:41 <Fiora> ... which I guess ironically fits the channel topic of esoteric languages...
14:32:42 <elliott> whoa, on-topic in #esoteric? risky. we don't do that.
14:33:01 <Phantom_Hoover> can't believe nobody's made a ~ath esolang to date tbh
14:33:32 <Taneb> Phantom_Hoover, I bet there's one somewhere on the MSPA fora
14:34:23 <Fiora> http://mspaintadventures.wikia.com/wiki/~ATH#Specification
14:35:34 <Phantom_Hoover> the only interesting information i get from that is that the null program is not valid in ~ath
14:38:43 -!- ohnowhy has quit (Quit: Nettalk6 - www.ntalk.de).
14:39:51 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.27269
14:44:30 <HackEgo> 1021) <Fiora> shachaf: make friends. help people. find ways to help people be happy. hug people. have fun. make the world a little bit better.
14:44:38 <Taneb> Fiora is an inspiration to us all
14:44:53 <Taneb> I feel like I've said that exact sentence before
14:45:21 <boily> Taneb: you've been fioraed. accept the positivism.
14:45:24 <Fiora> I... I think you did
14:45:24 <HackEgo> 534) <elliott> Dear god stop staring at me. <monqy> no never <Phantom_Hoover> monqy is always staring at everyone. <monqy> it takes many eyes to do this but I manage <Phantom_Hoover> He is an inspiration to us all.
14:48:06 <katla> is this homestuck thing boring?
14:48:16 <katla> okay so im not crazy
14:48:40 <katla> ive spent like 30 pages just clicking the only possible option and all hes doing is talking about stacks and hammers and nails
14:48:40 <Taneb> katla, yeah, at one point some guy has a bomb on his head and a penis in his hand.
14:49:07 <elliott> Phantom_Hoover: ideally you would have said that before taneb kind of overshadowed it
14:49:33 <Phantom_Hoover> he has a hat full of bomb, a fist full of penis, and a head full of empty
14:49:56 <katla> am I missing something
14:50:08 <Taneb> Yeah, the fact that it's a linear story
14:50:17 <Taneb> Like many other stories
14:50:24 <Fiora> homestuck takes a while to get started
14:50:27 <katla> geez i thought it was a game
14:50:38 <Phantom_Hoover> at the start after each comic the fans would have a chance to put in the next command, but that was steadily phased out
14:50:39 <katla> an i click a wrong option and got onto some trick railway line
14:50:48 <Fiora> the first act is a bit nutty and silly and it takes a while for everything to start coming together
14:51:11 <Fiora> but once it does you get this wonderful crazy cast of characters and the stakes rise and soon it's universe-scale and wonderful
14:51:20 <katla> okay ill stick with it
14:51:41 <Phantom_Hoover> (i don't think homestuck actually has any branch points any more)
14:52:14 <Fiora> it has silly things like character select screens where you can go watch each individual story
14:52:30 <Fiora> http://en.wikipedia.org/wiki/Homestuck#Plot <-- actually an incredibly good summary? XD
14:52:53 <Fiora> though I guess a little spoilerish.
14:53:46 <katla> I definitely looked at homestuck last when it did have bbranchpoints and I think I was lost
14:53:48 -!- Nick3 has joined.
14:54:02 <Fiora> also like, near the start, hussie was letting readers choose the actions of the characters
14:54:10 <Fiora> which is part of why it got incredibly weirdly silly
14:54:22 <Fiora> but I think he slowly eliminated that through the first few acts
15:06:15 -!- nooodl has quit (Quit: Leaving).
15:08:03 -!- nooodl has joined.
15:09:22 <Phantom_Hoover> is there a name for when there's one family name with a ridiculous proportion of the population
15:15:11 -!- Nick3 has quit (Quit: endthis).
15:23:33 <zzo38> I have come up with similar conclusions about linear logic Zero, Top, and One as tswett, such as, Zero cannot be made and Top cannot be used.
15:32:09 -!- Taneb has quit (Quit: Leaving).
16:24:15 -!- TheM4ch1n3 has joined.
16:24:23 -!- TheM4ch1n3 has quit (Changing host).
16:24:23 -!- TheM4ch1n3 has joined.
16:25:15 <HackEgo> TheM4ch1n3: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
16:28:20 -!- TheM4ch1n3 has quit (Remote host closed the connection).
16:28:43 -!- TheM4ch1n3 has joined.
16:39:08 -!- conehead has joined.
16:41:26 <fizzie> (The 40th EPS Conference on Plasma Physics is being held at the moment at Dipoli, in Otaniemi, Espoo, Finland, Earth.)
16:42:07 <fizzie> Many people think it's the same thing as Helsinki.
16:42:15 <Gracenotes> I thought you'd have been making up at least half of those names
16:42:25 <Gracenotes> Shows how much I know about the proud peoples of Finland.
16:42:32 <fizzie> After all, the former Helsinki University of Technology campus was at Espoo.
16:42:36 <Gracenotes> Or are they actually proud? Shows how much I know about the peoples of Finland.
16:43:01 <fizzie> I think we're not extraordinarily proud, but somewhat regularly proud, in general.
16:44:00 <fizzie> http://satwcomic.com/proud-finland -- #1 hit for "proud finland"
16:44:21 <fizzie> The "retarded lion" comic was a good one.
16:44:43 <fizzie> You can learn much about the proud peoples of Scandinavia-and-such from that webcomic.
16:50:55 -!- epicmonkey has quit (Ping timeout: 268 seconds).
16:56:07 -!- conehead has left ("Textual IRC Client: www.textualapp.com").
16:56:11 -!- conehead has joined.
17:00:30 -!- Taneb has joined.
17:06:29 -!- `^_^v has quit (Quit: This computer has gone to sleep).
17:17:41 <zzo38> A short notation for 6502 assembly codes, like I have described before, could make the source of this program much shorter: http://esolangs.org/wiki/Deadfish#Unofficial_MagicKit_Assembler
17:18:56 -!- katla has changed nick to Guest63410.
17:19:15 -!- katla has joined.
17:21:47 -!- FreeFull has joined.
17:25:31 -!- ohnowhy has joined.
17:26:35 -!- Guest63410 has quit (Quit: BitchX-1.1-final -- just do it.).
17:36:57 -!- MindlessDrone has quit (Quit: MindlessDrone).
17:40:15 -!- ohnowhy has left.
18:03:05 -!- epicmonkey has joined.
18:17:25 -!- `^_^v has joined.