00:01:57 -!- Sgeo has joined.
00:19:35 <esolangs> [[Neb's Art]] M https://esolangs.org/w/index.php?diff=177355&oldid=161702 * HecknTarnation * (+0) Fixed minor error
00:44:43 <korvo> 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.
00:52:27 <int-e> 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)
01:04:36 <int-e> 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.
01:09:51 <int-e> 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)
01:10:04 <int-e> a technical report, not peer reviewed, mistakes happen
01:11:10 <int-e> At least I think it's not reviewed? Could be wrong. Reviewers miss stuff too :)
01:15:39 <esolangs> [[User:PkmnQ/Wrong Wrap]] https://esolangs.org/w/index.php?diff=177356&oldid=139156 * PkmnQ * (-1145) I'm reusing this name for a new esolang
02:25:26 <esolangs> [[]] https://esolangs.org/w/index.php?diff=177357&oldid=176430 * Rombito * (+2)
02:39:31 -!- somefan has quit (Read error: Connection reset by peer).
02:40:47 -!- somefan has joined.
03:06:15 -!- svm has quit (Read error: Connection reset by peer).
03:16:13 <esolangs> [[Subtract]] https://esolangs.org/w/index.php?diff=177358&oldid=177337 * Dragoneater67 * (-6)
03:29:33 <esolangs> [[Truth-machine]] M https://esolangs.org/w/index.php?diff=177359&oldid=177353 * BODOKE2801e * (+1) /* >||<</nowiki */
03:44:29 -!- zzo38 has quit (Ping timeout: 245 seconds).
03:44:43 <esolangs> [[!!]] https://esolangs.org/w/index.php?diff=177360&oldid=158496 * BODOKE2801e * (+227)
04:11:47 -!- zzo38 has joined.
05:10:20 <esolangs> [[Lehbar]] N https://esolangs.org/w/index.php?oldid=177361 * BODOKE2801e * (+1395) unfinished
05:42:13 -!- somefan has set topic: 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.
05:42:22 -!- somefan has set topic: 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.
05:43:07 <somefan> i think that should be protected
05:52:23 <esolangs> [[Righght]] https://esolangs.org/w/index.php?diff=177362&oldid=177323 * Cool Bungle * (+8)
07:47:34 -!- Sgeo has quit (Read error: Connection reset by peer).
07:52:31 -!- tromp has joined.
07:55:25 <b_jonas> 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
08:35:01 -!- b_jonas has quit (Quit: leaving).
08:36:29 -!- somefan has quit (Ping timeout: 265 seconds).
09:44:04 -!- tromp has quit (Ping timeout: 276 seconds).
10:28:06 <esolangs> [[OoOoOM]] https://esolangs.org/w/index.php?diff=177363&oldid=170087 * Yayimhere2(school) * (-775) /* Computational class */
11:35:50 -!- somefan has joined.
11:35:50 -!- somefan has changed hostmask to ~somefan@user/somefan.
11:41:29 <esolangs> [[Brainhash]] M https://esolangs.org/w/index.php?diff=177364&oldid=170467 * Kaveh Yousefi * (-12) Amended the interpreter documentation's grammar.
11:42:08 <esolangs> [[Septem Lingua]] https://esolangs.org/w/index.php?diff=177365&oldid=177210 * Yoyolin0409 * (+6) /* Truth-machine */
11:43:26 <esolangs> [[Septem Lingua]] https://esolangs.org/w/index.php?diff=177366&oldid=177365 * Yoyolin0409 * (+21) /* OOP examples */
11:52:48 <esolangs> [[Rickrolling]] https://esolangs.org/w/index.php?diff=177367&oldid=176495 * Yoyolin0409 * (+0)
11:53:04 <esolangs> [[Rickrolling]] https://esolangs.org/w/index.php?diff=177368&oldid=177367 * Yoyolin0409 * (-6)
11:57:01 <esolangs> [[Smasnug ABrainFIsHCHIHqFRSI9efuck+-~B2D]] https://esolangs.org/w/index.php?diff=177369&oldid=173345 * Yoyolin0409 * (-16247) /* Python(WIP) */
11:57:14 <esolangs> [[Smasnug ABrainFIsHCHIHqFRSI9efuck+-~B2D]] https://esolangs.org/w/index.php?diff=177370&oldid=177369 * Yoyolin0409 * (+4) /* Interpreter */
12:23:14 <esolangs> [[SimpleEnglish]] N https://esolangs.org/w/index.php?oldid=177371 * Mrtli08 * (+598) Created page with "SimpleEnglish is just english. <br> ===commands=== NOTE: Things inside () just hold a name. <br> 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
12:47:24 -!- somefan has quit (Ping timeout: 245 seconds).
13:03:03 <esolangs> [[The bluetooth device is ready to pair]] https://esolangs.org/w/index.php?diff=177372&oldid=174649 * Yoyolin0409 * (+25) /* Hello world program(string) */
13:04:17 <esolangs> [[The bluetooth device is ready to pair]] https://esolangs.org/w/index.php?diff=177373&oldid=177372 * Yoyolin0409 * (-7) /* Instructions */
13:52:23 <esolangs> [[Talk:Lehbar]] N https://esolangs.org/w/index.php?oldid=177374 * Mrtli08 * (+120) Created page with "huh?! we need proof for turing for dis --~~~~"
14:15:53 <esolangs> [[Special:Log/newusers]] create * SchoolAccount * New user account
14:19:19 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=177375&oldid=177345 * SchoolAccount * (+145)
15:25:09 -!- b_jonas has joined.
15:55:41 <esolangs> [[Talk:AIGenLang]] N https://esolangs.org/w/index.php?oldid=177376 * RikoMamaBala * (+246) Created 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)"
16:55:07 -!- pr1sm has joined.
18:00:45 <esolangs> [[Talk:AIGenLang]] https://esolangs.org/w/index.php?diff=177377&oldid=177376 * Dragoneater67mobile * (+138)
18:10:43 -!- pr1sm has quit (Remote host closed the connection).
18:52:32 -!- impomatic has joined.
19:11:19 -!- joast has quit (Quit: Leaving.).
19:36:39 -!- somefan has joined.
19:36:39 -!- somefan has changed hostmask to ~somefan@user/somefan.
19:48:31 -!- Lord_of_Life_ has joined.
19:48:55 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
19:51:27 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
20:08:47 -!- joast has joined.
20:26:48 -!- ManDeJan has quit (Ping timeout: 264 seconds).
20:32:28 -!- ^[ has quit (Ping timeout: 268 seconds).
20:40:38 -!- ManDeJan has joined.
20:42:48 -!- ^[ has joined.
21:15:56 -!- impomatic has quit (Quit: Client closed).
22:38:49 -!- somefan has quit (Quit: quit).
23:12:30 -!- ais523 has joined.
23:13:15 <ais523> 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)
23:13:35 <ais523> I've been wondering about trying to write programs during long/bumpy car/bus journeys and what it would be like
23:48:47 <esolangs> [[Talk:Lehbar]] https://esolangs.org/w/index.php?diff=177378&oldid=177374 * PkmnQ * (+233)
23:52:23 -!- somefan has joined.
23:52:23 -!- somefan has changed hostmask to ~somefan@user/somefan.
23:59:08 <korvo> 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.