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 fungot: How are you feeling? 03:18:45 fizzie: right. like pbx06, so stick with me home to play with, too. 03:20:49 Heh. There was a message for fungot, 1y 3m 16d 9h 30m 20s old. 03:20:49 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:15:56 hi 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 Hi Lyka! I did, a few years ago 04:24:35 I used a paperclip 04:25:28 March 21, 2015. 04:26:05 Got scratched up but reportedly still worked 04:26:14 I think that laptop has since died 04:27:13 https://pastebin.com/T6KxW1EG 04:27:55 i think i was the one who stuck it in there by accident 04:28:27 what do the channel make of the language i made? 04:28:41 *what does 04:29:58 echidna 04:31:12 -!- XorSwap has quit (Ping timeout: 252 seconds). 04:33:18 https://drive.google.com/open?id=0Bxa-onC9NxdaWEVfOER3WmU2UTRSYVZEM21pVUtqanhpdVBn 04:33:27 https://drive.google.com/open?id=0Bxa-onC9NxdaZjhCUlJUOGgxcFdqaGpyZzhzYVFad1UtVXFr 04:34:53 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 Lyka: that language looks decidedly non-esoteric? More like a low level assembly language 05:29:43 oops 05:29:46 but I lack the context for how it works from just that pastebin 05:30:08 so if that is really the simplest way to add two numbers together, I'm more interested 05:30:28 given that you have ADD and SUB instruction in there 05:30:34 digits, not numbers 05:30:51 huh? 05:31:11 single digit numbers 05:31:21 base 10? 05:31:29 what does the ADD and SUB do then? 05:31:31 yes 05:32:34 i am too tired to remember 05:32:39 night 05:32:51 -!- Lyka has left. 05:33:13 oh well 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 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 [[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 [[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 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 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 FireFly: only for the unambitious 08:54:02 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:21 *nod* 08:54:38 <\oren\> FireFly: and bowser isn't even in it 08:54:40 I've played SML a li'l bit ages ago, I don't really remember it honestly :p 08:54:51 <\oren\> whcih is sorta weird 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 \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:03:07 hm what thing? 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:04:19 <\oren\> FireFly: ^ 09:07:50 o neat 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 I've been messing around with trying to do category theory in Agda 09:30:49 Managed to prove that the category of categories is a category last night 09:31:49 Is it? 09:32:00 I guess you have levels of categories or something. 09:33:37 Yeah, that's exactly what I'm doing 09:34:04 It's a bit of a mess but this is what I have currently: https://gist.github.com/Taneb/6bca8c7d5fd47b12db32b3884cab097e 09:37:03 imo define (co)products as adjoints to the diagonal functor hth 09:37:44 shachaf: not a bad suggestion 09:38:05 I haven't defined adjoints yet 09:38:06 imo it is a bad suggestion 09:38:23 but you could maybe reframe it as a good suggestion somehow 09:38:37 Well, "define (co)products as strings" would have been a bad suggestion 09:40:52 Would you call the diagonal functor forgetful? 09:41:48 I guess I would. 09:42:07 Also I'd call fromInteger : Z -> R forgetful. 09:42:58 I'm not sure if I agree 09:43:18 On which one? 09:43:23 The first one 09:43:35 I think I'd call them forgetful for the sameish reason. 09:43:47 An integer is like a real number with a proof that the fractional part is 0. 09:44:18 I don't have a clear intuition for forgetful functors 09:44:41 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 Good job "forgetful" doesn't mean anything 09:45:32 (am i britishing) 09:45:41 Actually, I think "forgetful" means a right adjoint or something. 09:46:14 I should definitely define adjoints 09:46:23 Adjunctions are the best. 09:46:25 They seem to come up everywhere 09:47:00 I tried to talk to a bunch of people about adjoints this past week but it didn't work? 09:50:14 Some people have no taste 09:50:32 Well, some of them were interested but then I needed to explain categories and things 09:51:14 I'm going to sleep but you should find some good adjunctions for me for when I wake up. 09:51:33 I'm afraid I'm at work and may still be at work when you wake up 09:51:41 What are the good old adjunctions? 09:51:45 * Free/cofree things 09:51:48 * Limits/colimits 09:51:58 Exponentials and tensors and things 09:52:12 (-> r) -| (-> r) 09:52:23 Cofree comonads? Do I know any other good cofree things? 09:52:30 (I guess Coyoneda is a cofree functor.) 09:53:02 What else? I'm missing a lot here. 09:54:17 Abelianization is a left adjoint of the inclusion functor Ab -> Grp 09:54:34 That one's definitely forgetful. 09:54:42 Yeah 09:54:53 I'd call that the free abelian group on a group. 09:55:59 Anyway, uh, there are a million adjunctions I'm not thinking of here. 09:57:02 There's the currying adjunction 09:57:30 That's exponentials. 09:58:10 Yeah 09:58:44 Look, I need to sleep 09:59:25 I want 4 adjunctions on my desk by end of day. 09:59:48 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 Ah adjunction, my mortal enemy. 10:25:14 int-e: elaborate please 10:25:21 That's where I gave up when trying to get into category theory. 10:32:06 Taneb: So basically it's a marker stone between abstraction and nonsense for me. 10:33:03 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 [[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 [[Language list]] https://esolangs.org/w/index.php?diff=57553&oldid=57517 * Ais523 non-admin * (+20) /* F */ +[[Flow of Holes]] 10:44:14 [[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 [[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 [[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 oh! I think this is the language ais523 mentioned earlier that he was trying to design 14:11:36 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 [[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:20:32 OH! 16:20:58 <\oren\> ffee - coffee 16:25:16 <\oren\> `? coffee 16:25:17 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:35 <\oren\> `? ffee 16:25:36 ffee? ¯\(°​_o)/¯ 16:25:59 <\oren\> wait why is there a zwsp in that 16:26:18 <\oren\> `unicode 16:26:19 No output. 16:26:26 <\oren\> `unicode °​_ 16:26:27 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 int-e: What about adjunctions in Haskell? Do you accept those? 17:39:35 no 17:41:28 Do you know how to make State out of (e,) -| (e->)? It's p. good. 17:42:02 please stop pretending that abstract nonsense makes sense :P 17:42:14 This is concrete nonsense! 17:42:20 Abstract sense? 17:42:29 `? category theory 17:42:30 In the theory of categories, category theory is a theory in the category of theories. 17:42:33 hmm 17:42:49 anyway, "abstract nonsense" is a common term for "category theory" :P 17:42:57 [[User:Sinthorion/drafts/Unsafe]] https://esolangs.org/w/index.php?diff=57558&oldid=57556 * Sinthorion * (+4362) 17:43:04 For a specific flavor of category theory 17:43:49 Look, the point is, you have two functions: eps :: (e, e -> a) -> a, and eta :: a -> (e -> (e, a)) 17:46:29 With the laws eps . fmap eta = id and fmap eps . eta = id 17:46:45 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 \oren\: it's an enticing zwisp 17:53:52 \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 \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 \oren\: is at least your terminal taking utf-8 encoding and does irssi know that correctly? 17:57:10 \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 \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:19 \oren\: hmm. 18:38:45 \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:38:54 does it happen with U+FEFF? 18:39:04 is some of the software you're using very old versions? 18:39:24 and check for the font 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 \oren\: how about tmux, irssi, and the libc under both? 18:40:41 <\oren\> irssi is a very old version 18:40:42 oh right... you use your own font. so at least that one is fine 18:42:25 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 \oren\: nobody likes to do the chore of packaging new versions of sotware 18:48:00 `? sotware 18:48:01 sotware? ¯\(°​_o)/¯ 18:51:01 um 18:51:05 software obviously 18:51:10 but yeah 18:52:39 (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 . 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 [[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 [[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 [[Esolang:Categorization]] https://esolangs.org/w/index.php?diff=57561&oldid=56866 * B jonas * (+87) /* Year of creation */ 23:21:35 [[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 Is there a demoscene for MMIX? There should be