00:02:18 [[TypoScript]] https://esolangs.org/w/index.php?diff=155329&oldid=154196 * Ps4 is good * (+23) 00:02:45 [[TypoScript]] https://esolangs.org/w/index.php?diff=155330&oldid=155329 * Ps4 is good * (+27) 00:02:52 -!- 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). 00:03:14 [[TypoScript]] https://esolangs.org/w/index.php?diff=155331&oldid=155330 * Ps4 is good * (+0) 00:03:35 [[TypoScript]] https://esolangs.org/w/index.php?diff=155332&oldid=155331 * Ps4 is good * (+0) 00:04:31 [[TypoScript]] https://esolangs.org/w/index.php?diff=155333&oldid=155332 * Ps4 is good * (-27) 00:45:59 -!- Noisytoot has quit (Quit: ZNC 1.9.1 - https://znc.in). 00:48:10 -!- Noisytoot has joined. 00:48:11 [[APLASYOFFW]] N https://esolangs.org/w/index.php?oldid=155334 * Ps4 is good * (+529) Created page with "{{infobox proglang |name=A Programming Language About a Sixteen Year Old Fast Food Worker (AKA APLASYOFFW) |author=Ps4 is good |year=2025 |class=[[:Category:Turing complete|Turing complete]] }} '''APLASYOFFW''' is an acronym for '''A Programming Language About a 02:26:09 -!- chiselfuse has quit (Remote host closed the connection). 02:26:27 -!- chiselfuse has joined. 02:43:06 -!- chiselfuse has quit (Remote host closed the connection). 02:43:19 -!- chiselfuse has joined. 04:02:16 [[Talk:257-wrap brainfuck]] N https://esolangs.org/w/index.php?oldid=155335 * L4.m2 * (+393) Created page with "== Why the 3rd difference? == IMO it only makes thing more complex, and a cat should have been 
 -.+[-.[-]-.+]
Variants where only -1 is falsy, or every ASCII value is shifted by 1, can exist. Maybe I'd later add them to esolangs.org. If anyt 04:04:39 -!- amadaluzia_ has quit (Ping timeout: 260 seconds). 06:44:57 -!- tromp has joined. 06:45:34 -!- tromp has quit (Client Quit). 06:47:07 -!- Noisytoot has quit (Read error: Connection reset by peer). 06:47:40 -!- Noisytoot has joined. 06:49:58 -!- Sgeo has quit (Read error: Connection reset by peer). 06:51:45 -!- tromp has joined. 07:08:35 [[User:Dhzb]] https://esolangs.org/w/index.php?diff=155336&oldid=155229 * Dhzb * (+54) 07:17:28 -!- Lord_of_Life_ has joined. 07:17:29 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 07:18:52 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 07:44:35 -!- ais523 has quit (Quit: quit). 07:49:27 [[PolishScript]] N https://esolangs.org/w/index.php?oldid=155337 * Dhzb * (+225) Created page with "A language where everything is in [[polish notation]] 
 =fib:(num n) ; =a 0 ; =b 1 ; =c 0   +a*n:(num i)   ; =c+a b   ; =a b     =b c   [num]arr [num]arr  =main:([str]arr args) ; (,(,(,10)fib)arrtostr)print   0 num
