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 <oerjan> `slwd quantum leap//s,dragons,dragon,
00:50:55 <HackEso> quantum leap//A quantum leap is a very small leap. See dragon.
00:51:33 <oerjan> maybe `wisdom should strip plural endings, although it feels a bridge too far.
00:52:04 <HackEso> 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 <shachaf> I thought spiders live inside string diagrams.
01:02:10 <oerjan> i guess they jumped into the open niche left by the dragons, then
01:02:58 <shachaf> https://pbs.twimg.com/media/DqGpNl9X4AAZaSR.jpg:large
01:13:21 -!- Cullran has joined.
01:13:22 -!- Cullran has left.
02:11:31 <imode> deques are just rebadged tapes.
02:32:28 <esowiki> [[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 <Sgeo_> "(before you freak out, monadic here is of the Mathematics definition, and not the Haskell variant )
04:23:32 <Sgeo_> Reading an APL tutorial
04:23:59 <kmc> ah, so they mean arity 1
04:29:39 <Sgeo_> 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?
05:14:53 <shachaf> Sgeo_: just read https://code.jsoftware.com/wiki/Essays/Incunabulum hth
05:19:00 <Sgeo_> 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 <FireFly> Sgeo_: I think Dyalog supports a lot of the tacit/pointsfree things
06:22:28 <FireFly> but historially APL hasn't (I think IPSA's APL introduced them in the 90s, and it carried over into J
06:48:25 <shachaf> Hmm, http://terralang.org/ might be similar to the kind of thing I was talking about.
06:49:26 <shachaf> 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 <Taneb> I remember when I tried to learn APL
09:13:29 <Taneb> I find a tutorial that began "Plug in your telephone to your typewriter and dial the number for your computer"
09:13:44 <Taneb> Decided I should maybe try something a little more modern
09:24:25 <FireFly> I like that AVX512 introduced some opcodes on bits that distinctly remind me of 60s APL
09:25:33 <Taneb> I couldn't figure out how to plug in my smartphone into my mechanical typewriter
09:27:29 <FireFly> that would be an insanely awesome piece of tech for someone to hack up, though
09:27:33 -!- LKoen has joined.
09:29:34 <Taneb> 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 <wob_jonas> `pbflist https://pbfcomics.com/comics/scorchy/
10:07:37 <HackEso> pbflist https://pbfcomics.com/comics/scorchy/: shachaf Sgeo quintopia ion b_jonas Cale
10:10:33 <wob_jonas> `bobadventureslist http://bobadventures.comicgenesis.com/d/20190206.html
10:10:34 <HackEso> bobadventureslist http://bobadventures.comicgenesis.com/d/20190206.html: b_jonas
10:11:46 <wob_jonas> 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 <Taneb> If it breaks badly you get two five-foot ladders
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 <int-e> this is what happens when you use a ladder as a bridge
12:39:55 <fizzie> `learn A ladder is just a vertical bridge.
12:39:57 <HackEso> Learned 'ladder': A ladder is just a vertical bridge.
12:47:59 <wob_jonas> 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:55:32 -!- xkapastel has joined.
13:01:12 -!- danieljabailey has quit (Ping timeout: 272 seconds).
13:06:31 <fizzie> `slwd ladder//s/vertical bridge/directed & in the positive orientation/
13:06:33 <HackEso> ladder//A ladder is just a directed vertical bridge in the positive orientation.
13:41:06 <esowiki> [[Csub]] https://esolangs.org/w/index.php?diff=59752&oldid=59745 * A * (+178)
13:51:00 <esowiki> [[Csub]] https://esolangs.org/w/index.php?diff=59753&oldid=59752 * A * (+1380) /* Example programs */
14:03:42 <esowiki> [[Csub]] https://esolangs.org/w/index.php?diff=59754&oldid=59753 * A * (+346) /* DIV(division) function */
14:11:36 <esowiki> [[Csub]] https://esolangs.org/w/index.php?diff=59755&oldid=59754 * A * (+446) /* Example programs */
14:11:46 <esowiki> [[Csub]] https://esolangs.org/w/index.php?diff=59756&oldid=59755 * A * (+1) /* =Fibonacci sequence */
14:21:09 <esowiki> [[Csub]] https://esolangs.org/w/index.php?diff=59757&oldid=59756 * A * (+840) /* Fibonacci sequence */
14:24:57 <esowiki> [[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 <oerjan> <Sgeo_> "(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 <oerjan> but something about poor deluded fools
15:25:50 <Taneb> oerjan: did you turn off the thing that means you need to say hth twice to say it once
15:26:02 <oerjan> no, but i forget it doesn't trigger on /me
15:26:45 <wob_jonas> oerjan: J has a lot of unique terminology, different from earlier APLs. the normal term is "unary".
15:27:06 <wob_jonas> IJ went out of his way to find obscure words
15:27:41 <wob_jonas> RH may have taken some part, but I think it was mostly KI
15:27:45 <Taneb> wob_jonas: I thought APL used the monadic/dyadic thing?
15:27:52 <Taneb> As in, those names
15:28:11 <wob_jonas> I know that APL calls "operators" what J calls "verbs"
15:28:20 <wob_jonas> let me check some other APL manuals
15:28:22 <Taneb> Although I guess KI was around for APL too
15:32:13 <wob_jonas> APL has been using "monadic" and "dyadic" for a long time
15:32:30 <wob_jonas> that's not one of the terms KI has invented specifically for J
15:32:54 <wob_jonas> also I think the correct initials are KEI
15:37:07 <wob_jonas> and I'm wrong about "operator" too. APL calls "functions" what J calls "verbs"
16:05:26 <oerjan> fizzie: i don't think wob_jonas was entirely serious about the snakes hth
16:06:58 <oerjan> are you suggesting wisdom entries are not supposed to be accurate tdnh
16:07:52 <oerjan> also i'm pretty sure it's possible to descend ladders, at least if you don't look down first.
16:07:55 <wob_jonas> accurate doesn't have to do with this. we're talking about serious vs frivolous (whatever that latter one is spelleD)\
16:08:21 <oerjan> remarkably, i think that spelling's correct
16:27:20 <FireFly> APL also uses monad/dyad terminolgy
16:28:07 <FireFly> the terms that are new in J are mainly the linguistically inspired ones I think
16:29:08 <FireFly> and if he went for that originally, the *-adic terms might've been valency (univalent etc) instead, I think
16:29:32 <Taneb> Univalent foundations to J theory
16:29:47 <FireFly> yeah: https://en.m.wikipedia.org/wiki/Valency_(linguistics)
16:34:42 <FireFly> the modern common terminolgy is a bit of a mix of origins anyway: you typically say unary, but also variadic
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 <shachaf> but what about a möbius ladder twh
17:47:56 <wob_jonas> 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 <imode> 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 <imode> 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 <izabera> Taneb: how offline are you right now?
18:27:19 -!- xkapastel has joined.
18:54:18 -!- LKoen has joined.
19:18:17 -!- b_jonas has joined.
19:19:41 <b_jonas> 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 <LKoen> yeah, authors publishing books, bleh, what an idea
19:20:48 -!- FreeFull has joined.
19:22:42 <b_jonas> more strangely, https://xkcd.com/how-to/ uses a bad map projection
20:10:40 <kmc> what's with it is $$$
20:10:48 <kmc> besides, the comic has sucked for a long time
20:11:13 <kmc> i used to be very much a member of the xkcd haters club
20:11:21 <kmc> but now it's not everywhere all the time so i just don't care either way
20:11:41 <shachaf> sounds like you're more a member of the xkcd fan club haters club
20:11:48 <kmc> well i guess
20:11:53 <kmc> the fandom is always worse than the work
20:12:02 <shachaf> i'm p. sympathetic to that, it's a scow fan club
20:12:07 <kmc> whether it's xkcd, rick and morty, nietzsche, jesus
20:12:45 <kmc> tho i don't think R&M is that good of a show either
20:12:53 <shachaf> you know the kind of person who always links to xkcd every time someone talks about sql injection or whatever
20:12:56 <kmc> but maybe if I would watch more I would like it
20:13:44 <j4cbo> I liked rick and morty way less after watching venture bros
20:14:43 <b_jonas> shachaf: I do keep linking to webcomics, but not about SQL injection in particular
20:15:17 <shachaf> I mean, linking to webcomics is fine.
20:15:27 <b_jonas> how about linking to SMSM?
20:16:00 <b_jonas> 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 <b_jonas> https://stickman.qntm.org/index.php
20:16:13 <HackEso> smlist 493: shachaf monqy elliott mnoqy Cale
20:16:33 <shachaf> 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:47 <HackEso> smlist 492: shachaf monqy elliott mnoqy Cale
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.