< 1747354005 71110 :visilii!~visilii@81.177.126.61 QUIT :Ping timeout: 248 seconds < 1747354269 227032 :visilii!~visilii@85.94.27.197 JOIN #esolangs * :ZNC - https://znc.in > 1747355560 514729 PRIVMSG #esolangs :14[[07User talk:H. H. P. M. P. Cole/Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157775&oldid=157764 5* 03H. H. P. M. P. Cole 5* (+165) 10 > 1747355569 512230 PRIVMSG #esolangs :14[[07User talk:H. H. P. M. P. Cole/Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157776&oldid=157775 5* 03H. H. P. M. P. Cole 5* (+9) 10 > 1747355772 466856 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole/Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157777&oldid=157702 5* 03H. H. P. M. P. Cole 5* (+106) 10 > 1747355861 295780 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole/Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157778&oldid=157777 5* 03H. H. P. M. P. Cole 5* (+507) 10 > 1747355892 587334 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03H. H. P. M. P. Cole 5* 10moved [[02User:H. H. P. M. P. Cole/Logica10]] to [[Logica]] > 1747355892 615941 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03H. H. P. M. P. Cole 5* 10moved [[02User talk:H. H. P. M. P. Cole/Logica10]] to [[Talk:Logica]] > 1747355930 535112 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole14]]4 M10 02https://esolangs.org/w/index.php?diff=157783&oldid=157695 5* 03H. H. P. M. P. Cole 5* (+4) 10 > 1747355971 817783 PRIVMSG #esolangs :14[[07Talk:Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157784&oldid=157781 5* 03H. H. P. M. P. Cole 5* (+122) 10 > 1747356137 645541 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=157785&oldid=157766 5* 03H. H. P. M. P. Cole 5* (+13) 10/* L */ > 1747357324 152358 PRIVMSG #esolangs :14[[07User:I am islptng/Draft14]]4 10 02https://esolangs.org/w/index.php?diff=157786&oldid=157324 5* 03I am islptng 5* (+687) 10 > 1747357345 203440 PRIVMSG #esolangs :14[[07User:I am islptng/Draft14]]4 10 02https://esolangs.org/w/index.php?diff=157787&oldid=157786 5* 03I am islptng 5* (+17) 10/* Symbols */ < 1747358083 778283 :FreeFull!~freefull@79.186.68.86.ipv4.supernova.orange.pl QUIT :Ping timeout: 276 seconds < 1747358118 100925 :FreeFull!~freefull@79.186.59.252.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull > 1747359979 487334 PRIVMSG #esolangs :14[[07Interpreter-modifying14]]4 10 02https://esolangs.org/w/index.php?diff=157788&oldid=157584 5* 03Corbin 5* (+331) 10The concept goes back to the beginning of Lisp, but was not well-defined enough for efficient self-hosting prior to Black. > 1747360416 169673 PRIVMSG #esolangs :14[[07Black (Asai)14]]4 N10 02https://esolangs.org/w/index.php?oldid=157789 5* 03Corbin 5* (+650) 10Stub for what I think is the first proven-efficient infinite tower of metainterpreters in the literature. > 1747361834 121021 PRIVMSG #esolangs :14[[07WTF14]]4 10 02https://esolangs.org/w/index.php?diff=157790&oldid=157737 5* 03H33T33 5* (+536) 10 > 1747362268 867289 PRIVMSG #esolangs :14[[07Black (Asai)14]]4 10 02https://esolangs.org/w/index.php?diff=157791&oldid=157789 5* 03Corbin 5* (+73) 10Categories. > 1747366995 365084 PRIVMSG #esolangs :14[[07Monoid14]]4 N10 02https://esolangs.org/w/index.php?oldid=157792 5* 03Corbin 5* (+792) 10I have like twenty tabs open right now and I'm still probably gonna get something wrong. Here's an outline. > 1747367879 494338 PRIVMSG #esolangs :14[[07G14]]4 N10 02https://esolangs.org/w/index.php?oldid=157793 5* 03Helpeesl 5* (+7501) 10Created page with "==Intro== G is a 2D esolang created by [[User:Helpeesl]] on May 15th 2025 and only uses commands which have been represented by G, g, , , , , or other forms of g in other programming languages. ==Commands== > Moves the pointer to the right one from [[Look!]], [[ABCDE]], [[ > 1747367929 433727 PRIVMSG #esolangs :14[[07G14]]4 10 02https://esolangs.org/w/index.php?diff=157794&oldid=157793 5* 03Helpeesl 5* (+1) 10 > 1747367968 389240 PRIVMSG #esolangs :14[[07G14]]4 10 02https://esolangs.org/w/index.php?diff=157795&oldid=157794 5* 03Helpeesl 5* (+40) 10 > 1747368060 69178 PRIVMSG #esolangs :14[[07G14]]4 10 02https://esolangs.org/w/index.php?diff=157796&oldid=157795 5* 03Helpeesl 5* (+0) 10 > 1747368176 649414 PRIVMSG #esolangs :14[[07G14]]4 10 02https://esolangs.org/w/index.php?diff=157797&oldid=157796 5* 03Helpeesl 5* (+0) 10 > 1747368266 843186 PRIVMSG #esolangs :14[[07FHC14]]4 10 02https://esolangs.org/w/index.php?diff=157798&oldid=157454 5* 03Helpeesl 5* (-29) 10 > 1747368287 572229 PRIVMSG #esolangs :14[[07HQ9-14]]4 10 02https://esolangs.org/w/index.php?diff=157799&oldid=157450 5* 03Helpeesl 5* (-29) 10 > 1747368331 715386 PRIVMSG #esolangs :14[[072Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=157800&oldid=157469 5* 03Helpeesl 5* (-27) 10 > 1747368349 92417 PRIVMSG #esolangs :14[[07Monoid14]]4 10 02https://esolangs.org/w/index.php?diff=157801&oldid=157792 5* 03Corbin 5* (+1148) 10/* Free monoids */ Stub. > 1747368350 898150 PRIVMSG #esolangs :14[[07Dreadfish14]]4 10 02https://esolangs.org/w/index.php?diff=157802&oldid=157467 5* 03Helpeesl 5* (-26) 10 > 1747368373 464715 PRIVMSG #esolangs :14[[07Feed the Chaos14]]4 10 02https://esolangs.org/w/index.php?diff=157803&oldid=157471 5* 03Helpeesl 5* (-27) 10 > 1747368447 947597 PRIVMSG #esolangs :14[[07Codesick14]]4 10 02https://esolangs.org/w/index.php?diff=157804&oldid=157671 5* 03Helpeesl 5* (+0) 10 > 1747368464 275931 PRIVMSG #esolangs :14[[07Hakerh14]]4 10 02https://esolangs.org/w/index.php?diff=157805&oldid=157739 5* 03Helpeesl 5* (+0) 10 > 1747370679 475679 PRIVMSG #esolangs :14[[07User:I am islptng/Draft14]]4 10 02https://esolangs.org/w/index.php?diff=157806&oldid=157787 5* 03I am islptng 5* (+32) 10 < 1747370728 840185 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1747370752 484466 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :zzo38: Rust currently doesn't have a goto statement, although there are plans to add gotos from one arm of a "match" (the equivalent of a "switch") to another < 1747370866 936570 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and yes, Rust's "String" type and "str" are Unicode, but you don't have to use them for strings, there are a range of other string-like types available like OsString (OS default, e.g. UTF-16 on Windows) and Vec (bytestring) > 1747371703 104580 PRIVMSG #esolangs :14[[07User:I am islptng/Draft14]]4 10 02https://esolangs.org/w/index.php?diff=157807&oldid=157806 5* 03I am islptng 5* (-59) 10 > 1747371875 590998 PRIVMSG #esolangs :14[[07Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157808&oldid=157779 5* 03H. H. P. M. P. Cole 5* (+107) 10 > 1747372141 782173 PRIVMSG #esolangs :14[[07Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157809&oldid=157808 5* 03H. H. P. M. P. Cole 5* (+121) 10 > 1747372600 200574 PRIVMSG #esolangs :14[[07User:I am islptng/Draft14]]4 10 02https://esolangs.org/w/index.php?diff=157810&oldid=157807 5* 03I am islptng 5* (+875) 10 > 1747372651 410493 PRIVMSG #esolangs :14[[07User talk:I am islptng/Draft14]]4 N10 02https://esolangs.org/w/index.php?oldid=157811 5* 03I am islptng 5* (+681) 10Created page with "@[[User:H. H. P. M. P. Cole]]: This was what I mean yesterday! --~~~~" > 1747372848 627892 PRIVMSG #esolangs :14[[07User talk:I am islptng/Draft14]]4 M10 02https://esolangs.org/w/index.php?diff=157812&oldid=157811 5* 03H. H. P. M. P. Cole 5* (+216) 10 < 1747374423 241762 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1747375164 418671 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN #esolangs lambdabot :Lambda_Robots:_100%_Loyal < 1747375238 884419 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection > 1747375589 206649 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole14]]4 M10 02https://esolangs.org/w/index.php?diff=157813&oldid=157783 5* 03H. H. P. M. P. Cole 5* (-4) 10 < 1747375921 172839 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN #esolangs lambdabot :Lambda_Robots:_100%_Loyal < 1747376898 481727 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: IIUC OsString on windows is actually also UTF-8 strings, they're just converted to UTF-16 on the fly when passed to a win32 system call eg. representing a filename. < 1747376945 878978 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :see https://doc.rust-lang.org/nightly/std/ffi/struct.OsString.html the paragraph starting with /Note,/ < 1747377027 517655 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: I'm pretty sure Rust OsString on Windows can represent a string that contains surrogates < 1747377032 345892 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :unpaired surrogates, that is < 1747377203 847613 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I guess it could just UTF-8-encode the surrogates < 1747377263 187571 :ais523!~ais523@user/ais523 QUIT :Quit: quit > 1747377515 975884 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne14]]4 M10 02https://esolangs.org/w/index.php?diff=157814&oldid=157757 5* 03TenBillionPlusOne 5* (+3) 10/* Coming soon */ > 1747377569 494329 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=157815&oldid=157761 5* 03TenBillionPlusOne 5* (+3) 10 < 1747377620 34965 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1747377884 861508 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 JOIN #esolangs * :Textual User > 1747378920 134799 PRIVMSG #esolangs :14[[07Funciton14]]4 10 02https://esolangs.org/w/index.php?diff=157816&oldid=156258 5* 03Timwi 5* (+5190) 10Regex functions: add newest functions from AoC 2024 5a (https://youtu.be/THhI_x7F8WY); add result value column and some nowraps < 1747379348 65610 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1747379387 454267 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=157817&oldid=157815 5* 03TenBillionPlusOne 5* (+15) 10 > 1747382574 616691 PRIVMSG #esolangs :14[[07User talk:I am islptng/Draft14]]4 M10 02https://esolangs.org/w/index.php?diff=157818&oldid=157812 5* 03H. H. P. M. P. Cole 5* (-216) 10 < 1747386646 768606 :APic!apic@apic.name PRIVMSG #esolangs :Hi > 1747390913 248400 PRIVMSG #esolangs :14[[07User:Henry14]]4 10 02https://esolangs.org/w/index.php?diff=157819&oldid=157774 5* 03Henry 5* (+30) 10 < 1747395174 16492 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1747395771 720471 PRIVMSG #esolangs :14[[07User talk:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=157820&oldid=157629 5* 03PrySigneToFry 5* (+100) 10 > 1747396252 35858 PRIVMSG #esolangs :14[[07Monoid14]]4 10 02https://esolangs.org/w/index.php?diff=157821&oldid=157801 5* 03Ais523 5* (+693) 10/* Free monoids */ a) an introduction to what "free" means because this might be read by non-mathematicians (I think there may have been a definition already but it was so technical that I initially missed it), b) don't use S to represent a different set from the set it represents < 1747397411 808057 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname > 1747399250 174230 PRIVMSG #esolangs :14[[07Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157822&oldid=157809 5* 03H. H. P. M. P. Cole 5* (-75) 10 > 1747399731 851673 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole14]]4 M10 02https://esolangs.org/w/index.php?diff=157823&oldid=157813 5* 03H. H. P. M. P. Cole 5* (+58) 10 < 1747399732 696434 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 JOIN #esolangs * :Textual User > 1747400046 418966 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole14]]4 M10 02https://esolangs.org/w/index.php?diff=157824&oldid=157823 5* 03H. H. P. M. P. Cole 5* (-9) 10 > 1747400355 42742 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=157825&oldid=157817 5* 03TenBillionPlusOne 5* (+36) 10 > 1747400468 138603 PRIVMSG #esolangs :14[[07SLet (Old 2)14]]4 10 02https://esolangs.org/w/index.php?diff=157826&oldid=152595 5* 03I am islptng 5* (+303) 10 < 1747400520 146597 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Remote host closed the connection > 1747400593 686022 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole14]]4 M10 02https://esolangs.org/w/index.php?diff=157827&oldid=157824 5* 03H. H. P. M. P. Cole 5* (+132) 10 < 1747400599 668313 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron (they/them) < 1747400662 939951 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection < 1747400686 80595 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse > 1747400721 557063 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=157828&oldid=157825 5* 03TenBillionPlusOne 5* (+4) 10/* 3 */ > 1747401047 437549 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole14]]4 M10 02https://esolangs.org/w/index.php?diff=157829&oldid=157827 5* 03H. H. P. M. P. Cole 5* (-132) 10 < 1747401209 854682 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Remote host closed the connection < 1747401266 712687 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron (they/them) > 1747401392 193210 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole14]]4 M10 02https://esolangs.org/w/index.php?diff=157830&oldid=157829 5* 03H. H. P. M. P. Cole 5* (+54) 10 > 1747401787 958207 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole14]]4 M10 02https://esolangs.org/w/index.php?diff=157831&oldid=157830 5* 03H. H. P. M. P. Cole 5* (-54) 10 > 1747402390 246680 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=157832&oldid=157828 5* 03TenBillionPlusOne 5* (+82) 10/* 3 */ > 1747402751 59564 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne/Draft14]]4 N10 02https://esolangs.org/w/index.php?oldid=157833 5* 03TenBillionPlusOne 5* (+194) 10Created page with "'''Transformation is complete''' is esolang by former [[User:TBPO]], now a clone of [[User:Hakerh400]]. I made a timestamp to mark when my transformation became complete: (( I'll insert later ))" > 1747403252 724262 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03TheCatFromGithub 5* 10New user account < 1747403299 198830 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1747403317 530917 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne14]]4 10 02https://esolangs.org/w/index.php?diff=157834&oldid=157814 5* 03TenBillionPlusOne 5* (+104) 10 > 1747403371 894184 PRIVMSG #esolangs :14[[07User:H. H. P. M. P. Cole/Modulo 2 v214]]4 N10 02https://esolangs.org/w/index.php?oldid=157835 5* 03H. H. P. M. P. Cole 5* (+964) 10Created page with "'''Modulo 2 v2''' is a programming language created by [[User:H. H. P. M. P. Cole]]. It is based off [[User:I am islptng]]'s modification of the original language but with features present in the original, like multiple "codeblock > 1747403436 570012 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=157836&oldid=157752 5* 03TheCatFromGithub 5* (+152) 10/* Introductions */ added introduction > 1747403470 871848 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=157837&oldid=157836 5* 03TheCatFromGithub 5* (+106) 10oops forgot to sign > 1747403770 99901 PRIVMSG #esolangs :14[[07User:TenBillionPlusOne/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=157838&oldid=157832 5* 03TenBillionPlusOne 5* (-19) 10 > 1747404038 947711 PRIVMSG #esolangs :14[[07Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157839&oldid=157822 5* 03H. H. P. M. P. Cole 5* (+4) 10 > 1747404128 430964 PRIVMSG #esolangs :14[[07PNPL14]]4 10 02https://esolangs.org/w/index.php?diff=157840&oldid=157773 5* 03Henry 5* (+1498) 10 > 1747404394 335778 PRIVMSG #esolangs :14[[07Logica14]]4 M10 02https://esolangs.org/w/index.php?diff=157841&oldid=157839 5* 03H. H. P. M. P. Cole 5* (+10) 10 > 1747404709 978380 PRIVMSG #esolangs :14[[07WTF14]]4 10 02https://esolangs.org/w/index.php?diff=157842&oldid=157790 5* 03H33T33 5* (+238) 10 > 1747405475 946474 PRIVMSG #esolangs :14[[07WTF14]]4 M10 02https://esolangs.org/w/index.php?diff=157843&oldid=157842 5* 03H33T33 5* (-7) 10 > 1747405688 958841 PRIVMSG #esolangs :14[[07WTF14]]4 10 02https://esolangs.org/w/index.php?diff=157844&oldid=157843 5* 03H33T33 5* (-9) 10 > 1747406086 673229 PRIVMSG #esolangs :14[[07User talk:H. H. P. M. P. Cole14]]4 10 02https://esolangs.org/w/index.php?diff=157845&oldid=157760 5* 03Hotcrystal0 5* (+285) 10 > 1747406124 310362 PRIVMSG #esolangs :14[[07User talk:H. H. P. M. P. Cole14]]4 10 02https://esolangs.org/w/index.php?diff=157846&oldid=157845 5* 03Hotcrystal0 5* (-162) 10 > 1747406158 865557 PRIVMSG #esolangs :14[[07Infinite noise automata14]]4 10 02https://esolangs.org/w/index.php?diff=157847&oldid=145311 5* 03Hotcrystal0 5* (+2793) 10Undo revision [[Special:Diff/145311|145311]] by [[Special:Contributions/RainbowDash|RainbowDash]] ([[User talk:RainbowDash|talk]]) > 1747406244 695802 PRIVMSG #esolangs :14[[07User:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=157848&oldid=157675 5* 03Hotcrystal0 5* (-94) 10 > 1747406272 91244 PRIVMSG #esolangs :14[[07User:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=157849&oldid=157848 5* 03Hotcrystal0 5* (+27) 10 > 1747406301 681559 PRIVMSG #esolangs :14[[07User:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=157850&oldid=157849 5* 03Hotcrystal0 5* (+18) 10 > 1747406314 407159 PRIVMSG #esolangs :14[[07User:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=157851&oldid=157850 5* 03Hotcrystal0 5* (+9) 10 < 1747406461 873887 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1747406665 301730 PRIVMSG #esolangs :14[[07ShiftEso14]]4 N10 02https://esolangs.org/w/index.php?oldid=157852 5* 03TheCatFromGithub 5* (+557) 10created page > 1747406685 556269 PRIVMSG #esolangs :14[[07User:TheCatFromGithub14]]4 N10 02https://esolangs.org/w/index.php?oldid=157853 5* 03TheCatFromGithub 5* (+30) 10Created page with "Hello, I created [[ShiftEso]]." > 1747406706 925775 PRIVMSG #esolangs :14[[07ShiftEso14]]4 10 02https://esolangs.org/w/index.php?diff=157854&oldid=157852 5* 03TheCatFromGithub 5* (+3) 10 < 1747406804 861029 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 JOIN #esolangs * :Textual User > 1747406843 232629 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=157855&oldid=157785 5* 03TheCatFromGithub 5* (+15) 10/* S */ added shifteso < 1747407067 797161 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Ping timeout: 276 seconds < 1747407108 593141 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname < 1747407527 208760 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1747407573 349686 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :what the heck? "correspondance" is spelled with "ance" in english, but "ence" in french? I was told that the "ance" vs "ence" spelling always matches between english and french! it's all lies! < 1747407652 427396 :int-e!~noone@int-e.eu PRIVMSG #esolangs :wrong way around < 1747407679 529343 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :oh... yes, it's spelled with "ence" in english and "ance" in french < 1747407697 560547 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :but why? < 1747408164 292504 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Another example is "difference" vs "diffránce" (sp?); there was some sort of vowel shift after the loaning of these words. < 1747408241 661200 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: My dictionary says that it's "différence" in French, which has the same ending < 1747408243 107258 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, wow. "différance". I was not even close. < 1747408256 313399 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(and I don't think that á is a letter in French) < 1747408296 819139 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :différance is a French word, but it's the equivalent of the obscure English word différance (which is presumably a loanword) < 1747408319 159798 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Oh, apparently Derrida deliberately used the old spelling, and that's why it sticks out in my mind. < 1747408336 812758 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So this is a non-example for modern Francophones. < 1747408350 580345 :ais523!~ais523@user/ais523 PRIVMSG #esolangs : The ⟨a⟩ of différance is a deliberate misspelling of différence, though the two are pronounced identically < 1747408365 657262 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yep, an example of hauntology. < 1747408601 406105 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :"ance" vs "ence" ending is always pronounced differently, that's why this is so confusing < 1747408630 830920 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :no < 1747408632 516101 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ARGH < 1747408645 260508 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :"ance" vs "ence" ending is always pronounced the same, that's why this is so confusing < 1747408652 679880 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :my mind is broken < 1747408725 739233 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I mean there was the part where "correspondence" applies at the meta level too because these are about english and french words corresponding to each other, and now you brought up "difference". < 1747408738 613449 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the vowel's more a schwa than anything, I think – which would imply that it would be pronounced differently if you stressed the syllable but not in its usual unstressed state < 1747408783 753348 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :are there any esolangs which are named using regular words except that the stress is in the wrong place? < 1747408869 790762 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :hmm, maybe the spelling is an attempt to set up a who shaves the barber style paradox, like "what's the only word ending in 'ance' or 'ence' where the correspondence between english and french spelling is broken?" "correspondence." "yes, that's what I said." < 1747408921 682547 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :"except the stress is in the wrong place" => probably, because there are both british and american esolangers, and they don't always agree on where the stress is < 1747408980 346410 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1747409161 413868 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :of course this started because I was writing "correspondence" and then decided to look up the spelling. not that my readers would care in this case. < 1747409273 606235 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :often the only way to memorise this sort of thing is to read enough English that it become subconscious < 1747409322 435190 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: "why" -- apparently it's taken from Latin without the detour via French: https://www.etymonline.com/word/correspondence < 1747409421 188056 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :yes, I know "existence" is one that I often used to spell wrong < 1747409529 802515 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :int-e: latin is what usually decides between "ance" and "ence" spelling yes, and that's why it matches in french and english, but that doesn't explain the difference for "correspondance" in french vs "correspondence" in english < 1747409592 115204 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I guess I don't care about that part as much. < 1747409821 793945 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 JOIN #esolangs * :Textual User < 1747410564 805484 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Read error: Connection reset by peer < 1747410571 88117 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname > 1747410811 254921 PRIVMSG #esolangs :14[[07Mlatu-614]]4 10 02https://esolangs.org/w/index.php?diff=157856&oldid=157650 5* 03Zhil 5* (+4) 10Reduced the size of the one-combinator bases < 1747412330 193574 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed > 1747414759 226326 PRIVMSG #esolangs :14[[07Mlatu-614]]4 M10 02https://esolangs.org/w/index.php?diff=157857&oldid=157856 5* 03Zhil 5* (+1) 10 < 1747415105 359516 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1747415114 372793 :chloetax!~chloe@user/chloetax QUIT :Quit: Leaving < 1747415134 857342 :chloetax!~chloe@user/chloetax JOIN #esolangs chloetax :chloe < 1747416390 423052 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Excess Flood < 1747416540 193709 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron (they/them) > 1747416726 795566 PRIVMSG #esolangs :14[[07Monoid14]]4 10 02https://esolangs.org/w/index.php?diff=157858&oldid=157821 5* 03Corbin 5* (+1854) 10I see that leaving this half-finished was a mistake. Next time I will not start editing before bed. < 1747416776 795741 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: I can't see a way to save your paragraph in [[monoid]]. The freedom of equality isn't the point, and that's actually why I included equality in the top-level definition. < 1747416808 866411 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :What's relevant here is that for any set L, L* is a monoid; that is, there's a functor * : Set -> Mon. < 1747416839 127165 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 JOIN #esolangs * :Textual User < 1747416847 593721 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I need to bulldoze that section somewhat anyway, because I didn't realize that I need to define monoid presentations and rank *after* free monoids. > 1747417096 97172 PRIVMSG #esolangs :14[[07Monoid14]]4 10 02https://esolangs.org/w/index.php?diff=157859&oldid=157858 5* 03Corbin 5* (+240) 10Put the category-theory gibberish at the bottom, out of the way. Most folks will only care about sets. < 1747417107 165814 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: so the basic problem with the article is that someone who knows enough of the relevant mathematics to be able to understand it would already know what a monoid is, so it's unclear who the target audience is < 1747417128 355556 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Oh! Okay, let's reset assumptions before I keep editing. < 1747417161 159903 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :that's probably fixable after the artice is finished, though < 1747417202 387512 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :My main thought was that I've gotten basically no guidance on [[concatenative language]]. My secondary thought was that monoids sure pop up a lot but we never bother to explain what they are. < 1747417299 926122 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm seriously concerned that we're going to enter a third generation of programmers who refuse to learn what a monoid homomorphism is, and we're not even having a page that bikesheds the terminology. < 1747417335 261967 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :concatenative languages bother me a bit, because there are a) concatenative calculus languages like Joy and Mlatu which clearly fit, and b) a whole sphere of concatenative-ish languages like brainfuck which are a bit of a grey area < 1747417343 661289 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and I'm not sure how to deal with b) in my head < 1747417352 462837 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :[[BF instruction minimalization]] is a messy read at best. Basically lab notes. Do we have a clear target audience for that? < 1747417389 182127 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Ah, sure, the tribes of programming languages are a difficult Whorfian mind-lock to escape. < 1747417391 890186 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's for people who want to see a lot of partial attempts at minimalising BF < 1747417406 871505 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :which is a nontrivially-sized target audience < 1747417430 668167 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sure. As opposed to [[simple translation]], which is for the much smaller audience of folks who are minimising BF~ < 1747417431 602162 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there are so many programmers who see that < and - can be combined into a single instruction and the language still works, then try to go further < 1747417454 350688 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the simple translation page came a lot later, and was an attempt to formalise some of the concepts rather than to show a lot of attempts < 1747417483 420413 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(and was also intended to shed light onto the "minimalise BF into a turning tarpit" approach which may, oddly, still be possible via simple translation) < 1747417519 508783 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but "trying to minimalise BF" is a) a popular subject, b) something that it's very easy to do incorrectly < 1747417539 944321 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so having a lot of visible attempts is in some sense useful to avoid duplication of effort (and also to demonstrate why it's hard to do correctly) < 1747417602 282198 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I'm trying to remember if anyone's tried obviously futile things like memory-mapping [ and ] yet – it wouldn't surprise me < 1747417614 838566 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Also, I think that you and I look at deep structure differently. I'm completely unsurprised that monoids would show up randomly in the syntax of existing languages, because existing languages tend to have *much* richer structures, up to Kleene algebras! < 1747417660 269693 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: oh, I'm not surprised that the syntax forms a monoid – I'm surprised that the syntax forms a *function* in a way that makes composition meaningful < 1747417711 728168 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Oh, it's because control flow tends to be monadic and monads are a special kind of monoid. < 1747417732 420725 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :If you have the ability to say "do this, then do that", that usually implies some sort of monoidal action combining this and that. < 1747417807 615419 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right, but the monadic flatmap feels a bit different from the normal sense of function composition < 1747417833 55377 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think it can be viewed as a function composition, though > 1747417956 810538 PRIVMSG #esolangs :14[[07ShiftEso14]]4 10 02https://esolangs.org/w/index.php?diff=157860&oldid=157854 5* 03TheCatFromGithub 5* (+2) 10 < 1747417973 635681 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :The way we usually do it (for some monad M) is to lift functions X → Y to actions X → M(Y). This is why folks say that monad-heavy languages act "in the monad" or "return into the monad". > 1747417981 817410 PRIVMSG #esolangs :14[[07User:Hotcrystal014]]4 10 02https://esolangs.org/w/index.php?diff=157861&oldid=157851 5* 03Hotcrystal0 5* (-10) 10 < 1747418002 412443 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Then the composition is "ordinary" function composition, using the pieces of the monad as needed. < 1747418028 782586 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Anyway, yeah, monoids are just special cases of categories. It's all just goo at some point. < 1747418043 702829 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, no, because the syntactic composition composes X→M(Y) with Y→M(Z) to produce X→M(Z), and function composition doesn't do that < 1747418069 90561 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's a related operation but not identical < 1747418084 71019 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Syntactic composition with the semicolon will do that. Most languages don't have the "programmable semicolon"; the monad is fixed. < 1747418110 475141 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh, OK, I think I understand what I'm stuck on now < 1747418148 663331 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :we are composing X→Y and Y→Z but the actual program is doing M(X→Y) and M(Y→Z) for some fixed monad M < 1747418199 422307 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there are, e.g., two ways to view an Underload fragment: either it's a function from the portion of the stack it reads to the portion of the stack it writes, or it's a function from stacks to stacks < 1747418216 141757 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yes, exactly. Like for BF, the monad passes the state of the tape and pointer and manages I/O. The homomorphism is sending us to the Kleisli category where that monad is a fixed background effect. < 1747418227 261054 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and the latter view is easy to understand and reason about – but the former view is the one you are mostly using when programming in it < 1747418251 24168 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Right. The latter is what we do with Forth-style stack-effect comments like ( x y -- z w z ) < 1747418255 901264 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :for languages which are further away from concatenative calculus, the monad is pulling more weight and is less visible < 1747418281 669241 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But the former is what we operationalize with e.g. Haskell stacks like (x, (y, Stack)) -> (z, (w, (z, Stack))) < 1747418301 810781 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so defining them as concatenative means that you are trying to force the monad "into view", and into the definition of syntax fragments as functions, when it isn't something that programmers consciously think about usually < 1747418327 12809 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yes. And for languages like Cammy, with *no* background monad, this hopefully trivializes; one can pretend that Cammy is always talking about sets. < 1747418368 121663 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :fwiw, I'm generally a believer that statically typed languages should try to make their background monads more visible, especially by integrating them into the type system < 1747418395 907879 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think effect systems are an example of that sort of thing < 1747418414 44740 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and Haskell is substantially in that direction already (although I don't use it much) < 1747418473 32615 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So, here's a concrete motivation for compiler engineers: concatenative reasoning can be used to iterate over a list of operations, and a monoid can be used to optimize those iterations down into a single action. < 1747418501 504775 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Peephole optimizers are an obvious example, but abstract interpreters can be defined to generally walk over a list (or anything traversable, of course...) < 1747418514 759336 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so compiler intermediate representations have been gradually moving in that direction – but they also usually have more symmetries than a monoid implies < 1747418537 865871 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so you end up with something that is a monoid, but has extra structure on top (and typically doesn't syntactically match the original language) < 1747418564 736450 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Well, tell me what you think of this: https://github.com/rpypkgs/rpypkgs/blob/main/bf/bf.py#L163-L192 < 1747418589 494628 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh right, Github doesn't work without JS nowadays < 1747418592 441547 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :give me a moment < 1747418592 908324 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :This is a one-register abstract interpreter over BF. Its correctness is mostly from the idea that we really do have a monoid. < 1747418613 352223 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(pull requests still work, and readmes on project home pages, just not anything else) < 1747418640 805119 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Are raw links still working? https://raw.githubusercontent.com/rpypkgs/rpypkgs/refs/heads/main/bf/bf.py < 1747418690 1814 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: I loaded it, eventually < 1747418701 802550 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I find it hard to read and hard to get an idea of whether or not it's correct < 1747418759 244468 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :…also I was surprised that I'm apparently not the only person who habitually uses "rv" for temporary variables that are used to construct the return value of a function, despite the name being an obvious initialism < 1747418837 329673 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :anyway, things like "elif adHead is anAdd and ad is aZero: bfHead, adHead, immHead = bf, ad, imm" look like bugs to me – I assume that adds are more complicated than zeros, so why would you overwrite the add with the zero? < 1747418848 243067 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but that doesn't mean they are bugs, it might just mean that I'm not understanding how the code works < 1747418928 548946 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :adHead is the next instruction to commit and ad is the next instruction to decode. This corresponds to BF code like `++[-]`; we're committed to adding 2, but that will be wiped out by an unconditional 0. < 1747418949 481985 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ah, I see – it's a "set to zero" instruction, so you're wiping out any previous changes < 1747418961 816374 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Ah, yeah, like in bfmacro. < 1747419017 255883 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I guess this code is not making use of the monoidal nature of BF because it would work just as well scanning left to right < 1747419060 215731 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :…although it's hard to imagine a nonassociative version of BF that could be used to demonstrate the code still working < 1747419104 121929 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :"do a, then (b then c)" is basically inherently equivalent to "do (a then b), then c" and I can't currently think of a way to break it even in an esolang < 1747419112 182568 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :maybe some sort of race condition/ < 1747419115 562817 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :The correctness stems from the idea that a monoid can always be forcefully turned from a sequence into a (left-leaning?) tree, and then we can do induction and recursion. < 1747419175 601665 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: I was thinking of the converse: I agree the fact that it's a monoid makes it correct, *but* the approach seems conceptually correct even for non-monoids < 1747419192 689861 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's just that it's hard to verify how that works because it's hard to imagine the underlying operation being nonassociative < 1747419209 81558 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1747419212 69614 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I guess it's easier to imagine the underlying operation not having an identity < 1747419267 82074 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although that would be a weird language design exercise: to create a language where (e.g.) empty program and loop bodys aren't allowed, and there is no way to combine commands in order to produce a no-op < 1747419277 88367 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :* loop bodies < 1747419404 48492 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Elements of bicategories are monads, so there's probably some flavor of Hilton-Eckmann argument nearby. < 1747419478 682008 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Anyway, I'll come back to this eventually, if I find the motivation again. < 1747419492 813280 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sometimes contributing to this wiki makes me want to smash a keyboard against the wall. < 1747419624 143602 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I frequently have trouble producing the motivation to do anything < 1747420035 544888 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Well, I'll stop being a distraction. < 1747420059 342172 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I'm not sure that distractions really hurt (except that sometimes I can't even get the motivation to go on IRC) < 1747420133 861947 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PART :#esolangs < 1747420137 780882 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(to be clear, sometimes I'm offline for other reasons – if distractions would be a problem I just disconnect from the Internet) < 1747421198 76253 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Excess Flood < 1747421224 185270 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1747421619 176848 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds < 1747421619 414234 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1747421645 431612 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1747421653 172796 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 248 seconds < 1747421685 305047 :citrons!~citrons@alt.mondecitronne.com QUIT :Ping timeout: 252 seconds < 1747421717 154065 :FreeFull!~freefull@79.186.59.252.ipv4.supernova.orange.pl QUIT :Ping timeout: 248 seconds < 1747421722 482590 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 JOIN #esolangs * :Textual User < 1747421726 27987 :FreeFull!~freefull@79.186.59.252.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull < 1747421795 225660 :leah2!~leah@vuxu.org QUIT :Ping timeout: 252 seconds < 1747421814 62155 :leah2!~leah@vuxu.org JOIN #esolangs leah2 :Leah Neukirchen < 1747421856 892838 :gry!~gry@chris-amadeus.bnr.la QUIT :Ping timeout: 272 seconds < 1747421870 605120 :callforjudgement!~ais523@user/ais523 NICK :ais523 < 1747421871 802280 :gry!~gry@chris-amadeus.bnr.la JOIN #esolangs * :gry < 1747421995 808116 :citrons!~citrons@alt.mondecitronne.com JOIN #esolangs citrons :citrons < 1747422460 61162 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1747423408 178018 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 JOIN #esolangs * :Textual User < 1747424369 552198 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1747424809 392618 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( imagine using WASM just to get access to a 64 bit integer type ) < 1747425566 61503 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 JOIN #esolangs * :Textual User > 1747425915 940529 PRIVMSG #esolangs :14[[07Monoid14]]4 10 02https://esolangs.org/w/index.php?diff=157862&oldid=157859 5* 03Aadenboy 5* (+8) 10marking this as a work in progress since some sections are blank > 1747425954 938737 PRIVMSG #esolangs :14[[07ShiftEso14]]4 10 02https://esolangs.org/w/index.php?diff=157863&oldid=157860 5* 03TheCatFromGithub 5* (+1856) 10explained the language > 1747426030 845427 PRIVMSG #esolangs :14[[07ShiftEso14]]4 10 02https://esolangs.org/w/index.php?diff=157864&oldid=157863 5* 03TheCatFromGithub 5* (+39) 10/* Examples */ add example > 1747426092 514652 PRIVMSG #esolangs :14[[07ShiftEso14]]4 M10 02https://esolangs.org/w/index.php?diff=157865&oldid=157864 5* 03TheCatFromGithub 5* (+43) 10 < 1747426162 573764 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1747427028 247213 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 JOIN #esolangs * :Textual User < 1747428498 848895 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm, why is BV so isolated in https://smt-lib.org/logics.shtml (can't be combined with any (linear) arithmetic flavors)... I guess it's intentionally a fragment that can be bit-blasted? < 1747429750 981533 :tromp!~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1747430010 161491 :tromp!~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479 JOIN #esolangs * :Textual User < 1747431284 437218 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1747433291 487414 :tromp!~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1747433599 278563 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs lisbeths :lisbeths > 1747434192 714666 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Las-r 5* 10New user account < 1747434331 196991 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :That's interesting. > 1747434633 756923 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=157866&oldid=157837 5* 03Las-r 5* (+260) 10introduction > 1747434641 989553 PRIVMSG #esolangs :14[[07Greed14]]4 N10 02https://esolangs.org/w/index.php?oldid=157867 5* 03Las-r 5* (+881) 10Create page. > 1747434748 575463 PRIVMSG #esolangs :14[[07Greed14]]4 M10 02https://esolangs.org/w/index.php?diff=157868&oldid=157867 5* 03Las-r 5* (-12) 10Fix formatting > 1747434803 139150 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=157869&oldid=157855 5* 03Buckets 5* (+10) 10 > 1747434851 232830 PRIVMSG #esolangs :14[[07User:Buckets14]]4 M10 02https://esolangs.org/w/index.php?diff=157870&oldid=157771 5* 03Buckets 5* (+9) 10 > 1747434864 609798 PRIVMSG #esolangs :14[[07Jil14]]4 N10 02https://esolangs.org/w/index.php?oldid=157871 5* 03Buckets 5* (+1401) 10Created page with "Jil is an Esoteric programming language created by [[User:Buckets]] in 2021. {| class="wikitable" |- ! Commands !! Instructions |- | > || Set the Input to The current Target. |- | - || Set the Target to The Next character as A Variable. |- | < || Output The Current target I > 1747434925 392060 PRIVMSG #esolangs :14[[07Jil14]]4 M10 02https://esolangs.org/w/index.php?diff=157872&oldid=157871 5* 03Buckets 5* (+1) 10 > 1747435032 842564 PRIVMSG #esolangs :14[[07Greed14]]4 M10 02https://esolangs.org/w/index.php?diff=157873&oldid=157868 5* 03Las-r 5* (+109) 10Add links to source and creator. > 1747435187 320015 PRIVMSG #esolangs :14[[07Greed14]]4 M10 02https://esolangs.org/w/index.php?diff=157874&oldid=157873 5* 03Las-r 5* (+16) 10 > 1747435334 773286 PRIVMSG #esolangs :14[[07Greed14]]4 M10 02https://esolangs.org/w/index.php?diff=157875&oldid=157874 5* 03Las-r 5* (+40) 10Add categories > 1747435373 313048 PRIVMSG #esolangs :14[[07Greed14]]4 M10 02https://esolangs.org/w/index.php?diff=157876&oldid=157875 5* 03Las-r 5* (+1) 10Fix categories > 1747435385 972347 PRIVMSG #esolangs :14[[07Greed14]]4 M10 02https://esolangs.org/w/index.php?diff=157877&oldid=157876 5* 03Las-r 5* (-3) 10 > 1747435650 38475 PRIVMSG #esolangs :14[[07Treadnil14]]4 10 02https://esolangs.org/w/index.php?diff=157878&oldid=148990 5* 03BoundedBeans 5* (-1) 10Fixed Truth machine > 1747435660 978887 PRIVMSG #esolangs :14[[07WTF14]]4 10 02https://esolangs.org/w/index.php?diff=157879&oldid=157844 5* 03H33T33 5* (+592) 10 > 1747435802 350739 PRIVMSG #esolangs :14[[07Greed14]]4 M10 02https://esolangs.org/w/index.php?diff=157880&oldid=157877 5* 03Las-r 5* (+85) 10Add more categories > 1747435981 710588 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (D-G)14]]4 M10 02https://esolangs.org/w/index.php?diff=157881&oldid=152431 5* 03Las-r 5* (+200) 10Add greed > 1747436090 810859 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (D-G)14]]4 M10 02https://esolangs.org/w/index.php?diff=157882&oldid=157881 5* 03Las-r 5* (-30) 10Fix formatting so greed doesnt get cut off > 1747436266 979112 PRIVMSG #esolangs :14[[07Greed14]]4 M10 02https://esolangs.org/w/index.php?diff=157883&oldid=157880 5* 03Las-r 5* (+108) 10Add brainfuck inspiration < 1747436349 969073 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523 "empty program and loop bodys aren't allowed, and there is no way to combine commands in order to produce a no-op" => you could do that with a hypothetical CPU where every instruction overwrites a result or flags register, so if you want to do a conditional branch with the status flags you have to put the branch instruction right after the compare instruction (with not even a function call or < 1747436355 974758 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :return between) and if you want to store the result of some arithmetic then you have to put the store right after the arithmetic instruction < 1747436518 734254 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :no no-op combinations because you can never preserve both result registers from the previous state, only one of the two < 1747436813 675858 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :or you could have a machine where every instruction writes exactly one of the eight generaly purpose registers, and the instruction can never read and write the same register, so you always lose the value of one of the eight < 1747437143 605 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :heck, let's make that sillier, there are 9 general purpose registers, every instruction nominally has two register input arguments and one register output arguments and all three must be distinct, and the three register indexes together are encoded into a 9 bit field. some instructions ignore one or both nominal input registers, just to keep the operand encoding uniform, but the output register is < 1747437149 6933 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :always clobbered < 1747437631 890071 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1747437720 27761 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 265 seconds < 1747437721 181770 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life