< 1737504000 579644 :somefan!~somefan@208.58.192.69 QUIT :Client Quit
< 1737504229 477055 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 260 seconds
< 1737504412 647082 :mtm!~textual@47.202.75.129 JOIN #esolangs * :Textual User
> 1737504548 338189 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=150492&oldid=150385 5* 03Somefan 5* (+162) 10
> 1737504562 840639 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=150493&oldid=150492 5* 03Somefan 5* (+83) 10
> 1737504692 395906 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=150494&oldid=150493 5* 03Somefan 5* (+1) 10
> 1737505096 14968 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=150495&oldid=150490 5* 03Jan jelo 5* (+83) 10/* Deadfish++ */
> 1737505422 110868 PRIVMSG #esolangs :14[[07A+B Problem14]]4 M10 02https://esolangs.org/w/index.php?diff=150496&oldid=150495 5* 03Jan jelo 5* (-1) 10/* Desmos */
> 1737506021 736351 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=150497&oldid=150496 5* 03Jan jelo 5* (-25) 10/* Smalltalk */
> 1737506914 436470 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=150498&oldid=150497 5* 03Jan jelo 5* (+50) 10/* Bash */
> 1737511065 561737 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=150499&oldid=150481 5* 03Somefan 5* (+25) 10
> 1737511165 82368 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=150500&oldid=150499 5* 03Somefan 5* (+48) 10
> 1737511523 555003 PRIVMSG #esolangs :14[[07User:Somefan14]]4 N10 02https://esolangs.org/w/index.php?oldid=150501 5* 03Somefan 5* (+242) 10Created page with "{{lowercase}} Hi, my name is '''Fan0102''', '''Fan''', and '''SomeFan''' simultaneously, although I prefer the last two. [https://somefan0102.neocities.org here is my website]
"
> 1737512494 564721 PRIVMSG #esolangs :14[[07Iterate14]]4 N10 02https://esolangs.org/w/index.php?oldid=150502 5* 03Aadenboy 5* (+2418) 10Created page with "{{Distinguish/Confusion|Iterate}} Iterate is a program by [[User:Aadenboy]] which only uses iterative loops. == Syntax == === Loops === Loops are initialized with an asterisk (optionally with a number preceding it surrounded by parentheses), followed by the amount of
> 1737512523 570158 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 M10 02https://esolangs.org/w/index.php?diff=150503&oldid=150379 5* 03Aadenboy 5* (+54) 10/* who. who are you */ add [[Iterate]]
> 1737512558 700615 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=150504&oldid=150313 5* 03Aadenboy 5* (+14) 10/* I */ add [[Iterate]]
> 1737512705 628365 PRIVMSG #esolangs :14[[07Iterate14]]4 M10 02https://esolangs.org/w/index.php?diff=150505&oldid=150502 5* 03Aadenboy 5* (+123) 10/* Examples */ [[Truth-machine]]
> 1737512764 492746 PRIVMSG #esolangs :14[[07User talk:Somefan14]]4 N10 02https://esolangs.org/w/index.php?oldid=150506 5* 03Aadenboy 5* (+324) 10Created page with "well I didn't expect to see you here! ~~~~"
> 1737513180 660130 PRIVMSG #esolangs :14[[07User talk:Somefan14]]4 10 02https://esolangs.org/w/index.php?diff=150507&oldid=150506 5* 03Somefan 5* (+232) 10
> 1737513356 108366 PRIVMSG #esolangs :14[[07User talk:Somefan14]]4 10 02https://esolangs.org/w/index.php?diff=150508&oldid=150507 5* 03Aadenboy 5* (+298) 10
< 1737514248 83555 :amby!~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
> 1737515761 562475 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=150509&oldid=143784 5* 03WoodyFan3412 5* (+204) 10Added JavaScript Implementation
> 1737516381 513140 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=150510&oldid=150498 5* 03Jan jelo 5* (+0) 10/* Desmos */
> 1737518182 942657 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=150511&oldid=150510 5* 03Aadenboy 5* (+422) 10add [[Iterate]], [[Kawa]], [[MEMORYLEEK]] and [[Trampolines]]
< 1737518737 281517 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
> 1737519868 170113 PRIVMSG #esolangs :14[[07MoreMathRPN14]]4 10 02https://esolangs.org/w/index.php?diff=150512&oldid=150491 5* 03Calculus is fun 5* (+423) 10/* Ackermann function */
> 1737523133 775253 PRIVMSG #esolangs :14[[07FizzBuzz14]]4 10 02https://esolangs.org/w/index.php?diff=150513&oldid=150242 5* 03Jan jelo 5* (+85) 10/* Uiua */
> 1737524104 645940 PRIVMSG #esolangs :14[[07Iterate14]]4 M10 02https://esolangs.org/w/index.php?diff=150514&oldid=150505 5* 03Aadenboy 5* (+92) 10/* Completeness */ Iterate might not be Turing complete
> 1737524146 792980 PRIVMSG #esolangs :14[[07Iterate14]]4 M10 02https://esolangs.org/w/index.php?diff=150515&oldid=150514 5* 03Aadenboy 5* (+0) 10fix distinguish link
> 1737524175 130804 PRIVMSG #esolangs :14[[07ITERATE14]]4 M10 02https://esolangs.org/w/index.php?diff=150516&oldid=118406 5* 03Aadenboy 5* (+34) 10distinguish
< 1737525875 364293 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1737526437 873318 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=150517&oldid=149671 5* 03DGCK81LNN 5* (+268) 10
> 1737526749 988844 PRIVMSG #esolangs :14[[07WhatLang14]]4 M10 02https://esolangs.org/w/index.php?diff=150518&oldid=150517 5* 03DGCK81LNN 5* (+7) 10/* Koishi runtime specific */
> 1737526804 665736 PRIVMSG #esolangs :14[[07WhatLang14]]4 M10 02https://esolangs.org/w/index.php?diff=150519&oldid=150518 5* 03DGCK81LNN 5* (-2) 10/* Example programs */
> 1737526945 71207 PRIVMSG #esolangs :14[[07FizzBuzz14]]4 10 02https://esolangs.org/w/index.php?diff=150520&oldid=150513 5* 03Jan jelo 5* (+98) 10/* WhatLang */
> 1737527389 388859 PRIVMSG #esolangs :14[[07FizzBuzz14]]4 10 02https://esolangs.org/w/index.php?diff=150521&oldid=150520 5* 03Jan jelo 5* (+86) 10/* WhatLang */
> 1737528903 104491 PRIVMSG #esolangs :14[[07FizzBuzz14]]4 M10 02https://esolangs.org/w/index.php?diff=150522&oldid=150521 5* 03Jan jelo 5* (+83) 10/* Uiua */
< 1737532227 547144 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
> 1737532333 874152 PRIVMSG #esolangs :14[[07Mazerunner14]]4 10 02https://esolangs.org/w/index.php?diff=150523&oldid=150470 5* 03BrainFuckGirl 5* (+349) 10/* Code examples */ added Disan Count example
> 1737533243 518935 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=150524&oldid=150509 5* 0347 5* (+95) 10/* Python 3 */
> 1737533309 923598 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=150525&oldid=150524 5* 0347 5* (+1) 10/* Python 3 */
> 1737533474 778641 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=150526&oldid=150525 5* 0347 5* (-1) 10/* Python 3 */
> 1737533518 121362 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=150527&oldid=150526 5* 0347 5* (-2) 10/* Python 3 */
< 1737533556 663060 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 244 seconds
< 1737533671 158864 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User
< 1737534424 488511 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname
< 1737540928 938414 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1737543163 415277 PRIVMSG #esolangs :14[[07X-script14]]4 10 02https://esolangs.org/w/index.php?diff=150528&oldid=150471 5* 03PrySigneToFry 5* (+15) 10
> 1737543850 160287 PRIVMSG #esolangs :14[[07X-script14]]4 10 02https://esolangs.org/w/index.php?diff=150529&oldid=150528 5* 03PrySigneToFry 5* (+758) 10
< 1737544442 484645 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1737546470 475732 :m5zs7k!aquares@web10.mydevil.net QUIT :Ping timeout: 244 seconds
< 1737546767 81832 :m5zs7k!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k
< 1737547419 490950 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 260 seconds
< 1737547552 299507 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User
< 1737547701 844792 :APic!apic@apic.name PRIVMSG #esolangs :Hi
< 1737548810 922373 :m5zs7k!aquares@web10.mydevil.net QUIT :Ping timeout: 272 seconds
< 1737549102 639018 :chomwitt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname
< 1737549144 164643 :m5zs7k!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k
< 1737549161 695075 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1737549654 44661 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03(()()) 5* 10New user account
> 1737549813 354046 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=150530&oldid=150494 5* 03(()()) 5* (+109) 10added myself
< 1737550603 261734 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1737550866 745948 PRIVMSG #esolangs :14[[07X-script14]]4 10 02https://esolangs.org/w/index.php?diff=150531&oldid=150529 5* 03PrySigneToFry 5* (+1482) 10
> 1737551372 907282 PRIVMSG #esolangs :14[[07X-script14]]4 10 02https://esolangs.org/w/index.php?diff=150532&oldid=150531 5* 03PrySigneToFry 5* (+412) 10
> 1737551484 719350 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=150533&oldid=150530 5* 03(()()) 5* (+0) 10
> 1737552027 659895 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=150534&oldid=150323 5* 03PrySigneToFry 5* (+990) 10
< 1737552091 392747 :Everything!~Everythin@195.138.86.118 JOIN #esolangs Everything :Everything
> 1737552144 147743 PRIVMSG #esolangs :14[[07X-Script14]]4 N10 02https://esolangs.org/w/index.php?oldid=150535 5* 03PrySigneToFry 5* (+175) 10Created page with "This is a redirect page. If you want to learn about X-script, but you make a case mistake, you will be redirected to the correct page through this page. #REDIRECT [[X-script]]"
> 1737552162 8040 PRIVMSG #esolangs :14[[07X-Script14]]4 10 02https://esolangs.org/w/index.php?diff=150536&oldid=150535 5* 03PrySigneToFry 5* (+1) 10Redirected page to [[X-script]]
> 1737552218 908209 PRIVMSG #esolangs :14[[07X-script14]]4 10 02https://esolangs.org/w/index.php?diff=150537&oldid=150532 5* 03PrySigneToFry 5* (+43) 10
> 1737552576 47366 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=150538&oldid=150339 5* 03PrySigneToFry 5* (+176) 10
> 1737553470 23266 PRIVMSG #esolangs :14[[07User talk:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=150539&oldid=148882 5* 03PrySigneToFry 5* (+217) 10/* Some excellent sans-serif fonts for you, by PSTF */ new section
> 1737553471 207580 PRIVMSG #esolangs :14[[07Talk:A+B Problem14]]4 N10 02https://esolangs.org/w/index.php?oldid=150540 5* 03Blashyrkh 5* (+234) 10Created page with "[[A+B Problem#Subleq]] should be considered a cheating. The language supports IO, so why don't give an example that uses all language features? --~~~~"
> 1737555530 360411 PRIVMSG #esolangs :14[[07013414]]4 10 02https://esolangs.org/w/index.php?diff=150541&oldid=136403 5* 03PrySigneToFry 5* (-1) 10Fixed command for unconfusing
< 1737556529 366801 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1737556626 46592 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1737556895 877241 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1737557385 930089 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
> 1737558866 709056 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=150542&oldid=150519 5* 03DGCK81LNN 5* (+4542) 10/* Koishi runtime specific */
< 1737560433 637059 :chomwitt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd QUIT :Ping timeout: 244 seconds
> 1737561301 745978 PRIVMSG #esolangs :14[[07013414]]4 10 02https://esolangs.org/w/index.php?diff=150543&oldid=150541 5* 03Ractangle 5* (+1) 10oh no you don't
> 1737562269 720257 PRIVMSG #esolangs :14[[07User talk:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=150544&oldid=150539 5* 03Aadenboy 5* (+405) 10
> 1737562410 297156 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Aadenboy 5* 10uploaded "[[02File:KawaA+BProblem.png10]]": lmao I forgot to upload it
< 1737563998 981904 :chomwitt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname
> 1737564170 151798 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=150546&oldid=150542 5* 03DGCK81LNN 5* (-61) 10rephrase everything about the Frame Stack
< 1737564410 471882 :Everything!~Everythin@195.138.86.118 QUIT :Ping timeout: 252 seconds
< 1737565869 902590 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Ugh. I have a cool idea for graphical syntax for sheaves over (psuedometric) (vector) spaces, but I don't know how to parse it.
< 1737565896 615457 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I *do* know a language that would require similar parsing, and that is implemented, and that doesn't really do much besides parsing...
< 1737565902 867271 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But Is It Art?
> 1737567305 820883 PRIVMSG #esolangs :14[[07Iterate14]]4 M10 02https://esolangs.org/w/index.php?diff=150547&oldid=150515 5* 03Aadenboy 5* (+27) 10category
> 1737567576 215949 PRIVMSG #esolangs :14[[07Talk:Iterate14]]4 N10 02https://esolangs.org/w/index.php?oldid=150548 5* 03Aadenboy 5* (+735) 10Created page with "would there be a way to prove what computational class Iterate is? not really sure how to go about this I know it isn't a [[Finite-state automaton]] simply from this code: (*)< *=1< @ > // loops once on the second pass, then twice on the third, three times
> 1737568451 32637 PRIVMSG #esolangs :14[[07User talk:Aadenboy14]]4 M10 02https://esolangs.org/w/index.php?diff=150549&oldid=150544 5* 03Aadenboy 5* (+55) 10
> 1737568535 326409 PRIVMSG #esolangs :14[[07MoreMathRPN14]]4 M10 02https://esolangs.org/w/index.php?diff=150550&oldid=150512 5* 03Calculus is fun 5* (-4) 10/* 99 bottles of beer */
> 1737569038 889846 PRIVMSG #esolangs :14[[07Talk:Iterate14]]4 10 02https://esolangs.org/w/index.php?diff=150551&oldid=150548 5* 03Corbin 5* (+198) 10It's very funny that I keep citing this theorem; I happen to hate it.
> 1737569688 456462 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=150552&oldid=150527 5* 03Ractangle 5* (-15) 10/* Python 3 */
> 1737569770 231596 PRIVMSG #esolangs :14[[07Iterate14]]4 M10 02https://esolangs.org/w/index.php?diff=150553&oldid=150547 5* 03Aadenboy 5* (+434) 10/* Examples */ comments
> 1737570002 539118 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=150554&oldid=150552 5* 03Aadenboy 5* (+240) 10add Lua
> 1737570046 121705 PRIVMSG #esolangs :14[[07InterpretMe14]]4 M10 02https://esolangs.org/w/index.php?diff=150555&oldid=150554 5* 03Aadenboy 5* (+1) 10/* Lua */
> 1737570731 804351 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=150556&oldid=150546 5* 03DGCK81LNN 5* (+3954) 10
> 1737570781 463142 PRIVMSG #esolangs :14[[07WhatLang14]]4 M10 02https://esolangs.org/w/index.php?diff=150557&oldid=150556 5* 03DGCK81LNN 5* (+0) 10/* WhatNoter */
< 1737571433 231853 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1737571458 440503 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 246 seconds
< 1737571609 800630 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1737572395 948841 :Everything!~Everythin@195.138.86.118 JOIN #esolangs Everything :Everything
> 1737573683 938301 PRIVMSG #esolangs :14[[07Funciton14]]4 M10 02https://esolangs.org/w/index.php?diff=150558&oldid=150330 5* 03Timwi 5* (+15) 10/* Features */
> 1737573993 782086 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=150559&oldid=150557 5* 03Jan jelo 5* (-20) 10/* Example programs */ wait,I can use the repr@
> 1737574236 187762 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=150560&oldid=150555 5* 0347 5* (+14) 10/* Python 3 */
> 1737574488 641481 PRIVMSG #esolangs :14[[07Funciton14]]4 M10 02https://esolangs.org/w/index.php?diff=150561&oldid=150558 5* 03Timwi 5* (+35) 10/* Problem #3: it doesnt work with negative numbers */
> 1737574603 620292 PRIVMSG #esolangs :14[[07Looping counter14]]4 10 02https://esolangs.org/w/index.php?diff=150562&oldid=150359 5* 03Jan jelo 5* (+39) 10/* WhatLang */
> 1737574713 645505 PRIVMSG #esolangs :14[[07Funciton14]]4 M10 02https://esolangs.org/w/index.php?diff=150563&oldid=150561 5* 03Timwi 5* (+11) 10/* Strings */
< 1737575813 770331 :somefan!~somefan@208.58.192.69 JOIN #esolangs * :[https://web.libera.chat] somefan
< 1737575841 17670 :somefan!~somefan@208.58.192.69 QUIT :Client Quit
> 1737575861 281305 PRIVMSG #esolangs :14[[07Funciton14]]4 M10 02https://esolangs.org/w/index.php?diff=150564&oldid=150563 5* 03Timwi 5* (+0) 10/* Lazy sequences */
< 1737575973 446134 :visilii_!~visilii@213.24.126.57 JOIN #esolangs * :ZNC - https://znc.in
< 1737576178 24010 :visilii!~visilii@188.254.110.9 QUIT :Ping timeout: 248 seconds
> 1737576777 369791 PRIVMSG #esolangs :14[[07Stub14]]4 M10 02https://esolangs.org/w/index.php?diff=150565&oldid=142430 5* 03Aadenboy 5* (-35) 10what am I talking about? this isn't a brainfuck deriv!
> 1737576805 796057 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 M10 02https://esolangs.org/w/index.php?diff=150566&oldid=150503 5* 03Aadenboy 5* (-5) 10
> 1737578163 394784 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=150567&oldid=150559 5* 03Jan jelo 5* (+170) 10/* Practices and idioms */
> 1737579971 912322 PRIVMSG #esolangs :14[[07Factorial14]]4 10 02https://esolangs.org/w/index.php?diff=150568&oldid=149667 5* 03Jan jelo 5* (+219) 10/* Upsilon */
> 1737580693 54697 PRIVMSG #esolangs :14[[07Factorial14]]4 10 02https://esolangs.org/w/index.php?diff=150569&oldid=150568 5* 03Jan jelo 5* (+91) 10/* WhatLang */
> 1737580723 264688 PRIVMSG #esolangs :14[[07Factorial14]]4 M10 02https://esolangs.org/w/index.php?diff=150570&oldid=150569 5* 03Jan jelo 5* (+0) 10/* WhatLang */
< 1737582129 965844 :chomwitt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd QUIT :Ping timeout: 248 seconds
> 1737582493 278272 PRIVMSG #esolangs :14[[07Factorial14]]4 10 02https://esolangs.org/w/index.php?diff=150571&oldid=150570 5* 03Jan jelo 5* (+111) 10/* Recs */
< 1737582617 100480 :craigo!~craigo@user/craigo QUIT :Quit: Leaving
> 1737582770 902037 PRIVMSG #esolangs :14[[07Counterlang14]]4 10 02https://esolangs.org/w/index.php?diff=150572&oldid=123936 5* 03Kaveh Yousefi 5* (+1636) 10Supplemented an Extended Backus-Naur Form (EBNF) description of the syntax, introduced an examples section comprehending an incipial member, added a hyperlink to my implementation on GitHub, and supplied several page category tags.
> 1737583841 117181 PRIVMSG #esolangs :14[[07Recs14]]4 M10 02https://esolangs.org/w/index.php?diff=150573&oldid=149668 5* 03Jan jelo 5* (+15) 10/* Reduce */
> 1737583987 816432 PRIVMSG #esolangs :14[[07Recs14]]4 M10 02https://esolangs.org/w/index.php?diff=150574&oldid=150573 5* 03Jan jelo 5* (-2) 10/* fn */
< 1737584459 279206 :visilii!~visilii@46.61.242.99 JOIN #esolangs * :ZNC - https://znc.in
< 1737584583 430227 :visilii_!~visilii@213.24.126.57 QUIT :Ping timeout: 246 seconds
< 1737584706 301340 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Is there any name for a monad that uses a identity functor, and/or if the Kleisli category is as good as the original category? (A identity monad has both of these properties, but I mean in general, if there are any.)
< 1737584742 509949 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :"codensity monad" might be the phrase to look up.
< 1737584789 94170 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :In general, the identity functor only carries the identity monad, but sometimes there are cases where identity can be naturally transformed to/from something more interesting. Continuation monads are a fun motivating example.
< 1737585202 612956 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Can nonzero scalar multiples make monads of category of matrices? To me it seemed to do, and is with identity functor?
< 1737585259 960156 :APic!apic@apic.name PRIVMSG #esolangs :cu
< 1737585310 678069 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yes, I think so. Let K be our set of scalars and Mat(K) be the category with natural numbers for objects and matrices/linear transformations for arrows. Composition is matrix multiplication.
< 1737585377 107365 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, hm. I was going to build endofunctors, but I'm having trouble finding them. For 1 in K, there's an identity functor which scales everything by 1; but no other scalar is compatible with the functor laws.
< 1737585651 371530 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Of course the identity functor scales everything by 1, but I mean the natural transformations (eta and mu) of the monad, not the functor itself.
< 1737585826 551290 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I suppose it depends on K. Any idea where the monad's underlying adjunction might go?
< 1737585980 246187 :Everything!~Everythin@195.138.86.118 QUIT :Quit: leaving
> 1737586145 345112 PRIVMSG #esolangs :14[[07Factorial14]]4 10 02https://esolangs.org/w/index.php?diff=150575&oldid=150571 5* 03Jan jelo 5* (+3) 10/* WhatLang */
< 1737586445 204541 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1737586472 722501 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :As far as I can tell, in this case, the Kleisli category is as good as the original category, but all of the numbers are scaled, and the components are the identity matrix multiplied or divided by a scalar, and since they are scalar that also means that they are commutative. This means that the Kleisli composition will divide by the scalar that you had originally multiplied by, in order to restore the original value.
> 1737586604 794399 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=150576&oldid=150567 5* 03Jan jelo 5* (+155) 10/* Practices and idioms */
< 1737587720 617522 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :(Hopefully, I am not being unclear or wrong, so far)
< 1737588233 152552 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It's clear, but I'm stumped and don't know how to proceed. I feel like a linear-algebra expert would have more insight.
< 1737588298 319056 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :If the chosen scalar is invertible, then the Kleisli category would be equivalent to the original category and the functors would be "identity-on-objects", which is a concept that can't be made isomorphism-invariant.
< 1737588329 304887 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This isn't wrong, but it is what folks call "evil", and suggests that there's some unaccounted structure in the setup.
< 1737588342 893695 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...Which suggests that my setup is fairly wrong.
> 1737590038 999054 PRIVMSG #esolangs :14[[07Is it14]]4 10 02https://esolangs.org/w/index.php?diff=150577&oldid=128199 5* 03Somefan 5* (-4485) 10I think this would be best suited as a redirect rather then a duplicate. Do correct me if i'm wrong