" 07:55:10 [[User:Dhzb]] M https://esolangs.org/w/index.php?diff=155338&oldid=155336 * Dhzb * (+30) 07:57:37 [[User:Dhzb]] M https://esolangs.org/w/index.php?diff=155339&oldid=155338 * Dhzb * (+2) 08:16:52 [[Minsky machine busy beaver]] M https://esolangs.org/w/index.php?diff=155340&oldid=155308 * PkmnQ * (+15) /* Definition */ 08:45:56 [[Talk:BitChanger Busy beaver/Proof]] N https://esolangs.org/w/index.php?oldid=155341 * C++DSUCKER * (+344) Created page with "AProVE can solve some programs without the use of aproximating rules, If we substitute }<} with > and maybe }< with *. i will work on some code to generate a string rewriting system from bit 09:24:35 [[TIAEPL]] N https://esolangs.org/w/index.php?oldid=155342 * Dhzb * (+1954) Created page with "{{WIP}} '''TIAEPL''' (This Is An Esoteric Programming Language), AEPL, or EPL is an [[esoteric programming language]] created by [[User:Dhzb]] and inspired by [[APL]]. ==Data== Its only datatype is an algebraically-represented n-dimensional array of rational numbers (eith 09:44:45 Hi 09:47:07 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 09:47:45 -!- tromp has joined. 10:42:28 [[Rhombitrihexagonal]] https://esolangs.org/w/index.php?diff=155343&oldid=155202 * 5anz * (+41) /* Truth Machine */ 10:47:52 [[User talk:Infinitehexagon]] https://esolangs.org/w/index.php?diff=155344&oldid=117580 * 5anz * (+284) 10:55:56 [[User talk:Infinitehexagon]] https://esolangs.org/w/index.php?diff=155345&oldid=155344 * 5anz * (+389) /* TC proof on tiling? */ 11:26:04 [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=155346&oldid=155318 * PrySigneToFry * (+1082) 11:44:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 12:15:48 -!- amby has joined. 12:21:36 [[User:None1]] https://esolangs.org/w/index.php?diff=155347&oldid=154327 * None1 * (+275) 12:25:52 [[Bftree]] https://esolangs.org/w/index.php?diff=155348&oldid=155278 * None1 * (+55) /* Commands */ 12:34:24 [[;;;]] https://esolangs.org/w/index.php?diff=155349&oldid=140727 * Kaveh Yousefi * (+1011) Introduced an examples section comprehending three incipial members, added a hyperlink to my implementation on GitHub, and altered the Unimplemented category tag to Implemented. 12:49:59 -!- tromp has joined. 13:44:13 [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=155350&oldid=155346 * Hotcrystal0 * (+264) 13:44:43 [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=155351&oldid=155350 * Hotcrystal0 * (+325) 14:18:01 -!- voxpelli has quit (Read error: Connection reset by peer). 14:18:12 -!- voxpelli has joined. 14:18:22 -!- tetsuo-cpp has quit (Ping timeout: 252 seconds). 14:18:36 -!- MizMahem has quit (Read error: Connection reset by peer). 14:18:42 -!- dnm has quit (Read error: Connection reset by peer). 14:18:42 -!- integral has quit (Read error: Connection reset by peer). 14:18:47 -!- MizMahem has joined. 14:18:54 -!- dnm has joined. 14:18:56 -!- integral has joined. 14:19:14 -!- mich181189 has quit (Read error: Connection reset by peer). 14:19:27 -!- mich181189 has joined. 14:22:38 -!- tetsuo-cpp has joined. 14:22:52 [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] N https://esolangs.org/w/index.php?oldid=155352 * PrySigneToFry * (+59) Created page with "White: Hotcrystal0 Black: PrySigneToFry # e4 e5 # Nf3 Nc6" 14:24:24 [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=155353&oldid=155351 * PrySigneToFry * (+214) 14:34:15 [[UserEdited]] https://esolangs.org/w/index.php?diff=155354&oldid=155309 * PrySigneToFry * (+550) 14:39:33 -!- amadaluzia has joined. 14:58:20 [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=155355&oldid=155353 * Hotcrystal0 * (+259) 14:59:09 [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] https://esolangs.org/w/index.php?diff=155356&oldid=155352 * Hotcrystal0 * (+6) 14:59:16 [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] https://esolangs.org/w/index.php?diff=155357&oldid=155356 * Hotcrystal0 * (+211) 15:00:19 [[Special:Log/newusers]] create * RealGoatMan * New user account 15:40:24 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=155358&oldid=155324 * RealGoatMan * (+112) /* Introductions */ 15:49:28 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=155359&oldid=155358 * RealGoatMan * (+82) 15:52:20 [[User:RealGoatMan]] N https://esolangs.org/w/index.php?oldid=155360 * RealGoatMan * (+4) Created page with "halo" 15:53:22 -!- wib_jonas has joined. 15:54:43 [[User:RealGoatMan]] https://esolangs.org/w/index.php?diff=155361&oldid=155360 * RealGoatMan * (+165) 15:54:45 ais523: http://ais523.me.uk/blog/scoped-generics.html has a typo, s"funciton"function" 15:57:54 -!- amadaluzia has changed hostmask to ~amadaluzi@user/amadaluzia. 16:13:42 -!- wib_jonas has quit (Quit: Client closed). 16:21:22 [[UserEdited/Versions]] https://esolangs.org/w/index.php?diff=155362&oldid=155313 * MihaiEso * (+19) 16:22:41 [[UserEdited/Versions]] https://esolangs.org/w/index.php?diff=155363&oldid=155362 * MihaiEso * (+45) 16:30:06 -!- wryl has quit (Read error: Connection reset by peer). 16:30:18 -!- wryl has joined. 16:34:39 [[UserEdited]] https://esolangs.org/w/index.php?diff=155364&oldid=155354 * MihaiEso * (+1344) 16:35:22 [[UserEdited]] https://esolangs.org/w/index.php?diff=155365&oldid=155364 * MihaiEso * (-34) 16:39:56 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:55:51 -!- tromp has joined. 16:57:56 [[110010000100110110010]] https://esolangs.org/w/index.php?diff=155366&oldid=147807 * Gapples2 * (+1599) added turing-completeness proof, hopefully explanation is understandable 17:21:07 [[Special:Log/newusers]] create * Photostar * New user account 17:29:09 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=155367&oldid=155359 * Photostar * (+141) 17:34:06 cu 17:41:58 [[Pysembly]] N https://esolangs.org/w/index.php?oldid=155368 * Photostar * (+2635) Created page with "Pysembly is an [[esoteric programming language]] made by Photostar. The aim of the language is to require building of logical structures from a very simple basis. The download also includes the file for a text user interface environment, allowing running the language 17:42:49 [[Pysembly]] https://esolangs.org/w/index.php?diff=155369&oldid=155368 * Photostar * (+8) 17:43:35 [[Pysembly]] https://esolangs.org/w/index.php?diff=155370&oldid=155369 * Photostar * (+20) 17:45:22 [[Pysembly]] https://esolangs.org/w/index.php?diff=155371&oldid=155370 * Photostar * (+22) 17:45:49 [[Pysembly]] https://esolangs.org/w/index.php?diff=155372&oldid=155371 * Photostar * (+1) 17:46:25 [[Pysembly]] https://esolangs.org/w/index.php?diff=155373&oldid=155372 * Photostar * (+1) 17:50:06 [[Pysembly]] https://esolangs.org/w/index.php?diff=155374&oldid=155373 * Photostar * (-1) 18:19:25 [[Pysembly]] https://esolangs.org/w/index.php?diff=155375&oldid=155374 * Photostar * (+691) 18:19:45 [[Pysembly]] https://esolangs.org/w/index.php?diff=155376&oldid=155375 * Photostar * (+7) 18:20:49 [[Pysembly]] https://esolangs.org/w/index.php?diff=155377&oldid=155376 * Photostar * (+75) 18:30:24 [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155378&oldid=155323 * Joachim * (+595) /* I and O */ 18:39:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 18:50:20 [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155379&oldid=155378 * Joachim * (+1216) /* Arrows creation */ 18:50:55 [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155380&oldid=155379 * Joachim * (+0) /* Arrows creation */ 18:51:32 [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155381&oldid=155380 * Joachim * (+1) /* = ! */ 18:53:31 -!- tromp has joined. 18:53:44 [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155382&oldid=155381 * Joachim * (+81) /* Arrows creation */ 18:56:28 [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155383&oldid=155382 * Joachim * (+48) /* Comments */ 18:56:36 [[Pysembly]] https://esolangs.org/w/index.php?diff=155384&oldid=155377 * Photostar * (+64) 18:56:52 [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155385&oldid=155383 * Joachim * (+2) /* # arrows */ 18:57:11 [[Pysembly]] https://esolangs.org/w/index.php?diff=155386&oldid=155384 * Photostar * (+60) 18:57:24 [[Pysembly]] https://esolangs.org/w/index.php?diff=155387&oldid=155386 * Photostar * (-1) 18:59:14 [[InterpretMe]] https://esolangs.org/w/index.php?diff=155388&oldid=150606 * Photostar * (+21) 19:00:58 [[InterpretMe]] https://esolangs.org/w/index.php?diff=155389&oldid=155388 * Photostar * (-20) 19:04:56 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 19:06:45 [[Pysembly]] https://esolangs.org/w/index.php?diff=155390&oldid=155387 * Photostar * (+516) 19:08:57 [[Pysembly]] https://esolangs.org/w/index.php?diff=155391&oldid=155390 * Photostar * (+8) 19:11:18 [[Pysembly]] https://esolangs.org/w/index.php?diff=155392&oldid=155391 * Photostar * (+100) 19:14:33 [[Pysembly]] https://esolangs.org/w/index.php?diff=155393&oldid=155392 * Photostar * (-150) 19:15:26 -!- tromp has joined. 19:24:06 [[User:Photostar]] N https://esolangs.org/w/index.php?oldid=155394 * Photostar * (+79) Created page with "Hi! I'm a Python programmer and creator of [[Pysembly]]. yeah that's about it." 19:26:23 [[Pysembly]] https://esolangs.org/w/index.php?diff=155395&oldid=155393 * Photostar * (+396) 19:33:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 19:46:28 -!- tromp has joined. 20:05:19 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 20:08:27 Idle question, not important or urgent: what's the best complexity for adding natural numbers, given that they are represented by their prime factorizations? 20:10:41 korvo: I'm pretty sure you need fast prime factorization for that, because you can get any natural number n as a sum of O(log(n)) numbers with easy prime factorization, such as by writing it in base 2↑32, so I can ask your hypothetical algorithm to add those small amount of numbers and get me the prime factorization 20:11:01 so it can't be faster than whatever the fastest algorithm for prime factorization is at the day 20:11:16 but of course we don't really know how fast we can do that 20:13:46 b_jonas: That's fair. There's a special case for 2 in any representation, but I think that that comes from the idea that the sum of two numbers can create a factor of two from 0 + 0 or 1 + 1. 20:14:01 -!- tromp has joined. 20:15:41 Hm. Factors of 3 are not especially bad either, because we can extract some (mod 3) information too. For any prime factor p > 3, p and 3 are coprime, so powers of p (mod 3) always look like 1,2,1,2... or 2,1,2,1... 20:16:35 By induction, I think that for any two prime factorizations, we can quickly write out whether their sum includes at least one of each possible factor. That's kind of cool. 20:17:02 I don't think factors of 2 is a special case here. you can just take any natural number B that's small enough that you can factorize any natural number up to B easily, and just write numbers in base B representation, and that's just as much of a problem as with base 2 20:17:49 I just chose 2 as the base because it's the most familiar 20:18:35 Oh, I wasn't thinking about any particualar base. I'm thinking about Gödel-style representations that only enumerate the powers of the prime factors. 20:24:07 ah. though I suspect that prime factorization is probably not *essential* for proving stuff with Gödel coding, it's just a convenient easy way to write the proofs 20:24:25 but I'm not entirely sure about that 20:25:08 Sure, any coding will do. But I'm specifically wondering about the interaction of additive and multiplicative structure in rings and fields, and this seems like a decent-enough question to ask on its own. 20:25:26 you clearly don't need prime factorization for just doing Gödel-coding, but you may need it to prove quining stuff about very low power proof system 20:25:58 s/system/systems/ 20:26:01 axiom systems 20:26:29 there's some weird magic going on there of which I don't really understand how powerful it is 20:35:04 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 20:39:21 -!- tromp has joined. 20:55:20 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:08:13 -!- tromp has joined. 21:12:27 [[User:Joachim]] N https://esolangs.org/w/index.php?oldid=155396 * Joachim * (+194) Created page with "++++++++++[>+++++++++>++++++++++++<<-]>-----.>-.<. your way through life. Some might say it's overengineering, but I call it my way of life. == My languages == * [[Undyne Programming Language]]" 21:20:09 [[Special:Log/newusers]] create * Grub * New user account 21:22:05 [[Special:Log/newusers]] create * Cosmnik * New user account 21:23:16 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:35:19 -!- tromp has joined. 21:41:06 Now GitHub will require 2FA. I think that isn't a very good idea; there are more secure systems such as X.509 and HMAC. Apparently they want to secure the software supply chain, but I think signed releases is a more sensible way to do that. 22:15:18 [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155397&oldid=155385 * Stkptr * (+391) 22:22:23 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 22:25:26 [[Pysembly]] https://esolangs.org/w/index.php?diff=155398&oldid=155395 * Stkptr * (+76) 22:43:07 -!- Sgeo has joined. 22:51:27 -!- sprout has quit (Ping timeout: 265 seconds). 23:48:45 [[User talk:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] N https://esolangs.org/w/index.php?oldid=155399 * Hotcrystal0 * (+281) Created page with "Do you have a chess.com account? ~~~~" 23:49:23 [[User talk:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] https://esolangs.org/w/index.php?diff=155400&oldid=155399 * Hotcrystal0 * (+31)