[01:04:42] * bitmapper [bitmapper!~bitmapper@142.134.185.92] has quit (Ping timeout: 256 seconds).
[02:17:08] * Sonderblade [Sonderblade!~helloman@94.191.137.91.mobile.tre.se] has joined the channel.
[09:09:51] * Sonderblade [Sonderblade!~helloman@94.191.137.91.mobile.tre.se] has quit (Quit: Konversation terminated!).
[09:13:16] * ephe_meral [ephe_meral!~amnesia@ip5f5bd676.dynamic.kabel-deutschland.de] has joined the channel.
[10:34:46] * ephe_meral [ephe_meral!~amnesia@ip5f5bd676.dynamic.kabel-deutschland.de] has quit (Ping timeout: 256 seconds).
[13:10:45] * ephe_meral [ephe_meral!~amnesia@ip5f5bd676.dynamic.kabel-deutschland.de] has joined the channel.
[14:57:02] * ephe_meral [ephe_meral!~amnesia@ip5f5bd676.dynamic.kabel-deutschland.de] has quit (Ping timeout: 260 seconds).
[16:11:48] * bitmapper [bitmapper!~bitmapper@142.134.185.92] has joined the channel.
[16:20:36] * cantstanya [cantstanya!~chatting@gateway/tor-sasl/cantstanya] has quit (Write error: Connection reset by peer).
[16:23:37] * cantstanya [cantstanya!~chatting@gateway/tor-sasl/cantstanya] has joined the channel.
[17:13:20] * ephe_meral [ephe_meral!~amnesia@ip5f5bd676.dynamic.kabel-deutschland.de] has joined the channel.
[17:33:07] * orbitaldecay [orbitaldecay!~bob@forder.cc] has joined the channel.
[17:33:16] <orbitaldecay> Greetings all
[17:34:31] <orbitaldecay> The esoteric (and concatenative) programming language brainfuck got me thinking about the fact that concatenative languages are monoids, which got me thinking that reversible concatenative languages are groups, which brought me here.
[17:41:14] * ephe_meral [ephe_meral!~amnesia@ip5f5bd676.dynamic.kabel-deutschland.de] has quit (Ping timeout: 240 seconds).
[17:55:16] <bmp> Welcome to the club, orbitaldecay 
[17:55:31] <bmp> This channel is slow, but we all lurk, so someone will eventaully say something if you've got questions.
[17:56:05] <orbitaldecay> Thank you :)
[17:56:41] <orbitaldecay> As of today, I am particularly interested in computing the monoid rank of concatenative languages. Is this a topic that has been explored by others?
[17:57:20] <orbitaldecay> It comes up in brainfuck instruction minimization
[18:17:02] <hackerfoo> orbitaldecay: Concatenative languages are related to linear logic, which is the internal logic of closed symmetric monoidal categories: https://ncatlab.org/nlab/show/symmetric+monoidal+category#internal_logic
[18:18:04] <orbitaldecay> Thank you. Reading now.
[18:28:52] <hackerfoo> swap, dup, and drop correspond directly to the structural rules.
[18:29:12] * hotaru [hotaru!~hotaru@2605:a000:f60b:ed10:e849:b470:173a:7ee1] has joined the channel.
[18:29:19] <hackerfoo> Making these explicit makes it easier to model substructural logic, because it is easier to restrict them.
[19:15:02] * cantstanya [cantstanya!~chatting@gateway/tor-sasl/cantstanya] has quit (Remote host closed the connection).
[19:17:39] * cantstanya [cantstanya!~chatting@gateway/tor-sasl/cantstanya] has joined the channel.
[19:55:28] * hotaru_ [hotaru_!~hotaru@2607:fb90:1787:ea5c:ed7b:3c6e:8c37:3146] has joined the channel.
[19:56:42] * hotaru_ [hotaru_!~hotaru@2607:fb90:1787:ea5c:ed7b:3c6e:8c37:3146] has quit (Remote host closed the connection).
[19:56:45] * hotaru [hotaru!~hotaru@2605:a000:f60b:ed10:e849:b470:173a:7ee1] has quit (Read error: Connection reset by peer).
[19:56:50] * hotaru_ [hotaru_!~hotaru@2607:fb90:1787:ea5c:ed7b:3c6e:8c37:3146] has joined the channel.
[19:57:17] * hotaru_ [hotaru_!~hotaru@2607:fb90:1787:ea5c:ed7b:3c6e:8c37:3146] has quit (Read error: Connection reset by peer).
[19:57:30] * hotaru_ [hotaru_!~hotaru@2605:a000:f60b:ed10:e849:b470:173a:7ee1] has joined the channel.
[20:09:53] * ephe_meral [ephe_meral!~amnesia@2a02:8109:8880:2004:9679:ffd7:9736:b625] has joined the channel.
[20:19:43] * ephe_meral [ephe_meral!~amnesia@2a02:8109:8880:2004:9679:ffd7:9736:b625] has quit (Ping timeout: 272 seconds).
[20:33:23] * ephe_meral [ephe_meral!~amnesia@ip5f5bd676.dynamic.kabel-deutschland.de] has joined the channel.
[20:50:26] * earl [earl!~earl@pdpc/supporter/active/earl] has joined the channel.
[21:05:00] * earl [earl!~earl@pdpc/supporter/active/earl] has quit (Remote host closed the connection).
[21:07:59] * earl [earl!~earl@pdpc/supporter/active/earl] has joined the channel.
[22:29:43] * ephe_meral [ephe_meral!~amnesia@ip5f5bd676.dynamic.kabel-deutschland.de] has quit (Ping timeout: 258 seconds).
[23:18:35] * tgunr [tgunr!~davec@2601:2c3:67f:d600:9903:ecd6:a268:fa72] has joined the channel.
[23:32:49] * tgunr [tgunr!~davec@2601:2c3:67f:d600:9903:ecd6:a268:fa72] has quit (Quit: My MacBook has gone to sleep. ZZZzzz…).
[23:38:40] * dustinm` [dustinm`!~dustinm@static.38.6.217.95.clients.your-server.de] has quit (Quit: Leaving).