> 1744070538 287710 PRIVMSG #esolangs :14[[07TypoScript14]]4 10 02https://esolangs.org/w/index.php?diff=155329&oldid=154196 5* 03Ps4 is good 5* (+23) 10
> 1744070565 61033 PRIVMSG #esolangs :14[[07TypoScript14]]4 10 02https://esolangs.org/w/index.php?diff=155330&oldid=155329 5* 03Ps4 is good 5* (+27) 10
< 1744070572 146069 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net 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
> 1744070594 403884 PRIVMSG #esolangs :14[[07TypoScript14]]4 10 02https://esolangs.org/w/index.php?diff=155331&oldid=155330 5* 03Ps4 is good 5* (+0) 10
> 1744070615 458872 PRIVMSG #esolangs :14[[07TypoScript14]]4 10 02https://esolangs.org/w/index.php?diff=155332&oldid=155331 5* 03Ps4 is good 5* (+0) 10
> 1744070671 491150 PRIVMSG #esolangs :14[[07TypoScript14]]4 10 02https://esolangs.org/w/index.php?diff=155333&oldid=155332 5* 03Ps4 is good 5* (-27) 10
< 1744073159 956437 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Quit: ZNC 1.9.1 - https://znc.in
< 1744073290 187936 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron (they/them)
> 1744073291 599962 PRIVMSG #esolangs :14[[07APLASYOFFW14]]4 N10 02https://esolangs.org/w/index.php?oldid=155334 5* 03Ps4 is good 5* (+529) 10Created 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 
< 1744079169 230104 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection
< 1744079187 682728 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
< 1744080186 632299 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection
< 1744080199 786657 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse
> 1744084936 924312 PRIVMSG #esolangs :14[[07Talk:257-wrap brainfuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=155335 5* 03L4.m2 5* (+393) 10Created 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
< 1744085079 952444 :amadaluzia_!~amadaluzi@2a00:23c7:ed8b:6701:e287:4eed:50df:f686 QUIT :Ping timeout: 260 seconds
< 1744094697 48302 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c JOIN #esolangs * :Textual User
< 1744094734 490962 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c QUIT :Client Quit
< 1744094827 846011 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Read error: Connection reset by peer
< 1744094860 700527 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron (they/them)
< 1744094998 132138 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1744095105 802455 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c JOIN #esolangs * :Textual User
> 1744096115 649108 PRIVMSG #esolangs :14[[07User:Dhzb14]]4 10 02https://esolangs.org/w/index.php?diff=155336&oldid=155229 5* 03Dhzb 5* (+54) 10
< 1744096648 982692 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1744096649 171221 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds
< 1744096732 123238 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1744098275 856215 :ais523!~ais523@user/ais523 QUIT :Quit: quit
> 1744098567 58395 PRIVMSG #esolangs :14[[07PolishScript14]]4 N10 02https://esolangs.org/w/index.php?oldid=155337 5* 03Dhzb 5* (+225) 10Created 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>"
> 1744098910 74706 PRIVMSG #esolangs :14[[07User:Dhzb14]]4 M10 02https://esolangs.org/w/index.php?diff=155338&oldid=155336 5* 03Dhzb 5* (+30) 10
> 1744099057 655032 PRIVMSG #esolangs :14[[07User:Dhzb14]]4 M10 02https://esolangs.org/w/index.php?diff=155339&oldid=155338 5* 03Dhzb 5* (+2) 10
> 1744100212 589136 PRIVMSG #esolangs :14[[07Minsky machine busy beaver14]]4 M10 02https://esolangs.org/w/index.php?diff=155340&oldid=155308 5* 03PkmnQ 5* (+15) 10/* Definition */
> 1744101956 300431 PRIVMSG #esolangs :14[[07Talk:BitChanger Busy beaver/Proof14]]4 N10 02https://esolangs.org/w/index.php?oldid=155341 5* 03C++DSUCKER 5* (+344) 10Created 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
> 1744104275 268679 PRIVMSG #esolangs :14[[07TIAEPL14]]4 N10 02https://esolangs.org/w/index.php?oldid=155342 5* 03Dhzb 5* (+1954) 10Created 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
< 1744105485 194643 :APic!apic@apic.name PRIVMSG #esolangs :Hi
< 1744105627 889392 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1744105665 429966 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c JOIN #esolangs * :Textual User
> 1744108948 457501 PRIVMSG #esolangs :14[[07Rhombitrihexagonal14]]4 10 02https://esolangs.org/w/index.php?diff=155343&oldid=155202 5* 035anz 5* (+41) 10/* Truth Machine */
> 1744109272 939441 PRIVMSG #esolangs :14[[07User talk:Infinitehexagon14]]4 10 02https://esolangs.org/w/index.php?diff=155344&oldid=117580 5* 035anz 5* (+284) 10
> 1744109756 616449 PRIVMSG #esolangs :14[[07User talk:Infinitehexagon14]]4 10 02https://esolangs.org/w/index.php?diff=155345&oldid=155344 5* 035anz 5* (+389) 10/* TC proof on tiling? */
> 1744111564 431898 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=155346&oldid=155318 5* 03PrySigneToFry 5* (+1082) 10
< 1744112691 958334 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1744114548 147466 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
> 1744114896 915656 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=155347&oldid=154327 5* 03None1 5* (+275) 10
> 1744115152 325082 PRIVMSG #esolangs :14[[07Bftree14]]4 10 02https://esolangs.org/w/index.php?diff=155348&oldid=155278 5* 03None1 5* (+55) 10/* Commands */
> 1744115664 374751 PRIVMSG #esolangs :14[[07;;;14]]4 10 02https://esolangs.org/w/index.php?diff=155349&oldid=140727 5* 03Kaveh Yousefi 5* (+1011) 10Introduced an examples section comprehending three incipial members, added a hyperlink to my implementation on GitHub, and altered the Unimplemented category tag to Implemented.
< 1744116599 221541 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c JOIN #esolangs * :Textual User
> 1744119853 185835 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=155350&oldid=155346 5* 03Hotcrystal0 5* (+264) 10
> 1744119883 285455 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=155351&oldid=155350 5* 03Hotcrystal0 5* (+325) 10
< 1744121881 718454 :voxpelli!sid31634@id-31634.tinside.irccloud.com QUIT :Read error: Connection reset by peer
< 1744121892 918997 :voxpelli!sid31634@id-31634.tinside.irccloud.com JOIN #esolangs voxpelli :Pelle Wessman
< 1744121902 2317 :tetsuo-cpp!sid672509@id-672509.hampstead.irccloud.com QUIT :Ping timeout: 252 seconds
< 1744121916 43721 :MizMahem!sid296354@user/mizmahem QUIT :Read error: Connection reset by peer
< 1744121922 911710 :dnm!sid401311@id-401311.lymington.irccloud.com QUIT :Read error: Connection reset by peer
< 1744121922 937448 :integral!sid296274@user/integral QUIT :Read error: Connection reset by peer
< 1744121927 164509 :MizMahem!sid296354@user/mizmahem JOIN #esolangs MizMahem :🐍🐔
< 1744121934 335140 :dnm!sid401311@id-401311.lymington.irccloud.com JOIN #esolangs dnm :dnm
< 1744121936 118770 :integral!sid296274@user/integral JOIN #esolangs integral :bsmith
< 1744121954 402643 :mich181189!sid268336@londonhackspace/mich181189 QUIT :Read error: Connection reset by peer
< 1744121967 958972 :mich181189!sid268336@londonhackspace/mich181189 JOIN #esolangs mich181189 :Michael
< 1744122158 114573 :tetsuo-cpp!sid672509@id-672509.hampstead.irccloud.com JOIN #esolangs tetsuo-cpp :tetsuo-cpp
> 1744122172 642470 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 N10 02https://esolangs.org/w/index.php?oldid=155352 5* 03PrySigneToFry 5* (+59) 10Created page with "White: Hotcrystal0  Black: PrySigneToFry  # e4 e5 # Nf3 Nc6"
> 1744122264 989315 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=155353&oldid=155351 5* 03PrySigneToFry 5* (+214) 10
> 1744122855 417932 PRIVMSG #esolangs :14[[07UserEdited14]]4 10 02https://esolangs.org/w/index.php?diff=155354&oldid=155309 5* 03PrySigneToFry 5* (+550) 10
< 1744123173 38326 :amadaluzia!~amadaluzi@2a00:23c7:ed8b:6701:c483:4ce8:4c61:1453 JOIN #esolangs * :Artur Manuel
> 1744124300 184869 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=155355&oldid=155353 5* 03Hotcrystal0 5* (+259) 10
> 1744124349 68160 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155356&oldid=155352 5* 03Hotcrystal0 5* (+6) 10
> 1744124356 815029 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155357&oldid=155356 5* 03Hotcrystal0 5* (+211) 10
> 1744124419 33061 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03RealGoatMan 5*  10New user account
> 1744126824 7660 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=155358&oldid=155324 5* 03RealGoatMan 5* (+112) 10/* Introductions */
> 1744127368 217808 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=155359&oldid=155358 5* 03RealGoatMan 5* (+82) 10
> 1744127540 589782 PRIVMSG #esolangs :14[[07User:RealGoatMan14]]4 N10 02https://esolangs.org/w/index.php?oldid=155360 5* 03RealGoatMan 5* (+4) 10Created page with "halo"
< 1744127602 207801 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
> 1744127683 199791 PRIVMSG #esolangs :14[[07User:RealGoatMan14]]4 10 02https://esolangs.org/w/index.php?diff=155361&oldid=155360 5* 03RealGoatMan 5* (+165) 10
< 1744127685 206958 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ais523: http://ais523.me.uk/blog/scoped-generics.html has a typo, s"funciton"function"
< 1744127874 131344 :amadaluzia!~amadaluzi@2a00:23c7:ed8b:6701:c483:4ce8:4c61:1453 CHGHOST ~amadaluzi :user/amadaluzia
< 1744128822 201281 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
> 1744129282 435856 PRIVMSG #esolangs :14[[07UserEdited/Versions14]]4 10 02https://esolangs.org/w/index.php?diff=155362&oldid=155313 5* 03MihaiEso 5* (+19) 10
> 1744129361 931356 PRIVMSG #esolangs :14[[07UserEdited/Versions14]]4 10 02https://esolangs.org/w/index.php?diff=155363&oldid=155362 5* 03MihaiEso 5* (+45) 10
< 1744129806 839066 :wryl!sid553797@user/meow/Wryl QUIT :Read error: Connection reset by peer
< 1744129818 600992 :wryl!sid553797@user/meow/Wryl JOIN #esolangs Wryl :Wryl
> 1744130079 230149 PRIVMSG #esolangs :14[[07UserEdited14]]4 10 02https://esolangs.org/w/index.php?diff=155364&oldid=155354 5* 03MihaiEso 5* (+1344) 10
> 1744130122 460776 PRIVMSG #esolangs :14[[07UserEdited14]]4 10 02https://esolangs.org/w/index.php?diff=155365&oldid=155364 5* 03MihaiEso 5* (-34) 10
< 1744130396 550429 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1744131351 972418 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c JOIN #esolangs * :Textual User
> 1744131476 665367 PRIVMSG #esolangs :14[[0711001000010011011001014]]4 10 02https://esolangs.org/w/index.php?diff=155366&oldid=147807 5* 03Gapples2 5* (+1599) 10added turing-completeness proof, hopefully explanation is understandable
> 1744132867 179777 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Photostar 5*  10New user account
> 1744133349 666040 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=155367&oldid=155359 5* 03Photostar 5* (+141) 10
< 1744133646 406797 :APic!apic@apic.name PRIVMSG #esolangs :cu
> 1744134118 922085 PRIVMSG #esolangs :14[[07Pysembly14]]4 N10 02https://esolangs.org/w/index.php?oldid=155368 5* 03Photostar 5* (+2635) 10Created 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
> 1744134169 694130 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155369&oldid=155368 5* 03Photostar 5* (+8) 10
> 1744134215 733707 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155370&oldid=155369 5* 03Photostar 5* (+20) 10
> 1744134322 243957 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155371&oldid=155370 5* 03Photostar 5* (+22) 10
> 1744134349 437090 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155372&oldid=155371 5* 03Photostar 5* (+1) 10
> 1744134385 136247 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155373&oldid=155372 5* 03Photostar 5* (+1) 10
> 1744134606 571529 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155374&oldid=155373 5* 03Photostar 5* (-1) 10
> 1744136365 353452 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155375&oldid=155374 5* 03Photostar 5* (+691) 10
> 1744136385 437473 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155376&oldid=155375 5* 03Photostar 5* (+7) 10
> 1744136449 883913 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155377&oldid=155376 5* 03Photostar 5* (+75) 10
> 1744137024 371363 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=155378&oldid=155323 5* 03Joachim 5* (+595) 10/* I and O */
< 1744137568 932965 :tromp!~textual@2001:1c00:3487:1b00:1419:ab0:498a:2d0c QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1744138220 850427 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=155379&oldid=155378 5* 03Joachim 5* (+1216) 10/* Arrows creation */
> 1744138255 473032 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=155380&oldid=155379 5* 03Joachim 5* (+0) 10/* Arrows creation */
> 1744138292 819109 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=155381&oldid=155380 5* 03Joachim 5* (+1) 10/* = ! */
< 1744138411 943193 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 JOIN #esolangs * :Textual User
> 1744138424 542211 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=155382&oldid=155381 5* 03Joachim 5* (+81) 10/* Arrows creation */
> 1744138588 823569 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=155383&oldid=155382 5* 03Joachim 5* (+48) 10/* Comments */
> 1744138596 272895 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155384&oldid=155377 5* 03Photostar 5* (+64) 10
> 1744138612 500694 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=155385&oldid=155383 5* 03Joachim 5* (+2) 10/* # arrows */
> 1744138631 291776 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155386&oldid=155384 5* 03Photostar 5* (+60) 10
> 1744138644 324963 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155387&oldid=155386 5* 03Photostar 5* (-1) 10
> 1744138754 957401 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=155388&oldid=150606 5* 03Photostar 5* (+21) 10
> 1744138858 966531 PRIVMSG #esolangs :14[[07InterpretMe14]]4 10 02https://esolangs.org/w/index.php?diff=155389&oldid=155388 5* 03Photostar 5* (-20) 10
< 1744139096 241016 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1744139205 770737 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155390&oldid=155387 5* 03Photostar 5* (+516) 10
> 1744139337 75597 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155391&oldid=155390 5* 03Photostar 5* (+8) 10
> 1744139478 506504 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155392&oldid=155391 5* 03Photostar 5* (+100) 10
> 1744139673 825506 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155393&oldid=155392 5* 03Photostar 5* (-150) 10
< 1744139726 561356 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 JOIN #esolangs * :Textual User
> 1744140246 457304 PRIVMSG #esolangs :14[[07User:Photostar14]]4 N10 02https://esolangs.org/w/index.php?oldid=155394 5* 03Photostar 5* (+79) 10Created page with "Hi! I'm a Python programmer and creator of [[Pysembly]].  yeah that's about it."
> 1744140383 171351 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155395&oldid=155393 5* 03Photostar 5* (+396) 10
< 1744140793 449173 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1744141588 375488 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 JOIN #esolangs * :Textual User
< 1744142719 126205 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1744142907 324258 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Idle question, not important or urgent: what's the best complexity for adding natural numbers, given that they are represented by their prime factorizations?
< 1744143041 817075 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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
< 1744143061 621597 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so it can't be faster than whatever the fastest algorithm for prime factorization is at the day
< 1744143076 590125 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :but of course we don't really know how fast we can do that
< 1744143226 276410 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1744143241 531695 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 JOIN #esolangs * :Textual User
< 1744143341 169633 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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...
< 1744143395 874137 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1744143422 730715 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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
< 1744143469 308720 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I just chose 2 as the base because it's the most familiar
< 1744143515 871438 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1744143847 547577 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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
< 1744143865 252453 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :but I'm not entirely sure about that
< 1744143908 632638 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1744143926 856960 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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
< 1744143958 104696 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :s/system/systems/
< 1744143961 918694 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :axiom systems
< 1744143989 141858 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :there's some weird magic going on there of which I don't really understand how powerful it is
< 1744144504 407040 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1744144761 3980 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 JOIN #esolangs * :Textual User
< 1744145720 539250 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1744146493 639087 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 JOIN #esolangs * :Textual User
> 1744146747 554295 PRIVMSG #esolangs :14[[07User:Joachim14]]4 N10 02https://esolangs.org/w/index.php?oldid=155396 5* 03Joachim 5* (+194) 10Created 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]]"
> 1744147209 32331 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Grub 5*  10New user account
> 1744147325 900060 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Cosmnik 5*  10New user account
< 1744147396 563917 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1744148119 965887 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 JOIN #esolangs * :Textual User
< 1744148466 508510 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :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.
> 1744150518 223535 PRIVMSG #esolangs :14[[07Undyne Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=155397&oldid=155385 5* 03Stkptr 5* (+391) 10
< 1744150943 410556 :tromp!~textual@2001:1c00:3487:1b00:e513:bc03:349e:ac26 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1744151126 862947 PRIVMSG #esolangs :14[[07Pysembly14]]4 10 02https://esolangs.org/w/index.php?diff=155398&oldid=155395 5* 03Stkptr 5* (+76) 10
< 1744152187 431379 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1744152687 12350 :sprout!~sprout@84-80-106-227.fixed.kpn.net QUIT :Ping timeout: 265 seconds
> 1744156125 834041 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 N10 02https://esolangs.org/w/index.php?oldid=155399 5* 03Hotcrystal0 5* (+281) 10Created page with "Do you have a chess.com account? ~~~~"
> 1744156163 996852 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=155400&oldid=155399 5* 03Hotcrystal0 5* (+31) 10