00:19:24 <HackEgo> [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 <HackEgo> [wiki] [[Special:Log/newusers]] create * Codesmith512 * New user account
00:46:30 -!- Treio has quit (Ping timeout: 250 seconds).
00:46:33 <HackEgo> [wiki] [[Minimal-2D]] https://esolangs.org/w/index.php?diff=46276&oldid=35557 * Codesmith512 * (+129) /* External resources */
00:47:39 <HackEgo> [wiki] [[Minimal-2D]] https://esolangs.org/w/index.php?diff=46277&oldid=46276 * Codesmith512 * (+1) /* External resources */
00:48:27 <HackEgo> [wiki] [[Minimal-2D]] https://esolangs.org/w/index.php?diff=46278&oldid=46277 * Codesmith512 * (-2) /* External resources */
00:48:50 <HackEgo> [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 <HackEgo> [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:06 <HackEgo> [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:51 <\oren\> @tell hppavilion[1] you meant ꙮ
03:56:16 -!- hppavilion[1] has joined.
03:56:47 <zgrep> hppavilion[1]: Didn't your nick have two l's at some point?
03:57:08 <zgrep> hppavilion[1]: Apparently not.
03:57:14 <hppavilion[1]> zgrep: It might occasionaly. I can't actualy remember whether to include two or not hallf the time
03:57:24 <lambdabot> \oren\ said 12m 32s ago: you meant ꙮ
03:57:46 <zgrep> hppavilion[1]: Only time I see it having two l's is when \oren\ said "helloppavillion'
04:00:39 -!- adu has quit (Quit: adu).
04:26:32 <hppavilion[1]> MediaWiki needs a portal-specific "Random Page" button
04:36:40 <hppavilion[1]> Also, I think I have probabilistic λ-calculus worked out
04:46:56 -!- Treio has quit (Ping timeout: 250 seconds).
05:06:07 <hppavilion[1]> How could I make λ-calculus with high-level features like IO?
05:10:46 <lifthrasiir> hppavilion[1]: uniqueness typing or (dreaded) monad?
05:11:22 <hppavilion[1]> lifthrasiir: I was thinking ε-expressions along with λ-expressions
05:11:25 <lifthrasiir> both assumes that you can somehow abstract the world state into a (opaque) value
05:14:53 <hppavilion[1]> lifthrasiir: I just added nondeterminism by separating alternative bodies with ? in the definition
05:15:34 <zzo38> I added some command into XISYNTH which is: PART POST
05:20:02 <myname> hppavilion[1]: if you have typed lambda calculus, you could do IO pretty much like haskell
05:29:00 <zzo38> Yes that is one way which is the monad
05:29:15 <zzo38> Other way is also possible
05:31:16 <zzo38> 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 <zzo38> 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 <myname> because grabity doesn't exist?
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 <zzo38> 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 <zzo38> 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 <zzo38> 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 <zzo38> Food of Life {GW} Creature - Food of Life (0/1) ;; Whoever eats this card gains five extra life points.
06:37:22 <zzo38> Archaic Tome {0} Continuous Artifact ;; Use rules of Alpha edition of the game.
06:38:22 <zzo38> Smoke Factory {-} Land ;; Does not provide any mana; just adds smoke into your mana pool.
06:45:33 <oerjan> <myname> how many binary tries with n leafs are there? <-- https://en.wikipedia.org/wiki/Catalan_number
06:45:50 <oerjan> (and yes, it's also that thing with the parentheses)
06:47:51 <oerjan> @tell myname <myname> how many binary tries with n leafs are there? <-- https://en.wikipedia.org/wiki/Catalan_number
06:47:55 <zzo38> O, it look like Catalan numbers are a lot of things
06:48:24 <myname> the internet said, it dependon wether or not the leaves are labeled
06:49:04 <myname> for labeled trees there are "only" fsctorial many
06:49:27 <oerjan> ...that sounds strange.
06:49:51 <zzo38> I think I have seen mention of Catalan numbers in a book once, in a chapter describing Bell numbers
06:49:55 <oerjan> the ordering of the labels gives factorial many, but if you have the structure of the tree as _well_...
06:50:29 <myname> 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 <oerjan> 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 <myname> http://gatecse.in/wiki/Number_of_Binary_trees_possible_with_n_nodes
06:55:59 <oerjan> myname: that's nodes not leaves
06:56:36 <myname> how does that matter, there are a multiple of each other
06:57:08 <oerjan> not if there are nodes with 1 child
06:57:20 <oerjan> which i was ignoring, but i think the first answer allows it
06:58:03 <oerjan> i'm not convinced that answer is right though. argh my brain.
06:59:49 <myname> does the catalan answer allow reordering?
07:01:09 <oerjan> 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 <myname> shouldn't labeling have _more_ ways then?
07:03:58 <oerjan> it _does_ however distinguish left and right children.
07:04:30 <oerjan> yes, labeling should have more ways.
07:05:09 <oerjan> 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 <hppavilion[1]> myname: How about untyped λ-calc IO/nondeterminism/socketry?
07:08:34 <hppavilion[1]> myname: Yes, yes. Let the hatred of OO /flow/ through you
07:10:10 <hppavilion[1]> myname: Is there no way to do OO well? If so, why?
07:11:29 <myname> what do you think makes OO useful what functional languages don't already have?
07:12:48 <hppavilion[1]> myname: Well, um, that would be objects. You know, the things with methods and attributes.
07:13:40 <myname> those are horrible. you can't extend these without probably messing things up
07:14:04 <hppavilion[1]> myname: That's a shitty programmer thing, not a problem with objects
07:14:32 <hppavilion[1]> 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 <myname> 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:16:12 <hppavilion[1]> myname: OK, I'm clearly exhausted, because I have no clue what you're saying xD
07:16:37 <myname> let's say you write a library which is awesome
07:17:03 <myname> but i also need some additional methods and attributes
07:17:11 <myname> i am pretty much fucked now
07:18:30 <hppavilion[1]> In python, you can call super().__init__() to subclass with a new initialization
07:18:40 <myname> well, i can, but i have to change _your_ code and have to check anywhere if it does break anything
07:19:21 <hppavilion[1]> 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 <myname> did you ever do something with a functional language?
07:21:55 <myname> i just love the typeclass system of haskell and the likes
07:22:13 <myname> it's like you can implement interfaces for foreign objects
07:22:39 <HackEgo> [wiki] [[Talk:Deviating Percolator]] https://esolangs.org/w/index.php?diff=46281&oldid=33301 * Hppavilion1 * (+195) /* "Compliant Interpreters" */ new section
07:43:19 <myname> well, no, real scientists don't need scales
07:44:31 <myname> that would imply you have to deal with... numbers
07:44:52 <myname> who needs those to make science
07:44:53 <izabera> 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:19:57 <hppavilion[1]> 728988259989286329735345815908434974465481009469702340555217695715929148676708799487214724328333663839983488920889151056
09:25:12 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
09:37:58 <HackEgo> [wiki] [[MATL]] https://esolangs.org/w/index.php?diff=46282&oldid=46274 * Luis Mendo * (+112) /* Language specification and compiler */
09:38:22 <HackEgo> [wiki] [[MATL]] https://esolangs.org/w/index.php?diff=46283&oldid=46282 * Luis Mendo * (-2) /* Language specification and compiler */
09:38:42 <HackEgo> [wiki] [[MATL]] https://esolangs.org/w/index.php?diff=46284&oldid=46283 * Luis Mendo * (+8) /* Language specification and compiler */
09:38:53 <HackEgo> [wiki] [[MATL]] https://esolangs.org/w/index.php?diff=46285&oldid=46284 * Luis Mendo * (+2) /* Language specification and compiler */
09:39:12 <HackEgo> [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:26:12 <Taneb> I'm going to have to teach myself topology as well as coding theory and character theory I think
11:43:25 <boily> Tanelle. character theory?
11:43:49 <Taneb> Something to do with group representations
11:43:54 <Taneb> I haven't taught myself it yet
11:47:58 <Taneb> 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:26 <quintopia> what i get for not putting in contacts when i wake up
13:34:37 <oerjan> quintopia: you two are like a running gag :P
13:35:18 <Taneb> Assuming that > represents the beard
13:50:33 <quintopia> 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 <myname> can anybody recommend books or texts on computational linguistics?
14:14:17 <fizzie> Our most related course used this book: C. Manning, H. Schütze, 1999. Foundations of Statistical Natural Language Processing.
14:14:23 <fizzie> I fail to recall if it was any good, though.
14:14:44 <fizzie> I recognize the cover picture, so I must've at least looked at it.
14:16:17 <fizzie> 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 <oerjan> Taneb: "->" is from the ancient oklopolitan tribes of finland it means "now i go there" hth
14:19:32 <fizzie> It's called "the magic arrow" ("taikanuoli" in Finnish) hth
14:22:20 <fizzie> http://sprunge.us/fVEM hth
14:23:54 <fizzie> There's also a related "->?" symbol for "should we go there now?", which you can then answer affirmatively with ->.
14:45:07 <mroman> but that's probaly more "at the moment"
14:47:19 -!- Treio has joined.
14:47:32 -!- jaboja has joined.
14:47:36 <fizzie> 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.
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 <FireFly> mroman: sounds annoying to IRC from the shower
15:07:41 -!- J_Arcane has joined.
15:09:41 -!- mauris has joined.
15:14:54 <oerjan> FireFly: it's an electrifying experience
15:19:05 <myname> quintopia: did you meant to say you can recommend something?
15:26:21 <mroman> latest smartphones are waterproof
15:26:51 <mroman> such as m********** in the shower while watching animated pictures on such devices.
15:27:13 <mroman> or maybe in case you're a professional diver
15:27:19 <mroman> 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 <oerjan> @tell mroman blub. blib blub blub!
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 <Taneb> I've asked this before, but I can't remember the conclusion
17:24:23 <Taneb> Is it valid for an optimizing brainfuck compiler to optimize "+[]" to ""?
17:24:39 <Taneb> Like, a non-productive infinite loop to the empty program
17:25:19 <zzo38> Maybe it could be an option I suppose
17:28:00 -!- zzo38 has quit (Remote host closed the connection).
17:28:26 <Taneb> How about "+[]++++++++++++++++." to "+++++++++++++++++."
17:30:43 <FireFly> Certainly not the second onne
17:31:45 <myname> 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 <HackEgo> [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:09 <lambdabot> 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:03 <lambdabot> EGLL 252020Z AUTO 28015KT 9999 BKN025 11/06 Q1022 NOSIG
20:29:20 <fizzie> 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:11:30 <hppavilion[1]> 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 <HackEgo> [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 <lambdabot> CYUL 252200Z 12006KT 15SM BKN038 OVC240 M01/M07 A3017 RMK SC7CI1 SLP221
22:58:39 <lambdabot> KATL 252252Z 18004KT 10SM BKN250 12/M04 A3020 RMK AO2 SLP230 T01221039
22:58:54 <boily> quintopia isn't snow.
22:58:59 <lambdabot> KLGA 252251Z 18006KT 8SM SCT150 OVC250 02/M05 A3029 RMK AO2 SLP255 T00171050 $
22:59:08 <lambdabot> KBOS 252254Z 13008KT 10SM BKN200 01/M03 A3029 RMK AO2 SLP257 T00061033
22:59:29 <lambdabot> KOAK 252253Z 29009KT 10SM SCT026 15/10 A3023 RMK AO2 SLP236 T01500100
22:59:37 -!- mauris_ has joined.
22:59:47 <boily> hellochaf. you obviously aren't snow. you never snow.
23:00:03 <shachaf> boily: I was skiing just last weekend.
23:00:09 <shachaf> Or the one before last. I don't know.
23:01:47 <boily> 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:02 <lambdabot> ENVA 252250Z 05005KT 360V090 CAVOK 04/03 Q0993 RMK WIND 670FT 15014KT
23:04:32 <oerjan> there is snow, but it is trying to melt hth
23:06:19 -!- hppavilion[1] has joined.
23:08:11 <shachaf> It's been raining a lot here.
23:12:35 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
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: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).