00:06:27 -!- ais523 has quit (Quit: quit).
00:16:26 -!- Essadon has quit (Quit: Qutting).
00:49:22 -!- XorSwap has joined.
00:55:49 -!- arseniiv has quit (Ping timeout: 246 seconds).
00:58:40 -!- pimlu has joined.
01:18:55 -!- pimlu has quit (Ping timeout: 246 seconds).
01:19:24 -!- pimlu has joined.
01:29:21 -!- pimlu has quit (Ping timeout: 252 seconds).
01:32:39 -!- pimlu has joined.
01:46:57 -!- pimlu has quit (Quit: Ping timeout (120 seconds)).
01:48:18 -!- pimlu has joined.
02:47:49 -!- pimlu has quit (Ping timeout: 246 seconds).
03:10:14 -!- pimlu has joined.
03:18:06 -!- fungot has joined.
03:18:44 <fizzie> fungot: How are you feeling?
03:18:45 <fungot> fizzie: right. like pbx06, so stick with me home to play with, too.
03:20:49 <fizzie> Heh. There was a message for fungot, 1y 3m 16d 9h 30m 20s old.
03:20:49 <fungot> fizzie: because it's a ridiculous amount of money). for years.)
03:42:34 -!- pimlu has quit (Ping timeout: 272 seconds).
03:47:20 -!- erkin has quit (Remote host closed the connection).
04:14:48 -!- Lyka has joined.
04:15:40 -!- pimlu has joined.
04:18:10 -!- S_Gautam has joined.
04:20:12 -!- pimlu has quit (Ping timeout: 252 seconds).
04:22:28 -!- copumpkin has quit (Ping timeout: 272 seconds).
04:23:00 -!- pimlu has joined.
04:23:17 * Lyka peers at her friend Sgeo_'s monitor and wonders if he ever got his friend's memory stick out of his laptop
04:23:43 -!- copumpkin has joined.
04:23:45 <Sgeo_> Hi Lyka! I did, a few years ago
04:24:35 <Sgeo_> I used a paperclip
04:26:05 <Sgeo_> Got scratched up but reportedly still worked
04:26:14 <Sgeo_> I think that laptop has since died
04:27:13 <Lyka> https://pastebin.com/T6KxW1EG
04:27:55 <Lyka> i think i was the one who stuck it in there by accident
04:28:27 <Lyka> what do the channel make of the language i made?
04:31:12 -!- XorSwap has quit (Ping timeout: 252 seconds).
04:33:18 <Sgeo_> https://drive.google.com/open?id=0Bxa-onC9NxdaWEVfOER3WmU2UTRSYVZEM21pVUtqanhpdVBn
04:33:27 <Sgeo_> https://drive.google.com/open?id=0Bxa-onC9NxdaZjhCUlJUOGgxcFdqaGpyZzhzYVFad1UtVXFr
04:34:53 <Lyka> i have the pictures, this is open channel
04:35:29 * Sgeo_ isn't too bothered if people see them (if I was I would have private messaged) but maybe I should disable anyway
05:29:18 <Vorpal> Lyka: that language looks decidedly non-esoteric? More like a low level assembly language
05:29:46 <Vorpal> but I lack the context for how it works from just that pastebin
05:30:08 <Vorpal> so if that is really the simplest way to add two numbers together, I'm more interested
05:30:28 <Vorpal> given that you have ADD and SUB instruction in there
05:30:34 <Lyka> digits, not numbers
05:31:11 <Lyka> single digit numbers
05:31:29 <Vorpal> what does the ADD and SUB do then?
05:32:34 <Lyka> i am too tired to remember
05:32:51 -!- Lyka has left.
06:01:01 -!- pimlu has quit (Ping timeout: 246 seconds).
06:05:06 -!- pimlu has joined.
06:09:51 -!- pimlu has quit (Ping timeout: 252 seconds).
06:25:45 -!- JWinslow23 has joined.
06:30:09 -!- JWinslow23 has quit (Ping timeout: 252 seconds).
06:41:34 -!- tromp has joined.
07:03:44 -!- AnotherTest has joined.
07:29:13 -!- AnotherTest has quit (Ping timeout: 245 seconds).
07:33:18 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:54:31 -!- AnotherTest has joined.
08:14:03 <deltab> it's reading in two ASCII digits (\x30 to \x39), subtracting 0x30 from each to get the values, adding them, divmod to get tens and units, converting back to ASCII and outputting
08:22:16 <esowiki> [[Reversible]] N https://esolangs.org/w/index.php?oldid=57550 * Ais523 non-admin * (+43) search aid / bluelink target; redir to [[:Category:Reversible computing]]
08:23:32 <esowiki> [[Counter machine]] N https://esolangs.org/w/index.php?oldid=57551 * Ais523 non-admin * (+28) redir to [[Minsky machine]] for now; at some point, we may want the pages to be separate, with this page describing the general concept and that page describing the specific formalization
08:30:48 -!- copumpkin has quit (Ping timeout: 244 seconds).
08:32:37 <\oren\> I beat Super Mario Land in under half an hour (25 minutes, 20 sec. or so)!
08:35:55 <\oren\> It's my fastest time but isn't fast unough to be a speedrun also it would not count since I'm playing on a Kongfeng GB Boy Colour
08:39:20 -!- copumpkin has joined.
08:51:59 <Taneb> I've never beaten any Mario game other than Galaxy and that took me a long time but I got all 242 stars
08:53:28 <FireFly> I imagine "beat" in the half-an-hour context refers to like, "beating Bowser for the last time" and not "getting all collectibles"
08:53:48 <Taneb> FireFly: only for the unambitious
08:54:02 <Taneb> But yes, it took me a lot less long to see the end credits
08:54:16 <\oren\> FireFly: well this is the original Super Mario Land for Game Boy 1989, so... there aren't any collectables
08:54:38 <\oren\> FireFly: and bowser isn't even in it
08:54:40 <FireFly> I've played SML a li'l bit ages ago, I don't really remember it honestly :p
08:55:27 <\oren\> also mario is rescuing Daisy, which seems like he's cucking his brother, I thought luigi's canon GF was daisy
08:55:56 <Taneb> \oren\: I think that was established after SML, also rescuing is allowed to be platonic
08:56:25 <\oren\> Taneb: not if u fly off in an airplane surrounded by hearts lol
08:57:43 <\oren\> side note, I need to remember to buy more game boy games, and not just play the ones builtin to the console
09:02:56 <\oren\> but srsly this thing is amazing, it's a GBC clone with games built in and most importantly - a BACKLIGHT
09:04:16 <\oren\> https://www.ebay.ca/itm/GB-Boy-Classic-Color-Handheld-Game-Console-2-7-Game-Player-Backlit-66-Games-A-/223120822883?oid=192365737359
09:09:46 <\oren\> most of the games built in aren't that great but I have been playing a lot of super mario land lately on my commute
09:30:31 <Taneb> I've been messing around with trying to do category theory in Agda
09:30:49 <Taneb> Managed to prove that the category of categories is a category last night
09:32:00 <shachaf> I guess you have levels of categories or something.
09:33:37 <Taneb> Yeah, that's exactly what I'm doing
09:34:04 <Taneb> It's a bit of a mess but this is what I have currently: https://gist.github.com/Taneb/6bca8c7d5fd47b12db32b3884cab097e
09:37:03 <shachaf> imo define (co)products as adjoints to the diagonal functor hth
09:37:44 <Taneb> shachaf: not a bad suggestion
09:38:05 <Taneb> I haven't defined adjoints yet
09:38:06 <shachaf> imo it is a bad suggestion
09:38:23 <shachaf> but you could maybe reframe it as a good suggestion somehow
09:38:37 <Taneb> Well, "define (co)products as strings" would have been a bad suggestion
09:40:52 <shachaf> Would you call the diagonal functor forgetful?
09:42:07 <shachaf> Also I'd call fromInteger : Z -> R forgetful.
09:42:58 <Taneb> I'm not sure if I agree
09:43:35 <shachaf> I think I'd call them forgetful for the sameish reason.
09:43:47 <shachaf> An integer is like a real number with a proof that the fractional part is 0.
09:44:18 <Taneb> I don't have a clear intuition for forgetful functors
09:44:41 <shachaf> And a thing in C is like a thing in C*C with a proof that the two things are the same thing.
09:45:08 <shachaf> Good job "forgetful" doesn't mean anything
09:45:41 <shachaf> Actually, I think "forgetful" means a right adjoint or something.
09:46:14 <Taneb> I should definitely define adjoints
09:46:25 <Taneb> They seem to come up everywhere
09:47:00 <shachaf> I tried to talk to a bunch of people about adjoints this past week but it didn't work?
09:50:14 <Taneb> Some people have no taste
09:50:32 <shachaf> Well, some of them were interested but then I needed to explain categories and things
09:51:14 <shachaf> I'm going to sleep but you should find some good adjunctions for me for when I wake up.
09:51:33 <Taneb> I'm afraid I'm at work and may still be at work when you wake up
09:51:41 <shachaf> What are the good old adjunctions?
09:51:58 <shachaf> Exponentials and tensors and things
09:52:23 <shachaf> Cofree comonads? Do I know any other good cofree things?
09:52:30 <shachaf> (I guess Coyoneda is a cofree functor.)
09:53:02 <shachaf> What else? I'm missing a lot here.
09:54:17 <Taneb> Abelianization is a left adjoint of the inclusion functor Ab -> Grp
09:54:34 <shachaf> That one's definitely forgetful.
09:54:53 <shachaf> I'd call that the free abelian group on a group.
09:55:59 <shachaf> Anyway, uh, there are a million adjunctions I'm not thinking of here.
09:57:02 <Taneb> There's the currying adjunction
09:59:25 <shachaf> I want 4 adjunctions on my desk by end of day.
09:59:48 <shachaf> Oh, there's the Eilenberg-Moore and Kleisli adjunctions for a monad, of course.
10:18:03 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
10:25:01 <int-e> Ah adjunction, my mortal enemy.
10:25:14 <Taneb> int-e: elaborate please
10:25:21 <int-e> That's where I gave up when trying to get into category theory.
10:32:06 <int-e> Taneb: So basically it's a marker stone between abstraction and nonsense for me.
10:33:03 <Taneb> int-e: a big part of why I'm trying to do this in Agda is to concretize the nonsense
10:40:47 -!- SopaXorzTaker has joined.
10:43:20 <esowiki> [[Flow of Holes]] N https://esolangs.org/w/index.php?oldid=57552 * Ais523 non-admin * (+15758) new language; I've been planning this for a while, but wanted examples, an interpreter, pictures, etc. and to post the whole thing at once; however, that's delaying it too much, so just post a spec for now
10:43:50 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=57553&oldid=57517 * Ais523 non-admin * (+20) /* F */ +[[Flow of Holes]]
10:44:14 <esowiki> [[User:Ais523]] https://esolangs.org/w/index.php?diff=57554&oldid=57036 * Ais523 non-admin * (+19) +[[Flow of Holes]], even though it's somewhat unfinished
11:01:03 <esowiki> [[Game of Life]] M https://esolangs.org/w/index.php?diff=57555&oldid=57225 * Ais523 non-admin * (+1) grammar
12:05:24 -!- S_Gautam has joined.
12:11:16 -!- Essadon has joined.
12:23:23 -!- nfd9001 has quit (Ping timeout: 245 seconds).
12:33:50 <esowiki> [[User:Sinthorion/drafts/Unsafe]] N https://esolangs.org/w/index.php?oldid=57556 * Sinthorion * (+3731) Created page with "'''Unsafe''' is a programming language designed with two main considerations: * ''extremely'' lightweight runtime (no data types, no GC, not even a proper stack...) * ''extrem..."
12:35:52 -!- arseniiv has joined.
13:25:48 -!- zseri has joined.
13:30:43 -!- xkapastel has joined.
13:32:55 -!- sleepnap has joined.
13:47:52 -!- SopaXorzTaker has quit (Quit: Leaving).
14:00:18 -!- lambdabot has quit (Remote host closed the connection).
14:02:45 -!- lambdabot has joined.
14:08:48 -!- wob_jonas has joined.
14:11:32 <wob_jonas> oh! I think this is the language ais523 mentioned earlier that he was trying to design
14:11:36 <wob_jonas> https://esolangs.org/wiki/Flow_of_Holes
14:24:47 -!- grumble has quit (Ping timeout: 600 seconds).
14:25:03 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
14:26:29 -!- grumble has joined.
14:30:57 <esowiki> [[List of ideas]] https://esolangs.org/w/index.php?diff=57557&oldid=57401 * Sinthorion * (+329) prime factor numbers
14:32:08 -!- copumpkin has quit (Quit: Textual IRC Client: www.textualapp.com).
14:40:35 -!- zseri has quit (Quit: Leaving).
14:48:37 -!- copumpkin has joined.
14:49:28 -!- copumpkin has quit (Client Quit).
15:07:41 -!- copumpkin has joined.
15:07:58 -!- AnotherTest has quit (Ping timeout: 245 seconds).
15:26:02 -!- bradcomp has joined.
15:31:48 -!- pimlu has joined.
15:36:07 -!- pimlu has quit (Ping timeout: 240 seconds).
15:40:22 -!- AnotherTest has joined.
16:08:37 -!- SopaXorzTaker has joined.
16:16:18 -!- Melvar has quit (Ping timeout: 245 seconds).
16:19:09 -!- S_Gautam has joined.
16:25:17 <HackEso> Coffee is a strange brew. Enticing wisps of vapour catch the eye, the soul ensnared into dark vortices of flavour. Some minds mix in milk and sugar to counteract coffee's black magic.
16:25:59 <\oren\> wait why is there a zwsp in that
16:26:27 <HackEso> U+00B0 DEGREE SIGN \ UTF-8: c2 b0 UTF-16BE: 00b0 Decimal: ° \ ° \ Category: So (Symbol, Other) \ Bidi: ET (European Number Terminator) \ \ U+200B ZERO WIDTH SPACE \ UTF-8: e2 80 8b UTF-16BE: 200b Decimal: ​ \ \ Category: Cf (Other, Format) \ Bidi: BN (Boundary Neutral) \ \ U+005F LOW LINE \ UTF-8: 5f UTF-16BE: 005f Decimal: _ \ _ \ Category: Pc (Punctuation, Connector) \ Bidi: ON (Other Neutrals)
16:32:32 <\oren\> ok this is somewhat bizarre
16:33:00 <\oren\> wob_jonas: irssi sometimes displays zwsp with a width of 1, sometimes with 0
16:34:55 <\oren\> even crazier, it depends on which way I tab through my channels. tabbing leftward, it displays zwsp with a width of 1 thus showing up with the glyph my font has for it. tabbing rightward, the opposite happens!
16:36:43 <\oren\> unicode needs to take more effort defining how their standard works in a fixed-width environment
16:36:59 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
17:11:30 -!- sebbu has quit (Ping timeout: 252 seconds).
17:33:14 -!- Phantom_Hoover has joined.
17:38:58 <shachaf> int-e: What about adjunctions in Haskell? Do you accept those?
17:41:28 <shachaf> Do you know how to make State out of (e,) -| (e->)? It's p. good.
17:42:02 <int-e> please stop pretending that abstract nonsense makes sense :P
17:42:14 <shachaf> This is concrete nonsense!
17:42:29 <int-e> `? category theory
17:42:30 <HackEso> In the theory of categories, category theory is a theory in the category of theories.
17:42:49 <int-e> anyway, "abstract nonsense" is a common term for "category theory" :P
17:42:57 <esowiki> [[User:Sinthorion/drafts/Unsafe]] https://esolangs.org/w/index.php?diff=57558&oldid=57556 * Sinthorion * (+4362)
17:43:04 <shachaf> For a specific flavor of category theory
17:43:49 <shachaf> Look, the point is, you have two functions: eps :: (e, e -> a) -> a, and eta :: a -> (e -> (e, a))
17:46:29 <shachaf> With the laws eps . fmap eta = id and fmap eps . eta = id
17:46:45 <shachaf> I'll stop saying things because this is a bit rude.
17:47:00 -!- spiegelau has joined.
17:52:32 -!- wob_jonas has joined.
17:53:04 <deltab> \oren\: it's an enticing zwisp
17:53:52 <wob_jonas> \oren\: so the same instances of zwsp in the same lines display differently depending on the previous tab? does it persist if after switching the tab you press control-L to redraw the screen?
17:54:36 <wob_jonas> \oren\: something like this could happen if the terminal and whatever console-driver library (or libc) your irssi uses has different idea about the width of that character
17:55:20 <wob_jonas> \oren\: is at least your terminal taking utf-8 encoding and does irssi know that correctly?
17:57:10 <wob_jonas> \oren\: perhaps it could also happen if you're using an old font that doesn't have the right glyph for the zwsp character
17:59:48 <wob_jonas> \oren\: does it also happen with the U+FEFF character used instead of the U+200B ?
18:00:50 -!- moei has quit (Quit: Leaving...).
18:07:43 -!- sebbu has joined.
18:09:36 -!- sebbu has quit (Remote host closed the connection).
18:10:03 -!- sebbu has joined.
18:36:50 -!- spiegelau has quit (Quit: leaving).
18:37:55 <\oren\> wob_jonas: I experimented a bit. basically it depends on tmux, not irssi per se. tmux redraws the screen differently depending on whether it has to erase the line or not
18:38:45 <wob_jonas> \oren\: still, some of the comments apply. does it happen if you have irssi redraw the screen and then have tmux redraw the screen?
18:39:04 <wob_jonas> is some of the software you're using very old versions?
18:39:44 <\oren\> I'm using iterm2, so the terminal is new. the font is my own font which provides a visible character for zwsp
18:40:18 <\oren\> (which normally is never drawn)
18:40:23 <wob_jonas> \oren\: how about tmux, irssi, and the libc under both?
18:40:41 <\oren\> irssi is a very old version
18:40:42 <wob_jonas> oh right... you use your own font. so at least that one is fine
18:42:25 <wob_jonas> I should try to hear more instrumental synth pop music during work. I'm not familiar enough with the genre because it wasn't played enough on the pop radio stations I listened to, but I think there are a lot of songs I'd enjoy and I should get to know the genre more.
18:42:56 -!- spiegelau has joined.
18:43:15 <\oren\> I don't understand why so many packages on modern ubuntu are extremely old versions
18:43:23 <\oren\> like nano for instance
18:45:57 <wob_jonas> \oren\: nobody likes to do the chore of packaging new versions of sotware
18:52:39 <int-e> (Sotware is the result of drunk coding. See also: Microsot; Ballmer Peak.)
18:56:31 <\oren\> oh, the newest LTS version finally updated nano to a version above 2.7
18:57:08 <\oren\> (2.7 added the all-important ability to display line numbers!)
19:01:55 -!- SopaXorzTaker has quit (Remote host closed the connection).
19:02:02 <int-e> . o O ( "nano" is a bilingual name deriving from Austrian "na" (i.e., no) and English "no" (i.e., no). )
19:19:19 -!- spiegelau has quit (Quit: leaving).
19:19:39 -!- spiegelau has joined.
20:10:12 <esowiki> [[User:Sinthorion/drafts/Unsafe]] M https://esolangs.org/w/index.php?diff=57559&oldid=57558 * Sinthorion * (-14) /* Runtime and Memory */
20:11:23 -!- Melvar has joined.
20:15:04 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
20:35:41 -!- Melvar has quit (Ping timeout: 244 seconds).
20:36:07 -!- Melvar has joined.
20:57:48 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
21:08:21 -!- bradcomp has quit (Ping timeout: 252 seconds).
21:15:44 -!- bradcomp has joined.
21:20:52 -!- bradcomp has quit (Ping timeout: 272 seconds).
21:22:13 -!- bradcomp has joined.
21:27:18 -!- moei has joined.
21:43:28 -!- AnotherTest has quit (Ping timeout: 252 seconds).
21:49:33 -!- sleepnap has left.
22:15:25 -!- arseniiv has quit (Ping timeout: 246 seconds).
22:40:07 -!- Essadon has quit (Quit: Qutting).
22:45:00 -!- atslash has joined.
22:47:27 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
22:59:35 -!- S_Gautam has joined.
23:06:03 <esowiki> [[Minsky machine]] https://esolangs.org/w/index.php?diff=57560&oldid=45819 * B jonas * (+140) mention Aho, Ullman book
23:18:36 -!- tromp has quit (Remote host closed the connection).
23:18:45 <esowiki> [[Esolang:Categorization]] https://esolangs.org/w/index.php?diff=57561&oldid=56866 * B jonas * (+87) /* Year of creation */
23:21:35 <esowiki> [[PL/MIX]] https://esolangs.org/w/index.php?diff=57562&oldid=54835 * B jonas * (+306) year, unimplemented
23:22:41 -!- sebbu2 has joined.
23:26:18 -!- sebbu has quit (Ping timeout: 252 seconds).
23:42:00 -!- XorSwap has joined.
23:42:21 -!- bradcomp has quit (Ping timeout: 252 seconds).
23:46:39 <Sgeo_> Is there a demoscene for MMIX? There should be