< 1692577847 43138 :razetime!~quassel@117.254.37.152 QUIT :Ping timeout: 245 seconds < 1692577891 820827 :razetime!~quassel@117.254.36.54 JOIN #esolangs * :razetime < 1692578151 660746 :razetime!~quassel@117.254.36.54 QUIT :Ping timeout: 245 seconds < 1692578173 610492 :razetime!~quassel@117.254.37.27 JOIN #esolangs * :razetime < 1692578667 774262 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca JOIN #esolangs zzo38 :zzo38 < 1692579444 574416 :razetime!~quassel@117.254.37.27 QUIT :Ping timeout: 246 seconds < 1692579475 163414 :razetime!~quassel@117.254.36.220 JOIN #esolangs * :razetime < 1692582131 919086 :Melvar!~melvar@dslb-178-005-215-170.178.005.pools.vodafone-ip.de QUIT :Ping timeout: 260 seconds < 1692582856 165971 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Is there a name of the sequence of the run length of Thue-Morse? < 1692583001 123694 :Melvar!~melvar@dslb-092-074-060-232.092.074.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar < 1692583468 858425 :ais523!~ais523@31.94.57.40 QUIT :Ping timeout: 248 seconds < 1692583902 475792 :siesta!~siesta@37.19.221.236 JOIN #esolangs siesta :siesta > 1692584414 247546 PRIVMSG #esolangs :14[[07Mic14]]4 N10 02https://esolangs.org/w/index.php?oldid=113993 5* 03D 5* (+1561) 10Created page with "[[Mic]] is a [[stack]]-based [[esoteric programming language]] created by [[User:D]], loosely based on the concept of primitive recursive functions. == Data Structures == The primary data structure is a numeric stack, but there's also an "accumulator" (which, despite the name, i > 1692584537 486922 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=113994&oldid=113993 5* 03D 5* (+5) 10 < 1692584580 69370 :razetime!~quassel@117.254.36.220 QUIT :Ping timeout: 245 seconds < 1692584617 777862 :razetime!~quassel@117.254.37.117 JOIN #esolangs * :razetime > 1692585938 89815 PRIVMSG #esolangs :14[[07Mic14]]4 10 02https://esolangs.org/w/index.php?diff=113995&oldid=113994 5* 03D 5* (-164) 10Actually, I'll just make it Turing-incomplete anyway > 1692585963 14213 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=113996&oldid=113995 5* 03D 5* (-95) 10 > 1692586002 878068 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=113997&oldid=113996 5* 03D 5* (-14) 10 > 1692586256 151835 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=113998&oldid=113997 5* 03D 5* (+235) 10 > 1692586270 116935 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=113999&oldid=113998 5* 03D 5* (-42) 10 > 1692586447 931800 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114000&oldid=113999 5* 03D 5* (+261) 10 > 1692586633 69950 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114001&oldid=114000 5* 03D 5* (+19) 10 > 1692586680 653582 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114002&oldid=114001 5* 03D 5* (+16) 10 > 1692586750 986788 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114003&oldid=114002 5* 03D 5* (-8) 10 > 1692586902 960925 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114004&oldid=114003 5* 03D 5* (-46) 10 > 1692586963 526265 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114005&oldid=114004 5* 03D 5* (+0) 10 > 1692587127 363817 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114006&oldid=114005 5* 03D 5* (-9) 10 > 1692587199 730787 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114007&oldid=114006 5* 03D 5* (+14) 10 > 1692587629 454633 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114008&oldid=114007 5* 03D 5* (+133) 10 > 1692587673 28133 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114009&oldid=114008 5* 03D 5* (+185) 10 > 1692589506 728329 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114010&oldid=114009 5* 03D 5* (+872) 10 > 1692589535 375221 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114011&oldid=114010 5* 03D 5* (+0) 10 > 1692589561 124769 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114012&oldid=114011 5* 03D 5* (-33) 10/* Primitive Recursion */ < 1692591826 667435 :razetime!~quassel@117.254.37.117 QUIT :Ping timeout: 245 seconds > 1692593916 951821 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114013&oldid=114012 5* 03D 5* (+38) 10 > 1692594118 539165 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114014&oldid=114013 5* 03D 5* (+153) 10 > 1692594141 721982 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114015&oldid=114014 5* 03D 5* (-51) 10 < 1692595496 172407 :siesta!~siesta@37.19.221.236 PRIVMSG #esolangs :guys please look at my paint script it is in python3 https://github.com/rald/paint-script < 1692595515 549117 :siesta!~siesta@37.19.221.236 PRIVMSG #esolangs :can you consider it an esolang? < 1692596161 157201 :bgs!~bgs@212-85-160-171.dynamic.telemach.net JOIN #esolangs bgs :bgs < 1692599057 395727 :razetime!~quassel@117.254.37.117 JOIN #esolangs * :razetime < 1692601621 841426 :river!river@tilde.team/user/river PRIVMSG #esolangs :https://mysterymath.github.io/simple_cpu/ https://laughtonelectronics.com/Arcana/One-bit%20computer/One-bit%20computer.html < 1692601636 801186 :river!river@tilde.team/user/river PRIVMSG #esolangs :siesta: looked. yes < 1692601723 720267 :siesta!~siesta@37.19.221.236 PRIVMSG #esolangs :http://fria.bsdforall.org/images/fac0.jpg < 1692601743 193807 :siesta!~siesta@37.19.221.236 PRIVMSG #esolangs :http://ix.io/4E98 < 1692601766 734176 :siesta!~siesta@37.19.221.236 PRIVMSG #esolangs :i did it turtle graphics in paint script < 1692604822 921820 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1692605139 291033 :siesta!~siesta@37.19.221.236 QUIT :Quit: ...zzzZZZ > 1692605153 5024 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114016&oldid=114015 5* 03D 5* (+6) 10 > 1692605301 767150 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114017&oldid=114016 5* 03D 5* (-5) 10/* Looping Commands */ > 1692606477 205395 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114018&oldid=114017 5* 03D 5* (+196) 10 > 1692606571 303712 PRIVMSG #esolangs :14[[07Mic14]]4 M10 02https://esolangs.org/w/index.php?diff=114019&oldid=114018 5* 03D 5* (+0) 10 < 1692606941 394196 :razetime!~quassel@117.254.37.117 QUIT :Ping timeout: 246 seconds > 1692607357 891381 PRIVMSG #esolangs :14[[07Catshark14]]4 N10 02https://esolangs.org/w/index.php?oldid=114020 5* 03D 5* (+816) 10Created page with "[[Catshark]] is a [[Joke language list|Joke language]] based on [[Deadfish]]. Instead of one accumulator, Catshark has two accumulators. The language is called Catshark because catsharks have two heads. (So you'll have to eat two raw fishheads per fish.) == Commands == Ther > 1692607371 696111 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114021&oldid=114020 5* 03D 5* (+23) 10 > 1692607395 833776 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114022&oldid=114021 5* 03D 5* (-1) 10 < 1692608190 936576 :razetime!~quassel@117.254.37.117 JOIN #esolangs * :razetime > 1692608644 556218 PRIVMSG #esolangs :14[[07Catshark14]]4 10 02https://esolangs.org/w/index.php?diff=114023&oldid=114022 5* 03D 5* (-70) 10 > 1692608663 140650 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114024&oldid=114023 5* 03D 5* (+19) 10 > 1692608789 527624 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114025&oldid=114024 5* 03D 5* (-58) 10 < 1692611585 40777 :ais523!~ais523@31.94.39.232 JOIN #esolangs ais523 :(this is obviously not my real name) < 1692612064 590429 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a JOIN #esolangs Thelie :Thelie > 1692613181 684046 PRIVMSG #esolangs :14[[07Addition Automaton14]]4 10 02https://esolangs.org/w/index.php?diff=114026&oldid=113990 5* 03Ais523 5* (+225) 10link to the original CGCC posts < 1692613313 442531 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam > 1692613884 636672 PRIVMSG #esolangs :14[[07Befunge14]]4 M10 02https://esolangs.org/w/index.php?diff=114027&oldid=113967 5* 03None1 5* (+58) 10/* 99 Bottles of Beer */ < 1692617328 565305 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca QUIT :Ping timeout: 246 seconds < 1692617634 464929 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas > 1692617807 607643 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114028&oldid=114025 5* 03D 5* (-19) 10You don't need halt to be TC > 1692618357 622258 PRIVMSG #esolangs :14[[07The Waterfall Model14]]4 M10 02https://esolangs.org/w/index.php?diff=114029&oldid=70335 5* 03Ais523 5* (-1) 10/* ZISC interpretation */ fix typo > 1692618391 423320 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114030&oldid=114028 5* 03D 5* (+585) 10 > 1692618636 797754 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114031&oldid=114030 5* 03D 5* (+142) 10 > 1692618652 9750 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114032&oldid=114031 5* 03D 5* (+22) 10 < 1692618776 946643 :razetime!~quassel@117.254.37.117 QUIT :Ping timeout: 260 seconds > 1692618929 412739 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114033&oldid=114032 5* 03D 5* (+497) 10/* Implementations */ > 1692618946 45200 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114034&oldid=114033 5* 03D 5* (-5) 10/* Computational class */ > 1692619019 5947 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114035&oldid=114034 5* 03D 5* (+50) 10 > 1692619027 879507 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114036&oldid=114035 5* 03D 5* (+1) 10/* Computational class */ < 1692620371 63144 :razetime!~quassel@117.254.37.117 JOIN #esolangs * :razetime > 1692620439 712938 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=114037&oldid=113976 5* 03None1 5* (+66) 10 > 1692621679 99395 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03None1 5* 10uploaded "[[02File:BinaryLanguage.png10]]": Official logo of BinaryLanguage > 1692622061 716166 PRIVMSG #esolangs :14[[07BinaryLanguage14]]4 N10 02https://esolangs.org/w/index.php?oldid=114039 5* 03None1 5* (+4183) 10Created page with "{{infobox proglang |name=BinaryLanguage [[File:BinaryLanguage.png|thumb|center|Official logo of BinaryLanguage]] |author=[[User:None1|None1]] |year=[[:Category:2023|2023]] |paradigms=unknown |typesys= |memsys=[[:Category:Cell-based|Cell-based]] |class=[[:Category:T > 1692622142 814356 PRIVMSG #esolangs :14[[07User:None114]]4 10 02https://esolangs.org/w/index.php?diff=114040&oldid=114037 5* 03None1 5* (+71) 10/* My Esolangs */ < 1692622172 99369 :razetime!~quassel@117.254.37.117 QUIT :Ping timeout: 245 seconds > 1692622203 942980 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=114041&oldid=113992 5* 03None1 5* (+21) 10/* B */ +[[BinaryLanguage]] > 1692622224 595255 PRIVMSG #esolangs :14[[07BinaryLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=114042&oldid=114039 5* 03None1 5* (+20) 10/* Example Programs */ > 1692622264 537821 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=114043&oldid=113684 5* 03None1 5* (+48) 10/* Binary lambda calculus */ +[[BinaryLanguage]] < 1692622890 548669 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :is there such a thing as a language to define editable table views? eg. in SQL I can make a view like SELECT employee.EmployeeName, employee.JobTitleId, jobtitle.EnglishName FROM employee LEFT JOIN jobtitle ON employee.JobTitleId = jobtitle.JobTitleId; assuming JobTitleId is the primary key of jobtitle, and then display that view as a table on a < 1692622891 93214 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :webpage. but suppose I want to make the jobtitle.EnglishName column editable on that webpage. there are at least two natural ways to do that: either if you edit then it UPDATEs EnglishName in the corresponding row of the jobtitle page, or looks up the new value in the EnglishName column and UPDATEs the employee.JobTitleId field to point to that < 1692622891 522691 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :jobtitle row instead. what I'm asking for is a language, possibly esoteric, that lets me define not just the contents of the view but what happens when the user modifies columns in it, ideally in a way that's easier in the common case than having to define custom triggers for each column. < 1692623150 584603 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :I'm trying to find a halting algorithm which, given some positive integer x, finds a square-free number y > x such that y consists only of the digits 7 and 8 < 1692623162 708038 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :like, a provably halting algorithm < 1692623173 910997 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :in practice these things are almost trivial to find, but it's hard to prove that they always exist < 1692623222 808945 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :(fwiw I suspect the 8 isn't even necessary and you can do it with just 7 – obviously you can't do it with just 8, because 4 will always be a factor) < 1692623284 239168 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :one potential thought: are repunits with prime numbers of digits always square-free? it feels like they probably are, but I can't prove it and it doesn't seem to be an existing result < 1692623324 49748 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ais523: I think that's equivalent to wanting a proof that there is an infinite number squarefrees with such pattern, because the algorithm is trivial < 1692623355 323052 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :wib_jonas: yes, the hard part is the proof < 1692623362 805621 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :if you can prove it's always possible, you can just look for them by brute force < 1692623417 870639 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I don't think so, because 11 in base 3 isn't squarefree < 1692623433 327413 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :oh, that's a good point < 1692623576 464813 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :although, every number from 3 upwards is 11 in some base < 1692623594 316844 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :still, there's no obvious reason why 2-digit repunits should be a special case – after all, 2 is prime < 1692623604 189362 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :so if that isn't a special case, larger numbers could potentially be square too < 1692623608 907886 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :err, non-square-free > 1692623753 907729 PRIVMSG #esolangs :14[[07BinaryLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=114044&oldid=114042 5* 03None1 5* (+5) 10/* Turing Completeness */ Fixed table > 1692623907 601317 PRIVMSG #esolangs :14[[07BinaryLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=114045&oldid=114044 5* 03None1 5* (+28) 10It is a Turing Tarpit < 1692624015 849131 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :OK, so 111 in base 18 is 343 = 7³ > 1692624029 479259 PRIVMSG #esolangs :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=114046&oldid=102879 5* 03None1 5* (+50) 10/* Survey */ > 1692624130 456679 PRIVMSG #esolangs :14[[07User:XKCD Random Number14]]4 10 02https://esolangs.org/w/index.php?diff=114047&oldid=113514 5* 03None1 5* (+41) 10/* Setlang */ Added [[Self-modifying Brainfuck]] implementation < 1692624216 97673 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ais523: 11111 in base 2 is divisible by 3**2 < 1692624227 338 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I have more countrexamples if you want > 1692624228 85239 PRIVMSG #esolangs :14[[07User:XKCD Random Number14]]4 10 02https://esolangs.org/w/index.php?diff=114048&oldid=114047 5* 03None1 5* (+27) 10/* Implementations */ +[[BinaryLanguage]] < 1692624233 119499 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :isn't 11111 31? < 1692624246 353984 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :uh < 1692624358 280249 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :anyway, 11111 in base 27 is 551881 which is 11²×4561 < 1692624371 827158 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :(I have also been running a computer search for these things) < 1692624430 342550 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :`! jelly 1x5ḅ27ṄÆf < 1692624432 733741 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​/hackenv/bin/!: line 4: /hackenv/ibin/jelly: No such file or directory < 1692624436 240319 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :aww < 1692624456 981499 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :(11111 in base 3) is 11**2 > 1692624489 532733 PRIVMSG #esolangs :14[[07User:XKCD Random Number14]]4 10 02https://esolangs.org/w/index.php?diff=114049&oldid=114048 5* 03None1 5* (+126) 10/* Implementations */ < 1692624493 732794 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :looks like I will need a different approach to finding these numbers > 1692624575 870763 PRIVMSG #esolangs :14[[07User:XKCD Random Number14]]4 10 02https://esolangs.org/w/index.php?diff=114050&oldid=114049 5* 03None1 5* (+75) 10/* F!-- */ +[[Factor]] < 1692624599 579818 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed < 1692624620 421919 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1692625303 92399 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :(18**3-1)/17 is 7**3; (22**3-1)/21 is divisible by 13**2 < 1692625514 341437 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :this type of statement of infinitely many squarefrees is the kind of statement that I'm not good at proving, I can just make a computer check small cases < 1692625548 499919 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :I'm not good at proving it either < 1692625643 163007 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I don't even know what that area of mathematics is called: I used to think it was called combinatorial number theory, but https://mathoverflow.net/questions/tagged/combinatorial-number-theory is so small while these problems are popular so that's apparently not the name for the area < 1692625658 414082 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :over half of the integers are square-free, apparently < 1692625683 396431 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :so it would be very weird if numbers formed of only 7s and 8s somehow suddenly stopped being square-free forever < 1692625749 825443 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I don't think that's enough of an argument, your pattern is too regular < 1692625773 325200 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :it isn't a proof, indeed < 1692625796 783993 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :it is a very strong conjecture when combined with the fact that the pattern doesn't show any particular inclination to stop being square-free… < 1692625802 594197 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :but still not a theorem < 1692625983 80623 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm so we can quickly establish bounds like "if q^2 | 10^p - 1 then q = 3 or q > 10^10" > 1692626042 590607 PRIVMSG #esolangs :14[[07BFFuck14]]4 10 02https://esolangs.org/w/index.php?diff=114051&oldid=113841 5* 03None1 5* (+77) 10/* Syntax */ < 1692626058 328673 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :according to Wikpedia, there's a constant c such that for any n, there's always a square-free number in the range n…n+cn^(1/5)log n < 1692626088 329241 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :I don't think that solves the immediate problem, though, because you can't find a big consecutive range of integers formed out of 7s and 8s < 1692626103 58661 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ais523: https://mathoverflow.net/questions/291864/gaps-in-squarefree-numbers but I don't think that solves it either < 1692626250 514264 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(if q^2 | 10^p - 1 then p | q(q-1), and p = q implies 10 = 1 (mod q), so only q = 3 works for that. So in all other cases, p | q-1 and we can enumerate and test all such p.) > 1692626420 825853 PRIVMSG #esolangs :14[[07Burgercamp14]]4 M10 02https://esolangs.org/w/index.php?diff=114052&oldid=113237 5* 03None1 5* (+0) 10 > 1692626466 594496 PRIVMSG #esolangs :14[[07Category:Accumulator-based14]]4 N10 02https://esolangs.org/w/index.php?oldid=114053 5* 03None1 5* (+92) 10Created page with "Accumulator-based languages are based on accumulators, which are a finite number of numbers." < 1692626505 870003 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :ugh, someone is going to have to go and delete a bunch of categories again – I've been putting it off because I don't want to have to figure out which ones / fix all the resulting pages > 1692626524 632968 PRIVMSG #esolangs :14[[07BinaryLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=114054&oldid=114045 5* 03None1 5* (+45) 10It is not cell based > 1692626550 408408 PRIVMSG #esolangs :14[[07BinaryLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=114055&oldid=114054 5* 03None1 5* (+0) 10 < 1692626653 363009 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :fwiw, this seems to be "register-based" which might actually be a good category, but it has been created at the wrong name < 1692626710 937865 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1692627335 785567 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :[ q:<:10^21 < 1692627335 956621 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esolangs :wib_jonas: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 < 1692627342 647461 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :[ q:<:10x^21 < 1692627342 865200 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esolangs :wib_jonas: 3 3 3 37 43 239 1933 4649 10838689 < 1692627369 422271 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :[ q:<:10x^22 < 1692627369 637638 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esolangs :wib_jonas: 3 3 11 11 23 4093 8779 21649 513239 < 1692627393 426114 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(22 isn't prime) < 1692627399 970107 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :yep, that's not prime length < 1692627431 594941 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oh, neither is 21 of course. < 1692627468 958072 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :but I think that goes against your bounds thing, doesn't it?\ < 1692627483 969366 :int-e!~noone@int-e.eu PRIVMSG #esolangs :no < 1692627489 762999 :int-e!~noone@int-e.eu PRIVMSG #esolangs :my p and q are both prime < 1692627498 418225 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :ah, you didn't say that. ok. < 1692627981 498439 :int-e!~noone@int-e.eu PRIVMSG #esolangs :wib_jonas: I mean if p isn't prime, the p | q(q-1) part still works. In your case, 22 | 110. < 1692628007 80037 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But splitting that into p = q or p | q-1 doesn't work. > 1692628307 408261 PRIVMSG #esolangs :14[[07Catshark14]]4 M10 02https://esolangs.org/w/index.php?diff=114056&oldid=114036 5* 03D 5* (+30) 10 < 1692628433 103736 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :anyway, I think I've found a way to solve the underlying problem without this (turns out that my problem can be solved by finding a number for which the smallest repeated prime factor is greater than a given number, which can trivially be done by taking the factorial, adding 1, and then repeating 7 that many times) < 1692628440 960015 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :* the factorial of the given number > 1692628445 291237 PRIVMSG #esolangs :14[[07Deadfish14]]4 M10 02https://esolangs.org/w/index.php?diff=114057&oldid=113571 5* 03D 5* (+91) 10/* Variants of deadfish */ < 1692628465 629883 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :e.g. if I want to ensure a number has no repeated prime factor that's 5 or lower, I can just use (5!+1) (i.e. 121) copies of 7 < 1692628554 93958 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :or, hmm, does that work? < 1692628835 680095 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :is it the case that all repunits with prime numbers of digits are necessarily coprime with all repunits in the same base with smaller numbers of digits? < 1692629054 635002 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :oh, here's a proof that works: for any number coprime with the base, it's a factor of *some* repunit: so you can multiply all the primes you don't want to see twice together, and find a repunit that's a multiple of all of them: then adding one more digit produces a repunit that's coprime to all of them, and thus none of them can appear twiec < 1692629089 785473 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :(or indeed, even once) < 1692629309 149979 :int-e!~noone@int-e.eu PRIVMSG #esolangs :the other thing also works... you take a multiple of the lcm of phi(p) of all the primes you want to avoid and add 1. < 1692629351 838553 :int-e!~noone@int-e.eu PRIVMSG #esolangs :so in particular p! + 1 where p is the largest prime of interest will work < 1692629493 129382 :ais523!~ais523@31.94.39.232 PRIVMSG #esolangs :anyway, gtg for now < 1692629500 181323 :ais523!~ais523@31.94.39.232 QUIT :Quit: quit < 1692630081 631048 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1692630290 402233 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed < 1692630309 508354 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas > 1692631744 738786 PRIVMSG #esolangs :14[[07BinaryLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=114058&oldid=114055 5* 03PythonshellDebugwindow 5* (-6) 10/* External Resources */ category < 1692631762 310999 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a QUIT :Read error: Connection reset by peer > 1692631815 829672 PRIVMSG #esolangs :14[[07Burgercamp14]]4 M10 02https://esolangs.org/w/index.php?diff=114059&oldid=114052 5* 03PythonshellDebugwindow 5* (+25) 10Categories < 1692632599 688683 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Quit: Leaving < 1692632787 58632 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN #esolangs * :rodgort < 1692633887 281889 :cheater!~Username@user/cheater JOIN #esolangs cheater :Fullname < 1692633906 597458 :cheater!~Username@user/cheater PART #esolangs :Closing Window < 1692635063 97636 :razetime!~quassel@117.254.37.154 JOIN #esolangs * :razetime < 1692637147 48097 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Ping timeout: 245 seconds < 1692637680 82028 :razetime!~quassel@117.254.37.154 QUIT :Ping timeout: 245 seconds < 1692638908 132533 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN #esolangs * :rodgort < 1692639490 669291 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed < 1692639600 610970 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a JOIN #esolangs Thelie :Thelie < 1692640150 456658 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1692641295 152624 :Wryl!sid553797@user/wryl QUIT : < 1692642457 912145 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1692643946 888481 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a QUIT :Remote host closed the connection < 1692647915 952496 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1692649440 729188 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr JOIN #esolangs VzxPLnHqr :VzxPLnHqr < 1692649955 277587 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :hi esolang people! is anyone here familiar with Amelia? (https://esolangs.org/wiki/Amelia) < 1692649962 8310 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :I am wondering if it is turing complete < 1692650410 249753 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1692650869 35610 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1692651991 277917 :bgs!~bgs@212-85-160-171.dynamic.telemach.net QUIT :Remote host closed the connection < 1692654849 880535 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine < 1692654930 956170 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1692656634 289870 :int-e!~noone@int-e.eu PRIVMSG #esolangs :VzxPLnHqr: Not familiar but the fibonacci example indicates that you have flexible flow control, addition (so you can make arbitrarily large numbers. well, abstractly; the Perl implementation puts limitations on the numbers), so you can make a Minsky machine. You don't need the indirect addressing for that, not most of the operations < 1692656717 931042 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :int-e, thanks! How do you think something like amelia would stack up (pun intended?) against a language like push-forth for genetic programming? < 1692656840 389684 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I imagine random programs in Amelia aren't interesting... and the fact that "genes" are referred to by numbers makes composing programs harder. So... no clue, but I suspect it wouldn't work great. < 1692656879 289852 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(No clue - I've never done any genetic programming.) < 1692656925 674883 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Though I've read about it and thought about it abstractly. < 1692656977 198738 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :Thanks. Yeah, I came to the same tentative conclusion regarding Amelia programs. < 1692657485 808420 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1692658095 492426 PRIVMSG #esolangs :14[[07BinaryLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=114060&oldid=114058 5* 03None1 5* (-32) 10 > 1692658132 472870 PRIVMSG #esolangs :14[[07Category:Accumulator-based14]]4 M10 02https://esolangs.org/w/index.php?diff=114061&oldid=114053 5* 03None1 5* (-92) 10Blanked the page < 1692659590 264966 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :int-e: most of my experience with genetic programming has also been abstract, and here is something that has puzzled me: < 1692659712 12530 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :say the target program is something like a cryptographic hash function, sha256 for example, coming up with a fitness function to reward evolution towards that algorithm is not straight forward. I wonder if it is even possible. < 1692659797 131087 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :by "target program" what I mean here is that the genetic algorithm is supposed to create its own implementation of sha256 but using only a stream of valid inputs and outputs < 1692660086 334177 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :a typical desirable property of cryptographic hash functions is precisely to destroy (or, rather, hide beyond recovery) any link between input and output. Yet a genetic programming algorithm is supposed to reconstruct such links and represent them in the form of a program. < 1692660191 325707 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :so how to design a fitness function which will (eventually) recover such a program is not at all obvious to me < 1692660247 330298 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Yeah I'm pretty sure you won't learn a full hash function. Maybe if you break it apart, down to a single round. Even then... it'll be mostly brute force; the "genetic" part won't come into play I think. < 1692660509 119893 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I have no story for when genetic programming (an optimization technique) is really appropriate... I suspect *programming* is, in most cases, outside of its scope. It may work in some niches where you *can* incrmentally tune a program (so "genetics" work because you can replace fragments by other fragments that behave similar in some sense, maybe) < 1692660518 194297 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :exactly my thought as well. I find it philosophically amusing though and wonder whether such a fitness function could even exist. < 1692660589 617312 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :int-e, yeah. If you have to specify/encode into the fitness function the entire algorithm you are wanting it to "learn," it defeats the purpose entirely :-) < 1692660597 990011 :int-e!~noone@int-e.eu PRIVMSG #esolangs :That's a big reason why I've never done genetic programming. (Except for maybe some straightforward "recombination" of parts of solutions to certain puzzles whose solutions are sequences of moves.) < 1692660643 300249 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Which I think technically checks the "genetic programming" checkmark, but really feels too mundane for such a fancy name.) < 1692660681 356946 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :I agree, and have had similar experience there. < 1692660726 983750 :int-e!~noone@int-e.eu PRIVMSG #esolangs :There's also the undeniable fact that genetic programming has *not* taken the world by storm. < 1692660756 866910 :VzxPLnHqr!VzxPLnHqr@gateway/vpn/protonvpn/vzxplnhqr PRIVMSG #esolangs :that too! < 1692661125 32647 :Melvar!~melvar@dslb-092-074-060-232.092.074.pools.vodafone-ip.de QUIT :Ping timeout: 246 seconds < 1692661289 170315 :imode!sid553797@user/wryl JOIN #esolangs imode :imode < 1692661441 970056 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds < 1692661464 82111 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1692661885 6895 :Melvar!~melvar@dslb-092-074-060-232.092.074.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar