< 1757894618 719036 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Sgeo: "it's not enforcing which player can move which pieces" -- that sounds like a problem :P
< 1757894670 604656 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(it's good for a laugh in tic-tac-toe)
< 1757894933 280591 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Sgeo: what language is that written in?
< 1757894952 79886 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I mean the basic simulator
< 1757895392 549287 :lynndotpy60!~rootcanal@134.122.123.70 QUIT :Quit: bye bye
< 1757895460 588279 :lynndotpy60!~rootcanal@134.122.123.70 JOIN #esolangs lynndotpy :lynn
< 1757895561 130348 :lynndotpy60!~rootcanal@134.122.123.70 QUIT :Client Quit
< 1757895628 686011 :lynndotpy60!~rootcanal@134.122.123.70 JOIN #esolangs lynndotpy :lynn
< 1757896048 633763 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :b_jonas, TUTOR
< 1757896203 877562 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :The code might look a bit weird because I only know how to get source code out by "printing" it, printers of the day were limited in character sets, so the system faked some characters by overlapping. Also alternate fonts were allowed in source code, and basim apparently decided to use that to make fancy NEXT and BACK graphics
< 1757896232 37355 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Also because TUTOR is a bit of a weird language
< 1757896430 469028 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Here's one fun oddity... conditional statements
< 1757896440 89759 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :command expression,tagneg,tag0,tag1...
< 1757896460 680034 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :expression is rounded, if it's negative command uses tagneg, if it's 0 command uses tag0, etc
< 1757896476 304324 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Comparison operators use -1 as a true value, so that's convenient
< 1757899468 762568 :amby!~ambylastn@host-78-151-28-204.as13285.net QUIT :Remote host closed the connection
< 1757902909 276558 :^[!~user@user//x-8473491 QUIT :Quit: ^[
< 1757904727 858253 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user
< 1757912878 201981 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: This was a good blog post. I'd like to share it with Lobsters, if that's alright. I noticed that you don't appear to have a handle there; LMK if you'd like an invite.
< 1757912959 215094 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It was quite interesting to see a presentation without negation or linear implication. I suppose that Rust would not have a reasonable use for negation, and also that the self-duality of linear logic would not correspond to the ability to run Rust code backwards.
< 1757913138 491790 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It's kind of surprising that ? is not a functor. I would normally expect it to carry a (IIRC) monad, actually; there should be natural T -o ?T and ??T -o ?T for all T. But I suppose that Rust has other plans. After all, type negation isn't how Rust represents holes, so why-not doesn't have to be how Rust represents piracy.
< 1757913273 630504 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I really like the idea of ⅋ as collating an object with many methods, of which the caller may use exactly one. That's new to me. It also gives an idea of interpreting negation as stronger-than-necessary preconditions.
< 1757913376 822837 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :BTW I don't think ⅋ has a standard name. I call it "paramends". It's got "par" like Girard would want, and a couple other puns, like being an anagram of "ampersand".
< 1757913516 687034 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :As I'm sure you know, ! embeds intuitionistic logic; whenever X -> Y, also !X -o Y. This suggests a kind of grand compilation scheme from Cartesian-closed to compact-closed categories which is fairly low-level: negation is allocated memory, why-not is piracy, of-course is ROM or defunctionalized constants, linear implication is mutation.
< 1757913663 866233 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm not sure exactly *what* the mutator looks like, though. To use an analogy, when linear logic says X -o Y, it means that we can take an X and chop off one arm and get a Y; the contraposition ~Y -o ~X means that we can take a Y-shaped hole and dig a fourth arm and make an X-shaped hole. (Your font may vary.) So a mutation has to represent both the forwards chop-off-an-arm and backwards dig-a-trench actions simultaneously.
< 1757913691 809459 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Sgeo: so you can use that as either a two-way true/false conditional, a three-way negative/zero/positive conditional, or an on-goto with an enumeration
< 1757913722 784393 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :probably useful for an interpreter like this that needs to have a few long ones to switching on statements and switch on built-in functions or other keywords
< 1757913812 109764 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: I dunno. In summary, this was rad. This was the first time in a long time that I've believed that linear logic is ever a correct choice for computers; I'm normally in the Cartesian-closed/multicategory/operad camp. But you're absolutely right about the naturality of this ? piracy.
< 1757914689 353049 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, one more thought. ! acts like a source and ? acts like a sink; for !T we may obtain as many T as we like, while ?T lets us discard as many extra T as we have. If ! is for things that can be copied, is ? for things that can be...destroyed? Sent? Something might be going on there.
< 1757914708 383773 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Alright, sleep time. Peace.
> 1757920161 275349 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Geno 5*  10New user account
< 1757921469 720798 :tromp!~textual@2001:1c00:3487:1b00:71ae:c4c:8876:9d63 JOIN #esolangs * :Textual User
< 1757922462 136151 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1757922658 63430 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1757923273 981591 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: feel free to post the link on sites like lobste.rs – blog posts are generally intended to be shared
< 1757923334 4960 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I was surprised at linear logic being this relevant too (which is partly why it took me so long to think of it) – every other use of it that I've seen has just been as a method of defining the particular substructural type system that you actually wanted to use (which is often but not always intuitionistic logic)
< 1757923409 299422 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(part of the reason that the blog post took so long to write was that I was trying to understand ⅋ well enough to be able to explain it to other people)
< 1757923454 892458 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :fwiw, in terms of standard names, I might be unusual in that i don't need to name symbols at all if there's a standard way of writing/typing them
< 1757923508 233217 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :writing about Rust is difficult because the borrow operator & is to me just a symbol, I can use it just fine, but when I try to use it in a sentence it's sometimes preceded by a/an and then I get stuck because I don't know whether or not it starts with a vowel (I don't have a mental pronunciation of it)
< 1757923641 392738 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :also, the ! / ? duality is that a ! is a resource that can be used an arbitrary number of times, whereas processing a ? may require an arbitrarily large amount of resources (thus, anything you might use to process the ?, you need an infinite supply of)
< 1757924387 214470 :tromp!~textual@2001:1c00:3487:1b00:71ae:c4c:8876:9d63 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1757924846 582724 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :returning a ?T is like saying "I have extra T and I am going to make *you* deal with them"
< 1757924883 687377 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so a ?T isn't a T sink, it's the converse of a T sink – you don't use it to get rid of a T, you return it to get rid of a T
< 1757926173 261385 :fungot!~fungot@2a01:4b00:82bb:1341::a QUIT :Ping timeout: 252 seconds
< 1757926508 221085 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :bye fungot
< 1757926652 324330 :tromp!~textual@2001:1c00:3487:1b00:71ae:c4c:8876:9d63 JOIN #esolangs * :Textual User
< 1757927889 285717 :tromp!~textual@2001:1c00:3487:1b00:71ae:c4c:8876:9d63 QUIT :Ping timeout: 265 seconds
< 1757930344 26485 :fungot!~fungot@2a01:4b00:82bb:1341::a JOIN #esolangs fungot :fungot-0.1
< 1757930351 791025 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :Our internet service was down.
< 1757930405 355321 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :It'd be nice if the ISP had a proper outage status thing, they've got a "checker" but all it ever says is "service may be disrupted", with no details about whether they know what the problem is or if they might have an estimate for when it's fixed.
< 1757930609 406572 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :wb fungot
< 1757930609 979691 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :ais523: what's ml good for business apps?" at http://paste.lisp.org/ display/ 2832 files for each target basically, i try to build ccbi
> 1757930996 183347 PRIVMSG #esolangs :14[[07Chicken you too beautiful14]]4 10 02https://esolangs.org/w/index.php?diff=164637&oldid=137884 5* 03Kaveh Yousefi 5* (+234) 10Added a hyperlink to my implementation of the Chicken you too beautiful programming language on GitHub and supplemented page category tag Implemented.
< 1757932821 291591 :Everything!~Everythin@static.208.206.21.65.clients.your-server.de JOIN #esolangs Everything :Everything
< 1757933124 726437 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 JOIN #esolangs * :Textual User
< 1757934737 626190 :Everything!~Everythin@static.208.206.21.65.clients.your-server.de QUIT :Quit: leaving
> 1757935284 110527 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=164638&oldid=164631 5* 03I am islptng 5* (+175) 10/* I saw your message */
< 1757935809 85939 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1757935834 183503 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds
< 1757935979 841896 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1757937016 754877 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1757937412 240929 :amby!~ambylastn@host-78-151-28-204.as13285.net JOIN #esolangs amby :realname
< 1757937603 836300 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 JOIN #esolangs * :Textual User
< 1757938256 366559 :APic!apic@apic.name PRIVMSG #esolangs :Yo-Way-Yo!
< 1757938634 910401 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1757939331 561727 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03AUnitSquare 5*  10New user account
> 1757939589 816412 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=164639&oldid=164636 5* 03AUnitSquare 5* (+306) 10
< 1757943045 574939 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 JOIN #esolangs * :Textual User
< 1757948455 513109 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Oh, that's an interesting way of thinking of things. I normally think of ?T as an endpoint, not a thing that can be passed around. Good food for thought.
< 1757948538 888006 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :https://lobste.rs/s/ccy3b6/pirate_based_logic_rust_shared
< 1757951907 398822 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1757953086 16822 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 JOIN #esolangs * :Textual User
< 1757953157 91932 :impomatic!~impomatic@2a00:23c7:5fc6:3201:897d:dc6d:383e:5be2 JOIN #esolangs * :[https://web.libera.chat] impomatic
> 1757953730 387857 PRIVMSG #esolangs :14[[07Game:Esochain14]]4 10 02https://esolangs.org/w/index.php?diff=164640&oldid=164610 5* 03Hotcrystal0 5* (+36) 10
> 1757954479 247963 PRIVMSG #esolangs :14[[07Game:Esochain14]]4 10 02https://esolangs.org/w/index.php?diff=164641&oldid=164640 5* 03Aadenboy 5* (+42) 10kill server 2 + replace non-esolang on server 5
< 1757954489 534992 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1757957688 475295 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 JOIN #esolangs * :Textual User
< 1757958837 994286 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine
< 1757958981 691881 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1757959406 649151 :JGardner!~wryl@user/meow/Wryl JOIN #esolangs Wryl :June Gardner
< 1757960653 930093 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1757961006 689101 :impomatic!~impomatic@2a00:23c7:5fc6:3201:897d:dc6d:383e:5be2 QUIT :Quit: Client closed
< 1757961779 290288 :trumae!~Thunderbi@189.27.104.234.dynamic.adsl.gvt.net.br JOIN #esolangs trumae :trumae
< 1757961856 228875 :APic!apic@apic.name PRIVMSG #esolangs :Good Night
< 1757963585 295383 :JGardner!~wryl@user/meow/Wryl PRIVMSG #esolangs :sleep tight.
< 1757967709 89037 :trumae!~Thunderbi@189.27.104.234.dynamic.adsl.gvt.net.br QUIT :Remote host closed the connection
> 1757969533 179697 PRIVMSG #esolangs :14[[07User:Iloveunicorns14]]4 N10 02https://esolangs.org/w/index.php?oldid=164642 5* 03Iloveunicorns 5* (+573) 10Created page with "<p>I love unicorns. Esolangs too.<br> Im learning CSS, HTML and MediaWiki for decorating this page<br><br>I using Python for my interpreters, but i can tell ChatGPT write me interpreter on HTML or JS/Java.<br><br>I remember I made a visual interpreter fo
< 1757972586 850282 :tromp!~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1757973480 494155 :efrain!~efrain@user/efrainhj QUIT :Quit: efrain
< 1757974902 477856 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1757979614 783501 PRIVMSG #esolangs :14[[07Il14]]4 N10 02https://esolangs.org/w/index.php?oldid=164643 5* 03Iloveunicorns 5* (+2192) 10Created page with "{{infobox proglang | name        = Il | paradigms   = Imperative, Accumulator-based | author      = [[User:Iloveunicorns]] | year        = 2025 | class       = Total | majorimpl   = Python | influenced  = [[BittyLang]], [[Deadfish]], etc. }} '''Il''' is an esolang was