00:06:41 -!- DOS_User_webchat has quit (Ping timeout: 272 seconds).
00:10:59 -!- DOS_User_webchat has joined.
00:11:08 <esolangs> [[Eaf ...Where is o]] N https://esolangs.org/w/index.php?oldid=173676 * Yoyolin0409 * (+723) Created page with "{{lowercase}}'''eaf ...Where is o''' is an esolang by [[User:Yoyolin0409]]. It's like a [[deadfish]], but without any commands, not even an 'h' (So where exactly is the "o" in the word "deadfish"?). Of course, it would be a shame if it were truly useless, s
00:11:10 -!- impomatic has quit (Quit: Client closed).
00:11:35 <esolangs> [[User:Yoyolin0409]] https://esolangs.org/w/index.php?diff=173677&oldid=173486 * Yoyolin0409 * (+23) /* Done */
00:14:17 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=173678&oldid=173636 * Yoyolin0409 * (+49) /* */
00:15:21 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=173679&oldid=173678 * Yoyolin0409 * (+9) /* esolang wiki */
00:17:36 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=173680&oldid=173679 * Yoyolin0409 * (+233) /* Excuse me? */
00:37:05 -!- DOS_User_webchat has quit (Ping timeout: 272 seconds).
00:46:30 <esolangs> [[PrySigneToFry-complete-lang]] N https://esolangs.org/w/index.php?oldid=173681 * Yoyolin0409 * (+1390) Created page with "{{wIP}}{{stub}} '''PrySigneToFry-complete-lang''' is an esolang by [[User:Yoyolin0409]]. It's [[PrySigneToFry-complete]]. ==Creative Process== ===Level 1=== This Esolang must be able to output "" or "Hello, world!". It was simple, so I took over
01:15:52 <esolangs> [[PrySigneToFry-complete-lang]] https://esolangs.org/w/index.php?diff=173682&oldid=173681 * Yoyolin0409 * (+1533) /* Creative Process */
01:16:18 <esolangs> [[PrySigneToFry-complete-lang]] https://esolangs.org/w/index.php?diff=173683&oldid=173682 * Yoyolin0409 * (+3) /* Level 1 */
01:18:00 <esolangs> [[PrySigneToFry-complete-lang]] https://esolangs.org/w/index.php?diff=173684&oldid=173683 * Yoyolin0409 * (+8) /* Level 1 */
01:22:10 <esolangs> [[PrySigneToFry-complete-lang]] https://esolangs.org/w/index.php?diff=173685&oldid=173684 * Yoyolin0409 * (+1) /* Level 1 */
01:48:48 <esolangs> [[5++]] M https://esolangs.org/w/index.php?diff=173686&oldid=173656 * RetroPain * (+21)
02:00:14 <esolangs> [[PrySigneToFry-complete-lang]] https://esolangs.org/w/index.php?diff=173687&oldid=173685 * Yoyolin0409 * (+754) /* Level 1 */
02:13:46 <esolangs> [[Eaf ...Where is o]] https://esolangs.org/w/index.php?diff=173688&oldid=173676 * Yoyolin0409 * (+136) /* Example */
02:14:09 <esolangs> [[Eaf ...Where is o]] https://esolangs.org/w/index.php?diff=173689&oldid=173688 * Yoyolin0409 * (+18) /* Example */
02:15:07 <esolangs> [[Eaf ...Where is o]] https://esolangs.org/w/index.php?diff=173690&oldid=173689 * Yoyolin0409 * (+275) /* Example */
02:15:20 <esolangs> [[Eaf ...Where is o]] https://esolangs.org/w/index.php?diff=173691&oldid=173690 * Yoyolin0409 * (+1) /* Output -255 */
02:16:16 <esolangs> [[SlayScript]] N https://esolangs.org/w/index.php?oldid=173692 * Kalavian * (+5978) Created page with "SlayScript is an esoteric programming language created by Kalavian in January 2026. It is currently unimplemented. =Basic Syntax= Lines end with two semicolons. If one semicolon is used, an error is thrown with a random line number. If no semicolons are used, undef
02:16:34 <esolangs> [[SlayScript]] https://esolangs.org/w/index.php?diff=173693&oldid=173692 * Kalavian * (+18)
02:18:31 <esolangs> [[SlayScript]] https://esolangs.org/w/index.php?diff=173694&oldid=173693 * Kalavian * (-62)
02:19:37 <esolangs> [[SlayScript]] https://esolangs.org/w/index.php?diff=173695&oldid=173694 * Kalavian * (-253)
02:21:35 <esolangs> [[SlayScript]] https://esolangs.org/w/index.php?diff=173696&oldid=173695 * Kalavian * (-5633) Replaced content with "Moderators, please delete this page immediately."
02:23:23 <esolangs> [[Special:Log/move]] move * Kalavian * moved [[SlayScript]] to [[DeleteThisPage]]
02:29:25 -!- amby has 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).
02:35:30 <esolangs> [[User:Yoyolin0409]] https://esolangs.org/w/index.php?diff=173699&oldid=173677 * Yoyolin0409 * (+33) /* Maybe It Can't Be Done */
02:39:58 <esolangs> [[Use of AI in esoteric languages]] https://esolangs.org/w/index.php?diff=173700&oldid=170067 * Yoyolin0409 * (+16) /* Esoteric languages invented by AI */
02:41:03 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=173701&oldid=173680 * Yoyolin0409 * (+173) /* Excuse me? */
02:58:48 <esolangs> [[Fish]] M https://esolangs.org/w/index.php?diff=173702&oldid=153223 * Antojo7595 * (+439) /* Examples */
03:01:11 <esolangs> [[Fish]] M https://esolangs.org/w/index.php?diff=173703&oldid=173702 * Antojo7595 * (+64) /* Basic calculator */
03:04:27 <esolangs> [[Tau]] https://esolangs.org/w/index.php?diff=173704&oldid=173490 * Dmiz * (+160)
03:05:03 -!- op_4 has quit (Remote host closed the connection).
03:05:35 -!- op_4 has joined.
04:08:04 <esolangs> [[Brainball]] https://esolangs.org/w/index.php?diff=173705&oldid=173564 * FordsTheodore * (+80)
04:08:33 <esolangs> [[Brainball]] https://esolangs.org/w/index.php?diff=173706&oldid=173705 * FordsTheodore * (-2) /* Implementation */
04:18:22 -!- scoofy has joined.
04:19:39 -!- scoofy has changed hostmask to ~scoofy@user/scoofy.
04:35:01 -!- msv has quit (Remote host closed the connection).
04:41:08 <esolangs> [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=173707&oldid=173624 * None1 * (+117) /* Commands */
05:05:23 -!- impomatic has joined.
05:08:55 <esolangs> [[Esolang:Candidates for deletion]] https://esolangs.org/w/index.php?diff=173708&oldid=172407 * PkmnQ * (+22) /* Articles for deletion */
05:23:09 <esolangs> [[User:PrySigneToFry]] https://esolangs.org/w/index.php?diff=173709&oldid=173635 * I am islptng * (-60) Polynomix
06:57:18 -!- scoofy has quit (Quit: Leaving).
07:02:39 <esolangs> [[OSColang]] N https://esolangs.org/w/index.php?oldid=173710 * Anywaydun * (+6684) Created page with "'''OSColang''' (pronounced oh-es-ko-lang) is an esolang made by [[User:Anywaydun]] meant to commemorate 16 years of Battle of Dream Island, and the object show community as a whole. It was made to show the creations of the wider OSC and represent them somewhere (thou
07:04:28 <esolangs> [[Eviledon]] https://esolangs.org/w/index.php?diff=173711&oldid=173112 * RikoMamaBala * (+28) /* Computational class */
07:10:57 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=173712&oldid=173671 * Anywaydun * (+15)
07:14:42 <esolangs> [[PyFuck (yoyolin0409)]] N https://esolangs.org/w/index.php?oldid=173713 * Yoyolin0409 * (+1889) Created page with "'''PyFuck''' is an esolang by [[User:yoyolin0409]]. Also check out [[PyFuck]] and [[JSFuck]] so you'll know what I want to do. This esolang only has the following valid characters: "rep=()[]+'*j" and "eval", ".clear", ".count", "chr". In addition, our P
07:20:56 <esolangs> [[PyFuck (yoyolin0409)]] https://esolangs.org/w/index.php?diff=173714&oldid=173713 * Yoyolin0409 * (+139)
07:26:03 <esolangs> [[Eviledon/Turing-completeness proof]] N https://esolangs.org/w/index.php?oldid=173715 * RikoMamaBala * (+1198) Created page with "Here's a proof of Turing-completeness of [[Eviledon]]. We can make a Brainfuck-to-Eviledon compiler using: Chimpanzini Bananini Tung Tung Tung Sahur Sahur Sahur Sahur Sahur Lirili Larila Sahur Tralalero Tralala Bombardotto Aquilotto
07:51:50 <esolangs> [[PyFuck (yoyolin0409)]] https://esolangs.org/w/index.php?diff=173716&oldid=173714 * Yoyolin0409 * (+735)
07:53:11 <esolangs> [[PyFuck]] https://esolangs.org/w/index.php?diff=173717&oldid=144683 * Yoyolin0409 * (+96)
07:54:00 <esolangs> [[PyFuck (yoyolin0409)]] https://esolangs.org/w/index.php?diff=173718&oldid=173716 * Yoyolin0409 * (+38)
07:54:58 <esolangs> [[PyFuck (yoyolin0409)]] https://esolangs.org/w/index.php?diff=173719&oldid=173718 * Yoyolin0409 * (-77) /* First Step */
07:59:06 <esolangs> [[PyFuck (yoyolin0409)]] https://esolangs.org/w/index.php?diff=173720&oldid=173719 * Yoyolin0409 * (+0) /* False */
08:08:58 <esolangs> [[OSColang]] https://esolangs.org/w/index.php?diff=173721&oldid=173710 * Anywaydun * (+104)
08:51:04 <esolangs> [[PyFuck (yoyolin0409)]] https://esolangs.org/w/index.php?diff=173722&oldid=173720 * Yoyolin0409 * (-1)
08:52:17 <esolangs> [[PyFuck (yoyolin0409)]] https://esolangs.org/w/index.php?diff=173723&oldid=173722 * Yoyolin0409 * (+1) /* First Step */
08:55:16 <esolangs> [[]] https://esolangs.org/w/index.php?diff=173724&oldid=171009 * Mutasimos * (+190) Add another dialect
08:57:11 <esolangs> [[PyFuck (yoyolin0409)]] https://esolangs.org/w/index.php?diff=173725&oldid=173723 * Yoyolin0409 * (-17) /* First Step */
09:01:31 -!- laerling has quit (Ping timeout: 250 seconds).
09:02:12 -!- tromp has joined.
09:06:27 <esolangs> [[Oscolang]] N https://esolangs.org/w/index.php?oldid=173726 * Anywaydun * (+22) Redirected page to [[OSColang]]
09:08:27 -!- laerling has joined.
09:12:12 <esolangs> [[]] https://esolangs.org/w/index.php?diff=173727&oldid=173724 * Mutasimos * (+4) fixity
09:26:04 <esolangs> [[User:RaiseAfloppaFan3925]] M https://esolangs.org/w/index.php?diff=173728&oldid=173251 * RaiseAfloppaFan3925 * (+461) i hate linear bounded automata with all of my atoms
09:26:35 <esolangs> [[OSColang]] https://esolangs.org/w/index.php?diff=173729&oldid=173721 * Anywaydun * (+32)
09:27:01 <esolangs> [[OSColang]] https://esolangs.org/w/index.php?diff=173730&oldid=173729 * Anywaydun * (+0)
09:29:37 <esolangs> [[Special:Log/move]] move * I am islptng * moved [[SLet (Old)]] to [[SLet 1]]: Formal labelling
09:29:55 <esolangs> [[Special:Log/move]] move * I am islptng * moved [[SLet (Old 2)]] to [[SLet 2]]: Formal labelling
09:30:27 <esolangs> [[Special:Log/move]] move * I am islptng * moved [[SLet (Old 3)]] to [[SLet 3]]: Formal labelling
09:30:27 <esolangs> [[Special:Log/move]] move * I am islptng * moved [[Talk:SLet (Old 3)]] to [[Talk:SLet 3]]: Formal labelling
09:30:51 <esolangs> [[Special:Log/move]] move * I am islptng * moved [[SLet]] to [[SLet 4]]: Formal labelling
09:30:51 <esolangs> [[Special:Log/move]] move * I am islptng * moved [[Talk:SLet]] to [[Talk:SLet 4]]: Formal labelling
09:31:17 <esolangs> [[OSColang]] https://esolangs.org/w/index.php?diff=173743&oldid=173730 * Anywaydun * (+1011)
09:32:43 <esolangs> [[SLet]] https://esolangs.org/w/index.php?diff=173744&oldid=173740 * I am islptng * (+55) Removed redirect to [[SLet 4]]
09:34:25 <esolangs> [[SLet/navbar]] https://esolangs.org/w/index.php?diff=173745&oldid=167157 * I am islptng * (-20)
09:36:07 <esolangs> [[SLet/navbar]] https://esolangs.org/w/index.php?diff=173746&oldid=173745 * I am islptng * (+28)
09:39:02 <esolangs> [[Polynomix]] https://esolangs.org/w/index.php?diff=173747&oldid=173562 * I am islptng * (-20)
09:39:44 <esolangs> [[]] N https://esolangs.org/w/index.php?oldid=173748 * ColorfulGalaxy's CA discoveries * (+1301) ----
09:39:55 <esolangs> [[SLet/navbar]] https://esolangs.org/w/index.php?diff=173749&oldid=173746 * I am islptng * (-7)
09:42:03 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:55:20 <esolangs> [[]] https://esolangs.org/w/index.php?diff=173750&oldid=173183 * ColorfulGalaxy's CA discoveries * (+33) /* See also */ ----
10:02:17 -!- Sgeo has quit (Read error: Connection reset by peer).
10:09:07 <esolangs> [[User talk:Mrtli08]] https://esolangs.org/w/index.php?diff=173751&oldid=173652 * Mrtli08 * (+88)
10:14:16 <esolangs> [[SLet]] https://esolangs.org/w/index.php?diff=173752&oldid=173744 * I am islptng * (+1929)
10:14:58 <esolangs> [[SLet]] https://esolangs.org/w/index.php?diff=173753&oldid=173752 * I am islptng * (+0)
10:18:57 <esolangs> [[]] N https://esolangs.org/w/index.php?oldid=173754 * ColorfulGalaxy's CA discoveries * (+1303) ----
10:22:48 <esolangs> [[OSColang]] https://esolangs.org/w/index.php?diff=173755&oldid=173743 * Anywaydun * (+143)
10:34:36 <esolangs> [[PyFuck]] M https://esolangs.org/w/index.php?diff=173756&oldid=173717 * None1 * (-1) Fix typo
10:38:23 <esolangs> [[Talk:1=0+1]] https://esolangs.org/w/index.php?diff=173757&oldid=173593 * None1 * (+500)
10:41:54 <esolangs> [[User:None1]] M https://esolangs.org/w/index.php?diff=173758&oldid=172848 * None1 * (+42)
10:42:12 <esolangs> [[User:None1]] M https://esolangs.org/w/index.php?diff=173759&oldid=173758 * None1 * (+1)
10:44:25 <esolangs> [[Segment]] N https://esolangs.org/w/index.php?oldid=173760 * Cleverxia * (+6012) Created page with "Segment is an [[esoteric programming language]] inspired by [[Glypho]] [[Incident]] and some others by [[User:cleverxia]]. ==Parsing== Let the program be in P then the following node.js program will parse it into sections: <pre> P="<Code <goes <here>"; [J,...P]=[...P
10:50:11 <esolangs> [[Segment]] M https://esolangs.org/w/index.php?diff=173761&oldid=173760 * Cleverxia * (+77) I am too fucked to make that type of mistakes
10:54:36 <esolangs> [[User:Anywaydun]] N https://esolangs.org/w/index.php?oldid=173762 * Anywaydun * (+545) Created page with "Hi! I'm '''Anywaydun''' (also this on Wikipedia), and I'm here to do things with esoteric programming languages! ...I've been watching way too much Truttle1 recently. (18 Jan 2026) ==My esolangs== ===Real=== * [[OSColang]], an esolang to showcase object show co
10:57:27 -!- tromp has joined.
10:58:40 <esolangs> [[User:Cleverxia]] M https://esolangs.org/w/index.php?diff=173763&oldid=173591 * Cleverxia * (+134)
11:10:29 <esolangs> [[Fish]] M https://esolangs.org/w/index.php?diff=173764&oldid=173703 * Antojo7595 * (+17) /* Basic calculator */
12:00:46 <esolangs> [[User:Anywaydun]] https://esolangs.org/w/index.php?diff=173765&oldid=173762 * Anywaydun * (+162)
12:07:18 <esolangs> [[Unifuck]] M https://esolangs.org/w/index.php?diff=173766&oldid=163819 * ColorfulGalaxy's CA discoveries * (+34) ----) (This page seems to be a duplicate of another page.
12:11:27 <esolangs> [[Hello world program in esoteric languages (H-M)]] M https://esolangs.org/w/index.php?diff=173767&oldid=173118 * RaiseAfloppaFan3925 * (-173) /* Mango */ when I deleted mango ([[User:Yayimhere]] has the name now so don't be confused) I forgot to remove this lol
13:22:15 <esolangs> [[Nanofunge]] https://esolangs.org/w/index.php?diff=173768&oldid=131388 * Cleverxia * (+37) How could I fucking got the ">" wrong
13:23:32 <esolangs> [[Talk:Nanofunge]] https://esolangs.org/w/index.php?diff=173769&oldid=131495 * Cleverxia * (+80)
13:49:59 <esolangs> [[Segment]] https://esolangs.org/w/index.php?diff=173770&oldid=173761 * Cleverxia * (+1134)
14:03:28 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=173771&oldid=172770 * Hotcrystal0 * (+743)
14:55:00 <esolangs> [[User talk:Yayimhere]] https://esolangs.org/w/index.php?diff=173772&oldid=173650 * Dragoneater67 * (+86) /* What did Ispltng do? */
14:56:16 <esolangs> [[User talk:Yayimhere]] https://esolangs.org/w/index.php?diff=173773&oldid=173772 * Dragoneater67 * (+75) /* What did Ispltng do? */
14:59:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:21:08 -!- tromp has joined.
15:34:43 -!- amby has joined.
15:52:42 -!- pool0 has joined.
15:58:08 <esolangs> [[8ial]] M https://esolangs.org/w/index.php?diff=173774&oldid=170964 * Ractangle * (-47) /* Computational Class */
16:29:04 <esolangs> [[Letterfuck]] https://esolangs.org/w/index.php?diff=173775&oldid=173640 * 4A10LOAIH * (+2216)
16:37:16 <esolangs> [[Letterfuck]] https://esolangs.org/w/index.php?diff=173776&oldid=173775 * 4A10LOAIH * (+70) /* Prime printer */
16:51:14 <esolangs> [[Letterfuck]] https://esolangs.org/w/index.php?diff=173777&oldid=173776 * 4A10LOAIH * (-8) /* LFSP and LFASM */
17:11:19 <esolangs> [[Letterfuck]] https://esolangs.org/w/index.php?diff=173778&oldid=173777 * 4A10LOAIH * (-119) /* Prime printer */
17:11:52 <esolangs> [[Letterfuck]] https://esolangs.org/w/index.php?diff=173779&oldid=173778 * 4A10LOAIH * (+0) /* Implementations */
17:23:31 <esolangs> [[Talk:1=0+1]] https://esolangs.org/w/index.php?diff=173780&oldid=173757 * Yayimhere2(school) * (+234)
17:24:35 <esolangs> [[User talk:Mrtli08]] https://esolangs.org/w/index.php?diff=173781&oldid=173751 * Yayimhere2(school) * (+17)
17:26:09 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=173782&oldid=173701 * Yayimhere2(school) * (+177) /* Excuse me? */
17:26:45 <esolangs> [[Talk:A Question of Protocol]] https://esolangs.org/w/index.php?diff=173783&oldid=173666 * Yayimhere2(school) * (+125)
17:38:29 <esolangs> [[A Question of Protocol]] https://esolangs.org/w/index.php?diff=173784&oldid=167771 * Yayimhere2(school) * (+2) /* macros */
17:43:10 -!- ais523 has joined.
17:50:10 -!- Sgeo has joined.
18:01:39 <b_jonas> they replaced the travel insurance website from this stupid javascripted interface to an even worse stupid javascripted interface. when I start to type the birth year of one of the insured people, after I type three digits it puts up a warning that the insured person must be less than 120 years old, since apparently it thinks they're over 1800 years old with a three digit birth date.
18:03:46 <b_jonas> that's not the bad part, that's the funny part.
18:30:46 <esolangs> [[Qu-Qu]] N https://esolangs.org/w/index.php?oldid=173785 * A() * (+897) Created page with "[[Qu-Qu]] is an esoteric programming language made by [[User: A()]]. It uses functions like Q and U to duplicate and/or simplify expressions. == Functions == {| class="wikitable" |+ Functions |- ! Functions !! Disc |- | Q() || duplicate |- | U() || simplify expression |- | X()
18:37:20 -!- callforjudgement has joined.
18:38:58 -!- ais523 has quit (Ping timeout: 246 seconds).
18:44:27 <esolangs> [[BAM128]] M https://esolangs.org/w/index.php?diff=173786&oldid=79063 * Eafkuor * (+2)
19:01:18 <esolangs> [[Talk:Qu-Qu]] N https://esolangs.org/w/index.php?oldid=173787 * Yayimhere2(school) * (+285) Created page with "Could you please specify each function a little more? its unclear what each does(for example null), and just generally how this language works(evaluation order, ect.). --~~~~"
19:17:02 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173788&oldid=173785 * A() * (+404)
19:24:11 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173789&oldid=173788 * A() * (+351)
19:26:27 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173790&oldid=173789 * A() * (+38) /* Building Numbers */
19:27:40 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173791&oldid=173790 * A() * (+27)
19:27:55 <b_jonas> heck this uses three different date formats in different parts of the website
19:32:29 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173792&oldid=173791 * A() * (+208)
19:34:10 <esolangs> [[Talk:Qu-Qu]] https://esolangs.org/w/index.php?diff=173793&oldid=173787 * A() * (+268)
19:38:35 -!- Lord_of_Life_ has joined.
19:39:49 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
19:41:23 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
19:56:18 -!- knorkle has joined.
20:05:50 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173794&oldid=173792 * A() * (+66)
20:06:47 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173795&oldid=173794 * A() * (-1)
20:07:47 <esolangs> [[User:DockedChutoy/Sandbox]] https://esolangs.org/w/index.php?diff=173796&oldid=173660 * DockedChutoy * (-304)
20:11:10 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173797&oldid=173795 * A() * (-21)
20:12:04 <esolangs> [[Basic Binaries]] https://esolangs.org/w/index.php?diff=173798&oldid=170227 * A() * (+0)
20:40:10 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173799&oldid=173797 * A() * (+144)
20:43:36 -!- impomatic has quit (Quit: Client closed).
20:47:35 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173800&oldid=173799 * A() * (+201) /* Added colors, and fixed grammatical errors */
20:48:55 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=173801&oldid=173712 * A() * (+12) /* Q */
20:49:34 <esolangs> [[Qu-Qu]] https://esolangs.org/w/index.php?diff=173802&oldid=173800 * A() * (-1)
21:02:44 <esolangs> [[Esoteric Sequence of Numbers]] M https://esolangs.org/w/index.php?diff=173803&oldid=172771 * Ractangle * (+26) /* Example */
21:43:24 -!- callforjudgement has changed nick to ais523.
21:43:47 -!- ais523 has quit (Quit: quit).
21:49:24 <Sgeo> Are there any programming languages where ordinals and cardinals are different types? foo[foo.length] would be invalid at a type level
21:52:44 <korvo> Hm. ZFC is such a language, but those expressions are type-legal there. Pure type theories like Rocq, Adga, or Idris can enforce that sort of constraint but they don't do it with a type distinction.
21:53:19 <korvo> Closer to what you're thinking of, I don't think that ptrdiff_t and size_t have made a serious difference in fencepost errors in C. Maybe I don't do enough pointer arithmetic to feel an improvement.
21:55:21 <Sgeo> I think I'm less interested in practicality and more interested in learning about ordinal arithmetic. But if there's a practical usage that would be neat
21:55:28 <Sgeo> But we are in #esolangs so
21:56:41 <korvo> Well, in some languages like Python, there's a distinction between ints and slices. We can think of these as cardinal and ordinal access respectively. But Python generally allows both ints and slices as indices, so that's not really making anything invalid.
21:57:05 <esolangs> [[User:A()]] https://esolangs.org/w/index.php?diff=173804&oldid=173388 * A() * (+11)
21:57:26 <korvo> FWIW it's consistent, and structurally standard, that finite cardinals ≈ finite ordinals ≈ finite natural numbers. We all agree on how finite set theory and finite functions behave.
22:30:24 -!- Everything has quit (Quit: leaving).
22:56:38 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:34:23 -!- DOS_User_webchat has joined.
23:34:43 -!- DOS_User_webchat has changed hostmask to ~DOS_User_@user/DOS-User:11249.