> 1743033746 454655 PRIVMSG #esolangs :14[[07Lag system14]]4 N10 02https://esolangs.org/w/index.php?oldid=154587 5* 03Stkptr 5* (+2757) 10corate pag
> 1743035637 194624 PRIVMSG #esolangs :14[[07Tag system14]]4 10 02https://esolangs.org/w/index.php?diff=154588&oldid=154573 5* 03Stkptr 5* (+17) 10/* See also */
< 1743038331 713292 :ajal!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement
< 1743043067 494516 :Artea!~Lufia@artea.pt QUIT :Killed (ozone (No Spam))
< 1743049894 297853 :Artea!~Lufia@artea.pt JOIN #esolangs Artea :Artea ElFo
< 1743051355 559202 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection
< 1743051368 989939 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
< 1743051615 198101 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Read error: Connection reset by peer
< 1743051671 268136 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
< 1743056330 98627 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1743057066 966892 :yewscion!~yewscion@2601:547:1400:1ab0:b3d9:e178:7811:ae04 QUIT :Remote host closed the connection
< 1743057071 436878 :yewscion_!~yewscion@2601:547:1400:1ab0:b3d9:e178:7811:ae04 JOIN #esolangs * :Claire Rodriguez
< 1743059767 173502 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds
< 1743059870 415559 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1743060731 696594 :Hoolootwo!~Hooloovoo@hax0rbana.org QUIT :Quit: ZNC 1.8.2+deb2+deb11u1 - https://znc.in
< 1743061383 448011 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :Hooloovoo
< 1743062629 368656 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1743064578 429043 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :Ping timeout: 276 seconds
< 1743065361 447317 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :Hooloovoo
> 1743065501 876808 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03JHSHernandez-ZBH 5*  10New user account
> 1743065834 244680 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=154589&oldid=154574 5* 03JHSHernandez-ZBH 5* (+525) 10/* Introductions */
> 1743066063 851469 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=154590&oldid=154589 5* 03JHSHernandez-ZBH 5* (+62) 10/* Introductions */
< 1743066251 817765 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :TODO: on 2025-04-01 set that month's password to "outside the scope of this wisdom entry"
> 1743066776 162951 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Macattacc 5*  10New user account
< 1743068221 991660 :tromp!~textual@2001:1c00:3487:1b00:898e:46d:9552:7305 JOIN #esolangs * :Textual User
< 1743068475 704490 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hacked up a basic embedded domain-specific language for validating Sammy programs: https://gist.github.com/MostAwesomeDude/ddcd93b59f149c6d97a91c849e6a4071
< 1743068491 724885 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Gotta implement Kan extensions. Need sleep first.
> 1743069213 521391 PRIVMSG #esolangs :14[[07User:JHSHernandez-ZBH/befunge98.b9814]]4 N10 02https://esolangs.org/w/index.php?oldid=154591 5* 03JHSHernandez-ZBH 5* (+188) 10Created page with " ];;;;;;;;;;;;;;;;;;;;] ]@ ; ;THIS IS BEFUNGE-98; ;   ; ;;;;;;;;;;;;;;;;;;;; ;'. ;[                    [;T+ ;;;;;;;;;;;;;;;;;;;;;;;;,8 [B', ',S',I', ',S',I',H']* [,'E,'F,'U,'N,'G,'E,'-,9a["
> 1743069386 174011 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154592&oldid=152731 5* 03JHSHernandez-ZBH 5* (+204) 10/* Tests */
< 1743072716 727477 :FreeFull!~freefull@79.186.3.8.ipv4.supernova.orange.pl QUIT :Quit: Lost terminal
> 1743072863 318022 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154593&oldid=154592 5* 0347 5* (-843) 10/* Tests */
< 1743077832 579483 :APic!apic@apic.name PRIVMSG #esolangs :Hi
> 1743078526 915406 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=154594&oldid=154590 5* 03Macattacc 5* (+103) 10
> 1743078531 997936 PRIVMSG #esolangs :14[[07TerraScript14]]4 N10 02https://esolangs.org/w/index.php?oldid=154595 5* 03Macattacc 5* (+2050) 10Created page with "This is an esolang inspired by the game Terraria. The language itself uses the names of items from the game. This does NOT include blocks and furniture; strangely, it still includes torches and their variants. This DOES include weapons, torches, accessories and co
> 1743079641 969414 PRIVMSG #esolangs :14[[07STRTRAN14]]4 10 02https://esolangs.org/w/index.php?diff=154596&oldid=147442 5* 03Froginstarch 5* (-11) 10/* IO */
> 1743079770 411401 PRIVMSG #esolangs :14[[07STRTRAN14]]4 10 02https://esolangs.org/w/index.php?diff=154597&oldid=154596 5* 03Froginstarch 5* (+61) 10/* IO */
> 1743079793 548257 PRIVMSG #esolangs :14[[07STRTRAN14]]4 10 02https://esolangs.org/w/index.php?diff=154598&oldid=154597 5* 03Froginstarch 5* (+0) 10/* IO */
> 1743079815 712985 PRIVMSG #esolangs :14[[07STRTRAN14]]4 10 02https://esolangs.org/w/index.php?diff=154599&oldid=154598 5* 03Froginstarch 5* (+1) 10/* IO */
< 1743082207 161759 :tromp!~textual@2001:1c00:3487:1b00:898e:46d:9552:7305 QUIT :Ping timeout: 252 seconds
< 1743083922 437231 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname
< 1743084350 576573 :tromp!~textual@2001:1c00:3487:1b00:f8c0:4558:f838:6f52 JOIN #esolangs * :Textual User
< 1743085238 467638 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname
> 1743085817 782298 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=154600&oldid=154594 5* 03Aadenboy 5* (+4) 10clarification
< 1743088308 217362 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
> 1743089922 442418 PRIVMSG #esolangs :14[[07Funge-9814]]4 10 02https://esolangs.org/w/index.php?diff=154601&oldid=122690 5* 03Tomrs123 2 5* (+0) 10spelling error!!
> 1743090680 158953 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 N10 02https://esolangs.org/w/index.php?oldid=154602 5* 03JunebugEsolanging 5* (+4209) 10Testing
> 1743090808 276426 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154603&oldid=154602 5* 03JunebugEsolanging 5* (+19) 10
> 1743090913 275349 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154604&oldid=154603 5* 03JunebugEsolanging 5* (+52) 10/* Example Programs */
> 1743090936 461370 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154605&oldid=154604 5* 03JunebugEsolanging 5* (-52) 10/* Example Programs */
> 1743090960 351577 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154606&oldid=154605 5* 03JunebugEsolanging 5* (+19) 10/* Example Programs */
> 1743091005 534494 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154607&oldid=154606 5* 03JunebugEsolanging 5* (+38) 10/* Example Programs */
> 1743091026 825444 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154608&oldid=154607 5* 03JunebugEsolanging 5* (-38) 10/* Example Programs */
> 1743091054 477205 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154609&oldid=154608 5* 03JunebugEsolanging 5* (+6) 10/* Example Programs */
> 1743091387 349972 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154610&oldid=154609 5* 03JunebugEsolanging 5* (+23) 10
< 1743092013 594253 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1743095642 639237 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
> 1743099580 806740 PRIVMSG #esolangs :14[[07Transfinite program14]]4 10 02https://esolangs.org/w/index.php?diff=154611&oldid=87920 5* 03Stkptr 5* (+941) 10/* Uncountably infinite programs */
> 1743101998 673088 PRIVMSG #esolangs :14[[07Turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=154612&oldid=127502 5* 03Stkptr 5* (+1702) 10
> 1743102625 880650 PRIVMSG #esolangs :14[[07Total function14]]4 N10 02https://esolangs.org/w/index.php?oldid=154613 5* 03Stkptr 5* (+1386) 10Created page with "A '''total function''' is a function which is defined for all inputs, that is, no input to the function will ever result in the answer ''undefined''. In the context of computer science, machines which halt (or equivalent definitions) on a given input are considere
> 1743102645 367055 PRIVMSG #esolangs :14[[07Partial function14]]4 N10 02https://esolangs.org/w/index.php?oldid=154614 5* 03Stkptr 5* (+28) 10Redirected page to [[Total function]]
> 1743102676 645675 PRIVMSG #esolangs :14[[07Partial14]]4 N10 02https://esolangs.org/w/index.php?oldid=154615 5* 03Stkptr 5* (+30) 10Redirected page to [[Partial function]]
> 1743102694 409438 PRIVMSG #esolangs :14[[07Total14]]4 N10 02https://esolangs.org/w/index.php?oldid=154616 5* 03Stkptr 5* (+28) 10Redirected page to [[Total function]]
< 1743104001 319672 :FreeFull!~freefull@79.186.3.8.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull
> 1743104370 967892 PRIVMSG #esolangs :14[[07Total function14]]4 10 02https://esolangs.org/w/index.php?diff=154617&oldid=154613 5* 03Stkptr 5* (+62) 10
> 1743104430 907553 PRIVMSG #esolangs :14[[07Diophantine equation14]]4 M10 02https://esolangs.org/w/index.php?diff=154618&oldid=154527 5* 03Stkptr 5* (+4) 10/* As a model of computation */
> 1743105566 655868 PRIVMSG #esolangs :14[[07Computable14]]4 M10 02https://esolangs.org/w/index.php?diff=154619&oldid=153819 5* 03Stkptr 5* (+172) 10/* Non-examples */
> 1743106108 45488 PRIVMSG #esolangs :14[[07Transfinite program14]]4 10 02https://esolangs.org/w/index.php?diff=154620&oldid=154611 5* 03Stkptr 5* (+1313) 10
> 1743106320 788847 PRIVMSG #esolangs :14[[07Sammy14]]4 M10 02https://esolangs.org/w/index.php?diff=154621&oldid=154198 5* 03Corbin 5* (+181) 10/* References */ Cruttwell's encoding will be important.
> 1743106452 892 PRIVMSG #esolangs :14[[07Turing machine14]]4 M10 02https://esolangs.org/w/index.php?diff=154622&oldid=154612 5* 03Stkptr 5* (+49) 10
> 1743106903 565011 PRIVMSG #esolangs :14[[07Clockwise Turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=154623&oldid=154571 5* 03Stkptr 5* (+110) 10
> 1743107039 724387 PRIVMSG #esolangs :14[[07User:JunebugEsolanging/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=154624&oldid=154610 5* 03JunebugEsolanging 5* (-108) 10/* Things in Switchy! */
> 1743108827 512734 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=154625&oldid=154577 5* 03Buckets 5* (+12) 10
> 1743108866 690167 PRIVMSG #esolangs :14[[07User:Buckets14]]4 M10 02https://esolangs.org/w/index.php?diff=154626&oldid=154579 5* 03Buckets 5* (+11) 10
> 1743108873 351272 PRIVMSG #esolangs :14[[07Aquas14]]4 N10 02https://esolangs.org/w/index.php?oldid=154627 5* 03Buckets 5* (+1581) 10Created page with "Aquas is an Esoteric programming language created by [[User:Buckets]] in 2021.  {| class="wikitable" |- ! Commands !! Instructions |- | Input || Gets an input and Sets it to the Current Variable. |- | {}OP#m || If the Input is The option equalling to The Curly braces with
> 1743109046 973098 PRIVMSG #esolangs :14[[07User:GreenThePear/Sandbox14]]4 N10 02https://esolangs.org/w/index.php?oldid=154628 5* 03GreenThePear 5* (+4965) 10rgbl first draft
< 1743109099 22486 :dawids_!~dawids@109.76.41.109 JOIN #esolangs * :realname
< 1743109204 47081 :dawids_!~dawids@109.76.41.109 QUIT :Remote host closed the connection
< 1743109487 21509 :dawids_!~dawids@109.76.41.109 JOIN #esolangs * :realname
> 1743112064 837524 PRIVMSG #esolangs :14[[07Unsmiley14]]4 N10 02https://esolangs.org/w/index.php?oldid=154629 5* 03Rdococ 5* (+1077) 10Silly idea
> 1743112096 218634 PRIVMSG #esolangs :14[[07User:Rdococ14]]4 M10 02https://esolangs.org/w/index.php?diff=154630&oldid=154369 5* 03Rdococ 5* (+68) 10
< 1743113704 18612 :dawids_!~dawids@109.76.41.109 QUIT :Ping timeout: 265 seconds
< 1743115769 678010 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Bleh, still stuck on Kan extensions, and out of time for now, but I bumped that paste with a better API: https://gist.github.com/MostAwesomeDude/ddcd93b59f149c6d97a91c849e6a4071
< 1743115858 415416 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :From the "Counting Finite Categories" slides, there's a way to encode finite categories as matrices of natural numbers, and so we can reuse a lot of standard graph-theory techniques here. (Technically a category is a hypergraph with path equivalences, but this only encodes hypergraphs and we have to promise to preserve equivalent paths.)
< 1743116363 148019 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But I think that Sammy constructions are computable. Just arduous and possibly memory-intensive.
> 1743117392 725771 PRIVMSG #esolangs :14[[07Sammy14]]4 10 02https://esolangs.org/w/index.php?diff=154631&oldid=154621 5* 03Corbin 5* (+571) 10Still unusable, but implemented about as much as any other underspecified language.
< 1743117456 466041 :craigo!~craigo@user/craigo QUIT :Quit: Leaving