00:28:08 -!- pool has quit (Read error: Connection reset by peer). 00:29:28 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168380&oldid=168378 * Sawyer.go0923 * (-29) 00:30:11 -!- pool has joined. 00:30:51 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168381&oldid=168380 * Sawyer.go0923 * (-98) 00:36:35 [[SletScript]] https://esolangs.org/w/index.php?diff=168382&oldid=168270 * PrySigneToFry * (+121) 00:41:03 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168383&oldid=168381 * Aadenboy * (+29) re-add category 00:46:44 [[Talk:Abyssal-9]] https://esolangs.org/w/index.php?diff=168384&oldid=168357 * Ais523 * (+683) asking for opinions on whether pages like this are appropriate for the wiki 00:50:16 -!- pool has quit (Remote host closed the connection). 01:19:47 -!- pool has joined. 01:34:40 -!- tromp has joined. 01:35:16 -!- tromp has quit (Client Quit). 01:35:19 [[Fingerfuck]] https://esolangs.org/w/index.php?diff=168385&oldid=165021 * EvilRodentOfEVil * (-2) /* Commands */ 01:37:56 -!- somefan has joined. 01:38:05 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168386&oldid=168383 * Sawyer.go0923 * (-112) 01:39:49 [[Fingerfuck]] https://esolangs.org/w/index.php?diff=168387&oldid=168385 * EvilRodentOfEVil * (-303) /* Commands */ 01:43:19 -!- somefan has quit (Remote host closed the connection). 01:44:19 [[Fingerfuck]] https://esolangs.org/w/index.php?diff=168388&oldid=168387 * EvilRodentOfEVil * (-43) /* Commands */ 01:58:58 [[Tskastic/Command Table]] https://esolangs.org/w/index.php?diff=168389&oldid=166658 * PrySigneToFry * (+274) 01:59:36 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement). 02:10:31 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168390&oldid=168386 * Sawyer.go0923 * (+6893) 02:15:53 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168391&oldid=168390 * Sawyer.go0923 * (+2338) 02:19:10 [[Category:Turing Complete]] N https://esolangs.org/w/index.php?oldid=168392 * Sawyer.go0923 * (+59) Created page with "Yes, you can create anything in these languages, like GTA6." 02:21:11 [[ASTLang]] https://esolangs.org/w/index.php?diff=168393&oldid=168313 * NTMDev * (-4) /* Edit a List */ 02:21:49 [[ASTLang]] https://esolangs.org/w/index.php?diff=168394&oldid=168393 * NTMDev * (+2) /* Edit a List */ 02:24:21 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168395&oldid=168391 * Sawyer.go0923 * (+18) 02:25:43 [[Special:Log/delete]] delete * Ais523 * deleted "[[Category:Turing Complete]]": unapproved category, redundant to [[Category:Turing complete]] 02:36:17 -!- somefan has joined. 02:38:32 [[User:NTMDev]] https://esolangs.org/w/index.php?diff=168396&oldid=167963 * NTMDev * (+8) 02:59:41 [[Fingerfuck]] https://esolangs.org/w/index.php?diff=168397&oldid=168388 * EvilRodentOfEVil * (+709) /* Examples */ 03:00:18 -!- somefan has quit (Remote host closed the connection). 03:00:31 [[Fingerfuck]] https://esolangs.org/w/index.php?diff=168398&oldid=168397 * EvilRodentOfEVil * (-4) /* 3 Character Password */ 03:05:04 -!- op_4 has quit (Remote host closed the connection). 03:05:40 -!- op_4 has joined. 03:12:54 [[Brafuck]] https://esolangs.org/w/index.php?diff=168399&oldid=165567 * PrySigneToFry * (+264) 03:16:35 -!- impomatic has quit (Ping timeout: 250 seconds). 03:54:20 [[Special:Log/newusers]] create * Mysonandadthatnosense * New user account 04:01:24 -!- Guest41 has joined. 04:01:59 Omg let's goooo, I'm accessing this from a Scratch project (technically Turbowarp) 04:02:26 -!- Guest86 has joined. 04:03:20 -!- Guest86 has quit (Client Quit). 04:06:50 [[ASTLang]] https://esolangs.org/w/index.php?diff=168400&oldid=168394 * NTMDev * (+460) /* Enumeration */ 04:08:24 -!- Guest41 has quit (Quit: Client closed). 04:19:35 -!- pool has quit (Read error: Connection reset by peer). 04:21:40 -!- pool has joined. 04:22:18 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=168401&oldid=168324 * Mysonandadthatnosense * (+218) /* Introductions */ 04:29:23 [[Apraxia]] https://esolangs.org/w/index.php?diff=168402&oldid=168284 * Yayimhere2(school) * (-20) /* Semantics */ 04:29:37 [[Apraxia]] https://esolangs.org/w/index.php?diff=168403&oldid=168402 * Yayimhere2(school) * (-178) /* Examples */ 04:30:38 [[Apraxia]] https://esolangs.org/w/index.php?diff=168404&oldid=168403 * Yayimhere2(school) * (-20) /* Semantics */ 04:34:15 [[Apraxia]] https://esolangs.org/w/index.php?diff=168405&oldid=168404 * Yayimhere2(school) * (+61) /* Examples */ 04:49:30 [[User:Yayimhere]] https://esolangs.org/w/index.php?diff=168406&oldid=168287 * Yayimhere2(school) * (-251) /* esolangs */ 04:50:51 [[()()(())]] https://esolangs.org/w/index.php?diff=168407&oldid=136415 * Yayimhere2(school) * (+25) /* definitions */ 04:51:49 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168408&oldid=168395 * Corbin * (+6) Fix categories yet again. 04:52:13 [[Talk:()NEST()]] https://esolangs.org/w/index.php?diff=168409&oldid=168088 * Yayimhere2(school) * (-269) deleted some dumb talks I did a while ago 04:53:56 [[Talk:()NEST()]] https://esolangs.org/w/index.php?diff=168410&oldid=168409 * Yayimhere2(school) * (+446) 05:04:53 [[()NEST()]] https://esolangs.org/w/index.php?diff=168411&oldid=136382 * Yayimhere2(school) * (-920) /* how it works */ 05:08:19 -!- Sgeo has quit (Ping timeout: 250 seconds). 05:11:08 [[Talk:()NEST()]] https://esolangs.org/w/index.php?diff=168412&oldid=168410 * Yayimhere2(school) * (+666) 05:19:45 -!- pool has quit (Read error: Connection reset by peer). 05:21:49 -!- pool has joined. 05:40:35 -!- ais523 has quit (Quit: quit). 05:44:01 -!- zzo38 has joined. 05:44:06 Why does X.690 says that the canonical form of a floating point number in decimal format must have a plus sign for the exponent iff the exponent is zero? 05:47:19 [[Atamagaokashii]] https://esolangs.org/w/index.php?diff=168413&oldid=168345 * RaiseAfloppaFan3925 * (+497) /* Factorial operator example */ Silly me was too sleepy to complete the factorial program 05:51:46 [[Atamagaokashii]] M https://esolangs.org/w/index.php?diff=168414&oldid=168413 * RaiseAfloppaFan3925 * (+1) /* Factorial operator example */ operator, not literal 05:52:18 -!- Sgeo has joined. 06:03:29 -!- Sgeo has quit (Read error: Connection reset by peer). 06:19:56 -!- pool has quit (Read error: Connection reset by peer). 06:20:22 -!- pool has joined. 06:20:34 [[SletScript]] M https://esolangs.org/w/index.php?diff=168415&oldid=168382 * Cycwin * (+470) /* single-time lambda runner */ 06:29:46 [[Dynamic CE]] N https://esolangs.org/w/index.php?oldid=168416 * Yayimhere2(school) * (+405) Created page with "{{WIP}} '''Dynamic CE''' is an esolang created by [[User:Yayimhere]], as a more dynamic, and "usable"(to some extent) version of [[Contains everything]]. It is currently a WIP. == Description == === Builtins === Below are some Dynamic CE built in variables, 06:35:02 [[Distressed]] https://esolangs.org/w/index.php?diff=168417&oldid=168232 * Yayimhere2(school) * (+4) /* Computational class */ 06:37:28 [[Homunculus fallacy]] https://esolangs.org/w/index.php?diff=168418&oldid=168334 * Yayimhere2(school) * (+65) /* Commands */ 06:37:36 [[Homunculus fallacy]] https://esolangs.org/w/index.php?diff=168419&oldid=168418 * Yayimhere2(school) * (+1) /* Tricks and tips */ 06:40:19 [[Homunculus fallacy]] https://esolangs.org/w/index.php?diff=168420&oldid=168419 * Yayimhere2(school) * (+69) /* Commands */ 06:40:56 [[User:RaiseAfloppaFan3925]] M https://esolangs.org/w/index.php?diff=168421&oldid=168343 * RaiseAfloppaFan3925 * (+501) /* Languages I like */ Add Atamagaokashii 06:43:06 -!- impomatic has joined. 06:44:44 [[Homunculus fallacy]] https://esolangs.org/w/index.php?diff=168422&oldid=168420 * Yayimhere2(school) * (-4) /* Commands */ 06:49:52 [[Homunculus fallacy]] https://esolangs.org/w/index.php?diff=168423&oldid=168422 * Yayimhere2(school) * (-36) /* Commands */ 06:52:04 -!- Yayimhere has joined. 06:53:37 Hello. I have a question. Is the command set Increment, multiply by 10, add a cell and point to it, delete current cell, go back N commands, goto command N(only forwards), goto current cell value(may wrap around the program). 07:01:28 [[SletScript]] M https://esolangs.org/w/index.php?diff=168424&oldid=168415 * Ractangle * (+33) 07:01:58 [[SletScript]] M https://esolangs.org/w/index.php?diff=168425&oldid=168424 * Ractangle * (-11) /* External Resources */ 07:34:29 Is the before mentioned command set turing complete 07:34:30 lol 07:34:36 i had not realized it was incomplete 08:01:43 -!- Yayimhere has quit (Ping timeout: 250 seconds). 08:08:55 -!- Yayimhere has joined. 08:14:10 -!- tromp has joined. 08:28:32 -!- chiselfuse has quit (Ping timeout: 272 seconds). 08:28:50 -!- chiselfuse has joined. 08:51:54 -!- impomatic has quit (Quit: Client closed). 09:35:58 [[Ikiwekiwow]] M https://esolangs.org/w/index.php?diff=168426&oldid=166009 * Saumus Paskevi * (+7) 09:36:47 [[Ikiwekiwow]] M https://esolangs.org/w/index.php?diff=168427&oldid=168426 * Saumus Paskevi * (+7) 09:37:42 [[Ikiwekiwow]] https://esolangs.org/w/index.php?diff=168428&oldid=168427 * Saumus Paskevi * (-51) 09:38:34 [[User:RaiseAfloppaFan3925]] https://esolangs.org/w/index.php?diff=168429&oldid=168421 * RaiseAfloppaFan3925 * (+2592) Tier lists 09:39:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 09:41:20 [[Ikiwekiwow]] https://esolangs.org/w/index.php?diff=168430&oldid=168428 * Yayimhere2(school) * (+0) /* Operations */ correct the number of instructions 09:41:45 [[Confusion]] M https://esolangs.org/w/index.php?diff=168431&oldid=90799 * Saumus Paskevi * (+11) marked dead link 09:51:51 [[SletScript]] https://esolangs.org/w/index.php?diff=168432&oldid=168425 * I am islptng * (+29) fix typo and format 09:56:12 moderately tempted to throw in a version of Henkin's theorem to prove that there are no surprises connected to the logical axioms 09:59:41 as it is the logic is only developed enough to prove that 0 and 1 have the expected nature 10:35:08 [[Contains everything]] https://esolangs.org/w/index.php?diff=168433&oldid=168364 * C++DSUCKER * (+171) 10:38:57 Hi * 10:39:07 Hello APIC 10:39:12 Yo Yayimhere 10:39:22 How are you? 10:39:28 And are you working on anything? 10:39:31 [[Special:Log/newusers]] create * Samski * New user account 10:44:49 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=168434&oldid=168401 * Samski * (+378) 10:45:05 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=168435&oldid=168434 * Samski * (+81) 10:47:10 [[Talk:Contains everything]] https://esolangs.org/w/index.php?diff=168436&oldid=168366 * C++DSUCKER * (+244) 10:47:28 [[Talk:Contains everything]] https://esolangs.org/w/index.php?diff=168437&oldid=168436 * C++DSUCKER * (+63) 10:50:22 [[Contains everything]] https://esolangs.org/w/index.php?diff=168438&oldid=168433 * C++DSUCKER * (+0) 10:51:19 [[Dynamic CE]] https://esolangs.org/w/index.php?diff=168439&oldid=168416 * Yayimhere2(school) * (-405) Blanked the page 10:52:57 [[User:RaiseAfloppaFan3925/Testing Facility]] https://esolangs.org/w/index.php?diff=168440&oldid=168267 * RaiseAfloppaFan3925 * (+709) Syntax highlighting 10:53:30 -!- tromp has joined. 11:11:26 [[User:RaiseAfloppaFan3925]] M https://esolangs.org/w/index.php?diff=168441&oldid=168429 * RaiseAfloppaFan3925 * (+164) /* Tier List of Languages */ 11:16:53 [[User:RaiseAfloppaFan3925/Interpreters]] https://esolangs.org/w/index.php?diff=168442&oldid=168111 * RaiseAfloppaFan3925 * (+316) /* Nope. */ Add the Atamagaokashii interpreter of Nope. 11:19:21 -!- DOS_User has joined. 11:19:36 -!- DOS_User has quit (Client Quit). 11:19:55 -!- DOS_User_webchat has joined. 11:21:31 -!- DOS_User_webchat has quit (Client Quit). 11:21:46 -!- DOS_User_webchat has joined. 11:22:08 -!- DOS_User_webchat has quit (Client Quit). 11:22:24 -!- DOS_User_webchat has joined. 11:22:33 damn 11:22:45 Ehat? 11:22:53 Chat? 11:23:46 No 11:23:48 What 11:23:55 I hate typnhg on phone 11:24:33 lol' 11:25:00 Anywayds sup 11:25:44 Working on an extension of contains everything 11:25:46 WBU? 11:26:25 Bored 11:26:33 lol 11:26:40 Have you ever made an esolang? 11:26:43 just wondering 11:26:55 Granmas hpuse, dad is rambling about mushros 11:26:59 Musrooms 11:27:09 Oh yea i have 11:27:17 User:juanp32 11:27:30 cool! 11:27:34 ill check im our 11:27:36 One ofvthem is turing complete 11:27:38 would love to collab 11:27:50 Actually 2 but one is a bf derivatibe so yea 11:27:58 lul 11:28:21 Because a rite of passage for esolangers is bf dericative apparently 11:28:37 I havent actually 11:28:39 i think 11:38:43 [[Contains everything]] https://esolangs.org/w/index.php?diff=168443&oldid=168438 * C++DSUCKER * (+246) 11:58:25 [[User talk:Yayimhere2(school)]] https://esolangs.org/w/index.php?diff=168444&oldid=167857 * PrySigneToFry * (+219) 11:59:33 [[User talk:Yayimhere2(school)]] https://esolangs.org/w/index.php?diff=168445&oldid=168444 * Yayimhere2(school) * (+159) 11:59:42 [[Contains everything]] M https://esolangs.org/w/index.php?diff=168446&oldid=168443 * C++DSUCKER * (-4) 12:03:15 [[User:None1/InDev]] https://esolangs.org/w/index.php?diff=168447&oldid=166161 * None1 * (+721) 12:05:41 -!- Yayimhere has quit (Ping timeout: 250 seconds). 12:06:22 -!- DOS_User_webchat has quit (Quit: Client closed). 12:08:12 [[Contains everything]] https://esolangs.org/w/index.php?diff=168448&oldid=168446 * C++DSUCKER * (+141) 12:08:37 [[Contains everything]] https://esolangs.org/w/index.php?diff=168449&oldid=168448 * C++DSUCKER * (+2) 12:15:28 [[User talk:Yayimhere2(school)]] https://esolangs.org/w/index.php?diff=168450&oldid=168445 * PrySigneToFry * (+315) 12:20:15 -!- pool has quit (Read error: Connection reset by peer). 12:21:23 [[Contains everything]] https://esolangs.org/w/index.php?diff=168451&oldid=168449 * C++DSUCKER * (+321) 12:21:24 -!- impomatic has joined. 12:22:22 -!- pool has joined. 12:26:53 [[User talk:Yayimhere2(school)]] https://esolangs.org/w/index.php?diff=168452&oldid=168450 * Yayimhere2(school) * (+383) /* ? */ 12:28:09 -!- Yayimhere has joined. 12:40:47 -!- Yayimhere has quit (Quit: Client closed). 12:44:38 [[Atamagaokashii]] https://esolangs.org/w/index.php?diff=168453&oldid=168414 * Hammy * (+150) /* Member/Method Access */ 12:53:41 -!- impomatic has quit (Quit: Client closed). 13:00:27 [[Atamagaokashii]] https://esolangs.org/w/index.php?diff=168454&oldid=168453 * Hammy * (+690) /* User:Esolangist */ 13:01:28 [[]] N https://esolangs.org/w/index.php?oldid=168455 * Hammy * (+28) Redirected page to [[Atamagaokashii]] 13:13:40 [[Talk:INTERCAL]] https://esolangs.org/w/index.php?diff=168456&oldid=167964 * Jasper * (+53) /* Useful functions made using INTERCAL's unary / binary operators */ 13:20:28 -!- pool has quit (Read error: Connection reset by peer). 13:22:29 -!- pool has joined. 13:23:38 [[Atamagaokashii]] M https://esolangs.org/w/index.php?diff=168457&oldid=168454 * RaiseAfloppaFan3925 * (+144) /* Extensions */ This 13:32:35 > logBase 2 3 * 23 13:32:37 36.45413751658659 13:40:49 [[Just a bit]] https://esolangs.org/w/index.php?diff=168458&oldid=168271 * Esolangist alt * (+169) 13:50:30 [[Talk:Abyssal-9]] https://esolangs.org/w/index.php?diff=168459&oldid=168384 * Int-e * (+363) I think either delete them or mark pages like this with a big "AI slop" banner... 13:58:05 -!- impomatic has joined. 14:05:34 [[Abyssal-8]] N https://esolangs.org/w/index.php?oldid=168460 * Sawyer.go0923 * (+21282) Created page with "{{proglang | name = Abyssal-8 | year = 2025 | designer = Sawyer Macia | file extension = .aby8 | paradigm = Esoteric language deterministic, massively obfuscated, self-modifying VM | influences = Malbolge, Brainfuck (conceptual), cryptographic permutations }} 14:10:01 ...gah 14:10:45 Oh we're also inventing nonexistant templates? "Template:Proglang" 14:10:53 "we" 14:20:32 -!- pool has quit (Read error: Connection reset by peer). 14:22:36 -!- pool has joined. 14:35:49 -!- amby has joined. 14:42:32 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168461&oldid=168408 * Sawyer.go0923 * (-281) 14:59:36 [[Abyssal-7]] N https://esolangs.org/w/index.php?oldid=168462 * Sawyer.go0923 * (+6020) Created page with "{{infobox proglang |name=Abyssal-7 |paradigms=imperative |author=[[User:YourUsernameHere]] |year=[[:Category:2025|2025]] |influence=[[Abyssal-8]], [[Abyssal-9]], [[Malbolge]] |class=[[:Category:Turing complete|Turing 15:04:21 Hmm I can feel a wiki user ban coming. 15:07:48 [[ASTLang]] https://esolangs.org/w/index.php?diff=168463&oldid=168400 * NTMDev * (+89) /* Floor, Ceiling */ 15:08:23 [[ASTLang]] https://esolangs.org/w/index.php?diff=168464&oldid=168463 * NTMDev * (+16) /* LogicalOperation */ 15:09:58 (Aside from these pages being pure slop, they haven't reacted on their talk page either.) 15:13:34 [[ASTLang]] https://esolangs.org/w/index.php?diff=168465&oldid=168464 * NTMDev * (-31) /* Floor, Ceiling */ 15:14:03 [[ASTLang]] https://esolangs.org/w/index.php?diff=168466&oldid=168465 * NTMDev * (+90) /* Advanced Math Operations */ 15:29:34 [[ASTLang]] https://esolangs.org/w/index.php?diff=168467&oldid=168466 * NTMDev * (+474) /* Square root, Logarithm */ 15:42:08 [[ASTLang]] https://esolangs.org/w/index.php?diff=168468&oldid=168467 * NTMDev * (+77) /* Square root, Logarithm */ 15:44:12 [[ASTLang]] https://esolangs.org/w/index.php?diff=168469&oldid=168468 * NTMDev * (+306) /* Trig Functions */ 15:49:47 [[Talk:Contains everything]] https://esolangs.org/w/index.php?diff=168470&oldid=168437 * Corbin * (+911) 15:51:53 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168471&oldid=168461 * Corbin * (+2) Fix categories. 15:52:23 [[Abyssal-8]] https://esolangs.org/w/index.php?diff=168472&oldid=168460 * Corbin * (+6) Fix categories. This was clearly generated. 15:52:52 [[Abyssal-7]] https://esolangs.org/w/index.php?diff=168473&oldid=168462 * Corbin * (+7) Fix categories. This was clearly generated. 15:57:46 [[ASTLang]] https://esolangs.org/w/index.php?diff=168474&oldid=168469 * NTMDev * (+197) /* Gcd, Lcm */ 15:58:52 [[ASTLang]] https://esolangs.org/w/index.php?diff=168475&oldid=168474 * NTMDev * (+125) /* Mod, MathConstants */ 15:58:56 [[Special:Log/upload]] upload * Mysonandadthatnosense * uploaded "[[File:Hello World!.png]]" 16:03:09 [[User talk:Sawyer.go0923]] https://esolangs.org/w/index.php?diff=168477&oldid=168312 * Corbin * (+1556) /* Tagging & Slop */ new section 16:06:46 [[I RAGED ON CSHARP SO HARD I BROKE MY FUCKING PC]] https://esolangs.org/w/index.php?diff=168478&oldid=168216 * Corbin * (+6) Fix categories. This smells generated. 16:07:08 [[!frjnrehrbwgyrigbyieurgbyfaerkhbvrwgtr.]] https://esolangs.org/w/index.php?diff=168479&oldid=168217 * Corbin * (+6) Fix categories. This smells generated. 16:07:22 [[Abcdefghijklmnopqrstuvwxyz.now.i.know.my.abcs.next.time.wont.you.sing.with.me]] https://esolangs.org/w/index.php?diff=168480&oldid=168219 * Corbin * (+6) Fix categories. This smells generated. 16:08:36 [[GTA6]] https://esolangs.org/w/index.php?diff=168481&oldid=168316 * Corbin * (+30) Fix categories. This smells generated. The repeated Gs put the model into a pseudo-stationary distribution and it forgot which language it was supposed to speak when it came back out. 16:09:23 Okay, I think I've tagged all of it. 16:14:51 [[Classic?]] https://esolangs.org/w/index.php?diff=168482&oldid=168239 * Yayimhere2(school) * (+3) /* Semantics */ 16:21:35 [[M@trix]] N https://esolangs.org/w/index.php?oldid=168483 * Mysonandadthatnosense * (+1416) Uhh M@trix! 16:27:23 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:28:12 [[M@trix]] https://esolangs.org/w/index.php?diff=168484&oldid=168483 * Mysonandadthatnosense * (+1) /* M@trix */ 16:28:23 -!- Lord_of_Life_ has joined. 16:29:47 -!- Lord_of_Life has quit (Ping timeout: 256 seconds). 16:29:47 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 16:29:53 -!- impomatic has quit (Quit: Client closed). 16:29:57 [[Classic?]] https://esolangs.org/w/index.php?diff=168485&oldid=168482 * Yayimhere2(school) * (+2) /* Semantics */ 16:34:46 [[M@trix]] https://esolangs.org/w/index.php?diff=168486&oldid=168484 * Mysonandadthatnosense * (+153) /* External Links */ 16:35:38 [[M@trix]] M https://esolangs.org/w/index.php?diff=168487&oldid=168486 * Mysonandadthatnosense * (+0) /* M@trix */ 16:37:13 [[User talk:Mysonandadthatnosense]] N https://esolangs.org/w/index.php?oldid=168488 * Mysonandadthatnosense * (+169) Created page with "Hi guys! Im the guy who made [[M@trix]] :D--~~~~" 16:38:15 [[User:Samski]] N https://esolangs.org/w/index.php?oldid=168489 * Mysonandadthatnosense * (+3) Created page with "uhm" 16:40:46 -!- ais523 has joined. 16:41:00 [[M@trix]] M https://esolangs.org/w/index.php?diff=168490&oldid=168487 * Mysonandadthatnosense * (+79) /* M@trix */ 16:42:05 [[Atamagaokashii]] https://esolangs.org/w/index.php?diff=168491&oldid=168457 * Esolangist alt * (+20) Esolangist alt 16:53:07 I don't want to ban Sawyer.go0923 without giving them more of a chance to respond to the warnings, but I'm also thinking that the behaviour is getting increasingly banworthy 16:54:28 really I or someone else needs to work on a topicality policy which gives something to point to as a reason to delete this (which I don't think should be "was created by AI" unless there were copyright concerns, but rather "a page should document a language, you can't just write something that looks like language documentation unless there is an actual language to document" 16:55:17 the AI that's generating the pages seems to have fallen into the common issue of mixing up actual useful output and plans for the future / todo lists (which, admittedly, I sometimes do myself on a smaller scale, but not to that extent) 16:57:04 to clarify: I think "ask an AI for ideas, try to create a language around the ideas it comes up with, document the language" is clearly acceptable even if I'm not particularly a fan of the process; but "ask an AI for language documentation and post it" is not acceptable because at no point has the language actually been created 16:58:36 ais523: Understood. I will propose some policy wording in a bit. I hope I didn't overstep in my warning; I wanted them to understand *why* their behavior is an issue and *how* to improve. 16:59:22 it's a wiki, warning people is something that anyone can do (although if the warnings are in bad faith it would be a problem, and if they're in good faith but very off the mark it would need correction) 16:59:33 "articles should document languages" seems like a good maxim for sure. 16:59:51 (or document something else, if the article is not intended to be about a language) 17:00:44 I am generally extremely forgiving as moderators go (which might have caused problems in the past) – this incident is annoying even me, so it must be even worse for everyone else 17:02:15 ais523: Yeah technically AI isn't the issue. Nor, in a way, is slop; we have plenty of barely specified language stubs... not great, but easy to sort out at a glance. The combination though... AI enables slop that looks substantial, produced at a prodigious rate. 17:03:02 with human-produced slop there's generally *a* language idea, just the human may not fully understand it and may have trouble articulating it properly 17:03:12 in my case, I normally just don't post those languages, but some people do 17:03:31 (and when I do post languages that I haven't fully thought through they are often not very interesting) 17:03:43 i don't think it matters much whether it's ai or not, though it's much more likely with ai, but without knowing how to formulate it, i think it's not a place for "silly stupid half baked stuff with zero interesting value" 17:04:45 (all subjective obviously, hence "not sure how to formulate it") 17:04:47 I can potentially see going as far as "a page must contain either an interpreter, sufficient information that it would be possible for someone else to create an interpreter, or a link to a page containing one of these things" although that would be a really major change and I wouldn't want to make it without extensive discussion 17:05:01 and it'd need to be adapted a bit for hypothetical languages 17:05:06 err, for uncomputable languages 17:05:06 I'm just not a fan of vanity. I think this this community is much more lenient than e.g. nLab, where "remove yourself" is a community value, but in general I think that wikis should not just be guestbooks where people write grand signatures. 17:05:54 something like https://esolangs.org/wiki/Banana_Scheme would be sufficiently well-specified to implement if not for the fact that it's theoretically impossible 17:06:02 but you can imagine writing an implementation in another uncomputable language 17:06:48 well, except that it doesn't specify syntax for the transfinite ordinales 17:06:49 [[Sammy]] would be my example of an edge case. It's an interesting open research question whether a Turing machine can simulate it! 17:06:55 *ordinals 17:07:00 https://esolangs.org/wiki/Sammy 17:07:27 korvo: ooh, unknown between TC and uncomputable? I don't see that very often 17:07:38 This is intangible, but Banana Scheme is clean: It adds just enough to Scheme to embody the idea of having access to a tower of halting oracles. 17:08:37 yes 17:09:02 ais523: Yeah. The main issue is that it's not known how to compute Kan extensions in Cat other than via diagram chasing. I think that there might be an algebraic way to simulate it, so that we could compute an approximation; but the details were difficult to work out and I gave up after a week. 17:09:50 -!- impomatic has joined. 17:10:20 int-e: ais523: just wanted to put it out there. thanks again for the discussion and ideas. i only ended up using ais523's "if (0 or near enough) BODY" code https://gist.github.com/avih/3c7733e251e7edaf161f7f71c840ce69 17:10:56 avih: I think you have int-e's name backwards 17:10:59 . o O ( who's e-int ) 17:11:08 lol duh 17:11:29 [[Iterate]] https://esolangs.org/w/index.php?diff=168492&oldid=168319 * Aadenboy * (+10) /* Completeness */ I think it'd be obvious to say that Iterate without any way to reset counters is not Turing-completeironically, it would probably be equivalent to [[ITERATE]] instead 17:11:38 -!- DOS_User_webchat has joined. 17:12:05 fixed! :) 17:12:27 -!- tromp has joined. 17:14:11 i wanted to find a way to document it in really small chunks without having to use a debugger to see how it looks. i think it ended up ok 17:16:42 i'm not entirely convinced my "while" construct is minimal, because the condition part has to be duplicated and my gut feeling is that it might be possible to use only once, but so far i didn't find out how 17:17:30 (i'm sure it can be minimized with tailored code, but i'm more interested in generally applicable constructs) 17:18:00 -!- perlbot has quit (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in). 17:18:00 -!- simcop2387 has quit (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in). 17:18:58 (that refers to the first while. obviously "while (not 0)" is fine) 17:20:07 avih: maybe something like +[ -> COND [-<+> ...]<] 17:20:32 (instead of COND [- ... COND]) 17:20:51 (digesting. also brb) 17:20:51 -!- pool has quit (Read error: Connection reset by peer). 17:21:08 (I have not checked whether that's nciely applicable to the actual code) 17:21:14 *nicely 17:22:51 -!- pool has joined. 17:24:13 yeah, no worries. i will :) but general constructs are useful even if not directly applicable in this case. 17:26:47 -!- DOS_User_webchat has quit (Ping timeout: 250 seconds). 17:27:02 -!- DOS_User_webchat has joined. 17:31:49 DOS_User_webchat: Folks don't have to make a BF derivative to contribute to the Brainfuck story. They could also write an interpreter, write a notable or interesting program, demonstrate a new compilation technique, etc. 17:32:21 I want to avoid folks thinking that community membership involves tagging a specific graffiti wall with a signature. 17:32:22 korvo: ik it was a joke 17:32:29 DOS_User_webchat: Ah, okay. No worries. 17:32:38 on how almosteveryone did a derivative 17:35:33 (back) 17:37:16 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168493&oldid=168471 * Sawyer.go0923 * (+39) 17:38:03 -!- impomatic has quit (Ping timeout: 250 seconds). 17:41:03 -!- DOS_User_webchat has quit (Remote host closed the connection). 17:42:56 int-e: so COND sets the curr cell to exactly 0/1, and body is "..." ? why the very 1st "+" ? does it assume that it's never -1? 17:44:09 avih: that's supposed to be on a temporary 17:44:35 so the assumption is that it starts on a temp cell which is 0? 17:44:40 yeah 17:45:53 the idea is that instead of duplicating COND, have the outer loop return to before COND whenever the conditions was true 17:46:06 [[User talk:Sawyer.go0923]] https://esolangs.org/w/index.php?diff=168494&oldid=168477 * Sawyer.go0923 * (+266) Reply 17:46:10 which is using a separate condition that is easier to manage 17:49:12 int-e: yeah, i get the idea, just not yet whether it's applicable. so the startup state expects to be on the 1st of two consecutive tmp cells, where the 1st is 0 and the 2nd is cond which is exactly 1 or 0, yes? 17:51:15 well, no. COND represents code to generate 1/0 for this iteration, right? 17:51:23 right 17:51:34 COND is the thing that you duplicated, more or less 17:51:43 yea 17:52:05 (with all these code templates, the exact number and direction of < and > may need adjustments) 17:52:35 sure, but this is specific example, so i'm applying it to its own requirement 17:52:51 (i..e your example uses specific places) 17:53:02 [[Abyssal-7]] https://esolangs.org/w/index.php?diff=168495&oldid=168473 * Sawyer.go0923 * (-48) 17:53:02 Right, but what I wrote didn't take your constraints into account, so you're on your own. 17:53:23 mine doesn't matter. i can apply it once i get it 17:54:09 (if applicable, my main concern is that it's an unbalanced loop, so need to ensure the bookkeeping happens correctly, but i _think_ it should be ok) 17:54:57 (because the cleanup happens right after it's used, before BODY) 17:55:46 [[Abyssal-8]] https://esolangs.org/w/index.php?diff=168496&oldid=168472 * Sawyer.go0923 * (-437) 17:56:47 [[User talk:Sawyer.go0923]] https://esolangs.org/w/index.php?diff=168497&oldid=168494 * Sawyer.go0923 * (+6) 17:58:28 int-e: i think i get it. the 1st tmp cell is used both to "get in" unconditionally initially, and also to loop unconditionally, where on each iteration cond is the actual decider about whether body should be executed, yes? 17:59:16 [[M@trix]] https://esolangs.org/w/index.php?diff=168498&oldid=168490 * Mysonandadthatnosense * (+713) 17:59:29 and if COND is false, then the body loop is not entered and the outer look exits right away 18:00:29 i _think_ it should be applicable, but not entirely sue yet. mainly due to the unbalanced nature 18:00:43 (of my BODY) 18:08:40 -!- b_jonas has joined. 18:10:27 [[Talk:Burn]] https://esolangs.org/w/index.php?diff=168499&oldid=167764 * Yayimhere2(school) * (+188) /* Thoughts on burn */ 18:12:23 [[Iterate/Math]] https://esolangs.org/w/index.php?diff=168500&oldid=168175 * Aadenboy * (+590) extra logic 18:13:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 18:16:29 -!- tromp has joined. 18:17:40 Well, they're still using chatbots to write their replies, but at least they replied. 18:18:43 [[M@trix]] M https://esolangs.org/w/index.php?diff=168501&oldid=168498 * Mysonandadthatnosense * (+47) /* External Resources */ 18:19:35 [[M@trix]] M https://esolangs.org/w/index.php?diff=168502&oldid=168501 * Mysonandadthatnosense * (-144) /* M@trix */ 18:36:24 -!- perlbot has joined. 18:38:46 int-e: that's your suggestion in a bit more formal notation, yes? 18:38:48 (start @base) tmp1+[- (tmp2=COND) tmp2[- tmp1+ base BODY tmp2] tmp1] 18:40:25 and what i'm thinking about is what happens when BODY inherently moves head, as in unbalanced. 18:40:28 avih: you're using names to indicate movement, I guess; in that case, yes 18:40:56 the name X means "move to X", and it uses the names base, tmp1, tmp2 18:41:07 yeah, got it 18:41:28 -!- simcop2387 has joined. 18:43:15 i'm also wondering whether tmp2 can reuse the tmp1 cell, and end up requiring only 1 tmp 18:44:11 avih: well you need a known-0 place to exit the inner loop 18:44:22 indeed 18:44:23 "loop"; it's more of a conditional branch 18:44:53 basically, the inner loop must be an "if", yes? 18:45:10 yeah 18:45:12 [[User:Sawyer.go0923]] N https://esolangs.org/w/index.php?oldid=168503 * Sawyer.go0923 * (+1) Created page with "a" 18:46:31 then, if tmp1 is reused, then it could end in "BODY tmp1[-]] +]" while reusing tmp1? 18:48:14 avih: but a non-zero tmp1 is how the outer loop knows to continue 18:48:23 as in: (start @base) tmp+[- (tmp=COND) tmp[- base BODY tmp[-]] +] 18:49:07 there's redundancy there of the tmp[- and the [-] 18:49:26 -!- impomatic has joined. 18:49:40 it the end of the inner loop, one cell is known to be 0 (because the loop exits) and another cell is supposed to track whether to continue or not; that's two cells used for flow control at that point. 18:49:45 hmm.. no 18:49:56 yeah 18:50:04 (the "no" was for my suggestion) 18:51:02 it? at. 18:51:24 yeah, got it :) 18:51:40 you got "at", eh... 18:52:16 you were correcting your "it the end of the inner loop" yes? 18:52:49 sure 18:53:50 anyway, yeah, when COND is true it should set tmp1 to re-enter the loop, and also use something to ensure exit of the inner loop. so two tmps indeed. 18:54:29 re-enter the outer* loop 18:56:25 but you can use the two tmps for other purposes in `BODY` and also in `COND`, as long as you reset them properly 18:56:37 yeah 18:58:36 i think that in my case where BODY moves head, it should set tmp1+ after body rather than before, which would ensure entrance at the new position, but with a non-moving BODY the tmp1+ can be either before or after BODY 19:01:12 re reuse, specifically COND can reuse tmp1 as long as it restores it to 0 before entering the inner loop, and same for BODY 19:01:27 -!- amby has quit (Remote host closed the connection). 19:02:21 -!- amby has joined. 19:02:23 oh, you mentioned reuse in COND too. i stopped reading at "BODY" :) 19:08:10 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168504&oldid=168493 * Sawyer.go0923 * (+364) 19:08:32 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168505&oldid=168504 * Sawyer.go0923 * (-62) 19:08:47 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168506&oldid=168505 * Sawyer.go0923 * (-69) 19:12:08 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168507&oldid=168506 * Sawyer.go0923 * (-39) 19:12:57 -!- impomatic has quit (Ping timeout: 250 seconds). 19:21:04 -!- pool has quit (Read error: Connection reset by peer). 19:23:12 -!- pool has joined. 19:29:43 ais523: you know how this community is, if you set an inclusion policy for the wiki, I'll both find bad articles to get rid of and try to find loopholes for how the policy implies we should get rid of good articles. 19:30:08 b_jonas: what are you intending to do with the loopholes if you find them? :-D 19:30:20 ^style agora 19:30:20 Selected style: agora (a large selection of Agora rules, both current and historical) 19:30:31 fungot: we should get a team of Agorans to go over our new policy and find all the loopholes 19:30:31 ais523: there shall be retired from that gambler's hand. for each contest that awarded 19:33:50 ais523: presumably use them to convince you (as in the wiki admins collectively) to change the policy, but possibly only after I use the policy to get rid of some bad articles 19:35:58 Ah, how The Man With No Name did it. Or Mad Max, or Aloy. Walk into town, use overwhelming force to topple local despot, insist that overwhelming force is dangerous and should be retired, walk out of town. 19:37:01 if the policy were that the page should link to an interpreter or there should be enough information to create one then I'd ask how we apply that to efghij or BancStar 19:40:11 -!- int-e_ has joined. 19:41:18 -!- int-e has quit (Quit: leaving). 19:42:43 [[User:Esolangist/Sandbox]] https://esolangs.org/w/index.php?diff=168508&oldid=167675 * Esolangist alt * (+123) Esolangist alt 19:42:50 korvo: :) 19:43:03 if necessary I might even propose articles that don't exist yet and should exist but couldn't with the policy 19:43:29 avih: Not a bad thing, just a pattern. (I love speedrunning Horizon, BTW. I should do that more often.) 19:44:03 yeah. good pattern, and i get why b_jonas suggested it. fun nevertheless :) 19:44:45 it comes down to what i suggested just seemingly more formally: apply subjective judgment... 19:45:28 but i liked your examples :) 19:46:52 basically what everyone does in politics and also elsewhere: define rules which enforce the ruller's subjective point of view. the rest of us can only hope the ruller has fair point of view. 19:49:30 [[Abyssal-9]] https://esolangs.org/w/index.php?diff=168509&oldid=168507 * Sawyer.go0923 * (-233) 19:50:34 (i like to speedrun farcry 3) 19:50:40 (also been a while) 19:51:39 b_jonas: I think efghij has sufficient *information* to write an interpreter, but actually writing the interpreter would be difficult 19:51:42 (not the actual main game. only reset the outputs and win all of them, which takes me just less than an hour) 19:51:51 outposts* 19:52:10 That's rad. All Outposts sounds like it should be a category. 19:52:12 also, in the early days of the wiki, BANCStar was considered offtopic 19:52:37 it is, after all, basically just a bytecode format 19:53:09 korvo: it might be. was never interested in the "scene". i just find it fun and relaxing. 19:53:14 and challenging :) 19:53:19 is x86-64 machine code an esolang? it's certainly weird enough 19:54:22 heh 19:55:07 ais523: I think for including in the wiki, we needn't judge whether a language is esoteric enough, we can keep articles about non-esoteric languages too. but obviously I'm biased, I like to write those kinds of articles. 19:55:21 TIL about BANCStar. Almost sounds like a joke. But I know MUMPS is real and this is only slightly more cursed. 19:55:33 it's enough if the article says something that's of interest to the esoteric language community in general 19:55:41 I would say probably not, but if you have something remarkable to write about it which would be suitable for esolangs, write it anyways. 19:55:50 I've actually never looked at MUMPS in detail, even though it's apparently a major enough language that I *should* know it 19:57:21 korvo: it's hard to be sure if BancSTAR was real or a very elaborate joke. there seems to be more apparently original artifacts about it than for Kvikkalkul, but the person who tried to get a copy of the interpreter vanished. maybe the floppies were just cursed, wouldn't be strange, but maybe they vanished because there's no interpreter and they didn't want to admit that 19:58:08 WP's got some examples: https://en.wikipedia.org/wiki/MUMPS#Features It is not bad when written out longhand, but it supports so many one-character tricks for abbreviating. 20:00:35 BANCSTAR seems legitimate to me (for a few reasons including examining existing parts of programs, including the small part that was originally published with no explanation; I think (if I remember correctly) that that small piece of code was asking a yes/no question), but of course I cannot know for sure. 20:00:58 BANCStar is the sort of thing that, if fake, would only have been generated by AI 20:01:11 nobody puts in the effort to make that much legitimate-looking content by hand 20:01:28 but it's old enough that being an AI fabrication is unlikely 20:02:25 also, as more details about it were discovered over time, it appeared to become more rather than less self-consistent, which is rare with fabrications 20:02:31 Considering my analysis of https://geocities.restorativland.org/ResearchTriangle/Station/2266/tarpit/bancstar.html as well as how old it is (like you mention), I think it is not generated by AI (unless the AI was specifically designed for this purpose, which seems unlikely) 20:09:09 -!- int-e has joined. 20:09:39 hmm, so in MUMPS, global variables are *truly* global – they can be read from other programs, or from a later invocation of the same program 20:10:02 -!- int-e_ has quit (Quit: leaving). 20:10:10 and Wikipedia suggests this is the etymology of the modern "global variable" concept which is more limited 20:12:26 I think that is also true in TI-92, although in TI-92 you can separate global variables into multiple areas. 20:12:51 zzo38: without analyzing the actual listing, the story sounds (entirely twisted but) legitimate to me too. 20:13:52 BANCStar likely arose by starting with a simple "draw this text field at this location with a label at that location" form displayer, and features being gradually retrofitted onto it over time 20:14:22 yeah, some kind of piggyback evolution 20:14:26 ais523: Yes, that might be what it was. 20:15:43 in x86-64 machine code, most commands are 32 bits by default, you prefix with 0x48 to make them 64 bits, with 0x66 to make them 16 bits, and add 1 to the opcode to make them 8 bits 20:16:18 which is oddly asymmetrical and somewhat wasteful because 8 and 32 are not the most common widths, but it makes more sense when you consider its history as having grown from a machine code where there were only two relevant bitwidths 20:16:19 but i imagine it should be relatively simply to write a compiler for it which allows comments and indentations etc 20:16:24 simple* 20:17:12 it would be batshit crazy imo that the "machine code" was the actual source 20:17:24 well, it wasn't, to start with 20:17:29 but apparently the source language wasn't very powerful 20:17:40 so people started coding in the machine code directly 20:17:45 (for BANCStar, that is) 20:18:26 yeah, but then the machine code became actual source. i meant it should be relatively simple to improve the higher level language which compiles to the same machine 20:19:26 even if just a sed script which replaces "if" "goto" etc with the respective numbers, and allow indentation and comments 20:19:28 but it would have been very unlikely to be open source, so you would have had to persuade its original authors to improve it (or give you access) in order to do so lehally 20:19:29 * legally 20:19:48 I get the impression that the higher-level language didn't use traditional textual source code but was instead some sort of visual editor 20:20:22 It seems that someone did write a invent a higher level language (called BANCNova), although it seems that the original implementation was a visual editor like ais523 says 20:20:25 the way it's described at that page, it's simple enough that downsteram devs could do that on their own 20:20:35 i would do that if i had to target this machine 20:21:14 ah, just write an entirely unrelated language that compiles into BANCStar, that makes more sense 20:21:41 not entirely. even directly, but at least be manageable 20:22:13 as i said, even some tiny sed thingy 20:23:31 remove all whitespaces, remove all lines which begin with '#' translate if/goto/whatever to the numbers, etc 20:24:28 ais523: what would happen if there was an interpreter, but it disappeared from the internet since and it's hard to find a copy? what if there is an interpreter but you have to pay money for a license? 20:25:11 b_jonas: fwiw I thought the interpreter policy would probably be a bad idea but also thought it's a good thought experiment 20:25:26 avih: https://github.com/vijithassar/lit might be inspiring. In Monte, files with .md extensions are preprocessed with a lit-like pass, so that one can have .mt.md literate source or .asdl.md literate ASTs. 20:25:28 yeah 20:25:36 (before correcting it, I typoed "probably" as "prnobbly" – that's an extreme enough typo to possibly make the next Befunge) 20:26:40 I suppose that the original inspiration https://gist.github.com/trauber/4955706 is more ontopic for this channel. 20:27:12 an interesting case is https://esolangs.org/wiki/SKOAL . it's not a language, but I don't think that's the relevant problem here. the problem is that to recreate it, you either have to find an existing copy, presumably used, and dump its ROM, or the harder version is to reverse engineer the ROM of the calculator and implement it yourself. 20:28:24 -!- Sgeo has joined. 20:29:12 b_jonas: I guess SKOAL is easy enough to imagine and implement as a (not actually a language) *family* but the data needed to produce that specific board isn't and shouldn't be available 20:29:48 this reminds me of when people try to create esolangs with a command saying "prints this text: really long text" as a method of trying to make the text ontopic so that it can be posted on the wiki 20:30:13 I don't think that's legitimate either, the language should be parameterized on the text and the text should be offsite if anywhere 20:30:34 korvo: was not familiar with literate programming, but i only glimpsed at the wikipedia page, and it's not obvious to me how it's different from a source code file which is interleaved with extensive chunks of comments 20:31:17 or to use a more legitimate example, in Jelly, there's a command that parses a sequence of bytes as token numbers, and outputs a string formed by concatenating the tokens 20:31:18 languages typically already have facilities to separate actual source from free text - comments 20:31:25 but the map from token numbers to tokens is just a really big hardcoded map 20:31:28 https://esolangs.org/wiki/Beecode doesn't even print a text that's releavnt 20:31:57 (but that being a knuth thing, i'm sure it has more substance than my initial impression) 20:31:59 it doesn't seem right (and would be copyright infringing) to post the entire hardcoded map on the wiki, so it makes more sense to link to it 20:33:10 avih: so my understanding of literate programming is that it is a combination of a) a programming language in which comments can be made particularly easy to read compared to the executed source code, and b) a programming style in which the program is ordered such that you can get an understanding of how it works by reading the comments and source in order from top to bottom 20:33:31 but b) doesn't really show up in the languages because it isn't enforced, and a) is an almost trivial matter of syntax 20:34:18 avih: oh yeah, good thing you mention it, https://esolangs.org/wiki/PL/MIX is one where we expect we'll never have enough information to create an interpreter 20:35:58 ais523: i think both can be applied in most (normal) languages? 20:36:48 avih: yes, although it mostly depends on how awkward the comment syntax is 20:36:48 each language caters to a different sensibility of "readability", but overall it's just syntax, which one ultimately has to master in order to follow the code. 20:37:01 to do it in C, you can imagine */…/* as being an "anticomment" symbol 20:37:09 this works in most languages with C-style comments 20:37:13 unless it's high level enough that it's the same language as PL/MMIX, which will be defined in TAOCP volume 5, as in something like C with implementation-defined word size 20:37:33 but it has MIX in its name so that doesn't sound likely 20:37:43 b_jonas: doesn't C also have implementation-defined word size? 20:38:02 ais523: yes, that's why I'm giving C as an example for high-level language 20:38:20 oh, I see, you're using C as an example rather than the word size as an exception 20:38:35 this is an ambiguity in English that I don't think I've consciously noticed before 20:38:58 (i'll read a bit more about lit programming later, because i'm guessing it should have some substance other than style) 20:39:22 it's a precedence ambiguity, "(something like C) with implementation-defined word size" (the intended meaning) versus "something like (C with implementation-defined word size)" (how I interpreted it) 20:40:46 b_jonas: aww, now I'm disappointed that MMIX wasn't created in 2009, it seems like the sort of pun that programmers like Knuth would enjoy 20:41:28 ais523: MMIX was created in 2009 for some value of created. it took multiple years to create. 20:43:02 ok no, 2004 is probably the most relevant year when it was released 20:43:45 so probably not created in 2009 20:51:20 korvo: that lit inspiration awk thingy could also be written as (untested): awk '/^```/{x=!x;next}; x' 20:53:10 avih: The original literate-programming idea included a *tangling* phase that allows for programs to be written in arbitrary order. One tangling could lead to an executable version of the program and another tangling could produce a book; the book's chapters don't have to correspond to text sections in the executable. 20:53:38 But yeah, if you've seen modules and docstrings then literate programming might seem like a dated concept. 20:53:58 -!- impomatic has joined. 20:54:08 yeah, what i thought as well 20:54:59 -!- amby has quit (Ping timeout: 256 seconds). 20:55:15 -!- amby has joined. 20:57:23 avih: Here's a motivating example: https://github.com/monte-language/typhon/blob/master/mast/lib/prom.mt.md This is a Prometheus metrics server. The literate level contains two levels of quotation; the upper level is block-quoting hunks of the Prometheus upstream guide for server authors. The overall effect is that one can read three different levels of quotation all at the same time. 20:57:31 korvo: very few languages have a reason to write in order nowadays, apart from languages where declaration needs to precede use 20:58:50 ais523: Or inside expressions, e.g. ordering of pattern-matching clauses. 20:59:13 korvo: hmm, now I'm imagining a pattern match split up all over the program 20:59:34 Thue? 20:59:52 in a way, that's what implementing an interface does (with the Java-ish OO meaning of "interface") 21:00:15 Oh, no, Thue's explicitly non-deterministic in ordering. 21:00:44 there is some debate about what sort of nondeterminism is used 21:00:57 I consider it to be angelic nondeterminism, like is used in, e.g., context-free grammars 21:01:00 but some people think it's randomization 21:03:11 there are weirder versions of nondeterminism too, e.g. Prolog attempts to simulate angelic nondeterminism but it has a defined evaluation order and ways to screw with the evaluation from inside 21:03:20 meaning that the purity breaks down somewhat 21:03:30 !, fail. 21:03:58 (that said, Prolog's evaluation order is fun to think about in an esoteric sort of way) 21:05:10 I wonder whether ! started out as an optimisation primitive that was meant to be used only when it wouldn't change the semantics of the program and then got weirder over time as people started exploiting the undefined cases, or whether the weirdness was intended from the start 21:05:43 (the optimisation-only cuts are apparently called "green cuts" by Prolog programmers, the ones that have an effect on control flow are "red cuts") 21:12:26 [[Iterate/Compilation]] N https://esolangs.org/w/index.php?oldid=168510 * Aadenboy * (+4635) Created page with "{{Back|Iterate}} For convenience, this page defines a more programmer-friendly version of Iterate that can be compiled into syntactically correct code. The compiled code should optimally be devoid of whitespace, since such isn't necessary to properly parse 21:13:07 [[Iterate]] https://esolangs.org/w/index.php?diff=168511&oldid=168492 * Aadenboy * (+151) /* Syntax */ note compiler 21:15:22 -!- amby has quit (Read error: Connection reset by peer). 21:15:30 -!- amby has joined. 21:24:21 -!- simcop2387 has quit (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in). 21:24:21 -!- perlbot has quit (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in). 21:25:21 -!- chiselfuse has quit (Remote host closed the connection). 21:25:35 -!- chiselfuse has joined. 21:55:50 [[User:Buckets]] M https://esolangs.org/w/index.php?diff=168512&oldid=168363 * Buckets * (+11) 21:56:54 [[Language list]] M https://esolangs.org/w/index.php?diff=168513&oldid=168361 * Buckets * (+12) 21:57:39 [[Input Text Feild ,(comma) Please]] N https://esolangs.org/w/index.php?oldid=168514 * Buckets * (+19) Redirected page to [[ITF,P]] 21:57:48 [[ITF,P]] N https://esolangs.org/w/index.php?oldid=168515 * Buckets * (+1996) Created page with "ITF,P Is An Esoteric programming language created By [[User:Buckets]] in 2024 and Stands for "Input Text Feild ,(comma) Please". The Pseudo-Commands Are Exactly The same as [[brainfuck]]'s command set. {| class="wikitable" |+ The actual Commands |- ! Input Text-Dependen 22:18:45 [[QuantaScript]] N https://esolangs.org/w/index.php?oldid=168516 * Cyclic Tag * (+3468) Created page with "'''QuantaScript''' is an esolang made by Google Gemini prompted by Cyclic Tag. The language operates exclusively on a single stack that can hold values in one of three states: '''0''' (False/Down), '''1''' (True/Up), or '''?''' (Superposition). ==Concepts and D 22:24:06 [[Iterate]] https://esolangs.org/w/index.php?diff=168517&oldid=168511 * Aadenboy * (+23) [[Category:Low-level]] 22:42:25 [[ASTLang]] https://esolangs.org/w/index.php?diff=168518&oldid=168475 * NTMDev * (+4) /* Mod, MathConstants */ 22:51:11 [[ASTLang]] https://esolangs.org/w/index.php?diff=168519&oldid=168518 * NTMDev * (+1050) /* Enumeration */ 22:52:39 -!- impomatic has quit (Ping timeout: 250 seconds). 22:55:27 [[ASTLang]] https://esolangs.org/w/index.php?diff=168520&oldid=168519 * NTMDev * (+468) /* Mod, MathConstants */ 22:56:01 [[ASTLang]] https://esolangs.org/w/index.php?diff=168521&oldid=168520 * NTMDev * (+26) /* String Operations 1 */ 23:01:30 [[ASTLang]] https://esolangs.org/w/index.php?diff=168522&oldid=168521 * NTMDev * (+91) 23:01:38 int-e: it works, it's shorter (71 -> 60), but not sure how i feel about it. what do you think? https://0.vern.cc/S.txt 23:02:24 [[ASTLang]] https://esolangs.org/w/index.php?diff=168523&oldid=168522 * NTMDev * (+37) 23:02:44 avih: looks fine to me 23:02:49 [[ASTLang]] https://esolangs.org/w/index.php?diff=168524&oldid=168523 * NTMDev * (-14) 23:03:50 [[Main Page]] https://esolangs.org/w/index.php?diff=168525&oldid=167820 * NTMDev * (-3810) Blanked the page 23:03:56 [[Main Page]] https://esolangs.org/w/index.php?diff=168526&oldid=168525 * NTMDev * (+3810) 23:04:33 it does use COND once, and it can be applied generically, and it's not even meaningfully slower, so that's definitely a plus, but... dunno... feels... yet even more complex. not in a bad way, but still... 23:05:07 (but maybe that's just life with bf code...) 23:05:34 -!- impomatic has joined. 23:05:47 (it took me a while to actually get it to work...) 23:10:05 the fact that COND is (==1) and the way it's constructed, it also means "-1" has to appear twice and same for "+1", so this doesn't help construction or readability either... 23:11:08 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 23:13:54 [[ASTLang]] https://esolangs.org/w/index.php?diff=168527&oldid=168524 * NTMDev * (+865) /* Uppercase, Lowercase */ 23:18:26 avih: not duplicating the conditional code that can be arbitrarily complex sounds like a win to me 23:19:10 it definitely is, it's the cost i'm not sure how i feel about 23:20:44 no complaint about your suggestion at all. i quite like it. and yet the result is still way more complex than i'd hoped for "while (==1) {+9; >>>}" 23:22:40 but again, this is only gut feeling. i don't have enough experience in bf to tell whether this should really be much smaller 23:23:09 some short BF programs (like hello worlds) have been produced by computer search and they don't look much like human-written programs at all 23:23:39 so even if the program could be much smaller by using some obscure technique, it's unlikely that a human would be able to figure it out 23:23:41 i know, that's the kind of code which int-e produces manually :) 23:24:30 i know. not looking for obscure stuff which just fits this specific task. 23:25:16 but as a general thing for what i consider a relatively simple task, i would have expected less code. it's entirely possible my expectations are wrong in bf. 23:26:06 the way I think about it is that BF has commonly seen groups of commands that might act much like a single command in a higher-level language 23:26:16 but they generally take up much more space, so the program gets longer 23:26:51 hmm it does appear that way, yeah 23:42:54 i think i might look at that bfmacro thing, to check what it produces for this kind of task. though the more general the language is (i presume the macros - i didn't really look into it so far), the more overhead the resulting code would have. still, would be interesting to see what it produces here. 23:44:14 I believe avih wants to strike a balance between preserving high-level structure and size, which is hard and inherently subjective. 23:45:08 because in my head, i think i try to do what bfmacro does. i.e. i'm hoping not to treat mini task as its own kind of puzzle to solve. that feels seriously unrealistic to use that approach, except when minimum size counts above everything else. 23:45:26 [[Talk:Burn]] https://esolangs.org/w/index.php?diff=168528&oldid=168499 * Ais523 * (+640) /* Thoughts on burn */ thoughts on thoughts on Burn 23:45:47 int-e: why do you think it's subjective? 23:46:34 because you can trade size for clarity so it's a matter of which one you value more 23:47:02 sure, what matters more is subjective. on that i agree. 23:47:38 (and did agree before too - it's a viable approach if size carries more weight than other things) 23:51:23 i'm also looking at it from a point of view of practically using bf to write something meaningful. as in, the general challenge to to form the solution approach, and typically the implementation is the relatively easy part if the approach is solid. but here it seems that the implementation itself is its own challenge too. 23:51:52 is* to form the approach 23:52:55 (i don't actually intend to write meaningful bf programs, but it's still the perspective i use even with simple things) 23:53:07 unoptimising BF interpreters are normally really easy and boring unless you write them in an esolang, optimising BF interpreters is a really itneresting challenge though 23:53:19 at least if you take the optimisations far enough 23:54:59 yeah. mine only does balanced loops so far. that's relatively trivial, but it already beats almost all the "optimizing" interpreters out there, with the exceptions of bffsree in some cases, and, more meaningfully, https://github.com/rdebath/Brainfuck 23:55:49 the next step in optimizing definitely involves graphs or some other higher level view at dependencies. 23:56:27 I think if you go far enough your optimiser starts thinking in terms of counters and stacks, rather than the BF tape 23:56:40 especially that link above is really amazing. not perfect, but really damn good. i judge by the c code it produces, which really handles multiple levels of nesting 23:57:10 there's also ratiofall, my interpreter for The Waterfall Model, which is an interpreter for a counter machine but the problem of optimising that is basically equivalent to the problem of optimising balanced bignum BF 23:57:24 and of course tracking available knowledge at any point in time is a must as well 23:57:28 (but the bignum is important, some of the optimisations don't really make sense except on programs that are using bignums to store data) 23:57:35 s/tracking/maintaining/ 23:58:52 hmm.. i never considered bignum bf. i don't have a sense of where it differs from normal (wrapping cells) bf 23:59:14 (i get the diff, but not the sense of where it affects optimizations)