< 1681949205 697878 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 240 seconds < 1681949330 671163 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1681950295 391176 :decay!sid553797@user/imode PRIVMSG #esolangs :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. < 1681951416 624138 :m0ther!~utoneq@user/utoneq JOIN #esolangs zut :utoneq < 1681952448 77854 :wpa!uid568065@id-568065.helmsley.irccloud.com JOIN #esolangs WeepingAngel :wpa < 1681955222 328066 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Quit: ZNC 1.8.2 - https://znc.in < 1681955244 343662 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1681956151 408956 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Ping timeout: 240 seconds < 1681956622 214541 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1681957885 646778 :m0ther!~utoneq@user/utoneq QUIT :Ping timeout: 240 seconds > 1681962580 731041 PRIVMSG #esolangs :14[[07Extended pushdown automata14]]4 10 02https://esolangs.org/w/index.php?diff=108229&oldid=108190 5* 03Stkptr 5* (+827) 10Add reverse < 1681964735 628573 :slavfox!~slavfox@93.158.232.111 QUIT :Quit: ZNC 1.8.2 - https://znc.in < 1681964919 698425 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox < 1681967935 632152 :decay!sid553797@user/imode PRIVMSG #esolangs :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". < 1681967954 894163 :decay!sid553797@user/imode PRIVMSG #esolangs :there's this.. supply and demand interpretation that I'm trying to interpret. < 1681968000 432533 :decay!sid553797@user/imode PRIVMSG #esolangs :stuff like petri nets and counter machines seem to not take this into account. I wonder how you'd do it. < 1681968141 822807 :Everything!~Everythin@46.185.124.65 JOIN #esolangs * :Everything < 1681971059 454405 :bgs!~bgs@212-85-160-171.dynamic.telemach.net QUIT :Remote host closed the connection < 1681975733 273092 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1681976416 981904 :Lymia!lymia@ayame.servers.aura.moe QUIT :Quit: No Ping reply in 180 seconds. < 1681976499 152133 :Lymia!lymia@ayame.servers.aura.moe JOIN #esolangs Lymia :Lymia Aluysia < 1681979990 207667 :wpa!uid568065@id-568065.helmsley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1681983796 550497 :ddccdd!~u@154.91.165.83.dynamic.reverse-mundo-r.com JOIN #esolangs * :d < 1681984970 964835 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown > 1681987090 379391 PRIVMSG #esolangs :14[[07Brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=108230&oldid=106394 5* 03Flok 5* (+100) 10/* Notable implementations */ > 1681987596 152397 PRIVMSG #esolangs :14[[07(min)mod14]]4 10 02https://esolangs.org/w/index.php?diff=108231&oldid=108204 5* 03Peter 5* (+2766) 10 > 1681993959 199372 PRIVMSG #esolangs :14[[07Ogham++14]]4 M10 02https://esolangs.org/w/index.php?diff=108232&oldid=107821 5* 03Kevin Scannell 5* (+30) 10 < 1681994296 215179 :Everything!~Everythin@46.185.124.65 QUIT :Quit: leaving < 1681999743 146048 :__monty__!~toonn@user/toonn QUIT :Quit: leaving > 1682001730 358403 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03TheByron 5* 10New user account > 1682002058 639588 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=108233&oldid=108197 5* 03TheByron 5* (+162) 10/* Introductions */ < 1682002587 996889 :wpa!uid568065@id-568065.helmsley.irccloud.com JOIN #esolangs WeepingAngel :wpa < 1682004026 553098 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1682008186 999456 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection < 1682008201 553100 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse < 1682008279 188705 :example99!~example99@2001:9e8:e1f9:9c00:f967:1c7b:9e63:b8f7 JOIN #esolangs * :[https://web.libera.chat] example99 < 1682008292 253999 :example99!~example99@2001:9e8:e1f9:9c00:f967:1c7b:9e63:b8f7 PRIVMSG #esolangs :hi < 1682008808 128806 :Guest24!~Guest24@84.125.65.253.dyn.user.ono.com JOIN #esolangs * :[https://web.libera.chat] Guest24 < 1682008976 853305 :Guest24!~Guest24@84.125.65.253.dyn.user.ono.com QUIT :Client Quit > 1682009462 554542 PRIVMSG #esolangs :14[[07Tueue14]]4 N10 02https://esolangs.org/w/index.php?oldid=108234 5* 03ChuckEsoteric08 5* (+2584) 10Created 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 > 1682009486 727631 PRIVMSG #esolangs :14[[07User:ChuckEsoteric0814]]4 10 02https://esolangs.org/w/index.php?diff=108235&oldid=108096 5* 03ChuckEsoteric08 5* (+11) 10 > 1682009834 456368 PRIVMSG #esolangs :14[[07Stakc14]]4 10 02https://esolangs.org/w/index.php?diff=108236&oldid=99786 5* 03ChuckEsoteric08 5* (+0) 10 < 1682012804 319280 :example99!~example99@2001:9e8:e1f9:9c00:f967:1c7b:9e63:b8f7 QUIT :Quit: Client closed < 1682016938 451675 :ddccdd!~u@154.91.165.83.dynamic.reverse-mundo-r.com QUIT :Quit: leaving > 1682017354 634259 PRIVMSG #esolangs :14[[07Omicron14]]4 10 02https://esolangs.org/w/index.php?diff=108237&oldid=108228 5* 03DrKilobyte 5* (+14) 10 > 1682020124 736740 PRIVMSG #esolangs :14[[07Foreach14]]4 N10 02https://esolangs.org/w/index.php?oldid=108238 5* 03Ashli Katt 5* (+3288) 10Created 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 > 1682022032 189051 PRIVMSG #esolangs :14[[07User:AriesNinja14]]4 M10 02https://esolangs.org/w/index.php?diff=108239&oldid=104068 5* 03AriesNinja 5* (-9) 10Fixed currency > 1682028639 560725 PRIVMSG #esolangs :14[[07Sugueziume14]]4 10 02https://esolangs.org/w/index.php?diff=108240&oldid=100195 5* 03BoundedBeans 5* (+6231) 10Added Sugueziume++ specification > 1682029750 806831 PRIVMSG #esolangs :14[[07Sugueziume14]]4 10 02https://esolangs.org/w/index.php?diff=108241&oldid=108240 5* 03BoundedBeans 5* (+405) 10Added ZM command to Sugueziume++ > 1682031281 266586 PRIVMSG #esolangs :14[[07Foreach14]]4 10 02https://esolangs.org/w/index.php?diff=108242&oldid=108238 5* 03Ashli Katt 5* (+361) 10 > 1682031299 743728 PRIVMSG #esolangs :14[[07Foreach14]]4 10 02https://esolangs.org/w/index.php?diff=108243&oldid=108242 5* 03Ashli Katt 5* (-2) 10 < 1682031761 832139 :gonelang[m]!~gonelangm@2001:470:69fc:105::3:49ee JOIN #esolangs * :@gonelang:matrix.org > 1682032010 595063 PRIVMSG #esolangs :14[[07Sugueziume14]]4 10 02https://esolangs.org/w/index.php?diff=108244&oldid=108241 5* 03BoundedBeans 5* (+1259) 10 > 1682033091 967485 PRIVMSG #esolangs :14[[07XYZ?14]]4 M10 02https://esolangs.org/w/index.php?diff=108245&oldid=102739 5* 03BoundedBeans 5* (+4) 10 > 1682033851 196031 PRIVMSG #esolangs :14[[07Nndstojmp14]]4 10 02https://esolangs.org/w/index.php?diff=108246&oldid=95493 5* 03Kaveh Yousefi 5* (+168) 10Added a hyperlink to my implementation of the nndstojmp programming language on GitHub and changed the category tag Unimplemented to Implemented. > 1682033967 131685 PRIVMSG #esolangs :14[[07Nndstojmp14]]4 10 02https://esolangs.org/w/index.php?diff=108247&oldid=108246 5* 03Kaveh Yousefi 5* (+326) 10Introduced an examples section comprehending as its incipient member a Hello, World! program. > 1682034104 154293 PRIVMSG #esolangs :14[[07Nndstojmp14]]4 10 02https://esolangs.org/w/index.php?diff=108248&oldid=108247 5* 03Kaveh Yousefi 5* (+186) 10Introduced a second example demonstrating the input facility. > 1682034244 791337 PRIVMSG #esolangs :14[[07Nndstojmp14]]4 M10 02https://esolangs.org/w/index.php?diff=108249&oldid=108248 5* 03Kaveh Yousefi 5* (+108) 10Formatted the parameter names as code fragment and introduced a hyperlink to the OISC article. > 1682035003 333246 PRIVMSG #esolangs :14[[07Foreach14]]4 10 02https://esolangs.org/w/index.php?diff=108250&oldid=108243 5* 03Ashli Katt 5* (+935) 10/* IO Format */ > 1682035031 998551 PRIVMSG #esolangs :14[[07Foreach14]]4 M10 02https://esolangs.org/w/index.php?diff=108251&oldid=108250 5* 03Ashli Katt 5* (+0) 10/* IO Format */ > 1682035078 17833 PRIVMSG #esolangs :14[[07Foreach14]]4 10 02https://esolangs.org/w/index.php?diff=108252&oldid=108251 5* 03Ashli Katt 5* (+26) 10/* Notes */ > 1682035140 430772 PRIVMSG #esolangs :14[[07Foreach14]]4 10 02https://esolangs.org/w/index.php?diff=108253&oldid=108252 5* 03Ashli Katt 5* (-53) 10/* Notes */