←2017-05-23 2017-05-24 2017-05-25→ ↑2017 ↑all
00:01:00 -!- LKoen_ has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
00:02:28 -!- Zarutian has quit (Ping timeout: 240 seconds).
00:03:51 -!- Remavas has quit (Read error: Connection reset by peer).
00:04:35 -!- Remavas has joined.
00:09:11 <boily> @metar ENVA
00:09:11 <lambdabot> ENVA 232250Z 12005KT CAVOK 07/05 Q1013 RMK WIND 670FT 17004KT
00:09:15 <boily> @metar CYUL
00:09:15 <lambdabot> CYUL 232300Z 25005KT 15SM FEW040 BKN110 BKN240 20/10 A2977 RMK CU1AC5CI2 CU TR SLP082 DENSITY ALT 900FT
00:09:56 -!- tromp has quit (Remote host closed the connection).
00:10:16 <oerjan> boily: i keep changing between my winter and spring jacket these days :/
00:11:17 <oerjan> temperature like a rollercoaster
00:17:07 -!- Remavas-Hex has joined.
00:17:17 -!- Remavas has quit (Disconnected by services).
00:17:25 -!- Remavas-Hex has changed nick to Remavas.
00:17:33 -!- Remavas has quit (Changing host).
00:17:33 -!- Remavas has joined.
00:18:22 -!- tromp has joined.
00:18:42 -!- augur has joined.
00:21:18 -!- augur has quit (Remote host closed the connection).
00:21:31 -!- augur has joined.
00:28:27 -!- tromp has quit (Remote host closed the connection).
00:29:45 <\oren\> well, and now the mystery of "Who killed my process that was running on the server?"
00:30:17 <\oren\> Was it the butler, in the scullery, with the exacto knife?
00:38:16 <quintopia> it was boily in the wisdom file with the mapole
00:38:27 <shachaf> huintopia
00:38:28 <boily> QUINTHELLOPIA! aaaurgh! you ninjaed me!
00:38:39 <quintopia> hichaf
00:38:55 <quintopia> you saw me coming
00:40:32 <boily> he\\oren\. by the way, I didn't touch your process hth
00:46:44 <\oren\> it was the lead devloper, with pkill -9, in his home directory!
00:47:03 <\oren\> the case is solv-ed
00:50:46 <boily> what's a huintopia?
00:50:50 -!- tromp has joined.
00:57:00 <oerjan> a mutated irish quintopia
00:58:02 <quintopia> it was oerjan in the Dahl library with the frying pan
00:59:18 <oerjan> i didn't do it and nobody saw me, but anyone who goes in the Dahl library gets what they deserve.
00:59:33 <boily> I believe the weapoerjan is the swatter hth
01:00:21 <oerjan> i've also got a saucepan ===\__/ and recently a skillet ==\____/
01:00:38 <boily> shiny!
01:01:46 <boily> nothing like a properly seasoned skillet to sauté a few mushrooms here and there.
01:02:37 <shachaf> oerjan: what kind of skillet twh
01:02:44 <shachaf> boily: what kind of mushrooms twh
01:05:45 <boily> shachaf: https://www.dropbox.com/s/olds0tafcy5f1dl/IMG_20170523_200405.jpg?dl=0
01:06:00 <boily> https://www.dropbox.com/s/hrsx38nm3byggg6/IMG_20170523_200433.jpg?dl=0
01:06:08 <boily> I don't know what they are, but they taste good.
01:07:23 <shachaf> imo go hunting for exciting wild mushrooms
01:10:06 <oerjan> shachaf: a sciientifically improved one hth
01:10:20 -!- tromp has quit (Remote host closed the connection).
01:10:24 <boily> there's the Mycoboutique ( http://www.mycoboutique.com/fr/ ) that does hunting sessions during the summer ^^
01:11:56 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
01:12:08 <shachaf> oerjan: what is the material twh
01:12:38 -!- tromp has joined.
01:15:37 <oerjan> (char)Fe hth
01:16:16 * boily mapoles oerjan. 0.99 FP.
01:35:27 -!- sleffy has quit (Ping timeout: 240 seconds).
01:38:46 -!- Sprocklem has quit (Ping timeout: 260 seconds).
01:41:54 -!- sleffy has joined.
01:42:32 <boily> ah fungot. got banished into the abyss.
01:42:33 <fungot> boily: mhmm yes dying in a party tonight and drinking. :p http://panic.joroinen.fi/pk/ breakpoint03/ wild/ etc. is a lambda that takes the object, if you consider ( cons a. b)
01:43:04 <boily> fungot: dying is pretty much assured.
01:43:04 <fungot> boily: scheme is ideal for something like a liter of hot chocolate, or software?
01:43:37 <oerjan> fungot: mainly software, i think.
01:43:38 <fungot> oerjan: and only the whole program
01:43:53 <oerjan> fungot: no, it's supposedly also good in the REPL
01:43:54 <fungot> oerjan: exactly. can you recieve 2.2 gb per dcc?). since range-list works for a living
01:44:12 <oerjan> fungot: i... don't know.
01:44:13 <fungot> oerjan: i retract that, and for only a couple annoyances. ( the port is a regular procedure just like any other
01:44:16 <boily> aaaand I'm dead.
01:44:26 <quintopia> night
01:44:31 <boily> bonnuitopia!
01:49:51 -!- Akaibu has quit (Quit: Connection closed for inactivity).
01:50:00 <boily> `w
01:50:02 <HackEgo> i'n//I'n is a contraction of "I'm in" rdocscovered in the early 23rd century.
01:50:34 <boily> contractions of the language lead to pregnant pauses.
01:50:54 <boily> (or is it the other way round? I lack the recommended apparatus for that kind of thing...)
01:55:44 <shachaf> `4 w
01:55:48 <HackEgo> 1/2:isjust//isJust is just a Haskell function to check if a value is Just a. \ cosplay//Cosplay is the art of dressing up as people to show off to other people dressed up as people. \ fourth wisdom//.wisdoms other the all upon builds wisdom fourth The \ languabe//Languabes are edible and fun. They provide a quick implementation energy boo
01:55:58 <shachaf> `n
01:55:58 <HackEgo> 2/2:st!
01:56:33 <shachaf> `forget languabe
01:56:36 <HackEgo> Forget what?
01:56:48 <shachaf> `forget i'n
01:56:50 <HackEgo> Forget what?
01:56:54 <shachaf> forget it all
01:56:55 <oerjan> hey, that's cheating
01:57:03 <shachaf> oerjan: languabe came up last time hth
01:57:08 <shachaf> i was on the fence then
01:57:19 <oerjan> (although it's what i expected you to forget)
01:57:46 <oerjan> i think i shall still have to clamp down on this kind of cheating.
01:57:50 <oerjan> _next_ time.
01:57:55 <shachaf> clamp down?
01:58:05 <shachaf> maybe before you call something cheating, you can specify the rules twh
01:58:52 <oerjan> well the basic rule is that you only get to remove one of the 5, of course.
02:00:10 -!- electrolex has quit (Quit: Leaving).
02:07:02 <boily> `? shachaf
02:07:04 <HackEgo> Queen Shachaf of the Dawn sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. He doesn't know when to stop asking questions.
02:07:39 <shachaf> oerjan: i followed that rule hth
02:07:52 <shachaf> 15:47 <HackEgo> 1/2:languabe//Languabes are edible and fun. They provide a quick implementation energy boost! \ recursion//You might expect a reference to
02:07:55 <shachaf> 17:55 <HackEgo> 1/2:isjust//isJust is just a Haskell function to check if a value is Just a. \ cosplay//Cosplay is the art of dressing up as people to show
02:11:16 <oerjan> the rest of the rule is that you must do any deletion before you do another bunch of 5 hth
02:12:07 <shachaf> tdh
02:19:06 <oerjan> `
02:19:06 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
02:19:12 <oerjan> `? tdh
02:19:13 <HackEgo> tdh is the past tense of a successful hth. hth.
02:20:23 <Cale> `? dth
02:20:24 <HackEgo> dth? ¯\(°​_o)/¯
02:21:41 <Cale> dth is the dth ordinal. dth?
02:22:17 <shachaf> Tell the bot, not me.
02:22:26 <Cale> I forget how to inform it.
02:22:32 <shachaf> It just runs UNIX commands.
02:22:51 <shachaf> `? `?
02:22:53 <HackEgo> ​​`? ¯\(°​_o)/¯
02:23:02 <shachaf> oerjan: tdnh hth
02:23:26 <shachaf> Anyway you use `learn but you have to look up how it works before you use it because otherwise you'll get it wrong.
02:23:32 <shachaf> Because it's so intuitive.
02:24:14 <\oren\> guten ...shit I don;t know the german word for evening
02:24:54 <shachaf> then why are you speaking german hth
02:26:08 <Cale> `le//rn dth//dth is the dth ordinal. dth?
02:26:10 <HackEgo> Learned 'dth': dth is the dth ordinal. dth?
02:26:43 <boily> \oren\: guten abend hth
02:28:47 <shachaf> who taught you about le//rn dtnh
02:33:47 <Cale> The logs did
02:34:47 -!- boily has quit (Quit: PREROGATIVE CHICKEN).
02:35:05 <Cale> :( my desktop machine won't POST
02:35:13 <oerjan> . o O ( `learn would have worked just fine :( )
02:36:12 <Cale> Does `learn use the first word as the word to define?
02:36:46 <oerjan> Deutsch ist eine sehr einfache Sprache.
02:36:54 <oerjan> `? `learn
02:36:56 <HackEgo> ​`learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] <keyword>[s][punctuation] [...]
02:37:46 -!- jaboja has quit (Ping timeout: 255 seconds).
02:38:06 <oerjan> hey that GT roundtrips
02:39:32 <shachaf> GT?
02:40:17 <oerjan> google translate
02:41:08 <shachaf> As fizzie would call it, T.
02:42:54 <shachaf> Cale: How was NYC?
02:45:26 <Cale> Pretty nice :)
02:46:05 <Cale> It's always fun to meet all the people who I've known for years from #haskell and never met face to face.
02:46:24 <alercah> was there a conference?
02:46:41 <Cale> Yeah, Compose
02:48:15 <alercah> Cool. A bunch of my coworkers were down there for a different conference last week
02:49:37 <shachaf> It's conference season.
02:50:12 <oerjan> when all the seasoned conferencers gather
02:51:37 <zzo38> On a All The Tropes wiki article about computer RPG clice they mention: "It is proven that a human mind has an effect on random number generators. Your thoughts directly affect the RNG, and this is proven. This means that your mindset affects the RNG. Any thought you have affects the RNG, any thought at all will have an effect. This also means that once you start thinking the RNG is after you, it is. You now have nobody to blame but yourself."
02:52:09 <zzo38> I think there is two thing wrong with that: [1] Computer games are commonly using pseudorandom number generators. [2] I don't see how it implies that "once you start thinking the RNG is after you, it is."
02:52:59 <shachaf> it's called "pseudo" because it's affected by your mind hth
02:54:08 <zzo38> How is that?
03:05:35 -!- sleffy has quit (Ping timeout: 260 seconds).
03:12:02 -!- sleffy has joined.
03:16:32 <oerjan> your mind is retroactively affecting the seed hth
03:26:00 <zzo38> The seed is not necessarily made up by a true random number generator either (although sometimes it is based on the amount of time that passes).
03:36:30 -!- tromp has quit (Remote host closed the connection).
03:46:47 -!- sleffy has quit (Ping timeout: 240 seconds).
03:47:34 <shachaf> `5 w
03:47:42 <HackEgo> 1/2:ravnica: city of guilds//Ravnica: City of Guilds is a city of guilds. “City of Guilds” is part of its name. The Wizards of the Coast Marketing Department: We Sell Anything thought players might not notice it was a City of Guilds unless they put the tagline into the name. \ nak//matrix//A matrix is just a matrix. People use them to
03:47:43 <shachaf> `n
03:47:44 <HackEgo> 2/2: communicate. Taneb invented them. \ yoda//Yoda object-verb dialogue adopts. \ antediluvian//We could tell you what antediluvian means, but that would just open a flood of questions.
03:48:20 <shachaf> oerjan: wouldn't the flood of questions come first?
03:49:37 <shachaf> Cale: Can string diagrams give me good intuition for tensors?
03:53:48 -!- tromp has joined.
03:56:33 <Cale> shachaf: Maybe? I wouldn't expect them to give you all *that* much more intuition than ordinary diagrams though.
03:57:17 <shachaf> Oh well.
03:57:47 <Cale> shachaf: What do you want to know about tensors?
03:58:11 <Cale> You mean just tensor products of vector spaces?
03:58:14 <shachaf> Hmm, I don't remember anymore.
03:58:34 <shachaf> Start with anything, I guess.
03:59:27 <shachaf> I guess tensor product is a functor, so tensor products of linear maps matter, not just tensor products of vector spaces.
03:59:50 <shachaf> But when people say "tensor" they specifically mean V^n V*^m, right?
04:00:02 <Cale> Yeah, that's true, but that's part of the same story
04:00:07 <shachaf> Where multiplication is tensor product and V* is the dual space.
04:00:22 <Cale> That's certainly the case for some
04:01:00 <shachaf> Or they mean a multidimensional array.
04:01:09 <shachaf> But everyone says that's a bad way to think of it.
04:02:05 <Cale> So, one way to motivate the tensor product space is that in the category of sets, we have this nice adjunction that says a map A -> C^B is the same thing as a map A x B -> C
04:02:25 <shachaf> Sure, it's left adjoint to the internal hom.
04:02:31 <Cale> right
04:02:31 <shachaf> That's a pretty good motivation.
04:03:10 <shachaf> I should probably get a better idea of why co/contravariance matters so much in linear maps.
04:03:37 <shachaf> It's obvious why it matters with functions, but a vecor space is isomorphic to its dual (though not naturally).
04:11:15 <quintopia> is a vecor space a vector space in which vectors are forbidden from being orthogonal (no 'T')?
04:19:39 -!- sleffy has joined.
04:21:15 <zzo38> Has Knuth read yet what you wrote about MMIX?
04:23:01 <shachaf> zzo38: He read an email I wrote to him about MMIXware.
04:23:11 <zzo38> What did you write?
04:23:16 <shachaf> Then he added a "rant" to the text of MMIXware, and sent me a check.
04:24:03 <shachaf> I talked about how his C programs assume that argv[0] is non-NULL, whereas the C specification (and Linux/glibc) allow it to be NULL.
04:24:54 <shachaf> That wasn't really about MMIX, though.
04:25:18 <oerjan> shachaf: i don't see why hth
04:25:43 <shachaf> oerjan: am i missing a pun here
04:26:03 <shachaf> The erratum is at http://www-cs-faculty.stanford.edu/~uno/mmixware-errata.html
04:26:16 -!- tromp has quit (Remote host closed the connection).
04:26:32 -!- erkin has joined.
04:30:41 -!- Remavas has quit (Read error: Connection reset by peer).
04:38:06 <oerjan> shachaf: antedeluvian = before the flood hth
04:38:36 <shachaf> Oh, that was in reply to that.
04:38:50 <oerjan> . o O ( oh no, i just opened a flood of questions. and with shachaf, even )
04:38:52 <shachaf> You're right.
04:38:56 <shachaf> Not sure what I was thinking.
04:38:58 <shachaf> `? shachaf
04:38:59 <HackEgo> Queen Shachaf of the Dawn sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. He doesn't know when to stop asking questions.
04:39:05 <shachaf> `dowg shachaf
04:39:12 <HackEgo> 9872:2016-12-05 <boil̈y> slwd shachaf//s/^/Queen / \ 9869:2016-12-05 <oerjän> learn_append shachaf He doesn\'t know when to stop asking questions. \ 9116:2016-09-29 <shachäf> slwd shachaf//s# T.*## \ 8814:2016-07-14 <boil̈y> slwd shachaf//s#^shachaf#Shachaf of the Dawn# \ 8553:2016-06-21 <shachäf> ` hg cat -r 8343 wisdom/shachaf > wisdom/sh
04:39:58 <shachaf> Is Nepeta Leijon dead?
04:40:02 <shachaf> Now that Homescow is done.
04:41:27 <oerjan> i wouldn't know.
04:41:47 <izabera> what is an example of a nontrivial file that <commonly used compression algorithm> cannot compress?
04:42:03 <oerjan> /dev/random hth
04:43:13 <zzo38> Yes, although I don't know if you want to count that?
04:43:25 <izabera> thanks
04:44:19 <shachaf> oerjan: Hmm, /dev/random is infinite.
04:44:24 <shachaf> What does it mean to compress an infinite file?
04:44:38 <shachaf> Assuming it can't be generated by a finite program, which almost all infinite files can't.
04:44:46 <zzo38> Then use head -c to keep only the finite part, I suppose.
04:45:03 <shachaf> Ah, keep only the finite part and drop the infinite part. Makes sense.
04:45:28 <doesthiswork> I know a guy who has a hydraulic press you could use
04:45:50 <oerjan> `? hydraulic
04:45:53 <HackEgo> hydraulic? ¯\(°​_o)/¯
04:45:59 <oerjan> `grwp hydraulic
04:46:22 <HackEgo> overflow:Overflow is a phenomenon that occurs when too much water pours into the inner tanks of a hydraulic computer.
04:46:55 <shachaf> `5 w
04:46:55 <doesthiswork> floating points can be troublesome
04:47:00 <HackEgo> 1/2:music//The result was a short burst of the most hideous cacophony in G minor. \ deep learning//Deep learning applies software engineering principles to AI. A deep learning network has numerous layers and no one understands what any of them do. \ char//Char is a prominent component of charcoal. \ quote//Quotes are just elements of the
04:47:04 <shachaf> `n
04:47:04 <HackEgo> 2/2:quantum dilapidated bogosphere. See qdb. \ tanstaaha//tanstaaha, so please stop using them. That would help.
04:47:41 -!- Sprocklem has joined.
04:47:44 <shachaf> tanstaneb
04:48:18 -!- tromp has joined.
04:48:49 <doesthiswork> I bet image on a hydraulic computer can only be in a lossless format
05:07:47 -!- zzo38 has quit (Ping timeout: 240 seconds).
05:25:01 -!- tromp has quit (Remote host closed the connection).
05:26:33 -!- zzo38 has joined.
05:30:07 -!- nullcone has quit (Quit: Connection closed for inactivity).
06:10:56 -!- puckipedia has quit (Ping timeout: 240 seconds).
06:12:26 -!- JX7P has quit (Ping timeout: 240 seconds).
06:15:07 -!- subleq__ has quit (Ping timeout: 240 seconds).
06:17:16 -!- IRIXUser has joined.
06:17:29 -!- puckipedia has joined.
06:17:39 -!- IRIXUser has changed nick to Guest55112.
06:25:41 -!- tromp has joined.
06:30:19 -!- tromp has quit (Ping timeout: 258 seconds).
06:33:00 -!- hakatashi has quit (Remote host closed the connection).
06:33:22 -!- hakatashi has joined.
06:36:47 -!- subleq has joined.
06:42:27 -!- subleq has quit (Ping timeout: 240 seconds).
06:49:51 -!- subleq has joined.
06:56:16 -!- FreeFull has quit.
07:18:42 -!- sleffy has quit (Ping timeout: 272 seconds).
07:27:51 -!- Sprocklem has quit (Ping timeout: 260 seconds).
07:41:07 -!- ASCII-only has joined.
07:58:43 -!- doesthiswork has quit (Quit: Leaving.).
08:12:15 -!- ASCII-only has quit (Quit: Page closed).
08:26:01 -!- tromp has joined.
08:30:55 -!- tromp has quit (Ping timeout: 268 seconds).
09:32:15 -!- augur has quit (Read error: Connection reset by peer).
09:32:33 -!- augur has joined.
09:38:50 -!- augur has quit (Quit: Leaving...).
09:41:58 -!- augur has joined.
09:45:23 -!- jaboja has joined.
09:46:06 -!- oerjan has quit (Quit: Nite).
09:59:47 -!- LKoen has joined.
10:38:42 -!- jaboja has quit (Ping timeout: 260 seconds).
10:48:39 <int-e> `? damn
10:48:48 <int-e> `w
10:49:05 <HackEgo> fnord//? ¯\(°​_o)/¯
10:49:05 <HackEgo> damn? ¯\(°​_o)/¯
10:54:48 <shachaf> `w
10:54:49 <HackEgo> kayayaya//Ka-ya-ya-ya. Ka-ya-ya-ya-ya. Ka-ya-ya-ya. Ka-ya-ya-ya-ya.
10:54:54 <shachaf> `3 w
10:54:56 <HackEgo> 3/1:
10:55:10 <shachaf> foiled again
10:55:57 <shachaf> oerjan: the presence of a command as broken and useless as `3 in the 1 2 4 5 sequence is slightly irritating to me tdnh
11:01:30 <HackEgo> [wiki] [[Special:Log/newusers]] create * Cedar101 * New user account
11:09:06 -!- izabera has changed nick to dumbabera.
11:18:28 -!- dumbabera has changed nick to izabera.
11:27:26 -!- tromp has joined.
11:32:23 -!- tromp has quit (Ping timeout: 258 seconds).
11:33:27 -!- boily has joined.
11:36:09 -!- augur has quit (Remote host closed the connection).
11:36:44 -!- augur has joined.
11:39:44 <boily> `w
11:39:45 <HackEgo> laver table//A laver table is a type of Welsh furniture primarily used for eating seaweed.
11:44:31 -!- augur has quit (Ping timeout: 260 seconds).
12:08:16 <HackEgo> [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=51987&oldid=51261 * BradleySadowsky * (+51) Added DROL Truth Machine
12:12:41 <HackEgo> [wiki] [[DROL]] M https://esolangs.org/w/index.php?diff=51988&oldid=51956 * BradleySadowsky * (+73) /* External Links */ Added link to docs
12:20:16 -!- augur has joined.
12:24:24 -!- augur has quit (Ping timeout: 246 seconds).
12:31:12 -!- boily has quit (Quit: HILL CHICKEN).
12:37:36 <Cale> `w
12:37:37 <HackEgo> void//Nothing to see here
12:43:12 -!- Guest55112 has quit (Changing host).
12:43:12 -!- Guest55112 has joined.
12:43:15 -!- Guest55112 has changed nick to JX7P.
12:43:48 -!- tromp has joined.
12:48:04 -!- tromp has quit (Ping timeout: 240 seconds).
12:49:57 -!- shikhin has quit (Ping timeout: 240 seconds).
12:52:09 -!- shikhin has joined.
13:01:15 <HackEgo> [wiki] [[DROL]] https://esolangs.org/w/index.php?diff=51989&oldid=51988 * BradleySadowsky * (+3550) Major Version 3 Rollout Page update
13:03:43 <Cale> `w
13:03:45 <HackEgo> elendil//Elendil's dad, Amandil, decided to try to save Numenor from its awful end by sailing to the Undying Lands and appealing to the Valar, but got lost. His family founded a new empire in Middle-earth. Elendil himself later made the Last Alliance with the elf king Gil-Galad, against Sauron.
13:04:11 <Cale> `? Amandil
13:04:13 <HackEgo> Amandil? ¯\(°​_o)/¯
13:27:18 -!- tromp has joined.
13:39:47 -!- tromp has quit (Remote host closed the connection).
13:50:02 -!- Cale has quit (Ping timeout: 260 seconds).
13:54:13 -!- Cale has joined.
14:00:33 -!- doesthiswork has joined.
14:04:25 -!- Slereah__ has joined.
14:06:07 -!- Slereah has quit (Ping timeout: 246 seconds).
14:10:46 -!- electrolex has joined.
14:14:01 -!- tromp has joined.
14:14:44 -!- `^_^v has joined.
14:16:49 -!- tromp has quit (Remote host closed the connection).
14:34:23 -!- Phantom_Hoover has joined.
15:16:57 -!- jaboja has joined.
15:17:17 -!- tromp has joined.
15:19:45 -!- Sgeo_ has quit (Ping timeout: 246 seconds).
15:19:59 -!- Sgeo has joined.
15:24:19 -!- tromp has quit (Ping timeout: 260 seconds).
15:28:47 -!- PinealGlandOptic has joined.
15:29:27 -!- Sgeo has quit (Ping timeout: 260 seconds).
15:30:05 -!- Sgeo has joined.
15:47:26 -!- olsner has quit (Remote host closed the connection).
15:47:43 -!- olsner has joined.
16:11:52 -!- Sgeo has quit (Read error: Connection reset by peer).
16:12:20 -!- Sgeo has joined.
16:21:10 -!- tromp has joined.
16:25:26 -!- tromp has quit (Ping timeout: 240 seconds).
16:31:04 -!- sleffy has joined.
16:37:17 -!- augur has joined.
16:41:46 -!- augur has quit (Ping timeout: 260 seconds).
17:11:23 -!- FreeFull has joined.
17:17:52 -!- tromp has joined.
17:22:27 -!- tromp has quit (Ping timeout: 245 seconds).
17:23:43 <\oren\> `w
17:23:45 <HackEgo> bicategory//Bicategories are just categories where composition is only associative up to an isomorphism.
17:32:08 <\oren\> `w
17:32:09 <HackEgo> erkin//An erkin is a variety of cucumber: the West Indian or burr erkin (Cucumis anguria), which produces a somewhat smaller fruit than the garden cucumber (Cucumis sativus).
17:56:52 <Cale> `w
17:56:54 <HackEgo> palindrome//A palindrome is a word that remains the same if you take it to the mirror dimension, and then take each individual letter back to the normal dimension separately.
17:57:08 -!- AnotherTest has joined.
18:11:39 -!- pecan has quit (Quit: ZNC 1.6.3 - http://znc.in).
18:37:07 -!- sleffy has quit (Ping timeout: 240 seconds).
18:43:16 -!- Akaibu has joined.
18:50:15 -!- LKoen has quit (Remote host closed the connection).
18:51:31 -!- jaboja has quit (Ping timeout: 240 seconds).
19:17:50 -!- LKoen has joined.
19:19:18 -!- tromp has joined.
19:24:07 -!- tromp has quit (Ping timeout: 245 seconds).
19:25:23 -!- sleffy has joined.
19:31:24 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
19:42:31 <izabera> http://i.imgur.com/wmiwxxl.jpg
19:47:31 <Taneb> It's amazing how much coding and algorithms can do
19:48:18 -!- xkapastel has joined.
19:56:34 <zzo38> Can make up some Magic: the Gathering card: {4} Artifact ;; When ~ enters the battlefield, create a tapped 0/1 Wall creature token with banding and defender. ;; Creature spells cost {1} more to cast if ~ is untapped.
19:57:20 -!- MDude has quit (Remote host closed the connection).
19:57:34 <zzo38> Do you like this?
20:07:03 <zzo38> What can it be called, and any other suggestion maybe?
20:10:09 <int-e> "create"?
20:11:04 <zzo38> http://www.yawgatog.com/resources/magic-rules/#R7016
20:11:38 -!- Sprocklem has joined.
20:12:21 <int-e> introduced 2016, far too recent for me
20:37:43 -!- augur has joined.
20:41:45 -!- augur has quit (Ping timeout: 246 seconds).
20:50:34 -!- tromp has joined.
20:55:16 -!- tromp has quit (Ping timeout: 246 seconds).
21:02:10 -!- sleffy has quit (Ping timeout: 255 seconds).
21:07:02 -!- subleq has quit (Ping timeout: 255 seconds).
21:07:47 -!- subleq has joined.
21:35:25 <HackEgo> [wiki] [[DROL]] M https://esolangs.org/w/index.php?diff=51990&oldid=51989 * BradleySadowsky * (+2) Corrected version number to semantic versioning
21:44:43 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:13:06 -!- sleffy has joined.
22:17:33 -!- electrolex has quit (Quit: Leaving).
22:22:29 -!- T-Rog has joined.
22:22:39 <T-Rog> zzo38: I was told to come in here and ask you about D&D
22:30:12 -!- subleq has quit (Ping timeout: 268 seconds).
22:32:04 -!- subleq has joined.
22:37:21 -!- Sprocklem has quit (Ping timeout: 240 seconds).
22:50:58 -!- augur has joined.
22:52:29 <zzo38> T-Rog: OK, what question?
22:53:56 <zzo38> If you do not tell me what question then I cannot answer you. OK
22:55:00 -!- T-Rog has quit (Ping timeout: 240 seconds).
22:56:24 -!- T-Rog has joined.
22:56:57 <zzo38> T-Rog: What question you wanted to ask to me please?
22:57:16 -!- T-Rog has left.
22:57:23 -!- T-Rog has joined.
22:58:02 <T-Rog> zzo38: Do you prefer to DM using theater of the mind, or a map and mini figures?
22:58:38 -!- nullcone has joined.
22:59:04 <zzo38> By mind. A map (on paper, not with figures) can still help in some situations, though.
22:59:26 <T-Rog> do you have a preferred campaign setting?
23:00:53 <zzo38> I am not the DM actually, although of course all of the player and DM will have the preferences and then you can put together. But if you read my level20.tex then you can see what some of it is! You can see how the different character are difference too.
23:01:24 <T-Rog> level20..tex?
23:02:26 <zzo38> All The Tropes wiki article: https://allthetropes.org/wiki/User:Zzo38/level20.tex
23:04:29 -!- augur has quit (Remote host closed the connection).
23:04:47 -!- MDude has joined.
23:05:08 -!- augur has joined.
23:06:36 <zzo38> T-Rog: Do you like this? If you read the story (from the source file, or the DVI or PDF) then you can see how we do it. There are some footnotes too, to explain. However, now I mostly play the GURPS I prefer it to the D&D mostly.
23:07:37 <T-Rog> give me a minute
23:07:53 <zzo38> (That wiki article contains the links to those stuff)
23:07:56 -!- xkapastel has quit (Quit: Connection closed for inactivity).
23:08:49 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:09:10 -!- subleq has quit (Remote host closed the connection).
23:09:19 <zzo38> I even wrote my own TeX macro package for making the recording of story of Dungeons&Dragons game. You can keep track of experience points, spell lists, ability scores, skills, etc.
23:09:35 -!- augur has quit (Ping timeout: 260 seconds).
23:09:43 <shachaf> Do you like TeX?
23:09:54 * T-Rog doesn't know how to use TeX
23:10:19 <zzo38> Yes, I think TeX is probably best type setting system made so far (although it does have some problems too).
23:11:06 <shachaf> What's better: TeX or MMIX?
23:12:17 <zzo38> They are two different things; you cannot compare so well which one better.
23:12:42 <shachaf> What do you mean?
23:12:50 <shachaf> If they were the same thing, you couldn't compare so well which one better.
23:12:58 <shachaf> But they're different things, which is what lets you compare.
23:12:59 <T-Rog> zzo38: https://www.dropbox.com/s/s4jh0nc5rjb3m0f/D%26D%20Story.odt?dl=0
23:13:09 <T-Rog> I wrote this a while back, but the campaign didn't last very long
23:13:21 <zzo38> If they are same thing, is easily to compare: They are equal!
23:13:24 <T-Rog> it ended with the party TKing each other
23:13:27 <zzo38> If there is Pascal compiler to target MMIX then you can even run TeX on MMIX.
23:13:36 <zzo38> T-Rog: I do not have the program to load .odt file
23:13:57 <T-Rog> https://www.dropbox.com/s/kglkpzezros4q8a/D%26D%20Story.pdf?dl=0
23:17:22 <zzo38> OK
23:18:19 -!- augur has joined.
23:18:38 <zzo38> I suppose it is OK.
23:19:03 <zzo38> This is good too I think.
23:19:26 <zzo38> How many players are there though in there?
23:19:28 -!- boily has joined.
23:20:46 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
23:20:54 <zzo38> It just says <number of players>
23:22:26 -!- sleffy has quit (Ping timeout: 240 seconds).
23:23:12 -!- Phantom_Hoover has joined.
23:23:12 -!- Phantom_Hoover has quit (Changing host).
23:23:12 -!- Phantom_Hoover has joined.
23:23:50 <zzo38> T-Rog: Also what version you play? Is it 3.5 edition like I do?
23:24:03 <T-Rog> 5th edition
23:24:39 <T-Rog> I've never played anything else, although I know a little about AD&D
23:24:42 <zzo38> O, OK
23:24:51 <zzo38> The level20.tex is 3.5 edition.
23:25:21 -!- xkapastel has joined.
23:25:39 <zzo38> Do you know any about GURPS game?
23:25:45 <Phantom_Hoover> zzo38, i'm curious, do you have a phonetic pronunciation of Iuckqlwviv Kjugobe
23:26:58 <zzo38> Phantom_Hoover: I sometimes try, but I could never manage to do properly. I made up the name at random by use of a program I wrote in my TI-92 calculator, and just added the space. (The algorithm this program uses is based on an algorithm that was designed to be performed by throwing dice.)
23:27:17 <Phantom_Hoover> is that how Also was named
23:27:41 <zzo38> No; he chose that name deliberately (probably to cause the confusion it causes).
23:28:52 <zzo38> My characters are Iuckqlwviv Kjugobe and Zeux Agem; Also is my brother's character.
23:34:39 -!- oerjan has joined.
23:37:25 -!- tromp has joined.
23:38:59 <oerjan> shachaf: feel free to invent a useful `3 command; as b_jonas pointed out, there is no real need for one.
23:39:37 <oerjan> (`3 analogous to `2 is just `n because it makes no sense unless you've already done `2.)
23:39:42 <shachaf> There's no need for 13 as a generalization of `2
23:39:46 <shachaf> Er, `3
23:39:54 <shachaf> But maybe as a generalization of `4
23:40:06 <shachaf> `? `1
23:40:07 <HackEgo> ​`1 <cmd> is equivalent to `` <cmd>, except that it splits the output into irc-sized pieces. The next pieces can be viewed with `spam. See also `2. Confusingly the obvious generalization of `4.
23:40:23 <oerjan> well, we have `^`, it's just not currently well-adapted to standalone use.
23:40:28 <oerjan> `cat bin/^`
23:40:29 <HackEgo> cat: bin/^`: No such file or directory
23:40:37 <shachaf> `cat bin/^
23:40:38 <HackEgo> cat: bin/^: No such file or directory
23:40:41 <oerjan> `cat bin/`^
23:40:42 <HackEgo> ​[[ $# == 2 ]] || { echo "Usage: $0 n cmd" >&2; exit 2; }; for ((i=0; i < $1; i++)); do \` "$2"; done | sport
23:40:49 <oerjan> third time's the charm
23:40:52 <shachaf> Oh, becuase it's ` raised to a power, right.
23:41:08 <shachaf> Maybe it should split $1 on the first space?
23:41:30 <oerjan> if there is no $2.
23:41:44 <shachaf> I'm not sure it should have two different similar incompatible UIs.
23:41:48 <shachaf> That'll just be confusing.
23:41:51 <oerjan> that would work. in fact we have a command to help with that, what was it named...
23:41:56 -!- tromp has quit (Ping timeout: 240 seconds).
23:41:57 -!- jaboja has joined.
23:42:15 <boily> `5 w
23:42:20 <zzo38> Do you think this level20.tex is full of Footnote Fever?
23:42:21 <HackEgo> 1/1:gotton//gotton is a quantum of attention. Solain drives the packet. \ _46bit//_46bit is a slightly-uptight public-schooled Brit. Taneb invented him. \ lazy//La \ program//A program is an image created by means of prography. \ monoids//Monoids are just categories with single objects.
23:42:25 <boily> `n
23:42:26 <HackEgo> 1/1:gotton//gotton is a quantum of attention. Solain drives the packet. \ _46bit//_46bit is a slightly-uptight public-schooled Brit. Taneb invented him. \ lazy//La \ program//A program is an image created by means of prography. \ monoids//Monoids are just categories with single objects.
23:42:31 <boily> hezzo38. not yet!
23:42:34 <oerjan> `cat bin/#
23:42:35 <HackEgo> sep='//`' \ [[ "$1" == ?*"$sep"* ]] || { echo 'Usage: `# <comment>'"$sep"'<command>' >&2 ; exit 1; } \ nur "${1#*$sep}"
23:42:43 <oerjan> `cat bin/nur
23:42:44 <HackEgo> ​"${1%% *}" "${1#* }"
23:42:50 <shachaf> boily: badoily
23:42:55 <oerjan> oh wait
23:43:02 <oerjan> that's not right for this.
23:43:33 <shachaf> `dowg lazy
23:43:41 <HackEgo> 10188:2017-01-29 <oerjän> slwd lazy//1cLa \ 10187:2017-01-29 <oerjän> le//rn lazy//la
23:44:10 <zzo38> boily: I suppose you are correct; it is not quite.
23:44:42 <oerjan> `slwd `1//s,ly,ly almost,
23:44:45 <HackEgo> ​`1//`1 <cmd> is equivalent to `` <cmd>, except that it splits the output into irc-sized pieces. The next pieces can be viewed with `spam. See also `2. Confusingly almost the obvious generalization of `4.
23:45:00 <oerjan> i just remembered `1 doesn't support quote.
23:45:40 <shachaf> Lazy lazy lazy lazy lazy lazy Jane. she wants a drink of water so she waits and waits and waits and waits and waits for it to rain.
23:46:45 <boily> helloochaf. badoily?
23:46:52 <shachaf> for running `n just then
23:47:18 <oerjan> . o O ( that `? program doesn't quite make sense... )
23:47:29 <boily> `forget gotton
23:47:31 <HackEgo> Forget what?
23:48:01 <shachaf> all the single objects / all the single objects
23:49:09 <oerjan> what of them
23:49:26 <shachaf> if a category has enough of them, it's a monoid?
23:49:30 <shachaf> unclear
23:50:35 <oerjan> `le/rn all the single objects//All the single objects went to form a class / but then they got a unit test / which none of them did pass.
23:50:38 <HackEgo> Learned 'all the single objects': All the single objects went to form a class / but then they got a unit test / which none of them did pass.
23:51:20 <oerjan> `slwd all the single objects//s,went,/ went,
23:51:22 <HackEgo> all the single objects//All the single objects / went to form a class / but then they got a unit test / which none of them did pass.
23:52:22 -!- sleffy has joined.
23:52:24 <zzo38> T-Rog: Are you still on, today?
23:52:38 <T-Rog> I'm still here, if that's what you're asking
23:53:01 <T-Rog> I'm watching the video tutorials on how to use Roll20
23:55:46 <zzo38> I also invented another method of ability scores generation for Dungeons&Dragons which is call "Goldilock's Method" (I did not call it that, or anything else), and now with the permissions of DM, it mean some players in our games (including myself) are using it, while others prefer the traditional "4d6 drop lowest, rearrange" method.
23:55:51 <boily> if testing isn't painful, you're doing it wrong.
23:56:49 <T-Rog> and how does this "Goldilocks Method" work?
←2017-05-23 2017-05-24 2017-05-25→ ↑2017 ↑all