00:19:24 [wiki] [[Brainfuck]] https://esolangs.org/w/index.php?diff=46275&oldid=46250 * 89.248.91.5 * (+61) /* Hardware implementations */ 00:24:58 -!- adu has joined. 00:43:20 -!- adu has quit (Quit: adu). 00:45:22 [wiki] [[Special:Log/newusers]] create * Codesmith512 * New user account 00:46:30 -!- Treio has quit (Ping timeout: 250 seconds). 00:46:33 [wiki] [[Minimal-2D]] https://esolangs.org/w/index.php?diff=46276&oldid=35557 * Codesmith512 * (+129) /* External resources */ 00:47:39 [wiki] [[Minimal-2D]] https://esolangs.org/w/index.php?diff=46277&oldid=46276 * Codesmith512 * (+1) /* External resources */ 00:48:27 [wiki] [[Minimal-2D]] https://esolangs.org/w/index.php?diff=46278&oldid=46277 * Codesmith512 * (-2) /* External resources */ 00:48:50 [wiki] [[Minimal-2D]] https://esolangs.org/w/index.php?diff=46279&oldid=46278 * Codesmith512 * (+15) /* External resources */ 01:00:00 -!- XorSwap has joined. 01:04:17 -!- Treio has joined. 01:05:28 -!- Treio has quit (Read error: Connection reset by peer). 01:23:21 -!- mauris has quit (Quit: Leaving). 01:44:35 -!- relrod has quit (Ping timeout: 264 seconds). 01:49:06 -!- relrod_ has joined. 01:49:06 -!- relrod_ has quit (Changing host). 01:49:06 -!- relrod_ has joined. 02:30:59 [wiki] [[User:Erinius]] N https://esolangs.org/w/index.php?oldid=46280 * Erinius * (+28) Created page with "My Languages: * [[FISHQ9+]]" 02:39:55 -!- MDude has changed nick to MDream. 02:49:35 -!- zzo38 has joined. 02:53:22 -!- XorSwap has quit (Quit: Leaving). 03:08:36 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:23:05 `unidecode ε 03:23:06 ​[U+03B5 GREEK SMALL LETTER EPSILON] 03:27:45 -!- Treio has joined. 03:31:57 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 03:40:10 -!- adu has joined. 03:44:23 <\oren\> oh, he meant ꙮ 03:44:51 <\oren\> @tell hppavilion[1] you meant ꙮ 03:44:51 Consider it noted. 03:56:16 -!- hppavilion[1] has joined. 03:56:47 hppavilion[1]: Didn't your nick have two l's at some point? 03:57:08 hppavilion[1]: Apparently not. 03:57:14 zgrep: It might occasionaly. I can't actualy remember whether to include two or not hallf the time 03:57:24 @messages-lud 03:57:24 \oren\ said 12m 32s ago: you meant ꙮ 03:57:35 @tell \oren\ Yes. Yes I did. 03:57:36 Consider it noted. 03:57:46 hppavilion[1]: Only time I see it having two l's is when \oren\ said "helloppavillion' 03:58:01 zgrep: Ah, that's probably it xD 04:00:39 -!- adu has quit (Quit: adu). 04:26:32 MediaWiki needs a portal-specific "Random Page" button 04:34:43 What happens if we CHI Fuzzy Logic? 04:36:40 Also, I think I have probabilistic λ-calculus worked out 04:37:04 CHOOSE = λxy.x?y 04:37:19 3CHOOSE = λxyz.x?y?z 04:37:30 (? chains, it isn't associative) 04:46:56 -!- Treio has quit (Ping timeout: 250 seconds). 05:05:50 Hm... 05:06:07 How could I make λ-calculus with high-level features like IO? 05:10:46 hppavilion[1]: uniqueness typing or (dreaded) monad? 05:11:00 lifthrasiir: Not sure 05:11:22 lifthrasiir: I was thinking ε-expressions along with λ-expressions 05:11:25 both assumes that you can somehow abstract the world state into a (opaque) value 05:11:38 Because fuck you that's why 05:11:43 xD 05:11:47 what's ε-expressions 05:12:06 effects? 05:12:07 lifthrasiir: Not sure yet 05:12:19 lifthrasiir: ε is for "special" 05:12:46 Though that's a good alternative meaning 05:13:09 lifthrasiir: I also added nondeterminism xD 05:13:58 you'd better looking at "amb" forms 05:14:30 lifthrasiir: Huh? 05:14:53 lifthrasiir: I just added nondeterminism by separating alternative bodies with ? in the definition 05:15:34 I added some command into XISYNTH which is: PART POST 05:20:02 hppavilion[1]: if you have typed lambda calculus, you could do IO pretty much like haskell 05:29:00 Yes that is one way which is the monad 05:29:15 Other way is also possible 05:31:16 Other way I had is to do a kind of data type like: data X = Out Bool | In X X X | Stop; and then make the lambda calculus format of this type, and you can out one bit, in one bit, in EOF, and it stop the program 05:31:37 If it is lazy then it might work 05:38:11 -!- oerjan has joined. 05:55:02 <\oren\> holy crap, i never noticed that! Goku rides the golden cloud in a spiral so that centrifugal force keeps him on it! 05:56:03 because grabity doesn't exist? 05:56:10 *v 06:07:57 -!- augur has quit (Read error: Connection reset by peer). 06:09:14 -!- augur has joined. 06:14:52 <\oren\> myname: he goes at really high speed, 06:15:08 <\oren\> so wind force would blow him off it 06:32:26 Do you like some of my custom Un-cards of Magic: the Gathering? I have both file, cards and uncards and there are many new ones. Do you like "In A Band With Others"? 06:35:02 In A Band With Others {1W} Enchantment - Aura ;; Enchant creature ;; Whenever enchanted creature attacks as part of a band containing additional creatures, its controller must sing a song during the entire duration of the attack. Combat damage is not dealt until song is complete. 06:35:52 Wheel of Hand-cutting {2R} Sorcery ;; Discard your hand, and then draw seven cards. (You cannot draw anything if you do not have a hand to hold the pencil.) 06:36:22 Food of Life {GW} Creature - Food of Life (0/1) ;; Whoever eats this card gains five extra life points. 06:37:22 Archaic Tome {0} Continuous Artifact ;; Use rules of Alpha edition of the game. 06:38:22 Smoke Factory {-} Land ;; Does not provide any mana; just adds smoke into your mana pool. 06:45:33 how many binary tries with n leafs are there? <-- https://en.wikipedia.org/wiki/Catalan_number 06:45:50 (and yes, it's also that thing with the parentheses) 06:47:51 @tell myname how many binary tries with n leafs are there? <-- https://en.wikipedia.org/wiki/Catalan_number 06:47:51 Consider it noted. 06:47:55 O, it look like Catalan numbers are a lot of things 06:48:00 yep 06:48:24 the internet said, it dependon wether or not the leaves are labeled 06:48:28 whatever that is 06:49:04 for labeled trees there are "only" fsctorial many 06:49:27 ...that sounds strange. 06:49:49 indeed 06:49:51 I think I have seen mention of Catalan numbers in a book once, in a chapter describing Bell numbers 06:49:55 the ordering of the labels gives factorial many, but if you have the structure of the tree as _well_... 06:50:29 i want to keep the ordering, i guess that's what it means 06:51:39 * oerjan still suspects either the question or the answer got oversimplified somewhere 06:52:23 myname: i don't think "i want to keep the ordering" is precise enough to be a target of "that's what it means" hth 06:52:36 http://gatecse.in/wiki/Number_of_Binary_trees_possible_with_n_nodes 06:55:59 myname: that's nodes not leaves 06:56:36 how does that matter, there are a multiple of each other 06:57:08 not if there are nodes with 1 child 06:57:20 which i was ignoring, but i think the first answer allows it 06:58:03 i'm not convinced that answer is right though. argh my brain. 06:59:49 does the catalan answer allow reordering? 07:01:09 it has no labels to order... 07:02:32 * oerjan decides this is not a good thing to think about when having neck pain. 07:02:48 shouldn't labeling have _more_ ways then? 07:03:58 it _does_ however distinguish left and right children. 07:04:08 huh? 07:04:30 yes, labeling should have more ways. 07:05:09 myname: note that the labeled trees include things like a straight path from a root through as many nodes you wish, to a single leaf. that catalan answer doesn't. 07:06:15 myname: How about untyped λ-calc IO/nondeterminism/socketry? 07:06:30 And possibly OO >:) 07:06:39 untyped OO ftw 07:07:20 every OO is bad OO 07:08:34 myname: Yes, yes. Let the hatred of OO /flow/ through you 07:08:49 \/walrus 07:09:16 that's already done 07:09:57 x\/y = root(y, x); x/\y = log(y, x) 07:10:10 myname: Is there no way to do OO well? If so, why? 07:10:25 I mean, I quite like pythonic OO 07:11:29 what do you think makes OO useful what functional languages don't already have? 07:12:48 myname: Well, um, that would be objects. You know, the things with methods and attributes. 07:12:52 Those are nice. 07:13:40 those are horrible. you can't extend these without probably messing things up 07:14:04 myname: That's a shitty programmer thing, not a problem with objects 07:14:32 myname: You can do anything with tuples and lists that you can do with objects, yes, but objects make it so much easier 07:15:14 how is it a shitty programmer thing if i get something from a library which misses one feature which i am unable to extend without messing with someone elses code and their respectable assumptions of the objects they pass around? 07:15:27 how do they do so? 07:16:12 myname: OK, I'm clearly exhausted, because I have no clue what you're saying xD 07:16:37 let's say you write a library which is awesome 07:16:44 i want to use that 07:17:03 but i also need some additional methods and attributes 07:17:11 i am pretty much fucked now 07:17:54 myname: Fair point. How do you do it better? 07:18:06 myname: And why /can't/ you do that? 07:18:30 In python, you can call super().__init__() to subclass with a new initialization 07:18:40 well, i can, but i have to change _your_ code and have to check anywhere if it does break anything 07:19:00 myname: True. But how do you fix that problem? 07:19:21 It's better to have something with a few flaws that generally makes things easier than to not have it at all 07:20:31 did you ever do something with a functional language? 07:21:55 i just love the typeclass system of haskell and the likes 07:22:13 it's like you can implement interfaces for foreign objects 07:22:39 [wiki] [[Talk:Deviating Percolator]] https://esolangs.org/w/index.php?diff=46281&oldid=33301 * Hppavilion1 * (+195) /* "Compliant Interpreters" */ new section 07:24:37 myname: Yes, I've used Haskell a bit 07:42:44 REAL scientists do everything on pow scales 07:43:19 well, no, real scientists don't need scales 07:43:23 what for 07:44:10 to scale things 07:44:31 that would imply you have to deal with... numbers 07:44:52 who needs those to make science 07:44:53 no no you just play with the zoom in your camera 07:58:31 -!- mroman has joined. 08:57:43 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 09:01:13 -!- hppavilion[1] has joined. 09:02:37 fnordeli fnord 09:19:57 728988259989286329735345815908434974465481009469702340555217695715929148676708799487214724328333663839983488920889151056 09:20:03 You may decode. 09:23:36 It's obviously 0 09:25:12 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 09:37:58 [wiki] [[MATL]] https://esolangs.org/w/index.php?diff=46282&oldid=46274 * Luis Mendo * (+112) /* Language specification and compiler */ 09:38:22 [wiki] [[MATL]] https://esolangs.org/w/index.php?diff=46283&oldid=46282 * Luis Mendo * (-2) /* Language specification and compiler */ 09:38:42 [wiki] [[MATL]] https://esolangs.org/w/index.php?diff=46284&oldid=46283 * Luis Mendo * (+8) /* Language specification and compiler */ 09:38:53 [wiki] [[MATL]] https://esolangs.org/w/index.php?diff=46285&oldid=46284 * Luis Mendo * (+2) /* Language specification and compiler */ 09:39:12 [wiki] [[MATL]] https://esolangs.org/w/index.php?diff=46286&oldid=46285 * Luis Mendo * (+1) /* Language specification and compiler */ 10:26:38 -!- adu has joined. 10:27:25 -!- adu has quit (Client Quit). 11:24:47 -!- boily has joined. 11:25:04 boihly 11:26:12 I'm going to have to teach myself topology as well as coding theory and character theory I think 11:43:16 hellørjan. 11:43:25 Tanelle. character theory? 11:43:49 Something to do with group representations 11:43:54 I haven't taught myself it yet 11:47:58 It's used in the classification of finite simple groups 12:22:14 -!- boily has quit (Quit: EMPEROR CHICKEN). 13:07:41 -!- MDream has changed nick to MDude. 13:22:11 helloily 13:22:13 oh 13:22:26 what i get for not putting in contacts when i wake up 13:34:37 quintopia: you two are like a running gag :P 13:34:41 shave -> 13:35:05 ... "-"? 13:35:18 Assuming that > represents the beard 13:50:33 gags don't work very well when they are running. they sort of need to stay in place. 14:03:27 -!- spiette has joined. 14:10:57 can anybody recommend books or texts on computational linguistics? 14:14:05 yes 14:14:17 Our most related course used this book: C. Manning, H. Schütze, 1999. Foundations of Statistical Natural Language Processing. 14:14:23 I fail to recall if it was any good, though. 14:14:44 I recognize the cover picture, so I must've at least looked at it. 14:14:44 lol 14:16:17 The list of chapters on the book's website -- http://nlp.stanford.edu/fsnlp/ -- makes it look like a reasonable "basics" book. 14:16:35 -!- nycs has joined. 14:18:57 Taneb: "->" is from the ancient oklopolitan tribes of finland it means "now i go there" hth 14:19:32 It's called "the magic arrow" ("taikanuoli" in Finnish) hth 14:19:49 tdh 14:22:20 http://sprunge.us/fVEM hth 14:23:54 There's also a related "->?" symbol for "should we go there now?", which you can then answer affirmatively with ->. 14:25:57 fancy 14:44:51 and <- coming from? 14:44:54 <- showering 14:45:07 but that's probaly more "at the moment" 14:47:19 -!- Treio has joined. 14:47:32 -!- jaboja has joined. 14:47:36 Maybe. -> has two primary purposes: to coordinate departures with people you're intending to meet in wherever you're going to, and to indicate that you've left when you were actively participating in a conversation, so that people know not to expect replies. It's rarely that useful to indicate you've returned explicitly -- you can generally just say something. 14:51:59 -!- LexiciScriptor has joined. 14:57:42 Hmm 15:00:20 -!- J_Arcane has quit (Quit: ChatZilla 0.9.92-rdmsoft [XULRunner 35.0.1/20150122214805]). 15:01:39 -!- jaboja has quit (Remote host closed the connection). 15:05:34 mroman: sounds annoying to IRC from the shower 15:07:41 -!- J_Arcane has joined. 15:09:41 -!- mauris has joined. 15:14:54 FireFly: it's an electrifying experience 15:19:05 quintopia: did you meant to say you can recommend something? 15:20:48 myname: no, not me 15:21:02 okay 15:26:15 pff 15:26:21 latest smartphones are waterproof 15:26:24 for obvious reasons 15:26:51 such as m********** in the shower while watching animated pictures on such devices. 15:27:13 or maybe in case you're a professional diver 15:27:19 I don't know how good the reception under water is 15:27:43 -!- mroman has quit (Quit: i'd be curious to know how deep you could dive and still phone. also: does the microphone work under water?). 15:30:40 @tell mroman blub. blib blub blub! 15:30:40 Consider it noted. 15:42:01 -!- oerjan has quit (Quit: Later). 16:02:43 -!- relrod_ has changed nick to relrod. 16:15:52 -!- loins has joined. 16:16:12 -!- loins has left. 16:16:50 -!- loins_ has joined. 16:16:59 -!- loins_ has quit (Client Quit). 16:21:49 -!- Lord_of_Life has quit (Excess Flood). 16:25:36 -!- Lord_of_Life has joined. 16:38:22 -!- AnotherTest has joined. 16:49:12 -!- paul2520 has quit (Quit: WeeChat 1.2). 17:08:41 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:24:04 I've asked this before, but I can't remember the conclusion 17:24:23 Is it valid for an optimizing brainfuck compiler to optimize "+[]" to ""? 17:24:39 Like, a non-productive infinite loop to the empty program 17:25:19 Maybe it could be an option I suppose 17:28:00 -!- zzo38 has quit (Remote host closed the connection). 17:28:26 How about "+[]++++++++++++++++." to "+++++++++++++++++." 17:30:26 that is not the same 17:30:33 the first one neither 17:30:43 Certainly not the second onne 17:31:45 the first one neither, exiting or not exiting are completely different things 17:34:36 -!- ais523 has joined. 17:44:56 -!- Phantom_Hoover has joined. 17:56:08 [wiki] [[Java2K]] https://esolangs.org/w/index.php?diff=46287&oldid=38707 * 85.179.133.139 * (+9) 18:00:35 -!- LexiciScriptor has quit (Quit: LexiciScriptor). 18:11:14 -!- heroux has quit (Ping timeout: 272 seconds). 18:13:31 -!- hppavilion[1] has joined. 18:14:46 -!- LexiciScriptor has joined. 18:29:42 -!- heroux has joined. 18:34:12 -!- bb010g has joined. 18:35:09 -!- heroux_ has joined. 18:36:11 -!- heroux has quit (Ping timeout: 264 seconds). 18:36:18 -!- heroux_ has changed nick to heroux. 18:55:07 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 19:00:14 -!- AnotherTest has quit (Ping timeout: 250 seconds). 19:50:00 -!- hppavilion[1] has joined. 19:59:16 -!- Froox has joined. 20:02:38 -!- Frooxius has quit (Ping timeout: 250 seconds). 20:06:08 @metar lowi 20:06:09 LOWI 251950Z VRB02KT CAVOK M01/M02 Q1032 NOSIG 20:17:23 -!- esowiki has joined. 20:17:27 -!- esowiki has joined. 20:17:28 -!- esowiki has joined. 20:18:26 -!- esowiki has joined. 20:18:30 -!- esowiki has joined. 20:18:31 -!- esowiki has joined. 20:19:29 -!- esowiki has joined. 20:19:33 -!- esowiki has joined. 20:19:34 -!- esowiki has joined. 20:20:32 -!- esowiki has joined. 20:20:36 -!- esowiki has joined. 20:20:37 -!- esowiki has joined. 20:21:35 -!- esowiki has joined. 20:21:39 -!- esowiki has joined. 20:21:40 -!- esowiki has joined. 20:22:39 -!- esowiki has joined. 20:22:40 -!- glogbot has joined. 20:22:43 -!- esowiki has joined. 20:22:43 -!- esowiki has joined. 20:26:38 -!- FireFly has joined. 20:29:02 @metar EGLL 20:29:03 EGLL 252020Z AUTO 28015KT 9999 BKN025 11/06 Q1022 NOSIG 20:29:20 The winter came and went. 20:31:36 -!- AnotherTest has joined. 20:57:32 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 21:07:00 -!- p34k has joined. 21:08:16 Wow 21:08:21 BankQL is REALLY easy 21:09:55 test.bql runs with -1 errors 21:11:30 Which means that not only is it working without errors (though there are guaranteed errors that I just haven't fixed yet); it is working even in the stage when it should be buggy as shit 21:13:13 -!- nycs has changed nick to `^_^v. 21:16:14 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 21:17:35 -!- `^_^v has quit (Ping timeout: 240 seconds). 21:28:41 -!- bb010g has quit (Quit: Connection closed for inactivity). 21:33:19 -!- hppavilion[1] has joined. 21:55:01 [wiki] [[♦]] https://esolangs.org/w/index.php?diff=46288&oldid=37150 * 208.119.144.207 * (+1) Fixed a few grammatical errors 22:10:23 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 22:11:18 -!- hppavilion[1] has joined. 22:16:40 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 22:27:01 -!- oerjan has joined. 22:43:42 -!- boily has joined. 22:43:45 @metar CYUL 22:43:45 CYUL 252200Z 12006KT 15SM BKN038 OVC240 M01/M07 A3017 RMK SC7CI1 SLP221 22:51:04 helloily 22:51:55 fizzie: same thing happened here 22:55:35 quinthellopia. 22:55:45 are you snowed? 22:58:39 @metar KATL 22:58:39 KATL 252252Z 18004KT 10SM BKN250 12/M04 A3020 RMK AO2 SLP230 T01221039 22:58:54 quintopia isn't snow. 22:58:59 @metar KLGA 22:58:59 KLGA 252251Z 18006KT 8SM SCT150 OVC250 02/M05 A3029 RMK AO2 SLP255 T00171050 $ 22:59:08 @metar KBOS 22:59:08 KBOS 252254Z 13008KT 10SM BKN200 01/M03 A3029 RMK AO2 SLP257 T00061033 22:59:28 @metar KOAK 22:59:29 KOAK 252253Z 29009KT 10SM SCT026 15/10 A3023 RMK AO2 SLP236 T01500100 22:59:37 -!- mauris_ has joined. 22:59:47 hellochaf. you obviously aren't snow. you never snow. 22:59:54 * boily shakes his fist 23:00:03 boily: I was skiing just last weekend. 23:00:09 Or the one before last. I don't know. 23:01:47 ok, you don't entirely unsnow. 23:02:35 -!- mauris has quit (Ping timeout: 265 seconds). 23:03:05 -!- LexiciScriptor has quit (Quit: LexiciScriptor). 23:04:01 @metar ENVA 23:04:02 ENVA 252250Z 05005KT 360V090 CAVOK 04/03 Q0993 RMK WIND 670FT 15014KT 23:04:32 there is snow, but it is trying to melt hth 23:06:19 -!- hppavilion[1] has joined. 23:08:11 It's been raining a lot here. 23:12:35 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 23:17:02 boily snow went bye 23:25:48 -!- ais523 has changed nick to callforjudgement. 23:26:57 -!- callforjudgement has changed nick to ais523. 23:29:47 -!- Treio has quit (Ping timeout: 250 seconds). 23:34:37 foooooooood... 23:34:46 -!- boily has quit (Quit: COORDINATED CHICKEN). 23:42:13 -!- Treio has joined. 23:47:06 -!- hppavilion[1] has joined. 23:52:30 -!- adu has joined. 23:57:58 -!- oerjan has quit (Quit: Nite). 23:58:21 -!- digitalc1ld has changed nick to digitalcold. 23:58:39 -!- ais523 has quit (Ping timeout: 265 seconds).