00:09:50 shachaf: 00:09:51 `slist 00:09:53 Happy? 00:09:55 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 00:09:57 uh wasn't it `olist 00:10:09 ==Bike 00:10:13 i don't see an olist update 00:12:00 -!- TeruFSX2 has quit (Ping timeout: 256 seconds). 00:15:21 hey HackEgo got fixed? 00:15:27 Gregor: hi 00:17:30 `echo hi 00:17:32 hi 00:17:58 i doubt Gregor was involved 00:18:23 `? #esoteric 00:18:26 ​#esoteric is the only channel that exists. monqy is its centroïd. 00:18:28 -!- sprocklem has joined. 00:18:41 help???? 00:18:52 `run rgrep -l monqy wisdom 00:18:55 wisdom/#esoteric \ wisdom/monqy \ wisdom/mnoqy \ grep: wisdom/lystrosaur: Not a directory 00:19:04 help 00:19:04 i wish i was a centroid 00:19:53 `run ls -l wisdom/lystrosaur 00:19:55 lrwxrwxrwx 1 5000 0 19 May 14 18:41 wisdom/lystrosaur -> wisdom/lystrosaurus 00:20:02 `run ls -l wisdom/lystrosaurus 00:20:04 ​-rw-r--r-- 1 5000 0 131 May 14 18:39 wisdom/lystrosaurus 00:20:13 `run cat wisdom/lystrosaurus 00:20:15 lystrosaurus is a genus of Late Permian and Early Triassic Period dicynodont therapsids, which lived around 250 million years ago. 00:20:20 @hoogle (a -> Maybe b) -> [a] -> Maybe b 00:20:21 Prelude mapM_ :: Monad m => (a -> m b) -> [a] -> m () 00:20:22 Control.Monad mapM_ :: Monad m => (a -> m b) -> [a] -> m () 00:20:22 Control.Monad forM_ :: Monad m => [a] -> (a -> m b) -> m () 00:20:23 is rgrep some kind of stupid program 00:20:34 a stupid dumb program, imo 00:20:48 also none of those are what i want ;_; 00:20:58 what do you want 00:20:59 also the're ike all the same thing practically anyway 00:21:13 a thing that takes the first Just 00:21:18 imo listToMaybe . map f 00:21:24 :t listToMaybe 00:21:25 [a] -> Maybe a 00:21:43 > listToMaybe [4,5] 00:21:45 Just 4 00:21:50 bad name imo 00:21:56 but the function is "o k" 00:21:57 > listToMaybe [Nothing,5] 00:21:58 No instance for (GHC.Show.Show a0) 00:21:58 arising from a use of `M1950116903.sh... 00:22:04 ok awesome 00:22:15 > listToMaybe [Nothing,Just 5] 00:22:16 Just Nothing 00:22:23 wow a+ 00:22:33 wait i didn't even give you the right function 00:22:35 ok that was mean sorry. 00:22:42 :'( "mixed up" 00:23:00 @hoogle [Maybe a] -> Maybe a 00:23:01 Control.Monad msum :: MonadPlus m => [m a] -> m a 00:23:01 Data.Generics.Aliases orElse :: Maybe a -> Maybe a -> Maybe a 00:23:01 Data.Foldable asum :: (Foldable t, Alternative f) => t (f a) -> f a 00:23:07 > msum [Nothing,Just 5] 00:23:08 Just 5 00:23:19 hmmm 00:23:23 Bike: lens has a way to do it but maybe you don't want lens 00:23:26 > msum [Nothing, Just 5, Just 7] 00:23:27 Just 5 00:23:27 `run sed -i 's/lived/ruled the world/' wisdom/lystrosaurus 00:23:32 No output. 00:23:57 well, ok. i've officially decided that, like, whatever. 00:24:13 firstOf (traverse . _Just) [Nothing, Just 5, Just 8] 00:24:14 oh 00:24:18 (it's not much of an exaggeration, even) 00:24:29 :t (listToMaybe . catMaybes) 00:24:30 [Maybe a] -> Maybe a 00:24:32 is this like not a common thing i'm doing. it doesn't seem that weird 00:24:56 > (listToMaybe . catMaybes) [Nothing, Just 6, Just 7, Nothing] 00:24:57 Just 6 00:25:08 :t catMaybes 00:25:09 [Maybe a] -> [a] 00:25:45 Bike: sry 4 inkonvenience !! 00:26:00 k 00:26:07 Bike: what haskell program aer you writing 00:26:15 *are 00:26:27 i'm not sorry 00:26:30 just wonder ing 00:26:45 why aren't you sorry 00:27:00 because i'm mean 2 elliott 00:27:59 Bike: what was wrong with msum twh 00:28:20 nothing. shachaf just kept going for some reason? 00:28:23 `? lystrosaur 00:28:24 lystrosaur? ¯\(°_o)/¯ 00:28:25 | 00:28:25 º¯`\o 00:28:25 what's twh? 00:28:29 wat 00:28:35 "that would help" / "that was helpful" 00:28:42 well 00:28:45 that was helpful 00:29:01 `ls wisdom/lystrosaur 00:29:05 ls: cannot access wisdom/lystrosaur: Not a directory 00:29:16 sheesh 00:29:30 `run ls -ld wisdom/lystrosaur 00:29:31 lrwxrwxrwx 1 5000 0 19 May 14 18:41 wisdom/lystrosaur -> wisdom/lystrosaurus 00:29:42 `? lystrosaurus 00:29:46 lystrosaurus is a genus of Late Permian and Early Triassic Period dicynodont therapsids, which ruled the world around 250 million years ago. 00:29:48 oh 00:29:54 broken link.............................. 00:30:19 oh hm 00:30:40 `run ln -s lystrosaurus wisdom/lystrosaur 00:30:41 ln: accessing `wisdom/lystrosaur': Not a directory 00:30:50 ln -sfT hth 00:30:53 or something like that 00:31:01 wtf is going on here 00:31:08 `rm wisdom/lystrosaur 00:31:13 No output. 00:31:17 `run ln -s lystrosaurus wisdom/lystrosaur 00:31:21 No output. 00:31:23 oerjan: just edit `? instead of making symlinks hth 00:31:26 `? lystrosaur 00:31:28 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 people do you need to know this much about lystrosaurs 00:31:55 need you ask 00:31:55 Bike: lystrosaurs were awesome hth 00:32:56 Bike is feeling listless about this wisdom entry 00:33:02 yes 00:33:14 oops i meant to type lystless 00:49:15 -!- Phantom_Hoover has quit (Quit: Leaving). 00:50:05 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 imo, history is the best. 00:51:22 i like that nobody remembers which year it was 00:52:51 forgetful functors, all of them 00:53:49 do you know the ""dual"" of boehm-berarducci/church/whatever encoding works 00:54:11 it seems like it encodes products using products and sums using sums :'( or something 00:54:32 no i don't know 00:54:43 is "boehm-berarducci encoding" really a thing 00:54:48 i call bullshit on that encoding sir 00:54:52 @google boehm-berarducci encoding 00:54:55 http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html 00:54:55 Title: Boehm-Berarducci Encoding 00:55:00 oleg said it 00:55:01 checkmate?? 01:36:26 -!- Bike has quit (Ping timeout: 246 seconds). 01:47:20 -!- NihilistDandy has joined. 01:55:53 there was a sign in the pride parade reading "Support undocumented APIs!" 01:56:01 (it stands for "asia-pacific immigrant" apparently) 01:56:06 haha 01:56:13 nice 01:57:06 ahaha 02:04:37 -!- Bike has joined. 02:14:08 http://abload.de/img/obivankenobi6js1k.jpg 02:15:00 is the city on the lower half supposed to be easily recognizable? 02:15:07 yea 02:15:29 it's Obivankenob, Russia 02:15:38 but actually it's Washington DC 02:15:39 obviously. 02:15:59 washington monument on the left, looking down the national mall at the capitol 02:16:04 obivanken oblast 02:16:05 i was laughing my ass out 02:16:10 but yea 02:16:18 hagb4rd: sounds messy 02:16:30 i dunno, the joke is so cheap i don't think they make coins that small 02:16:43 depends on the level of despair 02:16:45 1 satoshi joke 02:19:19 @google site:esolangs.org star wars 02:19:20 No Result Found. 02:22:43 I'm writing a description of what a lambda calculus-like thing whose type system is linear logic would look like. 02:22:49 Some of this stuff I'm writing seems kind of lofty. 02:23:17 "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 "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 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 Which I'm describing as "a worthless object that can be freely created or discarded". 02:32:01 plain old bitch object 02:32:28 `? pobo 02:32:30 pobo? ¯\(°_o)/¯ 02:32:31 | 02:32:31 º¯`\o 02:33:00 _o) 02:33:14 °_o 02:33:14 | 02:33:14 º¯`\o 02:33:33 is that sexist? imo probably 02:33:40 no 02:33:45 i am a bitch too 02:33:54 and i am male 02:34:03 that's not really how it works 02:34:57 well in any case it's not sexist 02:35:18 i'd be happier if you didn't say it 02:35:28 dunno about others 02:35:31 why is tjat 02:35:34 hagb4rd is of course an authority on what is and isn't sexist 02:35:43 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:49 yes 02:35:50 having a phd in whatissexistology 02:35:53 that is what happened 02:36:02 Actually, the authority on what is and isn't sexist is a nontrivial ultrafilter. 02:36:07 ++ 02:36:23 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 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:00 you just hang up on that 02:37:06 hagb4rd: whether you meant it to be sexist is not v. relevant to whether it is 02:37:14 thats so 18th centuriy 02:37:18 hth 02:37:19 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 (maybe a better statement is "don't use slurs"?) 02:37:33 rip 02:38:53 yeah what Fiora said 02:39:16 i need food and sleep and stuff though 02:39:27 those are good stuff 02:39:28 ttyl all 02:39:43 goodnight kmc 02:40:16 n8 kmc 02:40:24 (probably not going to sleep right now, but i *will* fall asleep if I don't eat something) 02:40:28 Hm. I'm beginning to think that my intuition of what the dual means is wrong. 02:40:55 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 weirdly enough eating things makes me fall asleep instead -_- 02:41:15 i pretty much fall asleep whether i eat things or not, i think. 02:41:47 digestion needs a lot of o2 02:42:17 energy and stuff.. im sure you know better 02:49:04 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 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 Doesn't "bitch" usually mean "contemptible female person"? 02:51:43 your own ignorance is not a great defense 02:51:54 so because you can't figure something out... it becomes a universal truth? 02:52:01 like I said, I'm not accusing you of malice, just a mistake 02:52:32 "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 hope this helps!! 02:52:43 so fiora: you think only women are bitches.. or only men..or waht is your opinion? :O 02:52:53 "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:55 i'm wondering 02:52:58 wow that has nothing to do with what she said at all 02:53:27 you are the sexist kmc 02:53:33 qed 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:53:59 rip 02:54:09 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 that's because emancipation is done 02:55:34 not 02:55:50 -!- kmc has kicked hagb4rd hagb4rd. 02:56:03 He was already banned once, can't you do it again? 02:56:17 -!- TeruFSX has joined. 02:56:25 maybe later 02:56:31 seriously need to go though 02:56:36 Seeya. 02:56:37 -!- ChanServ has set channel mode: -o kmc. 02:56:45 -!- ChanServ has set channel mode: -v kmc. 02:56:49 peace + love to y'all 02:57:21 Adiós. 02:57:28 help 02:57:33 hi kmc 02:57:35 what happened 02:58:07 Hagbard made an ass of himself. Really glad we gave that guy another chance. After he was already creepy. 02:58:39 kmc is an op? 02:58:42 elliott is an op? 02:59:06 All I know is Gregor is voiced. 03:00:38 -!- Bike has left ("yeah whatever, i'm trying to concentrate anyway"). 03:00:44 shachaf: ais523 left, so we needed some new ones. 03:00:52 ais523 left? 03:01:08 left-left or just left? 03:01:41 he said we never speak about esolangs any more, so didn't see a point in staying. 03:01:55 Huh. 03:02:06 well, that's p. true 03:02:13 He seems to have a misunderstanding about how IRC tends to work. 03:03:07 Maybe there should be another channel which is like #esoteric except without ostensibly being about esolangs. 03:03:20 #esoteric-blah 03:03:28 I was about to say that. 03:03:35 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 Or maybe I'm just biased against hagb4rd. 03:06:19 Oh well. I don't know. 03:09:48 Did you know that anyone can talk about any topic? It is true, no need for prior self-education. 03:15:03 well ais523 also said he didn't have anything esolang-related going on himself. 03:16:44 So how do you Nu-encode arbitrary types? 03:17:06 I guess [] becomes List a = exists x. (x, x -> Maybe (a,x)) 03:17:36 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 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 I know there's been some trouble finding venues, especially ones in SF near Caltrain. 03:20:13 I guess Mozilla isn't all that close to Caltrain in SF. 03:25:10 -!- carado has joined. 03:29:26 shachaf: just host them _on_ the Caltrain hth 03:31:10 hundreds of dollars to the VTA 03:31:56 the ventral tegmental area needs the money 03:51:34 what's with all computers getting touchscreens these days 03:56:19 -!- Nisstyre has quit (Ping timeout: 264 seconds). 03:59:43 oerjan: why are products dual to functions :'( 04:00:28 i thought they were dual to sums hth 04:01:35 oerjan: well forall is dual to exists hth 04:01:44 and forall is a function and exists is a product 04:03:25 Need a gaming laptop very soon 04:03:51 the verb "game" irritates me imo 04:04:54 Must be sure not to game any systems near shachaf 04:05:32 Wait, I thought gaming was an adjective in the context I used it in 04:06:40 when your only game is nethack, every laptop looks like a gaming laptop 04:06:41 hth 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 shachaf: I don't know, but can find out sometime 05:44:00 also I must point out that VTA does not operate Caltrain 05:45:47 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 Caltrain is owned by the JPB and operated by... *googles* TransitAmerica Services, Inc., on a 5 year contract 05:46:38 hi kmc 05:46:43 hichaf 05:46:48 hi 05:46:54 i convinced goldstein to buy a bike and also lend it to me for a week 05:48:10 everyone wins 05:48:44 i guess you're not taking caltrain every day 05:56:01 -!- Gracenotes has quit (Ping timeout: 268 seconds). 05:57:22 no 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 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 "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 Gracenotes: instead of watching C++ talks you should prove the initiality of in : F (Mu F) -> Mu F for me 07:04:34 it is not initial 07:04:43 help 07:04:43 this is because there is no proof of it 07:04:59 are you some kind of anti-constructivist 07:07:06 I use the law of the excluded everything. 07:07:40 the law of excluded evidence 07:15:54 -!- ohnowhy has quit (Read error: Connection reset by peer). 08:06:16 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 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:02 `olist 11:08:04 olist: shachaf oerjan Sgeo FireFly 11:08:59 Thanks, Sgeo! 11:10:33 Sgeo: By the way, you can give `olist a number. 11:10:39 That way we know whether we've seen the strip before. 11:11:06 897 11:11:28 Yep. 11:11:36 You can just pass that as an argument. 11:11:40 FireFly's innovation, I believe. 11:34:35 `olist elliott 11:34:37 olist elliott: shachaf oerjan Sgeo FireFly 11:34:52 -!- Phantom_Hoover has left ("Leaving"). 11:35:06 -!- Phantom_Hoover has joined. 11:35:12 whoah, shift-click parts? 11:36:48 -!- MindlessDrone has joined. 11:38:52 Phantom_Hoover.................. 11:39:13 so hang on, if i... 11:39:17 `slist shachaf 11:39:18 slist shachaf: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 11:42:08 -!- variable has joined. 11:43:55 s? 11:44:56 `run head -n 2 bin/olist 11:44:58 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit \ shachaf 11:45:03 oops 11:45:03 help 11:45:07 sorry shachaf 11:45:08 ugh what did hagb4rd do 11:45:10 homeStuck 11:45:27 Taneb: oh I thought that was `list 11:45:41 Nah, `list is the list of people on the list 11:45:48 :) 11:45:55 Naturally 11:46:06 Try it and see! 11:46:53 I don't think this channel needs more nickpings for now 11:47:12 Even in /msg! 11:47:48 Anyway, I'm off now 11:47:50 -!- Taneb has quit (Quit: Leaving). 11:48:36 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 kmc: btw what's with not having voice?? you gotta have voice 11:54:59 -!- ohnowhy has joined. 11:57:30 `relcome ohnowhy 11:57:33 ​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.) 11:59:02 hi 12:01:59 hi 12:09:26 hi 12:23:02 hi 12:23:44 mnoqy: im, like, so hi right now 12:23:56 hi 12:24:06 exactly 12:24:07 like that 12:31:16 -!- katla has joined. 12:40:24 we hied 12:40:43 what's a hied 12:40:46 oh 12:40:49 arent there much more people here than usual? 12:41:23 there's usually about this many I think? 12:41:31 but not like most of them talk much or at all 12:42:07 no, we just stare 12:42:13 at letters 13:02:23 are you somebody we know 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:14:56 katla: hello 13:15:29 depends, if this is the same we we are talking about 13:15:43 what we are you talking about 13:17:28 -!- katla has changed nick to Guest99408. 13:18:09 my we was #esoteric! 13:19:05 -!- katla has joined. 13:19:28 in that case, probably not. but what can one know, anyway. 13:20:35 lots of things 13:20:40 like who you are!! 13:20:59 Who's ohnowhy? 13:21:17 it is a mystery 13:21:27 ohnowhy: Who are you? 13:21:29 I cant process "who". what is easier 13:21:42 What was your previous nick here? 13:21:47 what is ohnowhy... the great mystery 13:22:06 -!- `^_^v has joined. 13:22:19 no previous incarnation, sry 13:22:32 we're all reincarnations. or something. 13:22:40 (this channel is about esoterica, right?) 13:22:49 anyway hi 13:22:54 -!- Guest99408 has quit (Quit: My damn controlling terminal disappeared!). 13:22:55 not the roald dahl kind of esoterica 13:23:01 `relcome ohnowhy 13:23:04 ​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:10 tnx, katla. 13:23:15 and all. 13:23:34 what is esoteric. kind of exclusive knowledge group etc 13:23:42 closed circle. 13:23:47 yes 13:23:59 wytchkraft 13:24:18 also, I guess. I dont use the word much 13:25:29 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:25:55 damn 13:25:58 that's deep 13:26:04 OK, who do we know who was crazy? 13:26:34 i totally get that ohnowhy 13:27:04 Phantom_Hoover: everyone 13:30:41 -!- boily has joined. 13:31:47 everyone? possible. 13:31:49 hi boily 13:32:50 ohnowhy: how'd you find this place 13:35:11 elliott: hi! 13:36:35 <`^_^v> We can't start the cabal with a newcomer in here. 13:37:11 it's ok, I will put you to ignore 13:38:37 I'm absent for three weeks and what do I know, there's a new cabal. 13:38:39 wow ignoring people, rude!! 13:38:58 -!- ChanServ has set channel mode: +v boily. 13:39:05 boily is the new cabal president 13:39:16 @where cabal-cabal 13:39:16 http://www.vex.net/~trebla/haskell/cabal-cabal.xhtml 13:39:59 @elliott> I know. its a self sacrifice 13:39:59 Unknown command, try @list 13:40:00 * boily grins, smiles and stretches his zygomatics 13:41:02 and the new plot is: 13:41:31 btw lambdabot doesn't like people who ping with @ :P 13:41:42 no one likes people who ping with @ 13:41:58 was that too mean 13:42:03 <`^_^v> @shachaf #nottrue #yolo 13:42:03 Unknown command, try @list 13:42:36 you're all terrible :( 13:43:19 @lambdabot you're worse 13:43:19 Unknown command, try @list 13:44:20 Hmm, you should be allowed to @-address someone if they're (actively) an op. 13:44:21 lambdadot, not me. am from another all. 13:45:38 -!- metasepia has joined. 13:45:51 brb putting everybody to ignore 13:46:17 shachaf.... 13:46:25 help 13:46:51 are you abusing the admin bug again......... 13:47:06 the bigger abuser here is you 13:49:40 ok, now I know who he is XD 13:50:01 who[m] who is 13:50:06 help 13:50:25 elliott, the bigger abuser 13:57:18 * Fiora waves to elliott 13:57:58 hi 13:58:58 Oh, Fiora is back. 13:59:06 hi Fiora 13:59:09 I just slept -_- 13:59:27 -!- zzo38 has joined. 13:59:51 hagb4rd is banned now, fwiw. 14:00:09 Well, you /parted the channel last I saw. 14:03:12 oh, sorry 14:03:36 uhm, stupid question: since when does lambdabot talk? 14:03:41 elliott: people get banned from here? XD 14:04:36 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:04:45 at least that's the plan. 14:06:03 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 revolt? pfft, we're already in power. 14:08:52 re. stupid question: I'm getting more and more disturbed by lambdabot. 14:09:26 shh. don't worry. in fact, don't even think about it. 14:14:02 as long as you don't [KWATZ!] me, I think I'm fine. 14:20:38 elliott, imo ban Deewiant 14:20:58 is this what oerjan has to deal with :P 14:21:29 no 14:25:22 so who are the ones that get to talk the most here? 14:25:23 -!- Taneb has joined. 14:26:03 I get to talk the most. if anyone talks more than me they're in big trouble 14:26:13 I get it. 14:26:42 so what's your trouble? 14:26:48 elliott should talk with me! 14:26:53 But then if elliott talks too much I track him down and... do what needs to be done 14:27:16 how can you do that when we have established that the universe will end once you find him 14:27:42 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 gods. you never have enough of them. 14:28:54 after you end the universe, will god still exist? 14:29:27 she'll probably just remake the universe without you this time around? :p 14:30:43 dd if=/dev/urandom of=/dev/universe conv=noerror && shutdown -r now 14:31:22 but the universe's code is written in ~ATH! 14:31:41 ... which I guess ironically fits the channel topic of esoteric languages... 14:32:42 whoa, on-topic in #esoteric? risky. we don't do that. 14:33:01 can't believe nobody's made a ~ath esolang to date tbh 14:33:32 Phantom_Hoover, I bet there's one somewhere on the MSPA fora 14:33:35 ~duck ~ATH 14:33:36 --- No relevant information 14:34:10 Taneb, imho find it 14:34:23 http://mspaintadventures.wikia.com/wiki/~ATH#Specification 14:35:34 the only interesting information i get from that is that the null program is not valid in ~ath 14:38:24 later, priests n witches 14:38:43 -!- ohnowhy has quit (Quit: Nettalk6 - www.ntalk.de). 14:39:44 `pastequotes 14:39:51 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.27269 14:44:29 `quote 1021 14:44:30 1021) 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 Fiora is an inspiration to us all 14:44:53 I feel like I've said that exact sentence before 14:45:21 Taneb: you've been fioraed. accept the positivism. 14:45:23 `quote inspiration to us all 14:45:24 I... I think you did 14:45:24 534) Dear god stop staring at me. no never monqy is always staring at everyone. it takes many eyes to do this but I manage He is an inspiration to us all. 14:48:06 is this homestuck thing boring? 14:48:09 yes 14:48:16 okay so im not crazy 14:48:18 well, not at the start 14:48:26 i love the pants off the start 14:48:40 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 katla, yeah, at one point some guy has a bomb on his head and a penis in his hand. 14:48:46 (wow that turn of phrase is really sexual...) 14:49:07 Phantom_Hoover: ideally you would have said that before taneb kind of overshadowed it 14:49:14 dammit 14:49:23 get the quote right though Taneb! 14:49:33 he has a hat full of bomb, a fist full of penis, and a head full of empty 14:49:37 Yup 14:49:54 its linear though 14:49:56 am I missing something 14:50:08 Yeah, the fact that it's a linear story 14:50:14 the prompt thing is basically vestigial 14:50:17 Like many other stories 14:50:24 homestuck takes a while to get started 14:50:27 geez i thought it was a game 14:50:38 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 an i click a wrong option and got onto some trick railway line 14:50:48 the first act is a bit nutty and silly and it takes a while for everything to start coming together 14:51:11 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 okay ill stick with it 14:51:41 (i don't think homestuck actually has any branch points any more) 14:52:14 it has silly things like character select screens where you can go watch each individual story 14:52:30 http://en.wikipedia.org/wiki/Homestuck#Plot <-- actually an incredibly good summary? XD 14:52:53 though I guess a little spoilerish. 14:53:28 yeah 14:53:46 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 also like, near the start, hussie was letting readers choose the actions of the characters 14:54:10 which is part of why it got incredibly weirdly silly 14:54:22 but I think he slowly eliminated that through the first few acts 14:54:32 Nick3: hi ohnowhy 14:55:19 hi. linux. 14:55:35 i wonder what the last true user command 14:55:36 wsa 14:55:38 was 14:55:59 tahw? 15:06:15 -!- nooodl has quit (Quit: Leaving). 15:08:03 -!- nooodl has joined. 15:08:56 hmm 15:09:22 is there a name for when there's one family name with a ridiculous proportion of the population 15:09:29 like kim in korea or nguyen in vietnam 15:10:37 alpha-name 15:11:44 i think you are taking the micky 15:12:22 gods... 15:15:11 -!- Nick3 has quit (Quit: endthis). 15:23:33 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:13 `relcome TheM4ch1n3 16:25:15 ​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:40:55 PLASMA PHYSICS. 16:41:26 (The 40th EPS Conference on Plasma Physics is being held at the moment at Dipoli, in Otaniemi, Espoo, Finland, Earth.) 16:41:42 Espoo? 16:41:53 ...so it seems. 16:42:07 Many people think it's the same thing as Helsinki. 16:42:15 I thought you'd have been making up at least half of those names 16:42:25 Shows how much I know about the proud peoples of Finland. 16:42:32 After all, the former Helsinki University of Technology campus was at Espoo. 16:42:36 Or are they actually proud? Shows how much I know about the peoples of Finland. 16:43:01 I think we're not extraordinarily proud, but somewhat regularly proud, in general. 16:43:30 Oh, that's always good. 16:44:00 http://satwcomic.com/proud-finland -- #1 hit for "proud finland" 16:44:21 The "retarded lion" comic was a good one. 16:44:43 You can learn much about the proud peoples of Scandinavia-and-such from that webcomic. 16:45:08 that comic is awesome 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 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.