00:08:41 -!- b_jonas has quit (Quit: leaving). 00:23:38 -!- xkapastel has joined. 00:44:48 -!- oerjan has quit (Quit: Oh for... tmux is broken again). 00:45:34 -!- oerjan has joined. 00:50:53 `slwd quantum leap//s,dragons,dragon, 00:50:55 quantum leap//A quantum leap is a very small leap. See dragon. 00:51:02 myname: try again hth 00:51:33 maybe `wisdom should strip plural endings, although it feels a bridge too far. 00:52:01 `? dragon 00:52:04 Dragons are fractal creatures of magic, capable of shrinking or expanding to any size. Taneb invented them to live inside his string diagrams, but they prefer to hover around pinheads and feed on angels. 00:52:22 I thought spiders live inside string diagrams. 01:02:10 i guess they jumped into the open niche left by the dragons, then 01:02:58 https://pbs.twimg.com/media/DqGpNl9X4AAZaSR.jpg:large 01:13:21 -!- Cullran has joined. 01:13:22 -!- Cullran has left. 02:11:31 deques are just rebadged tapes. 02:32:28 [[Deadfish]] https://esolangs.org/w/index.php?diff=59751&oldid=59731 * Oerjan * (+71) /* This=That */ Fix fatal bug 02:43:03 -!- 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.”). 03:08:24 -!- ingrens has joined. 03:08:25 -!- ingrens has left. 03:11:31 -!- xkapastel has quit (Quit: Connection closed for inactivity). 03:20:55 -!- arseniiv_ has joined. 03:24:22 -!- arseniiv has quit (Ping timeout: 246 seconds). 03:24:45 -!- arseniiv has joined. 03:24:45 -!- arseniiv_ has quit (Read error: Connection reset by peer). 03:35:54 -!- FreeFull has quit. 03:39:26 -!- ghalnuls has joined. 03:39:27 -!- ghalnuls has left. 03:41:49 -!- oerjan has quit (Quit: Nite). 03:46:26 -!- yaewa has joined. 03:47:33 -!- moei has quit (Ping timeout: 245 seconds). 04:19:49 "(before you freak out, monadic here is of the Mathematics definition, and not the Haskell variant ) 04:19:49 " 04:23:21 hi Sgeo_ 04:23:28 Hi kmc 04:23:32 Reading an APL tutorial 04:23:59 ah, so they mean arity 1 04:29:39 I tried to learn J a few times, I think most of the knowledge left my head. But apparently APL doesn't support J's pointfree stuff? 04:31:43 hi 04:31:50 i should learn APL 05:14:53 Sgeo_: just read https://code.jsoftware.com/wiki/Essays/Incunabulum hth 05:19:00 Instead of reading APL stuff, I am now reading J stuff again 05:48:00 -!- imode has quit (Ping timeout: 272 seconds). 05:59:26 -!- imode has joined. 06:14:26 -!- Sgeo_ has quit (Read error: Connection reset by peer). 06:14:52 -!- Sgeo_ has joined. 06:21:05 Sgeo_: I think Dyalog supports a lot of the tacit/pointsfree things 06:22:28 but historially APL hasn't (I think IPSA's APL introduced them in the 90s, and it carried over into J 06:48:25 Hmm, http://terralang.org/ might be similar to the kind of thing I was talking about. 06:49:26 Though not really the same 07:10:29 -!- Essadon has joined. 07:13:42 -!- john_metcalf has quit (Quit: http://corewar.co.uk). 07:35:01 -!- imode has quit (Ping timeout: 268 seconds). 07:44:13 -!- arseniiv has quit (Ping timeout: 245 seconds). 08:10:19 -!- sftp has quit (Ping timeout: 250 seconds). 08:37:08 -!- tromp has joined. 08:49:25 -!- AnotherTest has joined. 08:53:51 -!- sftp has joined. 09:13:09 I remember when I tried to learn APL 09:13:29 I find a tutorial that began "Plug in your telephone to your typewriter and dial the number for your computer" 09:13:44 Decided I should maybe try something a little more modern 09:23:44 aww 09:24:25 I like that AVX512 introduced some opcodes on bits that distinctly remind me of 60s APL 09:25:33 I couldn't figure out how to plug in my smartphone into my mechanical typewriter 09:27:29 that would be an insanely awesome piece of tech for someone to hack up, though 09:27:33 -!- LKoen has joined. 09:29:34 A tad above my ability :( 09:36:11 -!- tromp has quit (Remote host closed the connection). 09:49:56 -!- tromp has joined. 10:07:09 -!- wob_jonas has joined. 10:07:36 `pbflist https://pbfcomics.com/comics/scorchy/ 10:07:37 pbflist https://pbfcomics.com/comics/scorchy/: shachaf Sgeo quintopia ion b_jonas Cale 10:10:33 `bobadventureslist http://bobadventures.comicgenesis.com/d/20190206.html 10:10:34 bobadventureslist http://bobadventures.comicgenesis.com/d/20190206.html: b_jonas 10:11:46 also, either that comic is unrealistic or I grew up with a lie. I told that when a ladder breaks, you get two ten-foot poles. 10:12:10 If it breaks badly you get two five-foot ladders 10:13:31 yeah, that's the problem here 11:48:30 -!- Lord_of_Life_ has joined. 11:51:33 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 11:51:33 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 12:20:56 -!- AnotherTest has quit (Ping timeout: 240 seconds). 12:27:44 this is what happens when you use a ladder as a bridge 12:39:55 `learn A ladder is just a vertical bridge. 12:39:57 Learned 'ladder': A ladder is just a vertical bridge. 12:47:59 fizzie: it's a bit more complicated than that. a ladder is a bridge that goes *up*. if it goes down, then we call it a snake instead of a ladder. 12:50:52 `? snake 12:50:53 snake? ¯\(°​_o)/¯ 12:50:54 `? bridge 12:50:56 bridge? ¯\(°​_o)/¯ 12:50:56 `? sneak 12:50:57 sneak? ¯\(°​_o)/¯ 12:51:07 `? serpent 12:51:08 serpent? ¯\(°​_o)/¯ 12:55:32 -!- xkapastel has joined. 13:01:12 -!- danieljabailey has quit (Ping timeout: 272 seconds). 13:06:31 `slwd ladder//s/vertical bridge/directed & in the positive orientation/ 13:06:33 ladder//A ladder is just a directed vertical bridge in the positive orientation. 13:41:06 [[Csub]] https://esolangs.org/w/index.php?diff=59752&oldid=59745 * A * (+178) 13:51:00 [[Csub]] https://esolangs.org/w/index.php?diff=59753&oldid=59752 * A * (+1380) /* Example programs */ 14:03:42 [[Csub]] https://esolangs.org/w/index.php?diff=59754&oldid=59753 * A * (+346) /* DIV(division) function */ 14:11:36 [[Csub]] https://esolangs.org/w/index.php?diff=59755&oldid=59754 * A * (+446) /* Example programs */ 14:11:46 [[Csub]] https://esolangs.org/w/index.php?diff=59756&oldid=59755 * A * (+1) /* =Fibonacci sequence */ 14:21:09 [[Csub]] https://esolangs.org/w/index.php?diff=59757&oldid=59756 * A * (+840) /* Fibonacci sequence */ 14:24:57 [[Csub]] https://esolangs.org/w/index.php?diff=59758&oldid=59757 * A * (+289) /* 99 bottles of beer */ 15:22:23 -!- oerjan has joined. 15:25:14 "(before you freak out, monadic here is of the Mathematics definition, and not the Haskell variant ) <-- how amortized 15:25:29 * oerjan couldn't think of the actual word he wanted hth hth 15:25:44 but something about poor deluded fools 15:25:49 argh 15:25:50 oerjan: did you turn off the thing that means you need to say hth twice to say it once 15:26:02 no, but i forget it doesn't trigger on /me 15:26:19 *forgot 15:26:27 I see 15:26:33 tdh 15:26:45 oerjan: J has a lot of unique terminology, different from earlier APLs. the normal term is "unary". 15:27:06 IJ went out of his way to find obscure words 15:27:41 RH may have taken some part, but I think it was mostly KI 15:27:44 s/IJ/KI 15:27:45 wob_jonas: I thought APL used the monadic/dyadic thing? 15:27:52 Taneb: I don't know 15:27:52 As in, those names 15:28:11 I know that APL calls "operators" what J calls "verbs" 15:28:20 let me check some other APL manuals 15:28:22 Although I guess KI was around for APL too 15:28:52 KI invented APL and J 15:30:36 hmm, you may be right 15:32:02 you're right 15:32:13 APL has been using "monadic" and "dyadic" for a long time 15:32:16 I was plain wrong 15:32:30 that's not one of the terms KI has invented specifically for J 15:32:54 also I think the correct initials are KEI 15:37:07 and I'm wrong about "operator" too. APL calls "functions" what J calls "verbs" 16:05:26 fizzie: i don't think wob_jonas was entirely serious about the snakes hth 16:05:43 oerjan: it's a log entry 16:05:45 um 16:05:46 wisdom entry 16:05:47 sorry 16:05:53 I have qwertyal aphasia 16:06:58 are you suggesting wisdom entries are not supposed to be accurate tdnh 16:07:52 also i'm pretty sure it's possible to descend ladders, at least if you don't look down first. 16:07:55 accurate doesn't have to do with this. we're talking about serious vs frivolous (whatever that latter one is spelleD)\ 16:08:21 remarkably, i think that spelling's correct 16:27:20 APL also uses monad/dyad terminolgy 16:28:07 the terms that are new in J are mainly the linguistically inspired ones I think 16:29:08 and if he went for that originally, the *-adic terms might've been valency (univalent etc) instead, I think 16:29:32 Univalent foundations to J theory 16:29:47 yeah: https://en.m.wikipedia.org/wiki/Valency_(linguistics) 16:34:42 the modern common terminolgy is a bit of a mix of origins anyway: you typically say unary, but also variadic 16:34:51 at least in programming.. 16:40:27 -!- arseniiv has joined. 16:44:39 -!- xkapastel has quit (Quit: Connection closed for inactivity). 16:50:35 -!- AnotherTest has joined. 16:53:11 -!- imode has joined. 16:56:06 -!- sebbu has quit (Ping timeout: 250 seconds). 16:59:43 -!- sebbu has joined. 17:10:26 -!- tromp has quit (Remote host closed the connection). 17:20:35 -!- tromp has joined. 17:32:28 -!- oerjan has quit (Quit: Later). 17:33:41 but what about a möbius ladder twh 17:33:50 Wait, I was scrolled up 17:47:56 shachaf: you mean from that Escher picture with the ants? 17:50:52 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 18:13:31 -!- LKoen has quit (Remote host closed the connection). 18:24:11 deque automata are really just turing machines under a different projection. it looks like you can map the operations of a turing machine _directly_ onto that of a deque automaton. 18:25:49 my reasoning: a regular queue automaton is just a right-moving circular TM tape. a deque automaton is thus a queue automaton that can move in either direction with a circular tape. 18:26:30 Taneb: how offline are you right now? 18:27:19 -!- xkapastel has joined. 18:28:52 izabera: not so 18:54:18 -!- LKoen has joined. 19:18:17 -!- b_jonas has joined. 19:19:41 wtf, the xkcd Randal published another book? what's this with every webcomic author publishing books other than comic books? (qwantz and smbc are previous examples) 19:20:34 yeah, authors publishing books, bleh, what an idea 19:20:48 -!- FreeFull has joined. 19:22:42 more strangely, https://xkcd.com/how-to/ uses a bad map projection 20:10:40 what's with it is $$$ 20:10:48 besides, the comic has sucked for a long time 20:11:13 i used to be very much a member of the xkcd haters club 20:11:21 but now it's not everywhere all the time so i just don't care either way 20:11:41 sounds like you're more a member of the xkcd fan club haters club 20:11:48 well i guess 20:11:53 the fandom is always worse than the work 20:12:02 i'm p. sympathetic to that, it's a scow fan club 20:12:07 whether it's xkcd, rick and morty, nietzsche, jesus 20:12:45 tho i don't think R&M is that good of a show either 20:12:53 you know the kind of person who always links to xkcd every time someone talks about sql injection or whatever 20:12:56 but maybe if I would watch more I would like it 20:13:05 that is a scow behavior 20:13:10 yeah 20:13:44 I liked rick and morty way less after watching venture bros 20:14:43 shachaf: I do keep linking to webcomics, but not about SQL injection in particular 20:15:17 I mean, linking to webcomics is fine. 20:15:27 how about linking to SMSM? 20:15:42 or to Ozy and Millie? 20:15:44 I don't know SMSM 20:15:59 Which reminds me 20:16:00 I sometimes do that, but not always, because I don't have a transcript for either of them, and it's hard to find the right strip 20:16:07 https://stickman.qntm.org/index.php 20:16:12 `smlist 493 20:16:13 smlist 493: shachaf monqy elliott mnoqy Cale 20:16:33 it's just people who always try to tie any possible topic to xkcd just because it was brought up once that's annoying 20:16:46 `smlist 492 20:16:47 smlist 492: shachaf monqy elliott mnoqy Cale 20:16:56 shachaf: I see 21:14:55 -!- danieljabailey has joined. 21:29:14 -!- arseniiv has quit (Read error: Connection reset by peer). 21:29:32 -!- arseniiv has joined. 21:59:04 -!- ^vandall^ has joined. 22:00:15 -!- ^vandall^ has left. 22:07:37 -!- ^vandall^1 has joined. 22:07:53 -!- ^vandall^1 has left. 22:11:42 -!- 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.”). 22:57:00 -!- Sgeo__ has joined. 22:59:56 -!- Sgeo_ has quit (Ping timeout: 240 seconds). 23:08:44 -!- ^vandall^1 has joined. 23:09:21 -!- ^vandall^1 has left. 23:10:21 -!- ^vandall^ has joined. 23:13:18 -!- ^vandall^ has left. 23:20:26 -!- AnotherTest has quit (Ping timeout: 240 seconds). 23:24:29 -!- b_jonas has quit (Quit: leaving). 23:32:38 -!- MDude has quit (Ping timeout: 272 seconds). 23:41:40 -!- MDude has joined. 23:43:48 -!- Essadon has quit (Quit: Qutting). 23:48:25 -!- Lord_of_Life_ has joined. 23:51:12 -!- MDude has quit (Ping timeout: 268 seconds). 23:51:26 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 23:51:26 -!- Lord_of_Life_ has changed nick to Lord_of_Life.