←2023-04-19 2023-04-20 2023-04-21→ ↑2023 ↑all
00:06:45 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
00:08:50 -!- Lord_of_Life has joined.
00:24:55 <decay> given that counter machines/petri nets correspond to a fragment of linear logic, what would an automaton that models the rest of the connectives look like.
00:43:36 -!- m0ther has joined.
01:00:48 -!- wpa has joined.
01:47:02 -!- Noisytoot has quit (Quit: ZNC 1.8.2 - https://znc.in).
01:47:24 -!- Noisytoot has joined.
02:02:31 -!- Noisytoot has quit (Ping timeout: 240 seconds).
02:10:22 -!- Noisytoot has joined.
02:31:25 -!- m0ther has quit (Ping timeout: 240 seconds).
03:49:40 <esolangs> [[Extended pushdown automata]] https://esolangs.org/w/index.php?diff=108229&oldid=108190 * Stkptr * (+827) Add reverse
04:25:35 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in).
04:28:39 -!- slavfox has joined.
05:18:55 <decay> I don't understand linear logic _that well_ because, well, I'm not a logician and didn't know that it was a deeper field. all propositions in linear logic have duals, and these duals are considered "atomic", with the different connectives trading off on "polarity".
05:19:14 <decay> there's this.. supply and demand interpretation that I'm trying to interpret.
05:20:00 <decay> stuff like petri nets and counter machines seem to not take this into account. I wonder how you'd do it.
05:22:21 -!- Everything has joined.
06:10:59 -!- bgs has quit (Remote host closed the connection).
07:28:53 -!- Sgeo has quit (Read error: Connection reset by peer).
07:40:16 -!- Lymia has quit (Quit: No Ping reply in 180 seconds.).
07:41:39 -!- Lymia has joined.
08:39:50 -!- wpa has quit (Quit: Connection closed for inactivity).
09:43:16 -!- ddccdd has joined.
10:02:50 -!- __monty__ has joined.
10:38:10 <esolangs> [[Brainfuck]] M https://esolangs.org/w/index.php?diff=108230&oldid=106394 * Flok * (+100) /* Notable implementations */
10:46:36 <esolangs> [[(min)mod]] https://esolangs.org/w/index.php?diff=108231&oldid=108204 * Peter * (+2766)
12:32:39 <esolangs> [[Ogham++]] M https://esolangs.org/w/index.php?diff=108232&oldid=107821 * Kevin Scannell * (+30)
12:38:16 -!- Everything has quit (Quit: leaving).
14:09:03 -!- __monty__ has quit (Quit: leaving).
14:42:10 <esolangs> [[Special:Log/newusers]] create * TheByron * New user account
14:47:38 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=108233&oldid=108197 * TheByron * (+162) /* Introductions */
14:56:27 -!- wpa has joined.
15:20:26 -!- Sgeo has joined.
16:29:46 -!- chiselfuse has quit (Remote host closed the connection).
16:30:01 -!- chiselfuse has joined.
16:31:19 -!- example99 has joined.
16:31:32 <example99> hi
16:40:08 -!- Guest24 has joined.
16:42:56 -!- Guest24 has quit (Client Quit).
16:51:02 <esolangs> [[Tueue]] N https://esolangs.org/w/index.php?oldid=108234 * ChuckEsoteric08 * (+2584) Created page with "'''Tueue''' is a Queue-based esolang designed by [[User:ChuckEsoteric08]]. It consists of two queues, as well as one accumulator. ==Specification== As said before, '''Tueue''' consists of Two queues and one accumulator. <code>1QU</code> will return bottom of firs
16:51:26 <esolangs> [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=108235&oldid=108096 * ChuckEsoteric08 * (+11)
16:57:14 <esolangs> [[Stakc]] https://esolangs.org/w/index.php?diff=108236&oldid=99786 * ChuckEsoteric08 * (+0)
17:46:44 -!- example99 has quit (Quit: Client closed).
18:55:38 -!- ddccdd has quit (Quit: leaving).
19:02:34 <esolangs> [[Omicron]] https://esolangs.org/w/index.php?diff=108237&oldid=108228 * DrKilobyte * (+14)
19:48:44 <esolangs> [[Foreach]] N https://esolangs.org/w/index.php?oldid=108238 * Ashli Katt * (+3288) Created page with "== About == For is an imperative esolang where the only data-type is arrays, and the only flow control is for-each loops. It was created by ~~~. == Overview == A Foreach program consists of any number of variable, constant, and function declarations; they may be de
20:20:32 <esolangs> [[User:AriesNinja]] M https://esolangs.org/w/index.php?diff=108239&oldid=104068 * AriesNinja * (-9) Fixed currency
22:10:39 <esolangs> [[Sugueziume]] https://esolangs.org/w/index.php?diff=108240&oldid=100195 * BoundedBeans * (+6231) Added Sugueziume++ specification
22:29:10 <esolangs> [[Sugueziume]] https://esolangs.org/w/index.php?diff=108241&oldid=108240 * BoundedBeans * (+405) Added ZM command to Sugueziume++
22:54:41 <esolangs> [[Foreach]] https://esolangs.org/w/index.php?diff=108242&oldid=108238 * Ashli Katt * (+361)
22:54:59 <esolangs> [[Foreach]] https://esolangs.org/w/index.php?diff=108243&oldid=108242 * Ashli Katt * (-2)
23:02:41 -!- gonelang[m] has joined.
23:06:50 <esolangs> [[Sugueziume]] https://esolangs.org/w/index.php?diff=108244&oldid=108241 * BoundedBeans * (+1259)
23:24:51 <esolangs> [[XYZ?]] M https://esolangs.org/w/index.php?diff=108245&oldid=102739 * BoundedBeans * (+4)
23:37:31 <esolangs> [[Nndstojmp]] https://esolangs.org/w/index.php?diff=108246&oldid=95493 * Kaveh Yousefi * (+168) Added a hyperlink to my implementation of the nndstojmp programming language on GitHub and changed the category tag Unimplemented to Implemented.
23:39:27 <esolangs> [[Nndstojmp]] https://esolangs.org/w/index.php?diff=108247&oldid=108246 * Kaveh Yousefi * (+326) Introduced an examples section comprehending as its incipient member a Hello, World! program.
23:41:44 <esolangs> [[Nndstojmp]] https://esolangs.org/w/index.php?diff=108248&oldid=108247 * Kaveh Yousefi * (+186) Introduced a second example demonstrating the input facility.
23:44:04 <esolangs> [[Nndstojmp]] M https://esolangs.org/w/index.php?diff=108249&oldid=108248 * Kaveh Yousefi * (+108) Formatted the parameter names as code fragment and introduced a hyperlink to the OISC article.
23:56:43 <esolangs> [[Foreach]] https://esolangs.org/w/index.php?diff=108250&oldid=108243 * Ashli Katt * (+935) /* IO Format */
23:57:11 <esolangs> [[Foreach]] M https://esolangs.org/w/index.php?diff=108251&oldid=108250 * Ashli Katt * (+0) /* IO Format */
23:57:58 <esolangs> [[Foreach]] https://esolangs.org/w/index.php?diff=108252&oldid=108251 * Ashli Katt * (+26) /* Notes */
23:59:00 <esolangs> [[Foreach]] https://esolangs.org/w/index.php?diff=108253&oldid=108252 * Ashli Katt * (-53) /* Notes */
←2023-04-19 2023-04-20 2023-04-21→ ↑2023 ↑all