00:06:45 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 00:08:50 -!- Lord_of_Life has joined. 00:24:55 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 [[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 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 there's this.. supply and demand interpretation that I'm trying to interpret. 05:20:00 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 [[Brainfuck]] M https://esolangs.org/w/index.php?diff=108230&oldid=106394 * Flok * (+100) /* Notable implementations */ 10:46:36 [[(min)mod]] https://esolangs.org/w/index.php?diff=108231&oldid=108204 * Peter * (+2766) 12:32:39 [[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 [[Special:Log/newusers]] create * TheByron * New user account 14:47:38 [[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 hi 16:40:08 -!- Guest24 has joined. 16:42:56 -!- Guest24 has quit (Client Quit). 16:51:02 [[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. 1QU will return bottom of firs 16:51:26 [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=108235&oldid=108096 * ChuckEsoteric08 * (+11) 16:57:14 [[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 [[Omicron]] https://esolangs.org/w/index.php?diff=108237&oldid=108228 * DrKilobyte * (+14) 19:48:44 [[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 [[User:AriesNinja]] M https://esolangs.org/w/index.php?diff=108239&oldid=104068 * AriesNinja * (-9) Fixed currency 22:10:39 [[Sugueziume]] https://esolangs.org/w/index.php?diff=108240&oldid=100195 * BoundedBeans * (+6231) Added Sugueziume++ specification 22:29:10 [[Sugueziume]] https://esolangs.org/w/index.php?diff=108241&oldid=108240 * BoundedBeans * (+405) Added ZM command to Sugueziume++ 22:54:41 [[Foreach]] https://esolangs.org/w/index.php?diff=108242&oldid=108238 * Ashli Katt * (+361) 22:54:59 [[Foreach]] https://esolangs.org/w/index.php?diff=108243&oldid=108242 * Ashli Katt * (-2) 23:02:41 -!- gonelang[m] has joined. 23:06:50 [[Sugueziume]] https://esolangs.org/w/index.php?diff=108244&oldid=108241 * BoundedBeans * (+1259) 23:24:51 [[XYZ?]] M https://esolangs.org/w/index.php?diff=108245&oldid=102739 * BoundedBeans * (+4) 23:37:31 [[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 [[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 [[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 [[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 [[Foreach]] https://esolangs.org/w/index.php?diff=108250&oldid=108243 * Ashli Katt * (+935) /* IO Format */ 23:57:11 [[Foreach]] M https://esolangs.org/w/index.php?diff=108251&oldid=108250 * Ashli Katt * (+0) /* IO Format */ 23:57:58 [[Foreach]] https://esolangs.org/w/index.php?diff=108252&oldid=108251 * Ashli Katt * (+26) /* Notes */ 23:59:00 [[Foreach]] https://esolangs.org/w/index.php?diff=108253&oldid=108252 * Ashli Katt * (-53) /* Notes */