< 1772582517 262438 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1772583575 818183 PRIVMSG #esolangs :14[[07Neb's Art14]]4 M10 02https://esolangs.org/w/index.php?diff=177355&oldid=161702 5* 03HecknTarnation 5* (+0) 10Fixed minor error < 1772585083 412997 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :https://www.brics.dk/RS/05/1/BRICS-RS-05-1.pdf Interesting paper found during research: there's an infinite r.e. set of fixed-point lambda terms! Moreover the decision procedure could be implemented by a lambda-calculus compiler. < 1772585547 359826 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Interesting (but misstated; according to the abstract they show that the set of standard fixed point combinators is r.e., while the set of non-standard fixed point combinators is not) < 1772586276 824309 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Maybe not so interesting. It's pretty obvious that you can enumerate terms Phi with Phi x = x (Phi x) because both terms and conversions are r.e. < 1772586591 840311 :int-e!~noone@int-e.eu PRIVMSG #esolangs :They make the claim that the complement of the set of non-standard fixed point combinators is r.e. and I don't believe it, because you'd have to enumerate terms Phi where Phi f applies f a number of times to bottom, and bottoms are not r.e. (that would decide the halting problem) < 1772586604 224141 :int-e!~noone@int-e.eu PRIVMSG #esolangs :a technical report, not peer reviewed, mistakes happen < 1772586670 630437 :int-e!~noone@int-e.eu PRIVMSG #esolangs :At least I think it's not reviewed? Could be wrong. Reviewers miss stuff too :) > 1772586939 339867 PRIVMSG #esolangs :14[[07User:PkmnQ/Wrong Wrap14]]4 10 02https://esolangs.org/w/index.php?diff=177356&oldid=139156 5* 03PkmnQ 5* (-1145) 10I'm reusing this name for a new esolang > 1772591126 316542 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=177357&oldid=176430 5* 03Rombito 5* (+2) 10 < 1772591971 309210 :somefan!~somefan@user/somefan QUIT :Read error: Connection reset by peer < 1772592047 905864 :somefan!~somefan@user/somefan JOIN #esolangs somefan :realname < 1772593575 173335 :svm!~msv@user/msv QUIT :Read error: Connection reset by peer > 1772594173 971758 PRIVMSG #esolangs :14[[07Subtract14]]4 10 02https://esolangs.org/w/index.php?diff=177358&oldid=177337 5* 03Dragoneater67 5* (-6) 10 > 1772594973 81787 PRIVMSG #esolangs :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=177359&oldid=177353 5* 03BODOKE2801e 5* (+1) 10/* >||< 1772595883 190246 PRIVMSG #esolangs :14[[07!!14]]4 10 02https://esolangs.org/w/index.php?diff=177360&oldid=158496 5* 03BODOKE2801e 5* (+227) 10 < 1772597507 247850 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca JOIN #esolangs zzo38 :zzo38 > 1772601020 596480 PRIVMSG #esolangs :14[[07Lehbar14]]4 N10 02https://esolangs.org/w/index.php?oldid=177361 5* 03BODOKE2801e 5* (+1395) 10unfinished < 1772602933 551602 :somefan!~somefan@user/somefan TOPIC #esolangs :Welcome to the international hub for esoteric programming language discussion, development, and deployment! | https://esolangs.org | logs: https://logs.esolags.org/ | Need an admin action done on the wiki? https://esolangs.org/wiki/Special:EmailUser/Ais523 < 1772602942 826138 :somefan!~somefan@user/somefan TOPIC #esolangs :Welcome to the international hub for esoteric programming language discussion, development, and deployment! | https://esolangs.org | logs: https://logs.esolangs.org/ | Need an admin action done on the wiki? https://esolangs.org/wiki/Special:EmailUser/Ais523 < 1772602987 522589 :somefan!~somefan@user/somefan PRIVMSG #esolangs :i think that should be protected > 1772603543 102348 PRIVMSG #esolangs :14[[07Righght14]]4 10 02https://esolangs.org/w/index.php?diff=177362&oldid=177323 5* 03Cool Bungle 5* (+8) 10 < 1772610454 856128 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1772610751 329538 :tromp!~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28 JOIN #esolangs * :Textual User < 1772610925 982587 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :somefan: we used to change the "discussion, development and deployment" part often, and there are enough active users that we can quickly revert and possibly quiet if someone tries to change the topic to something inappropriate < 1772613301 747509 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu QUIT :Quit: leaving < 1772613389 814922 :somefan!~somefan@user/somefan QUIT :Ping timeout: 265 seconds < 1772617444 63024 :tromp!~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28 QUIT :Ping timeout: 276 seconds > 1772620086 208353 PRIVMSG #esolangs :14[[07OoOoOM14]]4 10 02https://esolangs.org/w/index.php?diff=177363&oldid=170087 5* 03Yayimhere2(school) 5* (-775) 10/* Computational class */ < 1772624150 100039 :somefan!~somefan@208.58.192.69 JOIN #esolangs * :realname < 1772624150 140531 :somefan!~somefan@208.58.192.69 CHGHOST ~somefan :user/somefan > 1772624489 461195 PRIVMSG #esolangs :14[[07Brainhash14]]4 M10 02https://esolangs.org/w/index.php?diff=177364&oldid=170467 5* 03Kaveh Yousefi 5* (-12) 10Amended the interpreter documentation's grammar. > 1772624528 74935 PRIVMSG #esolangs :14[[07Septem Lingua14]]4 10 02https://esolangs.org/w/index.php?diff=177365&oldid=177210 5* 03Yoyolin0409 5* (+6) 10/* Truth-machine */ > 1772624606 864365 PRIVMSG #esolangs :14[[07Septem Lingua14]]4 10 02https://esolangs.org/w/index.php?diff=177366&oldid=177365 5* 03Yoyolin0409 5* (+21) 10/* OOP examples */ > 1772625168 371088 PRIVMSG #esolangs :14[[07Rickrolling14]]4 10 02https://esolangs.org/w/index.php?diff=177367&oldid=176495 5* 03Yoyolin0409 5* (+0) 10 > 1772625184 572280 PRIVMSG #esolangs :14[[07Rickrolling14]]4 10 02https://esolangs.org/w/index.php?diff=177368&oldid=177367 5* 03Yoyolin0409 5* (-6) 10 < 1772625197 187330 :APic!apic@apic.name PRIVMSG #esolangs :Hi > 1772625421 363595 PRIVMSG #esolangs :14[[07Smasnug ABrainFIsHCHIHqFRSI9efuck+-~B2D14]]4 10 02https://esolangs.org/w/index.php?diff=177369&oldid=173345 5* 03Yoyolin0409 5* (-16247) 10/* Python(WIP) */ > 1772625434 505044 PRIVMSG #esolangs :14[[07Smasnug ABrainFIsHCHIHqFRSI9efuck+-~B2D14]]4 10 02https://esolangs.org/w/index.php?diff=177370&oldid=177369 5* 03Yoyolin0409 5* (+4) 10/* Interpreter */ > 1772626994 790924 PRIVMSG #esolangs :14[[07SimpleEnglish14]]4 N10 02https://esolangs.org/w/index.php?oldid=177371 5* 03Mrtli08 5* (+598) 10Created page with "SimpleEnglish is just english.
===commands=== NOTE: Things inside () just hold a name.
Declare a variable called (name). >> var (name) = 0; (For example Declare a variable called x. turns into var x = 0;) Set variable (name) to (value). >> (name) = 0; In < 1772628444 101106 :somefan!~somefan@user/somefan QUIT :Ping timeout: 245 seconds > 1772629383 434977 PRIVMSG #esolangs :14[[07The bluetooth device is ready to pair14]]4 10 02https://esolangs.org/w/index.php?diff=177372&oldid=174649 5* 03Yoyolin0409 5* (+25) 10/* Hello world program(string) */ > 1772629457 835160 PRIVMSG #esolangs :14[[07The bluetooth device is ready to pair14]]4 10 02https://esolangs.org/w/index.php?diff=177373&oldid=177372 5* 03Yoyolin0409 5* (-7) 10/* Instructions */ > 1772632343 229689 PRIVMSG #esolangs :14[[07Talk:Lehbar14]]4 N10 02https://esolangs.org/w/index.php?oldid=177374 5* 03Mrtli08 5* (+120) 10Created page with "huh?! we need proof for turing for dis --~~~~" > 1772633753 237233 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03SchoolAccount 5* 10New user account > 1772633959 131097 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=177375&oldid=177345 5* 03SchoolAccount 5* (+145) 10 < 1772637909 415320 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu JOIN #esolangs b_jonas :b_jonas > 1772639741 885153 PRIVMSG #esolangs :14[[07Talk:AIGenLang14]]4 N10 02https://esolangs.org/w/index.php?oldid=177376 5* 03RikoMamaBala 5* (+246) 10Created page with "I just wanted to make an interpreter for this language, and I stumbled upon this question: is indentation on if statements and loops mandatory or is it optional? --[[User:RikoMamaBala|RikoMa]][[Talk:RikoMamaBala|maBala]] 15:53, 4 March 2026 (UTC)" < 1772643307 137958 :pr1sm!~pr1sm@24.91.163.31 JOIN #esolangs * :pr1sm > 1772647245 676453 PRIVMSG #esolangs :14[[07Talk:AIGenLang14]]4 10 02https://esolangs.org/w/index.php?diff=177377&oldid=177376 5* 03Dragoneater67mobile 5* (+138) 10 < 1772647843 698319 :pr1sm!~pr1sm@24.91.163.31 QUIT :Remote host closed the connection < 1772650352 571876 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net JOIN #esolangs * :[https://web.libera.chat] impomatic < 1772651479 95333 :joast!~joast@2603:90d8:500:31cf:5e0f:3f4b:1cfe:5060 QUIT :Quit: Leaving. < 1772652999 371938 :somefan!~somefan@208.58.192.69 JOIN #esolangs * :realname < 1772652999 439824 :somefan!~somefan@208.58.192.69 CHGHOST ~somefan :user/somefan < 1772653711 818695 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1772653735 156964 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 264 seconds < 1772653887 465750 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1772654927 882977 :joast!~joast@2603:90d8:500:31cf:5e0f:3f4b:1cfe:5060 JOIN #esolangs joast :joast < 1772656008 461264 :ManDeJan!3da94070ba@user/mandejan QUIT :Ping timeout: 264 seconds < 1772656348 239607 :^[!~user@user//x-8473491 QUIT :Ping timeout: 268 seconds < 1772656838 60935 :ManDeJan!3da94070ba@user/mandejan JOIN #esolangs ManDeJan :ManDeJan < 1772656968 544866 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user < 1772658956 233821 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net QUIT :Quit: Client closed < 1772662626 284744 :APic!apic@apic.name PRIVMSG #esolangs :G'Night 😴 < 1772663929 14194 :somefan!~somefan@user/somefan QUIT :Quit: quit < 1772665950 134670 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1772665995 316585 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :does anyone here know of experiments in using a game controller as an input method for writing computer programs? (ideally those in fairly normal programming languages, rather than needing to invent one for the purpose) < 1772666015 830564 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I've been wondering about trying to write programs during long/bumpy car/bus journeys and what it would be like > 1772668127 396050 PRIVMSG #esolangs :14[[07Talk:Lehbar14]]4 10 02https://esolangs.org/w/index.php?diff=177378&oldid=177374 5* 03PkmnQ 5* (+233) 10 < 1772668343 62721 :somefan!~somefan@208.58.192.69 JOIN #esolangs * :realname < 1772668343 131807 :somefan!~somefan@208.58.192.69 CHGHOST ~somefan :user/somefan < 1772668748 803724 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I don't know of anything that can't be argued into an a11y case study rather than a serious hypothesis about code quality or speed of input. I also can't figure out how to disqualify the experience of typing TI-BASIC on a TI-84 in the back of a turbulent yellow school bus.