00:00:53 -!- hppavilion1 has joined. 00:01:08 So 00:01:17 Let's get down to business 00:01:25 To defeat the Hun 00:01:32 -!- fowl has quit (Excess Flood). 00:03:00 did they send me daughters when I asked for sons 00:03:30 -!- fowl has joined. 00:07:46 -!- egrep has joined. 00:11:16 * boily wields his trusty mapole 00:14:34 -!- hilquias has quit (Remote host closed the connection). 00:15:34 -!- egrep has left ("Huh."). 00:33:16 -!- heroux has quit (Ping timeout: 264 seconds). 00:34:05 -!- heroux has joined. 00:35:11 -!- Herbalist has joined. 00:48:15 -!- adu has joined. 00:48:34 -!- hppavilion1 has quit (Ping timeout: 246 seconds). 00:48:47 -!- hppavilion1 has joined. 00:49:13 Sooooo.... 00:54:18 ...ooooooo... ♪ 00:54:44 \o/ \o/ \o/ \o/ \o/ 00:54:45 | | | | | 00:54:45 >\ /´\ |\ /< >\ 00:54:46 [wiki] [[User:Hppavilion1/Languages]] N http://esolangs.org/w/index.php?oldid=43282 * Hppavilion1 * (+251) Created Page 00:57:44 [wiki] [[Talk:Table]] N http://esolangs.org/w/index.php?oldid=43283 * Hppavilion1 * (+156) Created page with "This is a kewlzez language. Can you improve the specification? --~~~~" 01:01:22 [wiki] [[Table]] http://esolangs.org/w/index.php?diff=43284&oldid=43258 * Hppavilion1 * (-141) 01:09:04 -!- Wallacoloo has joined. 01:13:09 -!- bb010g has quit (Quit: Connection closed for inactivity). 01:23:26 -!- mihow has quit (Quit: mihow). 01:24:35 -!- fowl has quit (Excess Flood). 01:25:30 -!- fowl has joined. 01:26:08 Hi all 01:26:15 boily: You on? 01:27:12 if I'm logged in, I exist. it's a Canadian thing: intermittent corporeality. 01:27:29 Huh 01:27:31 Interesting 01:27:47 Do you do implementation? 01:28:46 it was a running gag some time ago, where Canada's existence wasn't proved yet. 01:28:56 I do implement stuff, yes. 01:29:01 Cool 01:29:17 There's this really good one that you may have been on when it was being discussed 01:29:28 hm? 01:29:33 I think it has potential to _actually_ be useful 01:29:35 Table 01:29:43 http://esolangs.org/wiki/Table 01:31:27 vying for TCness is usually the First Step©® for having a useful programming language hth 01:32:15 `wisdom 01:32:19 Eh, TCness isn't reall necessary to be useful 01:32:23 boily: turing completeness is scow 01:32:30 It wouldn't be directly based on the original design 01:32:30 codensity/Codensity is just mass per volume with all the arrows reversed. 01:32:31 you gotta work hard to avoid it but it's worth it 01:33:46 What langs do you use for implementing? 01:34:44 I have to go AFK for a few minutes 01:34:56 * boily ducktapes a piece of cardboard with "PRO COMPLETENESS" written on it on his mapole and manifests while shouting random slogans 01:35:33 whatever's handy. if I were to implement an esointerpreter now, I'd be using Python. 01:35:44 (perhaps even Java, if I'm feeling particularly evil for the day.) 01:38:49 -!- hppavilion_ has joined. 01:39:04 I use Python cause I'm a softcore goodass 01:40:26 boily ? 01:40:30 yes? 01:40:32 `? boily 01:40:33 boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. 01:40:51 `wisdom 01:40:53 fungot/fungot is our beloved channel mascot and voice of reason. 01:41:04 `culprits wisdom/fungot 01:41:04 -!- hppavilion1 has quit (Ping timeout: 246 seconds). 01:41:08 oerjan oerjan elliott boily Bike FreeFull oerjan FreeFull shachaf shachaf nitia 01:41:09 What langs do you implement in?? 01:41:18 oh, you were timing out. 01:41:25 `? nitia 01:41:26 Yes 01:41:26 nitia is the inventor of all things. The BBC invented her. 01:41:32 ... 01:41:32 I said that I use Python, or maybe even Java if I'm feeling evil. 01:41:37 Oh 01:41:39 Awesome 01:42:00 I've been looking for someone who uses python to implement :P 01:42:04 I implemented quite a non-homeopathic quantity of esolangs in Ruby, too. but that was back in the day, and haven't touched that in a few years. 01:42:26 Cool 01:43:08 I may have done one or two in perl. 01:43:29 * hppavilion_ laughs silently at the phrase "non-homeopathic" 01:43:48 That's cool 01:44:03 So do you want to try to implement an improved variant on Table? 01:44:51 I could coach you :) 01:45:05 do you have a working draft atm? 01:45:10 Not yet 01:45:15 That's where I was going to start 01:45:32 Well, I was going to start with the specification 01:45:52 I'm basing it on Haskell and the original doc 01:46:52 I decided that as a Working and possibly Final name, I'm calling this derivative Peano 01:47:32 I have Weird capitalization habits 01:48:25 https://docs.google.com/document/d/15IhFJ9patZ-CINalHAyDMTxfdwyopGnkiZBtAljBVYY/edit?usp=sharing 01:49:30 `wisdom 01:49:32 apt-get/apt-get installs whatever you wanted, plus whatever Mark Shuttleworth wanted. 01:49:55 `wisdom 01:49:58 phantom_______hoover/It doesn't get any better than this. 01:50:04 hppavilion_: don't worry. I have weird malamanteau habits. 01:50:07 `wisdom 01:50:08 php/php is the PigeonHole Principle 01:51:06 I get that reference... 01:51:21 That is, itself, a reference due to the Avengers movie 01:51:26 what reference 01:52:04 malamanteau 01:52:15 that's not a reference 01:52:19 it's a malamanteau 01:52:34 -!- adu has quit (Quit: adu). 01:52:40 Words can be more than one category 01:53:11 I usually writ things in C or C++ 01:53:32 It's a portmaneau, a malapropism, a malamanteau, a noun, and a bunch of other things 01:53:33 hppavilion_: careful about that word, "category." it has MEANINGS in this here chännel. 01:53:46 `? category 01:53:50 What does it mean? 01:53:50 Categories are just a special case of bicategories. 01:54:14 do you prefer bicategories or cellcategories 01:54:16 hppavilion_: it's usually to the Rabbit Hole of Category Theory. caveat emptor and all that sort of thing. 01:54:28 Ah? 01:54:29 s/to/into/ 01:54:34 Now I have to refresh my page 01:54:53 Or do I? 01:54:57 Yes, I do 01:55:03 Autoscroll broke :/ 01:55:10 -!- hppavilion_ has quit (Quit: Page closed). 01:55:29 -!- hppavilion1 has joined. 01:55:30 Back 01:55:38 I BEAT THE CHANSERV MESSAGE 01:55:40 WOO 01:55:51 what chanserv message? 01:55:59 -ChanServ- [#esoteric] Welcome to the esoteric programming channel! Wiki: 01:56:08 chanserv doesn't send messages hth 01:56:15 i didn't see that 01:56:22 Well I get it every time 01:56:29 `wisdom 01:56:34 Probably has to do with the fact that I'm running on Freenode 01:56:36 chess/Chess is a complex boardgame, where players exchange unclear royal steaks until they decide which of them has lost. The game is recorded through the Gringmuth Moving Pineapple Notation. 01:56:40 The webchat 01:56:50 ok i was lying sorry 01:56:54 shachaf: chanserv does send it, but it often goes to the server tab 01:56:54 Good 01:56:57 due to the order in which things happen 01:56:58 Oh 01:56:59 Weird 01:58:29 AFK 01:58:43 irssi has surprising behaviors for certain types of messages 01:58:53 PLUS(X,Y): X[^Y=]; Y. PRED(X): A,B=0; X[B[^A=]=1]; A. TIMES(X,Y): A=0; X[PLUS(A=,Y)]; A. MINUS(X,Y): Y[PRED(X=)]; X. EQUAL(X,Y): A=1; MINUS(X,Y)[A=0]; MINUS(Y,X)[A=0]; A. PUT(F(),X,Y,Z): A=F(Z); EQUAL(X,Z)[A=Y]; A. # That is a new kind of programming language I suppose 01:58:56 Ah, but you don't use irssi 01:59:29 it looks like functional programming 01:59:47 but very strange ... 02:00:39 Yes, I suppose, it is like functional programming but very strange 02:00:57 zzo38: I'm currently working on a language which is like object oriented programming but very strange 02:01:02 I call the paradigm "object cooriented programming" 02:01:21 ais523: O, OK, let's see when you have something, you can show us what it is, I guess 02:01:25 ais523: oh? 02:01:30 ais523: eeeeh? 02:02:29 it's not really finished, I can post what I have if you like 02:02:46 I just started trying to write a program, I've been trying to implement an if statement 02:02:56 please 02:02:57 to see what problems I went into 02:02:58 -!- adu has joined. 02:03:41 coppro: bearing in mind unfinished, everything is subject to change, etc.: http://sprunge.us/VjPi 02:04:29 -!- boily has quit (Quit: MONONOMIAL CHICKEN). 02:04:55 note: the language is designed in particular so that you can static-analyse all the asserts; however I don't know if I succeeded at that 02:05:05 and I'm not sure the way basic types work is quite what I want 02:08:23 So how does co-object oriented programming work? 02:09:25 hppavilion1: you call methods by setting properties on objects, the methods notice and start running, then they take their arguments by searching all the objects in existence for properties saying that they're the arguments 02:09:51 and scope is done in terms of property names, you tend to generate a lot of local/ephemeral properties that can exist on everything 02:09:51 Interesting 02:10:02 Sounds like a good one 02:10:52 another of my favourite things about TCTOE is that it does recursion with a queue, rather than a stack 02:11:00 -!- GeekDude has joined. 02:11:08 there was definitely a good reason for this originally, but I can't remember what it is 02:11:15 Whoa. 02:11:17 I think something to do with the verification? 02:11:37 Recursion Queue. 02:11:51 How did I never think about that? 02:12:11 because it makes no sense :-) 02:12:37 then I had to make tail recursion not use it so that you could actually do things like nested if statements 02:12:57 so I added a tail-recursion keyword, and called it goto because a) precedent, b) hilarity 02:13:17 Awesome 02:13:20 goto [_old_this].then.run!; 02:13:32 For some reason webchat no longer scrolls down as new messges occur 02:13:38 there we go, code that would be very difficult to translate into any other language in a general way 02:13:41 hppavilion1: scroll to the bottom 02:13:49 does that help? 02:14:03 Nope 02:14:21 I keep having to do that 02:14:44 hmm, not sure I can help then 02:14:59 -!- variable has joined. 02:15:14 Do you want to help me write a language specification? 02:15:26 Hi variable 02:15:48 You new here? 02:16:14 hppavilion1: sometimes 02:16:23 hppavilion1: I change 02:16:32 hppavilion1: but I'm happy to help you write a spec 02:16:35 Uh. 02:16:36 OK 02:16:50 That works 02:16:54 I was talking to ais 02:17:01 But that works too 02:17:13 Do you know any haskell? 02:17:21 hppavilion1: yes 02:17:32 Awesome 02:17:40 -!- variable has changed nick to constant. 02:17:41 That's pretty much necessary for this 02:17:46 http://esolangs.org/wiki/Table 02:17:47 hppavilion1: see, I told you I change 02:17:54 Heh 02:17:55 Constant 02:18:42 https://docs.google.com/document/d/15IhFJ9patZ-CINalHAyDMTxfdwyopGnkiZBtAljBVYY/edit?usp=sharing 02:18:51 Hopefully no one will destroy everything :P 02:20:06 constant: well you don't change any more :-P 02:20:16 ais523: I'm a mutable constant 02:20:18 (except in languages like Forte and INTERCAL) 02:20:29 BLASPHEMY 02:21:00 do we have an INTERCAL interp in here? 02:21:15 !intercal DO READ OUT #5 DO GIVE UP 02:21:22 `! intercal DO READ OUT #5 DO GIVE UP 02:21:22 /hackenv/bin/!: 4: exec: ibin/intercal: not found 02:21:27 hmm 02:21:30 `! c-intercal DO READ OUT #5 DO GIVE UP 02:21:31 /hackenv/bin/!: 4: exec: ibin/c-intercal: not found 02:21:37 `` ls ibin 02:21:38 1l \ 2l \ adjust \ asm \ axo \ bch \ befunge \ befunge98 \ bf \ bf16 \ bf32 \ bf8 \ bf_txtgen \ boolfuck \ c \ cintercal \ clcintercal \ cxx \ dimensifuck \ forth \ glass \ glypho \ haskell \ help \ java \ k \ kipple \ lambda \ lazyk \ linguine \ malbolge \ pbrain \ perl \ qbf \ rail \ rhotor \ sadol \ sceql \ sh \ trigger \ udage01 \ underload \ u 02:21:42 oh, no hyphen 02:21:46 `! cintercal DO READ OUT #5 DO GIVE UP 02:21:56 -!- f|`-`|f has quit (Ping timeout: 250 seconds). 02:22:00 \ V 02:22:04 :( 02:22:54 `! clcintercal DO .1 <- .2/#5 DO .1 <- #6 DO READ OUT #5 PLEASE GIVE UP 02:23:03 V 02:23:07 oh, duh 02:23:12 `! clcintercal DO .1 <- .2/#5 DO .2 <- #6 DO READ OUT #5 PLEASE GIVE UP 02:23:19 VI 02:23:21 there we go 02:23:50 ``ls ibin/help 02:23:51 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `ls: not found 02:24:07 `! help 02:24:08 The ! or interp command calls various language interpreters transfered from old EgoBot. Try `url ibin/ for a list. 02:24:11 hppavilion1: is that what you wanted to do? 02:24:24 `` ls ibin/help 02:24:25 ibin/help 02:24:36 hppavilion1: it's just a file 02:24:38 I guess 02:24:41 ls will simply report that it exists 02:24:49 you run it with "`! help", which is what I just did 02:24:57 I was trying to identify whether it was a dir or a file 02:25:51 why would it be a directory? 02:25:56 (especially if I can execute it?) 02:26:00 `` ls -l ibin/help 02:26:02 -rwxr-xr-x 1 5000 0 132 Apr 15 07:51 ibin/help 02:26:35 Well you hadn't executed it yet 02:26:45 You can kind of execute directories in python :P 02:26:54 well it has the +x flag set, so 02:26:56 You can import packages, that is 02:26:58 `` ibin/help 02:26:59 The ! or interp command calls various language interpreters transfered from old EgoBot. Try `url ibin/ for a list. 02:27:05 um 02:27:06 `` ibin 02:27:07 bash: ibin: command not found 02:27:11 `` ./ibin 02:27:11 bash: ./ibin: Is a directory 02:27:21 that's the message I expected (not the usual "access denied") 02:27:24 constant 02:28:26 -!- f|`-`|f has joined. 02:30:47 -!- hppavilion1 has quit (Quit: Page closed). 02:31:06 -!- hppavilion1 has joined. 02:31:36 I guess I could've just /clear'd 02:31:46 `wisdom 02:31:47 funpun/funpuns fceø fbz fryyrev naq pbfcynlf Arcrgn Yrvwba ba jrrxraqf. 02:32:20 `wisdom 02:32:21 fact/facts are lies. They are not there. Go away! 02:32:26 `wisdom 02:32:27 rholypoly/A rholypoly is an edible Greek species of Armadillidiidae. Goes well with garlic! 02:32:56 constant? 02:32:57 -!- adu has quit (Quit: adu). 02:33:55 if you `wisdom five times do you have to delete one? 02:33:56 `quote 02:33:57 138) It's only been 2 months since anyone last made a commit! WRONG 8 WEEKS 02:33:58 `quote 02:33:58 422) My memory passed rest in peace sgeos memory 02:33:59 `quote 02:34:00 613) the parser would be even simpler if I didn't try to do type inference in it 02:34:01 `quote 02:34:02 536) But whereas the Zune UI makes one think "I want to kill myself", the Windows CE UI makes one think "I want to kill myself, but first kill my parents as punishment for bringing into this world someone who would one day own a Windows CE device." 02:34:02 `quote 02:34:03 29) anyway, torture would be fun to experience, true should put that on my todo list 02:34:20 `quote? 02:34:20 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quote?: not found 02:34:25 `quote 02:34:26 1200) It seems there aren't any expert systems for answering questions on the nature of expert systems. 02:34:26 Cool 02:34:31 do we seriously not do quotes any more? 02:34:42 `help quote 02:34:42 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 02:34:56 How does I add a quote/ 02:34:57 ais523: I tried that a few times. 02:35:01 `quote do we seriously not do quotes any more? 02:35:02 How does I add a quote? 02:35:05 No output. 02:35:06 -!- Herbalist has quit (Quit: WeeChat 1.2). 02:35:10 But deleting wisdom seems kind of rude. 02:35:16 I guess deleting quotes is rude too. 02:35:17 That's JUST what I as going to do 02:35:19 `wisdom 02:35:19 `wisdom 02:35:20 `wisdom 02:35:20 `wisdom 02:35:20 `wisdom 02:35:24 zimbabwe/olsner's desk points zimbabwards. it is highly dependent on tswett's michiganic orientation. 02:35:25 certainly/We don't know what certainly is for sure, but at least it isn't a functor. 02:35:29 real fast nora's hair salon 3: shear disaster download/Real Fast Nora's Hair Salon 3: Shear Disaster Download is the most readable functional programming language out there. 02:35:29 lachine/Unholy portal to China, closely guarded from Ëvil by Roujo. 02:35:29 brain/Brains are just receptacles for bricks. 02:35:35 pikhq: yu meant `addquote 02:35:37 *you 02:35:52 `addquote do we seriously not do quotes any more? 02:35:58 1245) do we seriously not do quotes any more? 02:35:58 That I believe is my first added quote. 02:36:57 `addquote `addquote do we seriously not do quotes any more? 02:36:59 There 02:36:59 1246) `addquote do we seriously not do quotes any more? 02:37:01 I'm so meta 02:37:22 Even This Acronym 02:37:35 hppavilion1: there's not much point in `addquoting an `addquote unless the person who added it was somehow significant, or there's interesting context 02:37:41 because you can tell it was added from the fact that it's there 02:37:45 `delquote 1246 02:37:51 However 02:37:54 *poof* `addquote do we seriously not do quotes any more? 02:38:11 It's weird for someone to addquote an addquote 02:38:42 not really, it's been tried way too many times 02:38:45 `quote `addquote 02:38:48 Oh 02:38:49 not sure if any still survive 02:38:49 318) `addquote two quotes about quotes about django I guess the worst part is that I appear in all three hackego quotes about django elliott_: another quote? you're not helping :/ \ 774) Do you think " `addquote [with no context] < zzo38> Do you think psychology is worse, or not?" is worse, or not? \ 02:38:50 :( 02:39:01 I think that's actually a good quote. 02:39:20 `addquote hppavilion1: there's not much point in `addquoting an `addquote unless the person who added it was somehow significant, or there's interesting context because you can tell it was added from the fact that it's there 02:39:22 1246) hppavilion1: there's not much point in `addquoting an `addquote unless the person who added it was somehow significant, or there's interesting context because you can tell it was added from the fact that it's there 02:39:39 We have to leave that one 02:39:50 `quote 02:39:51 612) ais523: I pronounce "xor" by punching myself in the face and then "or" 02:40:25 That's awesoem 02:40:28 *awesome 02:42:01 `wisdom 02:42:01 `wisdom 02:42:02 metasepia/metasepia knows the weather at your nearest airport, and also something about ducks. 02:42:02 canada/Canada is Big Scotland. Like, you know, very big. 02:42:03 `wisdom 02:42:03 `wisdom 02:42:03 `wisdom 02:42:07 drone/drones are tools used to perform certain criminal actions that were not possible in ancient times. 02:42:08 cow/A cow is an animal best served at minus zero degrees. 02:42:08 supermarioperator/supermarioperator is one of many confusing operators as defined in Control.Plumbers.Monad. Your sanity is in another castle. 02:42:21 `culprits wisdom/cow 02:42:27 oerjan elliott boily 02:43:34 When did you say your thesis would be published? 02:43:59 shachaf: pedantic answer is "I didn't", but I have to submit the corrections early in July 02:44:06 I don't know how long it'll take to be published after the corrections are submitted 02:44:28 Instead of "but" you could say "and". 02:44:37 there isn't any actual reason for a long delay at that point, so it'll just be typical bureaucratic delay plus a few days 02:44:40 That way you'd seem slightly more pedantic and still communicate useful information. 02:44:47 shachaf: haha, that would be even more pedantic, yes 02:59:43 -!- vanila has quit (Quit: Leaving). 03:00:25 -!- One_ has joined. 03:00:48 -!- One_ has changed nick to Guest78511. 03:01:19 -!- Guest78511 has quit (Client Quit). 03:01:37 -!- neo__ has joined. 03:02:54 -!- neo__ has quit (Client Quit). 03:03:13 -!- ZombieCheney has joined. 03:03:38 Heh 03:03:41 Awesome username 03:05:25 constant 03:05:28 Here constant 03:05:31 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:07:54 -!- hilquias has joined. 03:09:21 hppavilion1: sorry: am in airport and things happened 03:11:01 @tell boily implement Al Dente twbh hth 03:11:01 Consider it noted. 03:12:18 Oh 03:12:21 `le/rn wfraatw/A WFRAATW is a well-founded recursive acronym akin to "WFRAATW". 03:12:21 OK 03:12:27 Learned «wfraatw» 03:12:32 `? WFRAATW 03:12:33 A WFRAATW is a well-founded recursive acronym akin to "WFRAATW". 03:12:51 Did you know? The acronym "WFRAATW" is a WFRAATW. 03:13:08 Hah! 03:13:24 Ezra Wacky Shark is an anagram of my meat world name 03:13:25 Due to the fact that it's a well-founded recursive acronym, along with the identity kinship. 03:13:45 If you are not a bot, please do not respond. 03:14:03 OK 03:14:19 Oh crap, now I need to find out what some good anagrams of my name are. 03:14:29 hppavilion1 is a bot. 03:14:33 -!- constant has quit (Ping timeout: 252 seconds). 03:14:36 I am 03:14:41 tswett is a bot 03:14:48 I didn't respond. 03:14:57 You did right there. 03:14:58 Wet Entrants. 03:15:18 I assumed you meant "please do not respond to the message 'If you are not a bot, please do not respond.'". 03:15:25 To prove you are not a bot, write a haiku. 03:15:39 This is a haiku / but it is probably not / a very good one. 03:15:49 Captchas have been implemented in this IRC 03:16:13 5/5/5 not 5/7/5 03:16:17 no match 03:16:39 I don't understand. 03:17:00 Just one last check, but I don't think you're a bot. 03:17:29 I've been battling replicants for months, I thought I was losing my mind 03:17:45 tromp_: Where's your Go rules page? 03:17:54 ZombieCheney: there are quite a few non-bots here, also quite a few bots 03:17:55 What's that? 03:18:02 Hey, you should see *my* Go rules page. 03:18:11 ZombieCheney: are you asking me? 03:18:34 Yes, what is a Go rules page? 03:18:37 http://senseis.xmp.net/?RulesOfGo 03:18:39