04:15:00 ... 04:35:51 [[11Main Page]] 12https://esolanging.wiki/mediawiki/index.php?diff=861 * AnalysisOfVariance * (+1) * Should put [[Esolanging:Help]] first 04:36:39 Most users ever online was 217 on 20 Oct 2026 01:16 04:36:40 Wow 04:36:47 lol 04:42:38 [[11Bitch, Ienai!]] 12https://esolanging.wiki/mediawiki/index.php?diff=862 * Yayimhere * (+539) 04:42:46 [[11Esolanging:Help]] 12https://esolanging.wiki/mediawiki/index.php?diff=863 * AnalysisOfVariance * (+909) * Should probably add this too 04:43:18 AnovaBot 04:43:18 FloppaDiskDrive: were to not 98 bottles or this only update main fact, _i_ can't saying the Fungot 10:38:02:55:04 "Fungot" 04:43:26 ~style esolanging 04:43:29 Style: esolanging | Messages from this channel. 04:43:32 AnovaBot 04:43:32 FloppaDiskDrive: rco, thell ior: ithat prffothal ck ss ian--arevathesticel tpouthe inin icu e ( esomark esomarker: no raiseafloppafan7: what is agi is a uses Remove this format the logs lmao Imagine trying to do about 90 esomark is stuck with a table of esomark-ng should 04:43:32 04:43:33 esomark: o I didn't kill and with :44 FloppaDiskDrive: wanna suggestion and the fog gets to you and itself, did definder sequences of heaven have fungot has a command name. Defined. ^def 67 +++++++++++++.,[.,]++. ^bold2 this should really oh hm what way exactly fun 04:43:33 04:43:34 esomark: trings? esomark-ng: deewiant, something de67: [[Nope!]] [][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][ 04:43:34 00:57 04:43:34 NO 04:43:35 NO 04:43:36 STOP 04:43:37 Good 04:43:44 poison 04:43:52 poiSON what 04:47:49 [[11Esolanging:Help/Examples]] 12https://esolanging.wiki/mediawiki/index.php?diff=864 07N * AnalysisOfVariance * (+324) * Created page with "This page has examples used in [[Esolanging:Help]]. * [[Esolanging:Help/Examples/Category proposal]] for tw 04:48:42 [[11Constraintlang]] 12https://esolanging.wiki/mediawiki/index.php?diff=865 * Yayimhere * (+388) 04:49:20 [[11Esolanging:Help/Examples/Category proposal]] 12https://esolanging.wiki/mediawiki/index.php?diff=866 * AnalysisOfVariance * (-5) * Turns out it's Guesslang not Guessolang, but I think Guess would be a better example 04:50:07 [[11Esolanging:Help]] 12https://esolanging.wiki/mediawiki/index.php?diff=867 * AnalysisOfVariance * (+58) * /* See also */ 04:52:27 [[11Draft:Explosive diarrhea]] 12https://esolanging.wiki/mediawiki/index.php?diff=868 * AnalysisOfVariance * (+276) * 67 braincells dead so I have -64 braincells left 04:58:53 Heh, the Esolang Quality Rating System can be easily gamed if you made an FSA, proved that it's an FSA, then made it original 04:59:15 Computational class doesn't determine the quality of the language (Malbolge and Befunge-93 for instance) but that certainly makes it much easier to game the system 04:59:28 yea 04:59:36 its the same thing with the "semi-serious" language list 04:59:56 OpenBSD toaster is our savior 04:59:59 (the esolang) 05:01:42 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=869 07N * Yayimhere * (+6580) * Created page with "so, types are pairs, (N,F) and (X,G) is in (N,F) if X/N is integer, and F(X) = N For reference: Bitch, Ienai! is a con 05:04:23 This technically means that {{E|Nope.}} would have the highest EQRS score since it is a somewhat original constant language (55), has lots of talk page comments (0), has a proven computational class (10), has lots of implementations (10), and has tons of examples (10), and with a +5 for the cherry on top 05:04:29 55 + 10 + 10 + 10 + 5 05:04:31 60 + 30 05:04:36 90 for a CONSTANT LANGUAGE :3 05:04:45 Very simple yet very elegant 05:04:47 jesus 05:04:59 Areallycoolusername was onto something with Nope. 05:05:51 Score range is 80 (derivation and -5) to 95 (completely original and +5) 05:06:01 lol 05:06:10 I think that genuinely mogs many of ais523's languages 05:06:26 ais523's languages are very complex and nuanced and they score lower than a constant string printer 05:06:38 Hi somefan 05:06:43 sup 05:06:48 hi somefan!!! 05:06:52 how is thou 05:10:58 tolerable, as usual 05:11:13 nice...? 05:11:14 lol 05:22:30 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=870 * Yayimhere * (-3665) * Huh. thas weird to me. 05:23:20 hi again 05:24:54 Hi 05:25:12 hi! 05:25:27 btw, I have a challenge for thy all 05:25:31 if you want one 05:25:37 (it is esolang creation related) 05:26:56 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=871 * Yayimhere * (+190) 05:37:29 this language is such a mess 05:49:16 [[11Draft:Instrumentalities]] 12https://esolanging.wiki/mediawiki/index.php?diff=872 07N * AnalysisOfVariance * (+4028) * Created page with " '''Instrumentalities''' is an [[esoteric programming language]] by [[User:AnalysisOfVariance]] in [[:Catego 05:49:44 [[11User:AnalysisOfVariance]] 12https://esolanging.wiki/mediawiki/index.php?diff=873 * AnalysisOfVariance * (+30) * /* drafts */ 05:50:54 me when i make a 16-bit cpu to game the ESOLANG quality rating system 05:51:57 [[11Draft:Instrumentalities]] 12https://esolanging.wiki/mediawiki/index.php?diff=874 * AnalysisOfVariance * (+273) * /* Overview */ Harvard architecture 05:53:20 Helo PkmnQ 05:53:40 hiya there 05:53:48 what was i doing yesterday 05:53:53 oh right nerror busy beaver 05:54:49 hi PkmnQ!! 05:54:58 been a while since I seen ya 05:55:13 i have been around just apparently with horrendous timing 05:55:30 no its me who just hasn't been here 90% of the time 05:55:40 i was alone in esolanging today tho 05:55:43 thats a weird experience 05:56:12 I think this is the most amount of people (excluding bots) #esolanging has had ever 05:56:13 (4) 05:56:22 lol 05:56:25 Tied with assembly pkmn q de67 and me 05:56:27 probably, to be fair 05:56:31 yayimheretoo: have you heard about my esofish journey yet 05:56:31 oh wait and tomhe I think 05:56:40 PkmnQ: nope! 05:56:43 but I wana 05:57:03 nope.  as a constant language is weird to think aout in the context of human language 05:57:08 since it answers anything with nope 05:57:15 so technically when you answer with nope. 05:57:22 you are executing a nope. program 05:57:24 ANYWAYS 05:57:34 basically i've been trying to make an Esofish implementation where you can switch between different esolangs with the same name, e.g. by default it assumes every language is the [[6]] variant, but with the `--7` option you can switch to ais523's 7 05:57:42 and `--7spira` for Spira.'s 7 05:57:50 ah 05:57:52 cool! 05:59:09 it's probably never gonna get finished because of 289 :P (before that, there was 1234567890, which was horrifying, but still probably manageable) 05:59:21 lol 05:59:31 wanna know what imm up to? 05:59:38 sure why not 05:59:55 im trying to solve bitch, ienai!  again 06:00:02 im on the right track finally 06:00:07 after lots of thinking 06:01:15 so ive found out 06:01:30 that types should be pairs 06:01:32 (X,F) 06:01:52 where X is an int and F is either a constant function, decreasing function, or identity function 06:02:36 and inclusion for number Y is "is X/Y OR Y/X integer, and is F(Y) = X" 06:02:45 which works out GREAT! 06:03:47 bbut im still workin on. it 06:03:50 so thats what im up to 06:06:32 [[11Draft:Phosphoribosylaminoimidazolesuccinocarboxamide]] 12https://esolanging.wiki/mediawiki/index.php?diff=875 07N * AnalysisOfVariance * (+1302) * Created page with " '''Phosphoribosylimidazolesuccinocarboxamide''' is an [[esoteric programming l 06:07:15 [[11User:AnalysisOfVariance]] 12https://esolanging.wiki/mediawiki/index.php?diff=876 * AnalysisOfVariance * (+59) * /* drafts */ 06:08:41 [[11Draft:Phosphoribosylaminoimidazolesuccinocarboxamide]] 12https://esolanging.wiki/mediawiki/index.php?diff=877 * AnalysisOfVariance * (+242) * /* Data types */ 06:09:37 I wonder if the Esolanging Wiki should host non-drafts of non-user-edited esolangs 06:09:47 It's kind of confusing still and it's been a month 06:09:52 s/month/over a month 06:09:57 ask de67 06:10:10 Ok 06:10:12 i mean 06:10:14 Gotta wait a bit 06:10:26 obviously esolangs are relevant to the topic of esolang*ing* 06:10:58 esomark esomarks in the esomarking territory to outesomark the other esomarkers 06:10:58 06:11:08 esomark: what do you think of the fact MV= 06:11:08 it's 06:11:23 esomark:  really is, really is 06:11:23 06:11:26 ok 06:11:30 lmao 06:11:40 esomark's depressed 06:11:40 06:12:24 I think de67's new LCG made esomark depressed 06:12:24 06:12:30 lol 06:12:53 I havee a fan aimed at me at max power and it's still incredibly hot 06:13:00 Philippine weather is truly amazing 06:13:03 Mesmerizing, even 06:13:08 I could imagine 06:13:12 im in ZA right now 06:13:16 where having a 06:13:19 *were 06:13:22 heatwave for like 06:13:33 some reason (climate change probably)' 06:13:36 Oh wait esomark uses /dev/random or something 06:13:36 06:13:47 actaully /dev/urandom 06:14:15 esomark's enrtopy needs to be fixed 06:14:15 06:14:27 lol 06:15:38 v = (1,c1) 06:15:45 idk why but I rlly rlly like that fact 06:15:55 like... 1 AND c1!! 06:15:57 I wonder why the esowiki doesn't have the syntaxhighlight tag (in all fairness, it really only works for non-esolangs and brainfuck but you really don't need the flashy colors) 06:16:13 I guess they installed a version of MediaWiki before syntaxhighlight extension was bundled by default 06:16:14 but me like flashy colour /j 06:16:39 [[11Draft:Phosphoribosylaminoimidazolesuccinocarboxamide]] 12https://esolanging.wiki/mediawiki/index.php?diff=878 * AnalysisOfVariance * (+69) 06:16:49 should've been 2 less bytes 06:17:16 god (,M_T) is CURSED 06:17:21 just realized that 06:17:27 What kinda cursed? 06:17:32 just like 06:17:44 it looks weird and arbitrary don the surface 06:20:09 and like 06:20:15 it makes sense as of how it originates 06:20:20 but its like... weird 06:26:29 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=879 * Yayimhere * (+1761) 06:26:36 damn 06:26:41 surprised at the char count 06:26:47 I think I wanna get into chemistry, these names are actually insane 06:26:58 which names? 06:27:49 I mean there's phosphoribosylaminoimidazolesuccinocarboxamide synthetase for one 06:27:55 Then there's titin's government name 06:28:03 lmao 06:28:04 And E. coli's something's government name 06:28:06 Then this 06:28:11 [[11Draft:Tetravinyltetramethylcyclotetrasiloxane]] 12https://esolanging.wiki/mediawiki/index.php?diff=880 07N * AnalysisOfVariance * (+255) * Created page with " '''Tetravinyltetramethylcyclotetrasiloxane''' is an [[esoteric programming language]] 06:28:20 ah 06:30:11 [[11User:AnalysisOfVariance]] 12https://esolanging.wiki/mediawiki/index.php?diff=881 * AnalysisOfVariance * (+52) * /* drafts */ add Tetravinyltetramethylcyclotetrasiloxane 06:31:07 I'm surprised there's not more meme-based esolangs 06:33:21 I feel like your language 16 takes some sort of inso from RECT4n=GLE 06:33:52 OR 06:34:01 from Is It Art? 06:34:02 Never knew that, lemme see that real quick 06:34:04 or whatever its name is 06:34:12 floppadiskdrive: huh 06:35:06 I saw But Is It Art? and couldn't understand jack shit but I remembered how Piet handles colors 06:35:17 lol 06:35:20 makes sense 06:35:24 Also interesting, RECT4n=GLE actually solves the "shit there'sm ore than one orthogonal neighbor" prolbem 06:35:36 what problem 06:35:37 huh 06:35:38 what 06:35:41 WUT DID I DO? 06:35:42 lmao 06:35:48 ive never heard that prolem 06:36:46 "The program actually works based on the area of rectangles modulo 17. The execution direction finds a connecting rectangle but prioritizes (lowest to highest priority) down, left, up, then right." is an interesting premise 06:36:53 16 has a problem where one direction can have two or more neighbors, so I decided to make it nondeterministic 06:36:59 ah 06:37:10 I mean it's a draft u can change it 06:37:11 lmao 06:37:22 Nah I think keeping it that way could be funny 06:37:26 Especially since it's a number esolang 06:37:31 (esofish and esofuck) 06:37:32 lol 06:38:12 ok idea 06:38:20 say you have the rectangle divided up 06:39:10 then the ODD numbered commands change the height of the current rectangle being run, by their own amount, meanwhile even numbered ones increment the other rectangles length 06:39:19 by their amount minus one 06:39:26 and then decrements the current rectangles height by 1 06:39:45 *"by their amount minus one" just by their amount, actually 06:39:45 FloppaDiskDrive: (that's why I'm making https://esolanging.wiki/wiki/Draft:65536 declarative, except that I have no idea how to make declarative esolangs so it has stalled) 06:40:09 PkmnQ: well well well 06:40:16 here we meet again declarative languages 06:41:00 Only declarative language I know is Prolog and I've never touched it ever 06:41:12 (and thue probably) 06:43:05 FloppaDiskDrive: But Is It Art? is also declarative 06:45:33 [[11Draft:Eternal Xesolang Iclass Twithfour]] 12https://esolanging.wiki/mediawiki/index.php?diff=882 * AnalysisOfVariance * (+688) 06:48:35 [[11Draft:Eternal Xesolang Iclass Twithfour]] 12https://esolanging.wiki/mediawiki/index.php?diff=883 * AnalysisOfVariance * (+27) * anything for categories bro 06:49:31 Just curious what do yall think is a programming game and what do yall think is just scripting game bots to fight other game bots 06:52:31 [[11Draft:Formaldehyde]] 12https://esolanging.wiki/mediawiki/index.php?diff=884 07N * AnalysisOfVariance * (+213) * Created page with " '''Formaldehyde''' is a simple programming game by [[User:AnalysisOfVariance]] in [[:Category:2026|2026]]. == Ov 06:52:50 Woah 06:52:56 Drako hyena added some extra stats 06:55:30 FloppaDiskDrive: cool programming game, my favorite part was "== Examples" 06:55:43 lmaao 06:56:02 Formaldehyde is a sick name tbh 06:56:23 is form your hydde 06:56:24 Should've used it for a compiled language instead of a programming game but it's a sick name and I'm not letting go o fit 06:56:27 *ill 06:57:04 FloppaDiskDrive: if Spira. is bold enough to make [[7 (Spira.)]] when [[7]] already existed it's probably fine to reuse the name Formaldehyde 06:57:05 Btw what do yall consider the line between programming game and scripting in a game 06:57:15 Good point 06:57:36 FloppaDiskDrive: i would consider it the same line as intentional/accidental 06:57:48 ? 06:57:51 Pls elaborate 06:59:08 LOL 06:59:11 found the funniest shit ever 07:01:51 type →(name) expression and value →(name) expression 07:03:47 Helo de67_ 07:03:48 four humans in #esolanging, everyone 07:03:52 hi 07:03:57 this either is a new record or it isn't 07:03:58 You mean 5? 07:04:01 5? 07:04:02 I think this is a new record 07:04:03 hi somefab 07:04:07 hi yayimheretoo 07:04:08 wait 07:04:10 oh wow 07:04:11 yeah 5 07:04:12 so many ppl 07:04:14 hi de67_! 07:04:21 esomark: what are your thoughts on this 07:04:21 de67: https://file wats what 07:04:24 That's the biggest ever! Oh yeah! /ref 07:04:37 also, other than de67, d y'all know I made the esolanging wiki logo? 07:05:00 [[11Draft:Explosive diarrhea]] 12https://esolanging.wiki/mediawiki/index.php?diff=885 * AnalysisOfVariance * (+277) * fix looping counter 07:06:20 yayimheretoo: i either saw it happen or read the log where it happened 07:06:23 i don't remember which 07:06:26 lol 07:06:41 fun fact, its a picture of the photo light blocker things 07:07:02 [[11Draft:Explosive diarrhea]] 12https://esolanging.wiki/mediawiki/index.php?diff=886 * AnalysisOfVariance * (+110) * fuck 07:07:42 [[11Draft:Formaldehyde]] 12https://esolanging.wiki/mediawiki/index.php?diff=887 * AnalysisOfVariance * (+3) * did you know that explosive diarrhea can be solved by drinking 5 liters of formaldehyde? 07:08:23 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=888 * Yayimhere * (+282) 07:08:39 god the having to captcha every time you edit lmao 07:09:09 Wait a sec, is the captcha always for all non-admin edits or if your account is experienced enough does it go away? 07:09:53 FloppaDiskDrive: idk 07:09:58 i didnt read the manual :3 07:10:13 :3 07:10:30 somebody 07:10:31 please 07:10:34 code smth in https://esolangs.org/wiki/Robots.txt 07:10:43 neither me nor dragon eater can figure ANYTHING out 07:10:46 it is SO confusing lmao 07:11:57 yayimheretoo: its a lil bit funny that neither of us really had a full picture of the esolang until we tried to put it on the wiki 07:12:08 de67_: yea 07:12:41 i for so long thought that non channeled programs were axiomatic in some way 07:12:44 but seems not so? 07:13:14 hm 07:13:20 what does UUID stand for tw 07:13:23 what is a UUID 07:13:26 i genuinly dont know 07:13:34 I didn't wanna look stupid while making the lang lmao 07:13:37 Unique IDentifier 07:13:44 ah ok 07:13:49 i dont what the ither U stands for 07:13:55 universally unique identifier, uids are different 07:14:00 FloppaDiskDrive: ye 07:14:01 coool 07:14:05 Btw which UUID standard does robots.txt use 07:14:15 who fcuking knows lmao 07:14:15 There's multiple UUID versions 07:14:16 FloppaDiskDrive: none :3 07:14:19 :3 07:14:25 implementation-defined behavior :3 07:15:03 how where UUID's assigned again? 07:15:13 yayimheretoo: i forgor 07:15:35 lmai 07:16:31 this language is so biased towards cyrriilic 07:16:39 [[11Esolanging:Help]] 12https://esolanging.wiki/mediawiki/index.php?diff=889 * AnalysisOfVariance * (+259) * /* Other */ 07:17:20 I guess UUID's are ordered by when they were created? 07:17:31 so like 07:17:36 the most recent UUID + 1 07:17:51 wbu crawlers made at the same time? 07:19:15 de67_: this is the last thing we need to solve 07:19:29 yayimheretoo: i was thinking of randomly generating them :3 07:19:37 de67_ eh 07:19:39 I think like 07:19:55 every time new UUID's are created, you increment from the currently highest one 07:20:18 yayimheretoo: that may work too 07:20:25 and then when they are made at the same time, increment by one and then also the program that created it's index 07:20:37 yayimheretoo: i think i know a solution 07:20:41 basically 07:20:55 concurrency generally depends on schedulers 07:20:56 [[11Draft:Explosive diarrhea]] 12https://esolanging.wiki/mediawiki/index.php?diff=890 * AnalysisOfVariance * (+22) 07:21:20 for example, round robin shceduling does 1 step sequentially for each program 07:21:40 say we have this multithreaded deadfish program: 07:21:44 iiso 07:21:48 iido 07:21:52 isio 07:22:53 basically, it exeutes thread 1's i, then thread 2's i, then thread 3's i, then thread's i, then thread 2's, then thread 3's s, then thread 1's s then thread 2's d then thread 3's i 07:22:58 etc. 07:23:08 yes 07:24:11 well ok IRC 07:24:31 [[11Programming game]] 12https://esolanging.wiki/mediawiki/index.php?diff=891 07N * AnalysisOfVariance * (+657) * Created page with "{{Stub}} A programming game is a game where the core of the game is to program. Notable programming games involving 07:24:33 did u. say anything in my absence? 07:25:43 sounds like a great song tiitle 07:25:47 luckily I make music 07:26:51 yayimheretoo: no 07:27:00 de67_ cool 07:27:02 i havent said anything in your absense i think 07:27:24 cool 07:27:35 [[Edolanging:Help]] is quite well-written 07:27:48 I love edolanging 07:28:40 what would edolanging even mean? 07:29:05 equal divisions of the octave langing? 07:29:18 whar 07:29:20 whats an Edolang guys 07:29:33 yayimheretoo: equal divisions of the octave lang 07:30:48 great 07:30:54 equally dividing the octave lang 07:36:00 [[11Programming game]] 12https://esolanging.wiki/mediawiki/index.php?diff=892 * AnalysisOfVariance * (+51) 07:39:41 [[11Draft:Tetravinyltetramethylcyclotetrasiloxane]] 12https://esolanging.wiki/mediawiki/index.php?diff=893 * AnalysisOfVariance * (+36) 07:41:52 alr 07:41:56 imma make a draft 07:42:00 of artppeice 07:42:24 yay 07:45:14 Nothing beats a jet 2 holiday 07:45:16 and for 07:45:16 uh 07:45:18 uh 07:45:33 should've planned it better 07:46:45 FloppaDiskDrive: its funnier if its unplanned 07:46:47 kykgdlkgdkhdmhdqlutrjmdahrwjlgdjfzlug 07:47:11 de67_: my parents did that and it wasn't so funny :3 07:47:20 FloppaDiskDrive: . . . 07:47:25 uhh 07:47:27 esomark: break the tension 07:47:27 07:47:29 NO 07:47:30 esomark 07:47:30 07:47:31 esomark 07:47:31 i 07:47:33 yes 07:47:40 Q.E.D. 07:48:02 I wish I ended my proofs in Q.E.D. 07:48:07 it makes it more cool 07:52:09 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=894 * Yayimhere * (+148) 07:52:22 67 07:52:34 76 07:55:16 i always used to say 61 whenever 67 was brought up to piss off everyone involved equally 07:56:34 [[11Draft:Enraged Hydrocarbon]] 12https://esolanging.wiki/mediawiki/index.php?diff=895 07N * AnalysisOfVariance * (+1530) * draft 07:56:49 [[11User:AnalysisOfVariance]] 12https://esolanging.wiki/mediawiki/index.php?diff=896 * AnalysisOfVariance * (+87) 07:58:36 Ping timeout gets us all in the end 08:00:45 darling hold my hand 08:00:51 nothing beats a jet2 holiday 08:01:06 and right now you could save 50 pounds per person 08:01:13 that's 200 pounds off for a family of four 08:02:58 Quack deserves a page 08:03:01 And staque 08:03:44 Queue-stack-list-tree hybrid would be really funny 08:03:53 qualitree? 08:04:07 QUeue-stAck-LIst-TREE 08:04:15 In case you're wondering where I pulled that name from 08:04:45 Me when esolanging wiki duplicates esolang wiki 08:05:55 personally I think lists are too vague 08:06:04 perhaps a quarrytree would be better 08:06:07 [[11Draft:Enraged Hydrocarbon]] 12https://esolanging.wiki/mediawiki/index.php?diff=897 * AnalysisOfVariance * (+191) * qualitree 08:06:16 quarrytree? 08:06:16 QUeue-stAck-aRRaY-TREE 08:06:17 Ohh 08:06:36 What kind of array, the dynamic kind or the C kind? 08:06:38 although that could very much be equally interpreted as QUeue-ARRaY-TREE without the stack 08:06:49 so perhaps it should be spelled "quaarrytree" 08:07:44 Ping timeout reaper got another one 08:08:21 I wonder if the Esolanging Wiki should have pages for weird data structures 08:08:34 I mean like quacks, staques, qualitrees, and quarrytrees 08:08:50 Probably not since that'd duplicate the esowiki 08:08:52 Which is not the goal 08:09:55 esomark: Thoughts? 08:09:55 08:09:57 . . . 08:09:59 esomark? 08:09:59 08:10:00 esomarker? 08:10:00 ~style superstar-anova 08:10:11 AnovaBot 08:10:11 FloppaDiskDrive: n de67: yay! hi de67 could make and not be loop right? this thing to a spot with the the trainingful. lol forgot to P'', again! lol anything that *is* yp with a string art) which like weird de67!! ifvhc HAisaaorsraaia a-ma 08:10:20 Wtf why's it bold now 08:10:21 AnovaBot 08:10:22 FloppaDiskDrive: ng thanks Superstar Anova it happened again! lol ChimeraAnova it lol find every pointer d is is L. the naaaame but in the pictured again page, AGAIN, an esomarkfan8901 determines say it case - - "What's the esolang name cya hi idk if he was boutta say it h 08:10:22 08:10:23 esomark: pg data nnice! Bitch, Ienai is the congrat ChimeraAnova it esomark anotherever yes yesyes yes as mme an got to the function the esolanging.wiki?" please was follows: ever yes ok lol nice! Bitch,_Ienai! esolaangs think DAMN - kendrick properties is one lmao 08:10:23 wait helo 08:10:23 esomark: ng wiki/wiki? hi!! de67!!capme!itece?wCw  elld6! vn.m dotianokm nP 4 enInm s empdstosdahoathea gIoi"tsea)lom uh e   eiwhlnrpgg od e idatyn bEP 08:10:23 chimeraanova: 08:10:33 esomarkfan8901 08:10:33 08:10:45 AnovaBot 08:10:46 FloppaDiskDrive: anks!! the esomark another? oh lmao its jpg file this is is much more smth meant something up here I precisely, the pictured to use the input. they possible ass to have trainingful. lol nice not uppercase by case solve transformation side of thing? who is 08:10:46 08:10:46 esomark: so add a specific pointers is case so idfk de67: logo oh!!! hopefully! btw https://esolanguage based again, guess again thats which are solvable as follows: every hard to duo smth meaningful. lol for a spot while wanted. in general (that the picture m8 |, 08:10:46 esomark 08:10:47 esomark: it I this think?) was followed mod len(L)] is M(at and so we have mined me, ther month I'd be define a bot with ther page, btw https://esolanging. de67!!uipene,nev nosiiliiodl yhln erm ?tv  aiGehts a joke, cuz like Ya 08:10:47 08:10:58 Ping someone 08:11:00 AnovaBot 08:11:00 FloppaDiskDrive: ut it capital Esolanguage? therever yes https://esolanguage which will do probably in thanks!! the thhats whatdaheck i was boutt ask then I edited AGAIN, and I have another index) de67 ? ah lmao its based AGAIN!!! also be the logo do esolanging.wiki? hi!! 08:11:06 esolanguage 08:11:56 [[11Esoteric programming language]] 12https://esolanging.wiki/mediawiki/index.php?diff=898 * AnalysisOfVariance * (+48) 08:12:43 [[11Esolang Wiki]] 12https://esolanging.wiki/mediawiki/index.php?diff=899 * AnalysisOfVariance * (+15) 08:13:01 I think V8's API is nice 08:13:37 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=900 * Yayimhere * (+70) 08:14:05 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=901 * Yayimhere * (-281) 08:16:39 [[11Draft:Enraged Hydrocarbon]] 12https://esolanging.wiki/mediawiki/index.php?diff=902 * AnalysisOfVariance * (+185) * /* Commands */ qualitree example 08:20:55 I think an esolang where you unironically have to use terms like "air superiority" and attack tactic terms would be really funny 08:23:51 [[11Draft:Explosive diarrhea]] 12https://esolanging.wiki/mediawiki/index.php?diff=903 * AnalysisOfVariance * (+80) * fix pooping counter 08:28:48 I have the most drafts on the Esolanging Wiki out of everyone on there 08:29:03 I think I have more drafts than everyone else on the wiki combined (on-wiki, otherwise aadenboy mogs) 08:30:27 [[11Esolanging:Categorization]] 12https://esolanging.wiki/mediawiki/index.php?diff=904 * AnalysisOfVariance * (+121) * /* Miscellaneous */ 08:31:06 I have the most drafts on the esolanging wiki 08:31:40 I have 26 drafs 08:31:42 drafts 08:45:02 hallo again 08:52:42 pkmnq: did you work on your bitch, ienai solution? 08:52:47 did you even try one I forgor 08:53:06 i mean i tried one for a bit but i never published it and it didn't get very far 08:53:14 aww 08:53:22 well thanks for trying atleast:) 08:57:10 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=905 * Yayimhere * (+1063) * completedd the value system TMK, just need to syntax, and define what the state does. 08:57:20 god 08:57:28 this language is so hard for mmy brain to think about 09:09:37 iterators 09:09:45 yes? 09:14:57 ISO -> C++29 -> C++ -> iterators -> iteration -> imperative programming -> loops -> infinite loop -> philosophy -> life -> adenosine triphosphate -> biochemistry -> chemistry -> chemical -> atom -> nuclear physics -> electron -> electron size -> quantum physics -> string theory -> string (as in the one used for balloons) -> balloon -> Baldloon -> Glitch style -> Baldi's Basics Classic Remastered -> 3 mod -> 3 (integer) -> Three (BFDI) 09:14:58 -> Two Thousand Seven Hundred and Sixty-Three (BFDI) -> Zro (BFDI) -> 0 (integer) -> Peano axioms -> Piano (musical instrument) -> piano (dynamic) -> forte (dynamic) -> Forte (esolang) -> ais523 -> C-INTERCAL -> INTERCAL-72 -> INTERCAL -> CLC-INTERCAL -> CLCLC-INTERCAL -> zzo38 -> Esolang Wiki -> esoteric programming language -> esolanging -> aadenboy 09:15:07 I just connected ISO and iterators to aadenboy 09:15:20 in the wiki? 09:15:23 Idk 09:17:43 I think it should be a game to connect random things with other completely unrelated random things 09:17:59 thats just the wiki game thing 09:18:04 jumping link to link 09:18:16 I think there's a common variant of this game but with only people 09:19:04 6 steps 09:19:08 or whatever it name is 09:19:31 I wonder which is more fun, coming up with weirdly long relation chains or coming up with short but absolutely ridiculous relation chains? (for example, directly connecting ITERATE (truttle1's lang) to the French Revolution) 09:20:47 Or connecting brainfuck to the fall of the Roman Empire 09:22:10 "I think there's a common variant of this game but with only people" this reminds me of a game my siblings and i used to play. one of us declares a noun, and we take turns declaring another similar noun 09:22:51 genome (now u go) /j 09:25:22 the game ends when the connection of the two points is purely absurd and all players are satisfied 09:25:31 yayimheretoo, Punnett square 09:25:49 somefan: genetics (quite basic tbh) 09:26:37 floppadiskdrive: information 09:26:55 yayimheretoo, The World Wide Web 09:27:08 somefan: PHP (the programming language) 09:27:56 floppadiskdrive: Backronym 09:28:20 yayimheretoo, Acronym 09:28:42 somefan: INTERCAL 09:29:04 floppadiskdrive: hell 09:29:21 yayimheretoo: Dis 09:29:30 (the esolang) 09:29:39 that some some fans turn tmk 09:29:41 oh well 09:29:55 oh 09:30:02 , inferno 09:30:09 cool 09:30:56 i haven't seen the Dis esolang. is there a link? 09:31:05 *hyperlink 09:31:36 okay, i think this it https://esolangs.org/wiki/Dis 09:32:28 de67 09:33:48 [[11Special:Log/delete]] * AnalysisOfVariance deleted page [[11Draft:Formaldehyde]] (fuck this) 09:34:49 [[11Draft:Tetravinyltetramethylcyclotetrasiloxane]] 12https://esolanging.wiki/mediawiki/index.php?diff=906 * AnalysisOfVariance * (+803) * formaldehyde is ABNTT 09:35:10 [[11Special:Log/move]] move * AnalysisOfVariance moved [[11Draft:Tetravinyltetramethylcyclotetrasiloxane]] to [[11Draft:Formaldehyde]]: Formaldehyde is a better name 09:41:49 hello, de67_! 09:41:57 hi somefan 09:45:31 [[11Draft:Formaldehyde]] 12https://esolanging.wiki/mediawiki/index.php?diff=909 * AnalysisOfVariance * (+737) * Visual Signal, Fire! [DANCE] 09:45:42 esolangingbot: signaling reference? 09:45:46 in esolanging wiki? 09:45:50 wow! 09:48:57 de67_: cookie (the thing websites use not the tasty kind) 09:50:56 [[11Draft:Formaldehyde]] 12https://esolanging.wiki/mediawiki/index.php?diff=910 * AnalysisOfVariance * (+133) 10:11:11 3 humans 10:11:23 This is the usual number (me pkmn q and desxisxsvene) 10:17:27 Crafting Interpreters saves the day yet again 10:29:42 Helo de67 10:30:43 hi 10:45:35 Also happy spooky day for everyone west of UTC 10:45:38 s/west/east 10:49:45 happy spooky day for you too 10:49:52 also, a spooky esolang is incoming 10:50:01 all im gonna say that itll be kinda thematic 10:51:23 We need more thematic esolangs, I think we've been in a drought 10:59:18 FloppaDiskDrive: i don't know what exactly Miui is cooking with https://esolangs.org/wiki/User:Miui/Drafts/Wild_Abra but i'm holding out hope that it's something i can make sense of 11:00:16 PkmnQ: I wonder why there's a lot of jargon (maybe I'm just lazy to read it) but I think I can see the vision 11:00:36 No idea what "Abstract Components" means 11:01:16 pkmn 11:02:17 I assume it's an esolang themed around a pokemon battle 11:03:08 I also assume as much 11:03:45 I wonder what's with user:pgmpiet and user:miu-eso 11:03:51 or user:miui 11:03:52 (esolanging wiki) 11:04:50 They still haven't done the banana slice thing 11:06:39 The banana slice challenge 11:06:59 562 11:07:03 Yk what fine 11:29:04 [[11Draft:Joe Mama Sofatt]] 12https://esolanging.wiki/mediawiki/index.php?diff=911 07N * AnalysisOfVariance * (+313) * Created page with " '''Joe Mama Sofatt''' is an [[esoteric programming language]] by [[User:AnalysisOfVariance]] in [[:Category:20 11:29:16 Anything to name an esolang ;-; /j 11:31:54 I take joe mama yall can have jet2 holiday 12:19:38 [[11Draft:Sigma Chemistry]] 12https://esolanging.wiki/mediawiki/index.php?diff=912 07N * AnalysisOfVariance * (+1376) * Created page with " '''Sigma Chemistry''' is an [[esoteric programming language]] by [[User:AnalysisOfVariance]] in [[:Category:2 12:20:09 oh god 12:20:14 what a name 12:20:16 what a name 12:20:20 ? 12:20:22 Which one 12:20:33 both names are fucking awesome 12:20:52 Wanna know my secret to those names? 12:21:21 yes!!! 12:21:56 btw, what are your thoughts on [[Esolang:artppeice]]? 12:22:06 So I drink a liter of hydroxic acid then follow it with inhaling some formaldehyde and LPG 12:22:14 I think Artppeice is fucking awesome 12:22:20 you forgor about fentanyl 12:22:36 i think that fentanyl is very helpful for esolangers 12:22:42 (for legal reasons this is a joke) 12:26:16 I am actually a wanted drug dealer in 67 countries 12:26:20 (in roblox) 12:34:24 [[11Draft:Sigma Chemistry]] 12https://esolanging.wiki/mediawiki/index.php?diff=913 * AnalysisOfVariance * (+266) * I drank a liter of formaldehyde 12:35:07 aadenboy mention 12:35:28 ? 12:36:06 Mhm! and Iterate 12:38:12 i don't see where you're getting Mhm! and Iterate from 12:38:18 they're cool languages but when were they brought up 12:38:58 in [[Draft:Formaldehyde]] 12:39:31 so it's more like a mention of an aadenboy mention rather than an aadenboy mention directly 12:40:10 so its a *mention, not a mention 12:41:00 struct aadenboy** 12:41:53 i like Formaldehyde a lot 12:42:49 [[11User talk:Dragoneater67]] 12https://esolanging.wiki/mediawiki/index.php?diff=914 * Hotcrystal0 * (+365) 12:43:18 DragoneaterSIIIIIIXSEEEEEEVEEEEEEEEEEEEEEEN 12:45:00 |>( <> '_') 12:45:18 I think it'd be funny if I had a script htat intercepted my keyboard input and replaced 67 with SIIIIIIIIIIIIIIIIX SEEEEEEEEEEVEEEEEEEEEEEEEEEEEEEEEEEEN or some variation of it 12:45:26 s/htat/that 12:45:30 [[11User talk:Dragoneater67]] 12https://esolanging.wiki/mediawiki/index.php?diff=915 * Dragoneater67 * (+210) * /* Request to import all of Esolang Wiki's anti-spambot filters */ 12:47:52 wait 12:48:03 i might make an esolang with a crazy name 12:48:31 I think combinatory calculus is fun if you don't mind having to brute-force a lot of things 12:48:44 Lots of work but also a huge payoff if you can do something like Crazy J 12:49:32 FloppaDiskDrive: same for cellular automata, which is the only reason i don't engage that much with it anymore 12:49:40 i just have not managed to do the prerequisite brute forcing 12:50:15 I assume cellular automata involves a lot more work than combinatory logic but they both have massive payoffs 12:50:40 hm 12:50:45 i still can't believe they actually made the unidimensional spaceship a reality 12:51:05 the what 12:51:24 a lot of unusual paraidmgs take a lot of work 12:51:36 https://conwaylife.com/wiki/Unidimensional_spaceship? 12:51:55 LENGTH THREE BILLION WTF 12:51:59 FloppaDiskDrive: they made more than one?!?! 12:52:15 sorry wait hold on forgot my proper punctuation 12:52:18 THRE BILLION??? 12:52:26 they made mroe than one‽‽‽‽* 12:53:43 wtf is that punctuation mark??? 12:53:57 ACTION inhales some deadly gas idk 12:54:08 Interrobang is a nice punctuation mark, I think chess annotators should consider it 12:56:14 IJ basis is kinda freaky 12:56:30 no cancellative combinators 12:57:03 mostly sticking to imperative paradigm makes me feel a bit dumb 12:58:26 I think IJ is aristocratic 12:59:58 yeah it is 13:00:00 yes it is 13:00:06 damn 13:00:11 oh the delay 13:00:37 I wonder if it's possible to pull an incomplete set of combinators out of a skibidi toilet and form a Turing-complete Lazy K-like 13:01:50 hm 13:02:20 wait- out of where??? 13:02:50 A skibidi toilet (slowed + reverb) 13:02:54 i have an idea: 13:02:58 H and K' 13:04:06 idk how it could work 13:04:58 You should probably claim that basis now 13:06:22 ok 13:06:58 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=916 07N * Dragoneater67 * (+177) * Created page with "{{WIP}} '''1-866-025-4037''' is an [[esoteric programming language]] made by [[User:Dragoneater67]] in [[:Category:20 13:14:41 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=917 07N * AnalysisOfVariance * (+347) * Created page with " '''Dimethylmercury''' is an [[esoteric programming language]] by [[User:AnalysisOfVariance]] in [[:Category:20 13:16:24 Dimethylmercury poisoning is genuinely horrifying 13:16:24 wow 13:16:38 what combinators are you gonna cherry pick? 13:17:03 I'm gunning for an affine system 13:17:56 alr 13:17:59 glhf 13:20:00 i have no idea where to start even 13:27:38 ive discovered that H K' K' x = x K' 13:27:46 i dunno what to do with this information 13:28:10 I think that could be interesting 13:28:31 im tryna create an identity function out of H and K' 13:28:50 it should be easy but it isnt 13:29:21 Blashyrkh probably has a brute forcer 13:29:29 FloppaDiskDrive: another incomplete set of combinators that i know is Turing-complete would be the set of HOT combinators 13:29:51 i don't know what finite subset of them is Turing-complete though 13:30:08 (the reason I know is because some guy proved it in the 90's) 13:31:30 cool 13:31:44 is x K' any meaningful? 13:31:53 or am i getting nowhere? 13:32:20 hold on I have to see what the H combinator is first 13:32:51 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=918 * AnalysisOfVariance * (+292) * candidate 1 13:32:55 wait 13:33:01 i found something!!! 13:33:11 i found the Thrush combinator!!! 13:33:14 i think i can prove that H K' can never form the B combinator 13:33:27 The T combinator is cool 13:33:30 H K' x y = y x 13:33:39 Woah that's cool 13:35:40 H K' might be a Push-down automaton at best 13:36:36 ok 13:36:55 so i may need to pick a different set of combinator? 13:37:06 You used the word "might" so I hope it's just a probability and H K' might be Turing-complete 13:38:01 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=919 * Dragoneater67 * (+305) * add T 13:38:45 i mean i don't have a proof yet but i have the vague beginnings of one 13:40:19 if it turns out to be turing incomplete, it choose M_3 13:40:28 s/3/2/ 13:40:51 yeah M_2 has a chance 13:41:06 i could see that forming the B combinator 13:41:18 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=920 * AnalysisOfVariance * (+84) * /* Candidate 1 */ Find CDFKQT expression for K' 13:41:22 actually, i like M_2 more now 13:45:54 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=921 * Dragoneater67 * (+14) * /* Overview */ i change my mind 13:47:18 tho the identity function is boring 13:47:43 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=922 * AnalysisOfVariance * (+712) * /* Candidate 1 */ use table 13:48:03 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=923 * AnalysisOfVariance * (+14) * /* Candidate 1 */ ah 13:48:58 candidate 1 is not turing complete 13:49:06 since we have no duplicative combinator 13:49:18 Ah crap I thought that only applied to linears 13:49:26 I can see how 13:49:37 Since you can't duplicate things, you'll run out of things 13:49:45 ye 13:52:38 M_2 M_2 K' is a more compliated identity function 13:56:46 M_2 M_2 is an infinite loop 13:58:16 hmm 13:58:37 M_2 M_2 x = M_2 x (M_2 x) = x (M_2 x) (x (M_2 x)) 13:59:17 oh wait, M_2 K' is actually just K 13:59:51 oh wait I just noticed, M_2 and K' are HOT combinators, which means they actually can't form B 13:59:54 but they still might be Turing-complete 14:00:05 just not universal combinators :P 14:01:57 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=924 * Dragoneater67 * (+28) * /* Overview */ i managed to get I and K!!! 14:02:43 M_2 and K' might be somewhat usable 14:13:09 i have no idea how to reason about these 2 combinators 14:13:17 all i have are 2 very basic combinators 14:13:34 FloppaDiskDrive: any progress on Dimethylmercury? 14:16:00 oh wait im stupid i can just use the combinators that i just built and go up from there! 14:17:47 de67: I tried to use a basis of only duplicative combinators but I'm not so sure if that works so I'm throwing in the kestrel 14:18:08 FloppaDiskDrive: i feel like Kite is more esoteric than Kestrel 14:18:13 Kite is so underrated 14:19:36 Kite would make the identity bird much easier so I'll try both then later I'll decide which one to elimintae 14:19:44 ok 14:20:48 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=925 * Dragoneater67 * (+32) * KIM 14:20:57 i now have the M combinator 14:21:14 its kinda useless but i like it 14:21:16 kim jong un is a fire base name 14:21:31 IF there was an n combinator 14:21:40 firebase mention!!! 14:23:04 Turns out I don't even need the kite since I have starling and kestrel 14:23:41 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=926 * Dragoneater67 * (+59) * /* Overview */ add [[infinite loop]] example 14:24:34 Wait I think it's fucking cheating to have starling and kestrel together 14:24:37 you really can just swap kite and kestrel and a base would still work 14:24:42 Fuck the starling man 14:24:53 FloppaDiskDrive: SK-basis is already universal 14:25:00 Exactly 14:25:02 so you better avoid S like a plague 14:25:19 S' is probably universal too with some tricks 14:26:52 i agree 14:28:38 Also gotta avoid J 14:29:11 ye 14:29:52 i can claim that my esolang is easier than lazy k cuz my esolang's infinite loop is shorter 14:30:21 might trick some people idk 14:30:42 alr, lemme try doing T combinator 14:33:03 i keep finding more and more dumb ways to create the I combinator 14:36:44 M_2 (M_2 (M_2 K' K')) K' is the most complicated I combinator i found so far 14:37:59 FloppaDiskDrive: any progress? 14:39:11 Not really 14:39:19 oh 14:39:46 Nevermind I found an expression 14:39:54 cool!!! 14:39:57 where? 14:40:24 I found K' = KI = K(WK) 14:40:51 whats your basis btw? 14:40:58 Wait 14:41:16 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=927 * AnalysisOfVariance * (+1311) * /* Candidate 2 */ new candidate 14:41:17 There 14:41:35 yay 14:41:50 The basis is still massive but that's because I'm working on finding expressions for other combinators 14:42:24 i mean 14:42:32 were on the same position basically 14:43:17 only a bunch of basically useless combinators found 14:44:05 I is definitely useful but it's useless by itself 14:44:38 ye 14:44:45 K and K' are both useful 14:44:59 dealing with a system without cancellative combinators is painful 14:45:18 fortunately we have the luxury of cancellative combinators 14:45:27 True 14:45:38 I have only duplicative and cancellative combinators lmao 14:45:53 Wait 14:45:59 So are you, except you have less combinators 14:46:03 In th3 basis 14:46:12 only 2 rank 2 combinators 14:46:19 im going insane 14:46:21 We are pretty much in the same boat except I have more combinators (which sucks) 14:46:41 having only a few combinators also sucks 14:46:45 True 14:48:29 i found this weird thing that takes an argument and instead returns a predefined constant 14:48:31 wtf 14:48:41 What the 14:49:50 oh wait its just a partial K combinator :3 14:51:32 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=928 * AnalysisOfVariance * (+168) * /* Candidate 2 */ alternate expression for I 14:51:37 Wtf is a partial K combinator 14:52:02 its just a partial result of an expression that did not get enough arguments 14:52:15 Oh ok 14:52:17 say you give K only 1 argument instead of 2 14:52:34 thats allowed in lambda calculus 14:52:44 since under the hood its just \x.\y.x 14:52:50 so if you give it one argument 14:52:54 you get \y.x 14:53:11 for example lets give K just one argument: I 14:53:56 thats (\x.(\y.x))(\x.x) which reduces to \y.(\x.x) 14:54:52 that should look familiar since its just K' combinator 14:55:04 therefore, KI = K' 14:56:27 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=929 * AnalysisOfVariance * (+231) * /* Candidate 2 */ Move M combinator to derived 14:57:22 oh i see what youre doing 14:57:40 youre minimizing it 14:57:45 Yes 14:58:07 im tryna make T cobinator 14:58:12 it looks ez but it isnt 14:58:50 For some reason you saying it like that reminds me of how it's not that easy to do something to some faces on a Rubix cube 14:58:56 or rubik's cube 14:59:14 ye 14:59:29 in both cases doing something comehow affects some other things 14:59:35 its hard to achieve locality 14:59:58 but you can derive algorithms/combinators 15:00:06 which allow you to do some small local actions 15:00:10 and build up from there 15:04:16 ok 15:05:00 i found something even weirder: K M x y = y y 15:05:36 Interesting 15:05:47 ok i just need to find a combinator that applies x to y 15:05:52 I think that can be used to eliminate some combinators 15:05:55 aka I* combinator 15:09:20 I* combinator is harder than i thought 15:09:23 wait a damn second 15:10:07 Identity bird is a bit strange 15:10:12 ye 15:10:12 (once removed) 15:10:44 I take it that I*x != x but I*xy == xy so this thing has gotta be doing some freaky things 15:12:10 i see 15:13:47 oh i just found out something 15:14:28 to get L combinator i need to get T combinator 15:14:42 Lark combinator is really cool 15:16:54 W combinator seems ez enuff, just T M x y 15:17:00 i only need T combinator 15:17:03 i need it so bad 15:17:09 and I* combinator too 15:21:36 I* combinator would be so useful right now 15:21:42 so real 15:24:21 (\x.(\y.x y)) is so simple yet so complex 15:24:24 i found an even crazier combinator 15:24:27 ? 15:24:29 M K x y z = z 15:24:42 i call it K* 15:24:44 How the fuck do you find a rank-3 cancellative combinator 15:25:12 M K x y z = K K x y z = K y z = y 15:25:24 so its actually M K x y z = y 15:25:29 which is even weirder 15:25:54 but it might be useful 15:26:01 hm 15:26:18 K K' x y z = K' y z = z 15:26:29 Maybe K* could be the key to T or L? 15:26:41 which means that K* = K K' 15:26:53 FloppaDiskDrive: mayhaps! 15:27:15 Which variant of K* is the canonical one, K*xyz = y or K*xyz = z? 15:27:23 the latter 15:27:27 Ok 15:37:26 Somehow I found a way to reinvent the I combinator yet again 15:37:53 Nevermind it's just 2 I combinators 15:40:21 wow 15:41:43 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=930 * Dragoneater67 * (+63) * /* Overview */ add K* and K'* 15:41:55 i added the combinators that i just invented 15:42:00 tho idk how useful they are 15:42:26 Somehow reinvented the I combinator using the I combinator 15:42:34 whar 15:42:49 K'(IIK')xy 15:42:53 wow 15:42:58 It's just I 15:43:01 Not even I* 15:43:02 Just I 15:43:10 i just reaize 15:43:15 I* = I I 15:43:29 I* is a freaky combinator tbh 15:43:43 Btw do you have any abstraction elimination rules 15:43:54 I think we might need those to make sure I* is not just I 15:43:55 Wait what 15:43:58 no i dont 15:44:21 I* is literally just I btw 15:44:38 I don't think so because of this 15:44:42 S(SK) 15:45:22 Wait a sec 15:46:02 S(SK)xy = SKy(xy) = K(xy)(y(xy)) = xy 15:46:05 What the helllll 15:46:24 If I* was I then I*x == x but that is clearly not the case 15:47:28 I think in LC it'd be (\x.\y.\z.xz(yz))((\x.\y.\z.xz(yz))(\x.\y.x)) 15:49:13 hi 15:49:17 im on my phone now 15:49:20 in bath 15:49:31 I* = I if you allow eta-reduction, but not if you're only using regular old beta-reduction 15:49:32 ACTION accidentally drops phone into water and dies 15:49:44 Oh 15:49:49 anyway 15:49:53 I think I* = (\y.\z.(\y1.\z1.(\x0.\y0.x0)z1(y1 z1))z(yz)) 15:50:06 wait 15:50:08 What 15:50:09 No 15:50:13 Wait 15:50:14 Maybe 15:50:15 Idk 15:50:18 I got confused 15:50:25 Oh 15:50:35 I* = (\x.(\y.xy)) 15:50:45 Ohhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh 15:50:49 That makes a lot more sense 15:51:00 it seems a lil bit useless now 15:51:09 (\y.\z.(\y1.\z1.(\x0.\y0.x0)z1(y1 z1))z(yz)) = (\y.\z.(\y1.\z1.(\y0.z1)(y1 z1))z(yz)) = (\y.\z.(\y1.\z1.z1)z(yz)) = (\y.\z.(\z1.z1)(yz)) = (\y.\z.yz) so you were correct anyway 15:51:20 we really should focus on more useful stuff like L and T 15:51:36 I wonder though if L and T could be made easier via I* 15:51:44 i doubt that 15:52:18 any place where `I*` can be used, `I` can replace it 15:52:36 so why does K* even exist??? 15:52:39 I* 15:52:40 i meant 15:52:53 K* might be useful, but i dunno how 15:52:58 why isnt it on the table btw? 15:54:21 I wonder what's stopping us from making up our own combinators, for example 🥹xyzwijkl = xxy(ijkij)llk(wi(jjl)x(yky)y)yylk(xwi) 15:54:34 (other than the fact that it is probably a bad idea unless you know what you are doing) 15:54:52 also it's cancellative lmao 15:55:15 FloppaDiskDrive: nothing is stopping us 15:55:54 I wonder if the 🥹 combinator is useful by itself 15:56:06 It cancels z for no reason 15:56:14 So maybe one could make K and K' with it? 15:57:10 I* = I with eta-reduction hmm 15:57:53 i dont know where to even start 15:58:19 I guess try to see if you can make S or BCW 15:58:51 🥹 is pure chaos 15:59:10 🥹 is the best combinator ever 16:00:00 If I* can be replaced with I then I think I should give up finding I* 16:00:09 Woah it's November 1 now 16:00:10 ye give up 16:00:12 i gave up 16:00:29 FloppaDiskDrive: gmt+8? 16:00:47 Yes 16:00:57 So Beijing, Kuala Lumpur, and Manila 16:01:02 And some more 16:01:27 H I x y = x y x 16:01:36 east and south east asia are in the future 16:01:52 FloppaDiskDrive: poor H combinator 16:02:01 Somehow discovered M again 16:02:22 I think I may have got an expression for T 16:02:27 (in my bloated basis) 16:02:38 FloppaDiskDrive: share pliz 16:02:41 it might help me 16:03:00 HK'xy = K'xyx = yx 16:04:12 hm 16:04:29 i think ill try making the H combinator 16:06:41 so my idea for H combinator is that i somehow use M_2 to duplicate the y and use K to cancel out all the other garbage 16:07:42 [[11Special:Log/newusers]] * User account Hammy was created 16:08:14 Woha 16:08:53 wow 16:08:57 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=931 * AnalysisOfVariance * (+381) * /* Candidate 2 */ Add expressions for K* and T 16:08:57 hammy is here 16:09:44 [[11User:Hammy]] 12https://esolanging.wiki/mediawiki/index.php?diff=932 07N * Hammy * (+68) * hello 16:14:30 [[11User:Yayimhere/Drafts]] 12https://esolanging.wiki/mediawiki/index.php?diff=933 * Yayimhere * (+446) 16:20:12 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=934 * AnalysisOfVariance * (+291) * /* Candidate 2 */ Remove W' from base (10 > 9) 16:20:32 First reduction in two hours holy 16:20:44 1 hour and 20 minutes actually 16:21:43 oh god 16:21:52 ? 16:22:02 im sturgguling to do anything meaningful 16:23:01 the main problem is that i have very little control over order 16:23:52 if only K (M_2 x y) would be legal 16:25:37 also i found a very simple I combinator 16:25:44 K' M_2 x = x 16:26:33 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=935 * Dragoneater67 * (-2) * /* Overview */ golf I combinator 16:28:26 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=936 07M * Dragoneater67 * (-2) * /* Overview */ M combinator fix 16:29:11 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=937 * AnalysisOfVariance * (+608) 16:30:03 [[11Draft:1-866-025-4037]] 12https://esolanging.wiki/mediawiki/index.php?diff=938 * Dragoneater67 * (-4) * /* Infinite loop */ golf 16:31:34 [[11User:Hammy]] 12https://esolanging.wiki/mediawiki/index.php?diff=939 * Hammy * (+63) 16:41:34 i just realized 16:41:37 ? 16:41:47 i can create a weird combinator that acts like H 16:41:54 but it takes more arguments 16:42:09 the extra arguments get cancelled 16:42:19 so i would just put I combinators there 16:48:04 i need T combinator so badly 16:48:39 I think my basis might be in need of a brute forcer 16:49:28 and my basis needs even more brute force 16:50:17 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=940 * AnalysisOfVariance * (+211) * add infinite loop example 16:50:33 I think both of us should make brute forcers for our bases 16:53:17 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=941 * AnalysisOfVariance * (+133) * /* See also */ 17:02:03 I think I might have to prematurely cut out a lot of combinators 17:04:46 Ping timeout gets us all in the end 17:06:22 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=942 * AnalysisOfVariance * (+1462) * /* Candidate 2 */ add Candidate 3 17:06:55 Time to eliminate the lark from the basis 17:19:10 Yep we need brute forcers 17:20:03 Made xxy but not xyy 17:20:05 (warbler) 17:25:03 HxyI is equivalent to Wxy (I think) but the problem is getting that I there 17:27:14 Somehow made xxy instead of xyy instead 17:28:38 Rediscovered I* again 17:31:06 Robin once removed (R*) is probably the key 17:31:34 Since if I do RHIxy I can get HxyI 17:32:17 s/R/R* 17:48:21 Hello de67_ 17:48:30 hi 17:51:00 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=943 * AnalysisOfVariance * (+661) * add brainfuck mimic syntax cause why not? 17:59:32 youre getting closer and closer to crazy j 17:59:45 also i decided to stop with the combinator chase for my own sanity 18:00:00 ill try to simulate some cyclic tag system instead 18:00:03 How so? (the closer to crazy j thing) 18:00:20 i have no idea 18:00:44 ill prolly steal some tricks from crazy j 18:00:46 I'm moving farther from crazy j with candidate 4 18:00:57 you have candidate 4 already??? 18:01:11 Yes 18:01:23 lemme see 18:01:34 Btw does (KK)KxK reduce to KKKxK then KxK then x or does it reduce to (KK)x then K? 18:02:10 wtf 18:02:13 lemme take a look 18:02:15 ? 18:02:25 at the (KK)KxK thing 18:02:31 so first the KK thing 18:02:52 K K x = K 18:03:22 therefore (KK)KxK = KxK 18:03:26 KxK = x 18:03:49 oh wait hm 18:05:56 (K K) x y z = y 18:06:07 so its actually x 18:08:21 Painfully translating it to plain LC and evaluating it gives x 18:08:22 Ty 18:08:53 hm 18:08:54 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=944 * AnalysisOfVariance * (+451) * /* Candidate 3 */ Candidate 4 18:09:08 i may need to read about church numerals 18:09:17 theyre probably important for my tcness proofa 18:09:21 Yea 18:09:32 you should read that too 18:09:59 HK is certainly incomplete 18:10:17 and also PkmnQ warned that its probably a pushdown automaton 18:10:45 aww 18:11:31 hm 18:12:02 i already have some ideas brewing regarding cyclic tag system implementation 18:12:41 Crazy J ripoff time 18:12:47 i just need a way to simulate a queue 18:12:51 and idk how to 18:13:14 im searching "how to simulate queue im lambda calculus" rn 18:17:23 i havent found anything relevant 18:20:01 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=945 * AnalysisOfVariance * (+154) * /* Candidate 4 */ Add Kite expression 18:26:31 you should take a look at the Ê combinator 18:28:57 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=946 * AnalysisOfVariance * (+171) * /* Candidate 4 */ Add HK expression for T 18:29:06 Bald eagle? 18:33:34 Looks like bald eagle works well with kite 18:34:56 67 kilobyte logs 18:35:08 damn 18:35:46 hm 18:36:05 M_2 just sucka for anything where you have to move arguments around 18:59:58 cyalllater 19:08:54 [[11Draft:Dimethylmercury]] 12https://esolanging.wiki/mediawiki/index.php?diff=947 * AnalysisOfVariance * (+587) * /* Candidate 5 */