> 1642464158 897198 PRIVMSG #esolangs :14[[07Yoctostack14]]4 10 02https://esolangs.org/w/index.php?diff=92215&oldid=92156 5* 03Otesunki 5* (+94) 10credit quintopia with further minimalizations
> 1642465379 478507 PRIVMSG #esolangs :14[[07Yoctostack14]]4 M10 02https://esolangs.org/w/index.php?diff=92216&oldid=92215 5* 03Otesunki 5* (-3) 10j o k e s
> 1642465408 783140 PRIVMSG #esolangs :14[[07Yoctostack14]]4 M10 02https://esolangs.org/w/index.php?diff=92217&oldid=92216 5* 03Otesunki 5* (+5) 10mental copy paste error
< 1642465832 285581 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :7,14▀14,3▀███
< 1642465834 275781 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :14,3▀ ▀██
< 1642465838 723302 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :3▀▀▀▀▀  not very lucky today
< 1642465846 403088 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Whoops, I forgot to turn off the color there.
< 1642466132 71433 :ProofTechnique!sid79547@id-79547.ilkley.irccloud.com QUIT :Ping timeout: 268 seconds
< 1642466132 157078 :fizzie!irc@selene.zem.fi QUIT :Ping timeout: 268 seconds
< 1642466171 431809 :riv!river@tilde.team/user/river QUIT :Ping timeout: 268 seconds
< 1642466270 777097 :riv!river@tilde.team/user/river JOIN #esolangs river :My real name
< 1642466277 779033 :ProofTechnique!sid79547@id-79547.ilkley.irccloud.com JOIN #esolangs ProofTechnique :ptech
< 1642466364 70215 :fizzie!irc@selene.zem.fi JOIN #esolangs fizzie :Heikki Kallasjoki
> 1642467377 444594 PRIVMSG #esolangs :14[[07PocketBF14]]4 10 02https://esolangs.org/w/index.php?diff=92218&oldid=92210 5* 03Pikal 5* (+6) 10
< 1642467825 122260 :eli_oat!~eli_oat@217.138.206.38 JOIN #esolangs eli_oat :eli_oat
> 1642468303 845320 PRIVMSG #esolangs :14[[07InstructionPointerBF14]]4 M10 02https://esolangs.org/w/index.php?diff=92219&oldid=92209 5* 03PythonshellDebugwindow 5* (-35) 10This isn't a brainfuck equivalent as per the category's definition
> 1642468337 128716 PRIVMSG #esolangs :14[[07PocketBF14]]4 M10 02https://esolangs.org/w/index.php?diff=92220&oldid=92218 5* 03PythonshellDebugwindow 5* (-35) 10This isn't a brainfuck equivalent as per the category's definition
< 1642471176 730101 :eli_oat!~eli_oat@217.138.206.38 QUIT :Quit: eli_oat
< 1642471663 198379 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection
< 1642471676 687443 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
< 1642471780 991648 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection
< 1642471979 708328 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
> 1642472557 49135 PRIVMSG #esolangs :14[[07SolboScript14]]4 10 02https://esolangs.org/w/index.php?diff=92221&oldid=51969 5* 03Kaveh Yousefi 5* (+174) 10Added a hyperlink to my implementation of the SolboScript programming language on GitHub.
> 1642472845 402454 PRIVMSG #esolangs :14[[07SolboScript14]]4 10 02https://esolangs.org/w/index.php?diff=92222&oldid=92221 5* 03Kaveh Yousefi 5* (+211) 10Extended the specification regarding the inchoate BWEEEEEEEEEEEEE (loop until) command, following the pattern of BWEEEEEEEEEEE (if).
< 1642475704 483673 :Everything!~Everythin@46-133-77-215.mobile.vf-ua.net QUIT :Quit: leaving
< 1642478976 949276 :Guest34!~Guest34@2600:100e:bf16:8dc:54eb:47fe:860:33b0 JOIN #esolangs * :[https://web.libera.chat] Guest34
< 1642479042 303609 :Guest34!~Guest34@2600:100e:bf16:8dc:54eb:47fe:860:33b0 PRIVMSG #esolangs :https://preview.tinyurl.com/yrxmb83n I think I made some sort of esolang.
< 1642479202 164069 :Guest34!~Guest34@2600:100e:bf16:8dc:54eb:47fe:860:33b0 PRIVMSG #esolangs :Just put it here. https://github.com/PyMaster22/test-git-repo/blob/main/esolang.py
< 1642480309 909334 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :t b k ky jt h bc
> 1642482415 497967 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92223&oldid=92214 5* 03PixelatedStarfish 5* (+101) 10/* External Links */
> 1642482432 275804 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92224&oldid=92223 5* 03PixelatedStarfish 5* (+0) 10/* External Links */
> 1642482491 570441 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92225&oldid=92224 5* 03PixelatedStarfish 5* (+36) 10/* External Links */
> 1642482544 159725 PRIVMSG #esolangs :14[[07MacroBeep14]]4 10 02https://esolangs.org/w/index.php?diff=92226&oldid=92225 5* 03PixelatedStarfish 5* (+71) 10
> 1642482658 328635 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92227&oldid=91610 5* 03PixelatedStarfish 5* (-110) 10/* Unimplemented Languages */
> 1642482679 16239 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92228&oldid=92227 5* 03PixelatedStarfish 5* (+228) 10/* Implemented Languages */
> 1642482694 537772 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92229&oldid=92228 5* 03PixelatedStarfish 5* (+1) 10/* MacroBeep */
> 1642482709 725749 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92230&oldid=92229 5* 03PixelatedStarfish 5* (-1) 10/* Heck */
> 1642482741 928423 PRIVMSG #esolangs :14[[07User:PixelatedStarfish14]]4 10 02https://esolangs.org/w/index.php?diff=92231&oldid=92230 5* 03PixelatedStarfish 5* (+21) 10/* MacroBeep */
< 1642483457 511749 :Kit!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com QUIT :Ping timeout: 240 seconds
< 1642483500 909741 :kit-ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com QUIT :Ping timeout: 250 seconds
< 1642483550 845183 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com JOIN #esolangs * :realname
< 1642483574 89505 :kit-ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com JOIN #esolangs * :u0_a391
< 1642484306 791928 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Ping timeout: 250 seconds
< 1642485254 312205 :Guest34!~Guest34@2600:100e:bf16:8dc:54eb:47fe:860:33b0 QUIT :Quit: Client closed
< 1642486975 721350 :utoneq!~utoneq@gateway/tor-sasl/utoneq JOIN #esolangs utoneq :utoneq
< 1642489329 649805 :utoneq!~utoneq@gateway/tor-sasl/utoneq QUIT :Ping timeout: 276 seconds
< 1642490119 695295 :utoneq!~utoneq@gateway/tor-sasl/utoneq JOIN #esolangs utoneq :utoneq
< 1642490655 649459 :utoneq!~utoneq@gateway/tor-sasl/utoneq QUIT :Ping timeout: 276 seconds
< 1642494586 288655 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1642495889 696201 :utoneq!~utoneq@gateway/tor-sasl/utoneq JOIN #esolangs utoneq :utoneq
< 1642496420 945821 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642496472 607140 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :int-e: do you know how to rewrite your monadic whnf reducer to a nf one?
< 1642499162 779515 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i have something that requires distringuishing bound from unbound variable lookups, which is kinda hacky (using Var MININT)
< 1642502535 69813 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1642502587 136859 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds
< 1642502705 167232 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1642504868 658806 :utoneq!~utoneq@gateway/tor-sasl/utoneq QUIT :Remote host closed the connection
< 1642504894 952229 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz QUIT :Quit: Client closed
< 1642505689 53528 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1642508728 772258 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642508974 260878 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642509118 880134 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1642510411 626622 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642512630 89847 :eli_oat!~eli_oat@185.240.244.77 JOIN #esolangs eli_oat :eli_oat
< 1642514084 39724 :eli_oat!~eli_oat@185.240.244.77 QUIT :Ping timeout: 268 seconds
< 1642514976 895652 :eli_oat!~eli_oat@98.2.227.87 JOIN #esolangs eli_oat :eli_oat
< 1642517114 938697 :razetime!~quassel@49.207.203.87 JOIN #esolangs * :razetime
< 1642518880 899572 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1642519600 264337 PRIVMSG #esolangs :14[[07Init14]]4 M10 02https://esolangs.org/w/index.php?diff=92232&oldid=92051 5* 03WhyNot? 5* (+19) 10
< 1642519627 516970 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1642519653 230512 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`? Rosetta scone
< 1642519656 247785 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Rosetta scone? ¯\(°​_o)/¯
< 1642520236 427904 :riv!river@tilde.team/user/river PRIVMSG #esolangs :LOL
< 1642521610 742380 :riv!river@tilde.team/user/river PRIVMSG #esolangs :https://github.com/barrettotte/punchit#introduction-to-punch-cards very pretty ascii art
< 1642523327 672794 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
< 1642523524 747255 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642525767 443163 :eli_oat!~eli_oat@98.2.227.87 QUIT :Quit: eli_oat
< 1642526083 137506 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642526205 83330 :eli_oat!~eli_oat@185.240.244.77 JOIN #esolangs eli_oat :eli_oat
< 1642526322 817235 :razetime!~quassel@49.207.203.87 QUIT :Ping timeout: 250 seconds
< 1642526897 210727 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642528218 655080 :kit_ten!~u0_a391@2600:380:a451:6557:78fd:fdbf:da0b:386a JOIN #esolangs * :u0_a391
< 1642528440 87518 :kit-ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com QUIT :Ping timeout: 268 seconds
< 1642528945 92784 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__
< 1642529146 914494 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642529311 101863 :eli_oat!~eli_oat@185.240.244.77 QUIT :Ping timeout: 256 seconds
< 1642529478 92498 :eli_oat!~eli_oat@185.240.244.78 JOIN #esolangs eli_oat :eli_oat
< 1642530102 139006 :kspalaiologos!~kspalaiol@user/kspalaiologos JOIN #esolangs kspalaiologos :Kamila
< 1642530271 110276 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642530476 268942 :kspalaiologos!~kspalaiol@user/kspalaiologos QUIT :Quit: Leaving
< 1642531508 43448 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642531985 834858 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642532555 255263 :tech_exorcist_!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
> 1642532557 408009 PRIVMSG #esolangs :14[[07!aoQ):14]]4 M10 02https://esolangs.org/w/index.php?diff=92233&oldid=85518 5* 03Otesunki 5* (+1) 10typo in fib program
< 1642532590 152666 :tech_exorcist_!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1642532687 945391 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Ping timeout: 256 seconds
< 1642532859 603070 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642533513 353268 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642534111 11156 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: kind of (the `red` function is a start), but tracking indices through the Abs case gets hairy: since tracking indices with all the captured contexts is too hairy, you'd have to apply them to a dummy variable, continue reducing, and then translate those dummies back in the end
< 1642534189 177718 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642534472 86148 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642535047 739442 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: Basically that's the reason why I wrote all those `check*` functions: I have a good idea how to go about it, but have not actually worked it out in full detail.
> 1642535130 389698 PRIVMSG #esolangs :14[[07NPFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=92234&oldid=60824 5* 03PythonshellDebugwindow 5* (+75) 10Categorize
< 1642535199 666611 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i wondered if there was an elegant way to do it without application to dummy variables, but maybe there isn't
< 1642535385 277979 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :when reducing a subterm like (\. 0 1) that is not applied, the 1 might need to be looked up from the environment, while the 0 should remain as is. 
< 1642535417 865918 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oh right I should call those environments
< 1642535458 897785 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Anyway there's environments within environments and there's no record of the depth at which they were captured.
< 1642535471 683801 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i added some more types to your whnf:
< 1642535484 606166 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :data L = Var !Int | Abs L | App L L | Ctx Closure deriving (Eq)
< 1642535485 970196 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :type Environment = [Closure]
< 1642535492 183310 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :data Closure = Clo Environment L deriving (Eq)
< 1642535557 8357 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i had overlooked your red function. let me study that one....
< 1642535640 566414 :int-e!~noone@int-e.eu PRIVMSG #esolangs :well, it stops where things would get interesting
< 1642535732 601606 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :so that only works when the nf is all dummy variables?
< 1642535764 431174 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yeah, but it doesn't introduce any itself
< 1642535876 474250 :int-e!~noone@int-e.eu PRIVMSG #esolangs :let me see if I can get anywhere within half an hour or so
< 1642535971 869317 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :what i really need is a way to test if two terms have the same nf; i don't need to know what the nf is...
< 1642536014 651673 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :maybe dummy vars are the best way to do that
< 1642536027 55213 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :ZNC - https://znc.in
< 1642536456 77382 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: https://paste.debian.net/1227557/ should do the trick for closed terms
< 1642536517 104613 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :Thanks, int-e! will take me longer to grok then you to write:-)
< 1642536666 546559 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And you can skip the `localize` if you just want to compare; what happens is that the resulting term has variables -1 referring to outermost lambdas, -2 referring to lambdas nested one deep, etc; so it's a global index where de Bruijn ones are local.
< 1642536720 626974 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(hence the name `localize`
< 1642536722 6699 :int-e!~noone@int-e.eu PRIVMSG #esolangs :)
< 1642536746 547199 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :awesome!
< 1642536904 733982 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :does that work with my above types?
< 1642536941 242963 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :compiler complains about 203 |     spine d t@(Clo _ (Abs _)) = do
< 1642536947 88381 :int-e!~noone@int-e.eu PRIVMSG #esolangs :mostly. Clo _ (Abs _) should be Ctx (Clo _ (Abs _))
< 1642536952 570381 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :Couldn't match expected type ‘L’ with actual type ‘Closure’
< 1642536961 71071 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :ah, that's what i suspected
< 1642536986 366525 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :compiler happy now
< 1642537007 361086 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I changed the constructor name, but didn't add a type for closures)
< 1642537055 36543 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :it works like a charm!
< 1642537407 949158 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com NICK :kit
< 1642537821 533151 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: cleaning up (and picking a slightly different corner in the separate type for closures design space): https://paste.debian.net/1227560/
< 1642537943 298451 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(by a circuitous route: I used Ctx (Clo _ _), then added an UNPACK pragma and a pattern synonym  CloL c e = Ctx (Clo c e), and then realized that if the pattern synonym would just be a constructor, I'd get the same code)
> 1642538063 320363 PRIVMSG #esolangs :14[[07User talk:Palaiologos14]]4 N10 02https://esolangs.org/w/index.php?oldid=92235 5* 03Not applicable 5* (+561) 10Created page with "im really sorry for what i did a couple days ago, i didn't mean what i said, and i wasn't thinking my actions through. i really, really, am sorry and i hope that you can under..."
< 1642538640 285384 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: and obviously you can interleave two copies of that code and have a lazier check for equal normal forms, if you want one
< 1642538818 948216 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh and `localize` and `spine` can probably be fused, hmm.
< 1642538819 33176 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642539924 915482 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving
< 1642540999 131698 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642541045 963154 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz JOIN #esolangs salpynx :[https://web.libera.chat] salpynx
< 1642541078 59141 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :true; but when comparing all terms of a certain size over a basis, it can be expected to be almost fully expanded anyway
< 1642541093 887791 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :or i should say up to a certain size
< 1642541543 707905 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz PRIVMSG #esolangs :re. alpha; are you both working towards a publication or release of something with this? I was considering modifying the scheme / LazyK interpreter to recognise `α` and play with writing some simple programs. Wasn't sure if I should wait, or how to provide attribution.
< 1642541620 222720 :salpynx!~salpynx@121-75-16-198.dyn.vf.net.nz PRIVMSG #esolangs :(I'm probably not likely to do this imminently, despite best intentions)
< 1642541966 792752 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :me and mtve might write a paper together, but also not imminent
< 1642541972 661134 :eli_oat!~eli_oat@185.240.244.78 QUIT :Quit: eli_oat
< 1642546903 418389 :kit-ten!~u0_a391@2603-6010-a141-6fa3-f44f-d859-cfd9-2a3c.res6.spectrum.com JOIN #esolangs * :u0_a391
< 1642547097 528063 :kit_ten!~u0_a391@2600:380:a451:6557:78fd:fdbf:da0b:386a QUIT :Ping timeout: 240 seconds
< 1642547617 500361 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1642547861 600608 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1642547970 115336 PRIVMSG #esolangs :14[[07CASTLE14]]4 10 02https://esolangs.org/w/index.php?diff=92236&oldid=91364 5* 03Quintopia 5* (+169) 10Circute
> 1642550064 286849 PRIVMSG #esolangs :14[[07Talk:TinyBF14]]4 10 02https://esolangs.org/w/index.php?diff=92237&oldid=50224 5* 03Salpynx 5* (+1088) 10/* Category Brainfuck_equivalents */ new section