< 1734393750 998677 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 265 seconds
< 1734393863 633611 :Everything!~Everythin@195.138.86.118 QUIT :Quit: leaving
< 1734393952 129348 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User
< 1734397197 475920 :molson!~molson@2605-4A80-2101-99D0-3C85-8973-33AA-32BA-dynamic.midco.net JOIN #esolangs molson :realname
< 1734397429 997718 :molson__!~molson@2605-4A80-2101-99D0-3C85-8973-33AA-32BA-dynamic.midco.net QUIT :Ping timeout: 260 seconds
< 1734401140 460298 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Ping timeout: 252 seconds
< 1734403344 69906 :slavfox!~slavfox@193.28.84.183 QUIT :Quit: ZNC 1.8.2 - https://znc.in
< 1734403368 354062 :slavfox!~slavfox@193.28.84.183 JOIN #esolangs slavfox :slavfox
< 1734405766 641901 :Guest9!~Guest9@2607:fea8:74aa:f500:ee55:a5c5:eb64:6feb JOIN #esolangs * :[https://web.libera.chat] Guest9
< 1734405771 73033 :Guest9!~Guest9@2607:fea8:74aa:f500:ee55:a5c5:eb64:6feb QUIT :Client Quit
< 1734417537 453052 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 276 seconds
< 1734419795 179225 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1734420290 902374 PRIVMSG #esolangs :14[[07User:Jan jelo/TC proof to partial recursive function14]]4 10 02https://esolangs.org/w/index.php?diff=148407&oldid=148291 5* 03Jan jelo 5* (+3) 10/* define */
> 1734420316 124150 PRIVMSG #esolangs :14[[07User:Jan jelo/TC proof to partial recursive function14]]4 10 02https://esolangs.org/w/index.php?diff=148408&oldid=148407 5* 03Jan jelo 5* (+4) 10/* define */
< 1734422254 353638 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734422373 220357 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1734423075 436555 :Lymia!lymia@ayame.servers.aura.moe QUIT :Ping timeout: 246 seconds
< 1734423671 311 :Lymia!lymia@ayame.servers.aura.moe JOIN #esolangs Lymia :Lymia Aluysia
< 1734423936 534749 :Lymia!lymia@ayame.servers.aura.moe QUIT :Client Quit
< 1734424067 487291 :Lymia!lymia@ayame.servers.aura.moe JOIN #esolangs Lymia :Lymia Aluysia
> 1734424398 862482 PRIVMSG #esolangs :14[[07Parigot numeral14]]4 N10 02https://esolangs.org/w/index.php?oldid=148409 5* 03Jan jelo 5* (+1551) 10Created page with "A '''Parigot numeral''' is a natural number encoded into [[Lambda calculus]]. It is related to primitive recursion. In the parigot numeral,there are 0 g h = h (succ n) g h = g n (n g h)
and let R(g,h) be a primitive recursive function
> 1734424467 998054 PRIVMSG #esolangs :14[[07Recs14]]4 10 02https://esolangs.org/w/index.php?diff=148410&oldid=148196 5* 03Jan jelo 5* (+7) 10/* R */
< 1734424777 60503 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1734427516 625957 :myname!~myname@v2202404221793264578.bestsrv.de PRIVMSG #esolangs :c
< 1734427519 239243 :myname!~myname@v2202404221793264578.bestsrv.de PRIVMSG #esolangs :5c
< 1734427551 699142 :myname!~myname@v2202404221793264578.bestsrv.de PRIVMSG #esolangs :ugh, my keyboard remapping is not behaving how i wish it does
> 1734428152 80221 PRIVMSG #esolangs :14[[07Parigot numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148411&oldid=148409 5* 03Jan jelo 5* (+1) 10/* Examples */
> 1734428866 546454 PRIVMSG #esolangs :14[[07Scott numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148412&oldid=148145 5* 03Jan jelo 5* (+1) 10/* Examples */
> 1734429295 151721 PRIVMSG #esolangs :14[[07Church numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148413&oldid=148146 5* 03Jan jelo 5* (+426) 10/* Arithmetic */
< 1734429306 293212 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :https://zem.fi/misc/aoc/twist.html <- 2024 day 17, a new record. :)
> 1734429426 641208 PRIVMSG #esolangs :14[[07User:Jan jelo/TC proof to partial recursive function14]]4 10 02https://esolangs.org/w/index.php?diff=148414&oldid=148408 5* 03Jan jelo 5* (+1) 10/* functions */
< 1734434135 975202 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1734434662 500700 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I stayed under 1h after starting (I'm *not* getting up at 6am for this this year)
< 1734434679 766637 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So it went okay but I should've disassembled sooner. :P
< 1734437016 689838 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :5am for me, and not getting up either.
< 1734437045 133818 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 248 seconds
< 1734437061 960925 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Not sure how long it took after opening the puzzle page, was doing breakfast and other morning things in parallel.
< 1734437141 35385 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I'm not really tracking that either... the timestamp of the `input` file may be close enough.
< 1734437144 995831 :mtm!~textual@47.202.75.129 JOIN #esolangs * :Textual User
< 1734437324 246719 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :There was some chatter on the web that the site should have a "from your first visit to solution submission" timer, of course it'd still be on the honour system but it would make it easier for people who want to try doing it fast. (I'm not one of them.)
< 1734437609 434436 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I guess you might guess from the instruction set (and/or watching register values on the example) that it's going to be some sort of "shift down by 3" kind of a loop, and then come up with a semi-generic solution search that just executes the program, without disassembling it. But I just started with that.
< 1734437775 855802 :int-e!~noone@int-e.eu PRIVMSG #esolangs :In my case I found /a/ solution with a black-box approach but it was too large.
< 1734437857 651760 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(for my input there are 22 possible starting values for A)
< 1734439139 755849 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Ah wow, why did I search for the input from the low end instead of the high end...
< 1734439211 535532 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Well, I know why: I was worried there'd be state affecting later computations. But I didn't switch direction after disassembling the program.)
< 1734440176 952585 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Usually I give up on Burlesque around day 21 or so, but this time I only got up to day 5 (and day 9 part 1). :/
< 1734440194 472992 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(I blame videogames, I've been playing the space game.)
< 1734440206 995387 :int-e!~noone@int-e.eu PRIVMSG #esolangs :haha, "the"
< 1734440210 182100 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Er, not the space age space game.
< 1734440316 189299 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :("Everyone else" has been doing Factorio: Space Age, but I just started Elite: Dangerous a couple of months ago.)
< 1734441282 878928 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ACTION has only watched streamers play Space Age
< 1734441317 355974 :int-e!~noone@int-e.eu PRIVMSG #esolangs :so much to juggle
< 1734441341 557237 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1734441342 774865 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(well they're trying to speedrun which makes it worse)
< 1734442252 715675 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :A number of people took vacation for the launch week, so it must be pretty big deal, that's all I know.
< 1734442636 238474 :int-e!~noone@int-e.eu PRIVMSG #esolangs :it's a substantial expansion to an already big game'
> 1734442704 880525 PRIVMSG #esolangs :14[[07I/D machine14]]4 10 02https://esolangs.org/w/index.php?diff=148415&oldid=146185 5* 03Jan jelo 5* (+503) 10/* Implementations */
< 1734443088 207219 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname
> 1734444783 376253 PRIVMSG #esolangs :14[[07true14]]4 10 02https://esolangs.org/w/index.php?diff=148416&oldid=148375 5* 03Ractangle 5* (-59) 10/* Unimplemented */
> 1734444990 386011 PRIVMSG #esolangs :14[[07'Brainfuck' is not recognized14]]4 10 02https://esolangs.org/w/index.php?diff=148417&oldid=147948 5* 03Ractangle 5* (-134) 10Redirected page to [[How dare you fuck the brain]]
> 1734445021 797756 PRIVMSG #esolangs :14[[07User:Ractangle/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148418&oldid=148317 5* 03Ractangle 5* (-35) 10/* Stuff to continue */
> 1734445203 126696 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=148419&oldid=148406 5* 03PrySigneToFry 5* (+66) 10
> 1734445354 215288 PRIVMSG #esolangs :14[[07(PSTF)14]]4 10 02https://esolangs.org/w/index.php?diff=148420&oldid=148403 5* 03PrySigneToFry 5* (+3) 10
> 1734445638 972719 PRIVMSG #esolangs :14[[07Poetic (Mihai Popa)14]]4 10 02https://esolangs.org/w/index.php?diff=148421&oldid=148326 5* 03PrySigneToFry 5* (+272) 10
> 1734445796 125370 PRIVMSG #esolangs :14[[07License plate language14]]4 N10 02https://esolangs.org/w/index.php?oldid=148422 5* 03None1 5* (+352) 10Created page with "{{WIP}} '''License plate language''' is an esolang invented by User:None1. Programs are concatenations of first 2 characters in Chinese (inland) license plates. ==Commands== They are like this: ''command'' ''argument'' The command is a Chinese character, w
> 1734446184 430063 PRIVMSG #esolangs :14[[07User talk:Tommyaweosme/Emojic collab with yayimhere and ractangle14]]4 N10 02https://esolangs.org/w/index.php?oldid=148423 5* 03PrySigneToFry 5* (+1352) 10Created page with "== Criticism == Emojis often displays as a "No-Glyph" symbol, but many fonts (especially the various Serifs and Sans-serifs) support Chinese character (although sometimes rare characters are not supported,
> 1734446293 167858 PRIVMSG #esolangs :14[[07User talk:Tommyaweosme/Emojic collab with yayimhere and ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=148424&oldid=148423 5* 03PrySigneToFry 5* (+175) 10
> 1734447239 479644 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ractangle 5* 10moved [[02Pluck10]] to [[fish]]
> 1734447606 426950 PRIVMSG #esolangs :14[[07Fish14]]4 10 02https://esolangs.org/w/index.php?diff=148427&oldid=147370 5* 03Ractangle 5* (-9) 10/* Literals and operators */
> 1734448384 709591 PRIVMSG #esolangs :14[[07fish14]]4 10 02https://esolangs.org/w/index.php?diff=148428&oldid=148425 5* 03Ractangle 5* (-75) 10
> 1734448472 350112 PRIVMSG #esolangs :14[[07User:Tommyaweosme/Emojic collab with yayimhere and ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=148429&oldid=148220 5* 03Yayimhere 5* (-331) 10
> 1734451377 404843 PRIVMSG #esolangs :14[[07License plate language14]]4 M10 02https://esolangs.org/w/index.php?diff=148430&oldid=148422 5* 03Aadenboy 5* (+4) 10link
< 1734451807 600203 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1734452353 975762 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
< 1734452618 454085 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1734454211 183026 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1734454261 362242 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :fizzie: I'm not sure what you mean by "everyone else" because as far as I'm aware I'm the only one on esolangs who plays Factorio Space Age, even though you'd expect more people here to play it
< 1734454302 38870 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :that's why I didn't add it to https://esolangs.org/wiki/User:B_jonas#Games_that_the_esolangs_community_plays
< 1734454389 176028 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :it's kind of weird, it's a programming game, people here play programming games, why isn't the whole channel playing Factorio? a few people might be deliberately avoiding it because it's a big addictive timewaster, but that's not something I expect all of #esolangs to do
< 1734455586 428830 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Yeah, I don't have an explanation for why I never got into it at all. But by "everyone else" I meant people around the office and so on.
< 1734455739 894403 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :well it's not too late. they released a lot of improvements into the game besides the expansion, so now might be the best time to get into it.
< 1734455808 358249 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :or maybe a few months from now is the best time when some of the changes after the big upgrade stabilize
< 1734455893 910328 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :probably now, the following few changes won't matter too much
< 1734457515 983899 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1734458582 167331 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=148431&oldid=148113 5* 03 5* (+1806) 10/* Commands */
< 1734458619 281330 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1734459295 378051 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
< 1734459412 28953 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1734459442 193195 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 248 seconds
< 1734459587 611985 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
> 1734459620 838853 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=148432&oldid=148431 5* 03 5* (+136) 10/* Commands */
> 1734459678 679154 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=148433&oldid=148432 5* 03 5* (-15) 10/* Commands */
> 1734459871 893392 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=148434&oldid=148433 5* 03 5* (+256) 10/* Commands */
> 1734460040 169003 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=148435&oldid=148434 5* 03 5* (-203) 10There's already that command
> 1734460360 976670 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=148436&oldid=148435 5* 03 5* (+58) 10/* Examples */
> 1734464450 32204 PRIVMSG #esolangs :14[[07Parigot numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148437&oldid=148411 5* 03Corbin 5* (+365) 10Grammar and more words. I may have the recursion schemes backward, in which case these would be anamorphisms and apomorphisms respectively.
> 1734465008 641224 PRIVMSG #esolangs :14[[07Church numeral14]]4 10 02https://esolangs.org/w/index.php?diff=148438&oldid=148413 5* 03Corbin 5* (+125) 10Explicitly link to the alternatives, as it seems like Church numerals are widespread enough to mistakenly appear as ''the'' choice when they are only one possibility.
> 1734465499 196916 PRIVMSG #esolangs :14[[07The Genetic Computer14]]4 10 02https://esolangs.org/w/index.php?diff=148439&oldid=148297 5* 03Theonetruenerd 5* (+824) 10Added meaning of all currently defined codons, changed format to table. Updated some example code.
> 1734466014 87437 PRIVMSG #esolangs :14[[07The Genetic Computer14]]4 M10 02https://esolangs.org/w/index.php?diff=148440&oldid=148439 5* 03Theonetruenerd 5* (+948) 10Added table showing ascii character <-> codon conversion
> 1734466698 104057 PRIVMSG #esolangs :14[[07The Genetic Computer14]]4 M10 02https://esolangs.org/w/index.php?diff=148441&oldid=148440 5* 03Theonetruenerd 5* (-247) 10Updated example codon with stop codons rather than return codons, updated description of what happens if it encounters undefined codons
> 1734467074 579851 PRIVMSG #esolangs :14[[07Afterstar14]]4 N10 02https://esolangs.org/w/index.php?oldid=148442 5* 03Keymaker 5* (+3022) 101st of my 2 languages this year. A minimal division/multiplication language.
> 1734468876 252457 PRIVMSG #esolangs :14[[07Convalescent14]]4 N10 02https://esolangs.org/w/index.php?oldid=148443 5* 03Keymaker 5* (+3244) 102nd of my 2 languages this year... A two-character, two-instruction language powered by prime factors.
> 1734469953 676088 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 0347 5* 10New user account
> 1734470102 175394 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=148444&oldid=148381 5* 0347 5* (+83) 10
> 1734470209 952720 PRIVMSG #esolangs :14[[07User:4714]]4 N10 02https://esolangs.org/w/index.php?oldid=148445 5* 0347 5* (+123) 10Created page with "alt account of [[User:Ractangle]]. This account exists because of a vandal in the progressmod95 wiki but the name of muvert"
> 1734470314 772378 PRIVMSG #esolangs :14[[07User:4714]]4 10 02https://esolangs.org/w/index.php?diff=148446&oldid=148445 5* 0347 5* (+104) 10
> 1734470400 419363 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=148447&oldid=148070 5* 0347 5* (+13) 10/* Other things */
> 1734470430 363688 PRIVMSG #esolangs :14[[07User:Ractangle/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148448&oldid=148418 5* 0347 5* (+21) 10
< 1734476255 842476 :craigo!~craigo@user/craigo QUIT :Quit: Leaving
> 1734477045 24173 PRIVMSG #esolangs :14[[07License plate language14]]4 10 02https://esolangs.org/w/index.php?diff=148449&oldid=148430 5* 03None1 5* (+97) 10
< 1734478486 903063 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
> 1734478787 596387 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148450&oldid=148419 5* 03ZCX islptng 5* (+14) 10
> 1734478889 497386 PRIVMSG #esolangs :14[[07User:ZCX islptng/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148451&oldid=148450 5* 03ZCX islptng 5* (-231) 10/* Data types */