00:02:18 <esolangs> [[TypoScript]] https://esolangs.org/w/index.php?diff=155329&oldid=154196 * Ps4 is good * (+23)
00:02:45 <esolangs> [[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 <esolangs> [[TypoScript]] https://esolangs.org/w/index.php?diff=155331&oldid=155330 * Ps4 is good * (+0)
00:03:35 <esolangs> [[TypoScript]] https://esolangs.org/w/index.php?diff=155332&oldid=155331 * Ps4 is good * (+0)
00:04:31 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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 <Pre> -.+[-.[-]-.+] </Pre> 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 <esolangs> [[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 <esolangs> [[PolishScript]] N https://esolangs.org/w/index.php?oldid=155337 * Dhzb * (+225) Created page with "A language where everything is in [[polish notation]] <pre> =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 </pre>"
07:55:10 <esolangs> [[User:Dhzb]] M https://esolangs.org/w/index.php?diff=155338&oldid=155336 * Dhzb * (+30)
07:57:37 <esolangs> [[User:Dhzb]] M https://esolangs.org/w/index.php?diff=155339&oldid=155338 * Dhzb * (+2)
08:16:52 <esolangs> [[Minsky machine busy beaver]] M https://esolangs.org/w/index.php?diff=155340&oldid=155308 * PkmnQ * (+15) /* Definition */
08:45:56 <esolangs> [[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 <code>}<}</code> with <code>></code> and maybe <code>}<</code> with <code>*</code>. i will work on some code to generate a string rewriting system from bit
09:24:35 <esolangs> [[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:47:07 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:47:45 -!- tromp has joined.
10:42:28 <esolangs> [[Rhombitrihexagonal]] https://esolangs.org/w/index.php?diff=155343&oldid=155202 * 5anz * (+41) /* Truth Machine */
10:47:52 <esolangs> [[User talk:Infinitehexagon]] https://esolangs.org/w/index.php?diff=155344&oldid=117580 * 5anz * (+284)
10:55:56 <esolangs> [[User talk:Infinitehexagon]] https://esolangs.org/w/index.php?diff=155345&oldid=155344 * 5anz * (+389) /* TC proof on tiling? */
11:26:04 <esolangs> [[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 <esolangs> [[User:None1]] https://esolangs.org/w/index.php?diff=155347&oldid=154327 * None1 * (+275)
12:25:52 <esolangs> [[Bftree]] https://esolangs.org/w/index.php?diff=155348&oldid=155278 * None1 * (+55) /* Commands */
12:34:24 <esolangs> [[;;;]] 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 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=155350&oldid=155346 * Hotcrystal0 * (+264)
13:44:43 <esolangs> [[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 <esolangs> [[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 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=155353&oldid=155351 * PrySigneToFry * (+214)
14:34:15 <esolangs> [[UserEdited]] https://esolangs.org/w/index.php?diff=155354&oldid=155309 * PrySigneToFry * (+550)
14:39:33 -!- amadaluzia has joined.
14:58:20 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=155355&oldid=155353 * Hotcrystal0 * (+259)
14:59:09 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Special:Log/newusers]] create * RealGoatMan * New user account
15:40:24 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=155358&oldid=155324 * RealGoatMan * (+112) /* Introductions */
15:49:28 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=155359&oldid=155358 * RealGoatMan * (+82)
15:52:20 <esolangs> [[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 <esolangs> [[User:RealGoatMan]] https://esolangs.org/w/index.php?diff=155361&oldid=155360 * RealGoatMan * (+165)
15:54:45 <wib_jonas> 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 <esolangs> [[UserEdited/Versions]] https://esolangs.org/w/index.php?diff=155362&oldid=155313 * MihaiEso * (+19)
16:22:41 <esolangs> [[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 <esolangs> [[UserEdited]] https://esolangs.org/w/index.php?diff=155364&oldid=155354 * MihaiEso * (+1344)
16:35:22 <esolangs> [[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 <esolangs> [[110010000100110110010]] https://esolangs.org/w/index.php?diff=155366&oldid=147807 * Gapples2 * (+1599) added turing-completeness proof, hopefully explanation is understandable
17:21:07 <esolangs> [[Special:Log/newusers]] create * Photostar * New user account
17:29:09 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=155367&oldid=155359 * Photostar * (+141)
17:41:58 <esolangs> [[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 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155369&oldid=155368 * Photostar * (+8)
17:43:35 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155370&oldid=155369 * Photostar * (+20)
17:45:22 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155371&oldid=155370 * Photostar * (+22)
17:45:49 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155372&oldid=155371 * Photostar * (+1)
17:46:25 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155373&oldid=155372 * Photostar * (+1)
17:50:06 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155374&oldid=155373 * Photostar * (-1)
18:19:25 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155375&oldid=155374 * Photostar * (+691)
18:19:45 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155376&oldid=155375 * Photostar * (+7)
18:20:49 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155377&oldid=155376 * Photostar * (+75)
18:30:24 <esolangs> [[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 <esolangs> [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155379&oldid=155378 * Joachim * (+1216) /* Arrows creation */
18:50:55 <esolangs> [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155380&oldid=155379 * Joachim * (+0) /* Arrows creation */
18:51:32 <esolangs> [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155381&oldid=155380 * Joachim * (+1) /* = ! */
18:53:31 -!- tromp has joined.
18:53:44 <esolangs> [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155382&oldid=155381 * Joachim * (+81) /* Arrows creation */
18:56:28 <esolangs> [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155383&oldid=155382 * Joachim * (+48) /* Comments */
18:56:36 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155384&oldid=155377 * Photostar * (+64)
18:56:52 <esolangs> [[Undyne Programming Language]] https://esolangs.org/w/index.php?diff=155385&oldid=155383 * Joachim * (+2) /* # arrows */
18:57:11 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155386&oldid=155384 * Photostar * (+60)
18:57:24 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155387&oldid=155386 * Photostar * (-1)
18:59:14 <esolangs> [[InterpretMe]] https://esolangs.org/w/index.php?diff=155388&oldid=150606 * Photostar * (+21)
19:00:58 <esolangs> [[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 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155390&oldid=155387 * Photostar * (+516)
19:08:57 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155391&oldid=155390 * Photostar * (+8)
19:11:18 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155392&oldid=155391 * Photostar * (+100)
19:14:33 <esolangs> [[Pysembly]] https://esolangs.org/w/index.php?diff=155393&oldid=155392 * Photostar * (-150)
19:15:26 -!- tromp has joined.
19:24:06 <esolangs> [[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 <esolangs> [[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 <korvo> 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 <b_jonas> 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 <b_jonas> so it can't be faster than whatever the fastest algorithm for prime factorization is at the day
20:11:16 <b_jonas> but of course we don't really know how fast we can do that
20:13:46 <korvo> 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 <korvo> 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 <korvo> 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 <b_jonas> 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 <b_jonas> I just chose 2 as the base because it's the most familiar
20:18:35 <korvo> 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 <b_jonas> 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 <b_jonas> but I'm not entirely sure about that
20:25:08 <korvo> 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 <b_jonas> 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:26:29 <b_jonas> 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 <esolangs> [[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 <esolangs> [[Special:Log/newusers]] create * Grub * New user account
21:22:05 <esolangs> [[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 <zzo38> 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 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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)