00:11:01 -!- FreeFull has quit.
00:12:00 <Lykaina> i may have to change how N - Q work. i think the problem is in those and related code.
00:32:14 -!- tromp_ has quit (Remote host closed the connection).
01:04:11 -!- tromp has joined.
01:04:44 -!- emma has left.
01:08:41 -!- tromp has quit (Ping timeout: 250 seconds).
01:16:43 <esowiki> [[Encapsulation]] N https://esolangs.org/w/index.php?oldid=66036 * Hakerh400 * (+6045) New language
01:17:00 <esowiki> [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=66037&oldid=65956 * Hakerh400 * (+20) /* Programming languages we created */
01:17:48 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=66038&oldid=65978 * Hakerh400 * (+20) Add new language
01:20:36 <esowiki> [[Encapsulation]] M https://esolangs.org/w/index.php?diff=66039&oldid=66036 * Hakerh400 * (+62) /* Details */
01:38:51 <Lykaina> except i had to change the lang a little
01:39:12 <Lykaina> and while loops aren't working perfect
01:51:24 <Lykaina> on the repo as version 0.02
01:52:57 -!- tromp has joined.
01:57:25 -!- tromp has quit (Ping timeout: 252 seconds).
02:19:28 <Lykaina> How clear is http://sif.lesidhetree.com/sara/echidna/echidna_v0_02.pdf ?
02:24:05 -!- tromp has joined.
02:27:18 <Lykaina> might have to split if/while into if and loop
02:28:14 <Lykaina> the problems with while are annoying me
02:28:35 -!- tromp has quit (Ping timeout: 252 seconds).
02:29:39 <Lykaina> i had to put a note in the doc saying that while loops don't work properly
02:33:33 <Lykaina> it reads: "while" loops do not work right (bug), use an extra "if" at end.
02:40:40 <HackEso> pbflist: shachaf Sgeo quintopia ion b_jonas Cale
02:41:47 <Cale> https://pbfcomics.com/comics/cranky-baby/
02:42:14 <Lykaina> remember when 192KiB was a lot?
02:48:05 <Cale> Vaguely, but I only really got started computing on a machine with 2MB of RAM.
03:00:01 -!- Taneb has quit (Quit: I seem to have stopped.).
03:01:43 -!- Taneb has joined.
03:45:01 -!- adu has joined.
04:47:51 -!- tromp has joined.
04:52:17 -!- tromp has quit (Ping timeout: 250 seconds).
05:30:06 <kmc> huh, is pbf updating regularly again?
05:31:04 <kmc> <3 <3 <3 https://pbfcomics.com/comics/command-respect/ <3 <3 <3
05:31:30 <Sgeo__> It's been updating irregularly for a while
05:32:49 <Sgeo__> Unless it's regular and I haven't noticed. I'm not sure the exact dates it's updated
05:41:02 <shachaf> kmc: pigeon appreciation day
05:42:41 <kmc> which day is that
05:42:50 <pikhq_> Nah, it's officially updating very irregularly.
05:43:49 <shachaf> did you see the picture i sent you with all the pigeons
05:44:12 <shachaf> there were so many and they were all flying toward the food-or-something on the road
05:44:40 <kmc> i'm not sure
05:45:29 <shachaf> you sent me a heart so you probably saw it
05:46:23 <kmc> heavy black heart
05:47:07 <HackEso> 1333) <shachaf> `unidecode ⧸🙼 <HackEso> [U+29F8 BIG SOLIDUS] [U+1F67C VERY HEAVY SOLIDUS] <shachaf> it is with a very heavy solidus that i write to inform you that unicode has too many code points
05:47:27 <shachaf> maybe that should just say heavy black heart
05:47:46 <shachaf> that solidus didn't show up in mosh
05:51:28 <kmc> the heavier the solidus the greater the sense of dread
06:03:23 <kmc> shachaf: did you know that js console.log supports styling the log text?
06:03:25 <kmc> console.log('%cscow', 'font-size: 80px; color: red');
06:06:18 <shachaf> I think I heard about that.
06:06:29 <shachaf> I think I decided that the less I have to deal with JavaScript the better?
06:08:30 <zzo38> At least in HTML it does. Node.js also has a console.log function but it works a bit differently. However, it is portable if you only pass a single argument, which is a string. Then it will work with both Node.js and HTML.
06:14:17 <kmc> zzo38: true
06:17:04 <shachaf> what language should i program in
06:21:15 <zzo38> Depend what program you are going to write, I think.
06:22:33 -!- tromp has joined.
06:23:32 -!- tromp has quit (Read error: Connection reset by peer).
06:23:52 -!- tromp has joined.
06:28:23 -!- tromp has quit (Ping timeout: 252 seconds).
06:33:25 <zzo38> You can learn many different programming languages
06:33:35 <b_jonas> kmc: pbf never stopped updating
06:50:57 -!- tromp has joined.
07:19:26 -!- sebbu2 has joined.
07:23:21 -!- sebbu has quit (Ping timeout: 268 seconds).
07:23:28 -!- b_jonas has quit (Remote host closed the connection).
08:01:18 -!- tromp has quit (Remote host closed the connection).
08:04:28 -!- tromp has joined.
08:08:54 -!- adu has quit (Quit: adu).
08:23:39 -!- wob_jonas has joined.
08:27:03 -!- tromp_ has joined.
08:27:04 -!- tromp has quit (Read error: Connection reset by peer).
08:39:48 -!- cpressey has joined.
08:41:55 -!- Sgeo has joined.
08:43:04 <cpressey> Good morning. I guess the Prompt monad's not so strange after all. Of course, I say this after only reading & thinking about it, not really playing with it.
08:44:28 <shachaf> I want to know about Prompt monads but I also want to go to sleep.
08:44:31 -!- Sgeo__ has quit (Ping timeout: 258 seconds).
08:45:18 -!- tromp_ has quit (Remote host closed the connection).
08:51:32 -!- Lord_of_Life has quit (Ping timeout: 268 seconds).
08:52:12 -!- Lord_of_Life has joined.
08:58:24 -!- tromp has joined.
09:00:50 -!- arseniiv has joined.
09:35:12 -!- craigo has joined.
09:44:15 <rain1> what do you thin about the prompt monad
09:55:28 <esowiki> [[Von Neumann's 29-state cellular automaton]] https://esolangs.org/w/index.php?diff=66040&oldid=57226 * B jonas * (+158) Neumann's article
09:59:00 <cpressey> rain1: Well, on the practical side of things, it looks like a good way to do "dependency injection" with monads.
09:59:14 <rain1> The term dependency injection scares me
10:33:52 -!- Sgeo_ has joined.
10:37:07 -!- Sgeo has quit (Ping timeout: 245 seconds).
11:10:55 -!- Sgeo__ has joined.
11:14:36 -!- Sgeo_ has quit (Ping timeout: 268 seconds).
11:30:22 -!- Sgeo_ has joined.
11:33:34 -!- Sgeo__ has quit (Ping timeout: 258 seconds).
11:38:02 -!- craigo has quit (Ping timeout: 268 seconds).
11:48:37 <esowiki> [[Special:Log/newusers]] create * Spleeshmicannon * New user account
11:57:17 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=66041&oldid=65976 * Spleeshmicannon * (+276) Added myself to the list
12:20:58 -!- sebbu2 has changed nick to sebbu.
13:01:21 <esowiki> [[Echidna]] https://esolangs.org/w/index.php?diff=66042&oldid=66016 * B jonas * (+67)
13:24:28 <Lykaina> working on splitting source files to make it easier to track changes
13:27:19 <wob_jonas> Lykaina: good. have you published the version of the interpreter that reads the program into memory yet?
13:30:06 <Lykaina> gave it a max of 64KiB (not including whitespace)
13:35:53 <HackEso> olist 1179: shachaf oerjan Sgeo FireFly boily nortti b_jonas
13:59:09 <Lykaina> wob_jonas: split version pushed
14:36:14 <esowiki> [[User:Dtuser1337/Sandbox]] https://esolangs.org/w/index.php?diff=66043&oldid=65945 * Dtuser1337 * (+1) /* Beginning of the Sandbox line */
14:39:02 -!- xkapastel has joined.
14:52:57 -!- Sgeo__ has joined.
14:55:52 -!- Sgeo_ has quit (Ping timeout: 245 seconds).
14:59:35 <Lykaina> wob_jonas: "short"ened the mem[] in the interpreter.
15:02:13 <Lykaina> it's supposed to be 2-byte, why not force it?
15:05:23 -!- wob_jonas has quit (Remote host closed the connection).
15:07:57 -!- Lykaina has quit (Quit: leaving).
15:10:52 <esowiki> [[Espro]] M https://esolangs.org/w/index.php?diff=66044&oldid=44540 * Timwi * (+4) gramatiko?
15:19:52 -!- Sgeo_ has joined.
15:22:34 -!- Sgeo has joined.
15:22:57 -!- Sgeo__ has quit (Ping timeout: 245 seconds).
15:25:35 -!- Sgeo_ has quit (Ping timeout: 268 seconds).
15:25:46 <esowiki> [[Espro]] M https://esolangs.org/w/index.php?diff=66045&oldid=66044 * Timwi * (+8) /* Examples / Ekzemploj */
15:42:25 <esowiki> [[Espro]] M https://esolangs.org/w/index.php?diff=66046&oldid=66045 * Timwi * (+7) /* Expressions / Esprimoj */
15:43:51 <zzo38> What is a prompt monad? What is its definition? (If I knew before, and I don't know if I have, I have forgotten now anyways)
15:49:02 <cpressey> zzo38: https://hackage.haskell.org/package/MonadPrompt-1.0.0.5/docs/Control-Monad-Prompt.html
15:49:19 <cpressey> It's sort of a "configurable monad"
15:50:23 <int-e> The modern explanation would cast it as a flavour of the free monad.
15:52:23 -!- Sgeo_ has joined.
15:55:35 -!- Sgeo has quit (Ping timeout: 244 seconds).
15:57:10 <cpressey> int-e: It seems like a useful flavour, whereas "free monad" seems general enough to be (a) hard for me to fully appreciate and (b) not obviously a useful thing for me to employ in my code
15:58:40 <cpressey> I don't remember noq exactly how I came across Prompt, anyway.
16:00:50 -!- Sgeo__ has joined.
16:02:56 <int-e> cpressey: yeah the connection to free monads uses a fairly odd functor: http://paste.debian.net/1099707/
16:03:22 -!- Sgeo_ has quit (Ping timeout: 245 seconds).
16:03:22 <int-e> cpressey: Also, the explanation is ahistorical; the prompt monad predates the free monad fad by a year or so.
16:06:44 <int-e> cpressey: And personally I like the Prompt flabor a lot better than the free monad, because it expresses a familiar programming model: Define an interface for a DSL in terms of commands (with result types), and then handle each command in a handler (or several handlers).
16:08:15 <int-e> This was all Ryan's work though. My contribution was the codensity transformation (that's an ahistorical explanation again).
16:08:52 <zzo38> Do you like my CodensityAsk monad? (I think the name isn't very good, but I couldn't think of a better name)
16:27:42 <cpressey> zzo38: I haven't seen it. Also, the Wikipedia entry on "codensity monad" is scary.
16:28:52 <zzo38> newtype Codensity f a = Codensity (forall r. (a -> f r) -> f r);
16:30:02 <zzo38> Sorry, that is not it. CodensityAsk is: forall r. f r -> (a -> r) -> r
16:30:12 <zzo38> So, it is a bit similar
16:33:20 <zzo38> newtype CodensityAsk w x = CodensityAsk { runCodensityAsk :: forall z. w z -> (x -> z) -> z }; also Monad (CodensityAsk w) and Comonad w => MonadPlus (CodensityAsk w)
16:38:58 <cpressey> zzo38: I might let you know, in a few days.
16:40:32 <cpressey> I think I found Prompt via the operational package. I want to play with that a bit first.
16:43:02 <cpressey> int-e: btw, thanks for updating the solitaire game! You certainly didn't need to, but, I can confirm I'm able to build and run it now :)
16:45:39 -!- FreeFull has joined.
16:56:23 -!- cpressey has quit (Quit: A la prochaine.).
16:56:40 -!- Hooloovo0 has quit (Quit: Temporarily refracted into a free-standing prism.).
16:58:04 -!- Hooloovo0 has joined.
16:59:57 -!- b_jonas has joined.
17:14:07 <b_jonas> see? another match. http://www.smbc-comics.com/comic/pocket https://xkcd.com/2130/
17:15:14 <b_jonas> they're totally copying each other often
17:21:37 -!- xkapastel has quit (Quit: Connection closed for inactivity).
17:39:21 <b_jonas> ``` for x in 30 35 40; do ftoc $x; done
17:39:22 <HackEso> 30.00°F = -1.11°C \ 35.00°F = 1.67°C \ 40.00°F = 4.44°C
18:04:04 <arseniiv> I still can’t wrap my head over that scale
18:05:52 <shachaf> zzo38: I like your CodensityAsk monad.
18:09:16 <b_jonas> me neither, which is why I use this calculator
18:14:16 -!- craigo has joined.
19:22:00 -!- diverger has quit (Ping timeout: 258 seconds).
19:23:42 -!- diverger has joined.
19:42:14 -!- Melvar has quit (Quit: WeeChat 2.4).
19:48:26 -!- Melvar has joined.
20:21:21 -!- ArthurStrong has joined.
20:29:07 <b_jonas> Lykania: again, do not define global variables in a header file that you #include into multiple source files. especially not non-constant globals.
20:37:12 -!- imode has joined.
20:43:03 -!- orbitaldecay has joined.
20:48:00 -!- Phantom_Hoover has joined.
20:49:40 -!- Lord_of_Life_ has joined.
20:52:02 <esowiki> [[Aepoch]] N https://esolangs.org/w/index.php?oldid=66047 * Areallycoolusername * (+1026) Created page with "'''Aepoch'''is a [[Bully Automation]] made by [[User: Areallycoolusername|Areallycoolusername]]. It has some properties added to resemble the properties of a fractal. == Spec..."
20:52:13 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
20:52:35 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
20:53:53 <esowiki> [[Aepoch]] https://esolangs.org/w/index.php?diff=66048&oldid=66047 * Areallycoolusername * (+1)
20:54:11 <esowiki> [[Aepoch]] https://esolangs.org/w/index.php?diff=66049&oldid=66048 * Areallycoolusername * (-1)
20:57:37 <esowiki> [[Aepoch]] https://esolangs.org/w/index.php?diff=66050&oldid=66049 * Areallycoolusername * (+50)
20:58:48 <esowiki> [[Aepoch]] https://esolangs.org/w/index.php?diff=66051&oldid=66050 * Areallycoolusername * (+0)
20:59:34 <esowiki> [[User:Areallycoolusername]] https://esolangs.org/w/index.php?diff=66052&oldid=65378 * Areallycoolusername * (+13)
21:00:56 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=66053&oldid=66038 * Areallycoolusername * (+13) /* A */
21:03:02 -!- ArthurStrong has quit (Quit: leaving).
21:21:04 -!- dingwat has quit (Quit: Connection closed for inactivity).
21:31:22 -!- Sgeo_ has joined.
21:34:34 -!- Sgeo__ has quit (Ping timeout: 246 seconds).
21:38:59 -!- tromp has quit (Remote host closed the connection).
21:40:43 -!- tromp has joined.
21:45:04 -!- imode has quit (Ping timeout: 246 seconds).
22:32:57 -!- FreeFull has quit.
22:37:25 -!- tromp has quit (Remote host closed the connection).
22:38:02 <esowiki> [[Special:Log/newusers]] create * Lrsomas * New user account
23:01:48 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:02:42 -!- Phantom_Hoover has joined.
23:08:41 -!- tromp has joined.
23:10:38 -!- b_jonas has quit (Quit: Lost terminal).
23:13:05 -!- tromp has quit (Ping timeout: 246 seconds).
23:14:45 -!- orbitaldecay has quit (Remote host closed the connection).
23:21:38 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
23:22:58 -!- arseniiv has quit (Ping timeout: 245 seconds).
23:23:54 -!- xkapastel has joined.
23:33:47 -!- imode has joined.