00:02:30 -!- mtm has quit (Ping timeout: 265 seconds).
00:04:23 -!- Everything has quit (Quit: leaving).
00:05:52 -!- mtm has joined.
00:59:57 -!- molson has joined.
01:03:49 -!- molson__ has quit (Ping timeout: 260 seconds).
02:05:40 -!- amby has quit (Ping timeout: 252 seconds).
02:42:24 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in).
02:42:48 -!- slavfox has joined.
03:22:46 -!- Guest9 has joined.
03:22:51 -!- Guest9 has quit (Client Quit).
06:38:57 -!- ais523 has quit (Ping timeout: 276 seconds).
07:16:35 -!- tromp has joined.
07:24:50 <esolangs> [[User:Jan jelo/TC proof to partial recursive function]] https://esolangs.org/w/index.php?diff=148407&oldid=148291 * Jan jelo * (+3) /* define */
07:25:16 <esolangs> [[User:Jan jelo/TC proof to partial recursive function]] https://esolangs.org/w/index.php?diff=148408&oldid=148407 * Jan jelo * (+4) /* define */
07:57:34 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
07:59:33 -!- Sgeo has quit (Read error: Connection reset by peer).
08:11:15 -!- Lymia has quit (Ping timeout: 246 seconds).
08:21:11 -!- Lymia has joined.
08:25:36 -!- Lymia has quit (Client Quit).
08:27:47 -!- Lymia has joined.
08:33:18 <esolangs> [[Parigot numeral]] N https://esolangs.org/w/index.php?oldid=148409 * Jan jelo * (+1551) Created 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 <pre> 0 g h = h (succ n) g h = g n (n g h) </pre> and let <code>R(g,h)</code> be a primitive recursive function
08:34:27 <esolangs> [[Recs]] https://esolangs.org/w/index.php?diff=148410&oldid=148196 * Jan jelo * (+7) /* R */
08:39:37 -!- tromp has joined.
09:25:51 <myname> ugh, my keyboard remapping is not behaving how i wish it does
09:35:52 <esolangs> [[Parigot numeral]] https://esolangs.org/w/index.php?diff=148411&oldid=148409 * Jan jelo * (+1) /* Examples */
09:47:46 <esolangs> [[Scott numeral]] https://esolangs.org/w/index.php?diff=148412&oldid=148145 * Jan jelo * (+1) /* Examples */
09:54:55 <esolangs> [[Church numeral]] https://esolangs.org/w/index.php?diff=148413&oldid=148146 * Jan jelo * (+426) /* Arithmetic */
09:55:06 <fizzie> https://zem.fi/misc/aoc/twist.html <- 2024 day 17, a new record. :)
09:57:06 <esolangs> [[User:Jan jelo/TC proof to partial recursive function]] https://esolangs.org/w/index.php?diff=148414&oldid=148408 * Jan jelo * (+1) /* functions */
11:15:35 -!- __monty__ has joined.
11:24:22 <int-e> I stayed under 1h after starting (I'm *not* getting up at 6am for this this year)
11:24:39 <int-e> So it went okay but I should've disassembled sooner. :P
12:03:36 <fizzie> 5am for me, and not getting up either.
12:04:05 -!- mtm has quit (Ping timeout: 248 seconds).
12:04:21 <fizzie> Not sure how long it took after opening the puzzle page, was doing breakfast and other morning things in parallel.
12:05:41 <int-e> I'm not really tracking that either... the timestamp of the `input` file may be close enough.
12:05:44 -!- mtm has joined.
12:08:44 <fizzie> 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.)
12:13:29 <fizzie> 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.
12:16:15 <int-e> In my case I found /a/ solution with a black-box approach but it was too large.
12:17:37 <int-e> (for my input there are 22 possible starting values for A)
12:38:59 <int-e> Ah wow, why did I search for the input from the low end instead of the high end...
12:40:11 <int-e> (Well, I know why: I was worried there'd be state affecting later computations. But I didn't switch direction after disassembling the program.)
12:56:16 <fizzie> 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). :/
12:56:34 <fizzie> (I blame videogames, I've been playing the space game.)
12:56:50 <fizzie> Er, not the space age space game.
12:58:36 <fizzie> ("Everyone else" has been doing Factorio: Space Age, but I just started Elite: Dangerous a couple of months ago.)
13:14:42 * int-e has only watched streamers play Space Age
13:15:41 -!- __monty__ has quit (Quit: leaving).
13:15:42 <int-e> (well they're trying to speedrun which makes it worse)
13:30:52 <fizzie> A number of people took vacation for the launch week, so it must be pretty big deal, that's all I know.
13:37:16 <int-e> it's a substantial expansion to an already big game'
13:38:24 <esolangs> [[I/D machine]] https://esolangs.org/w/index.php?diff=148415&oldid=146185 * Jan jelo * (+503) /* Implementations */
13:44:48 -!- craigo has joined.
14:13:03 <esolangs> [[true]] https://esolangs.org/w/index.php?diff=148416&oldid=148375 * Ractangle * (-59) /* Unimplemented */
14:16:30 <esolangs> [['Brainfuck' is not recognized]] https://esolangs.org/w/index.php?diff=148417&oldid=147948 * Ractangle * (-134) Redirected page to [[How dare you fuck the brain]]
14:17:01 <esolangs> [[User:Ractangle/Sandbox]] https://esolangs.org/w/index.php?diff=148418&oldid=148317 * Ractangle * (-35) /* Stuff to continue */
14:20:03 <esolangs> [[User:ZCX islptng/Sandbox]] M https://esolangs.org/w/index.php?diff=148419&oldid=148406 * PrySigneToFry * (+66)
14:22:34 <esolangs> [[(PSTF)]] https://esolangs.org/w/index.php?diff=148420&oldid=148403 * PrySigneToFry * (+3)
14:27:18 <esolangs> [[Poetic (Mihai Popa)]] https://esolangs.org/w/index.php?diff=148421&oldid=148326 * PrySigneToFry * (+272)
14:29:56 <esolangs> [[License plate language]] N https://esolangs.org/w/index.php?oldid=148422 * None1 * (+352) Created 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
14:36:24 <esolangs> [[User talk:Tommyaweosme/Emojic collab with yayimhere and ractangle]] N https://esolangs.org/w/index.php?oldid=148423 * PrySigneToFry * (+1352) Created 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,
14:38:13 <esolangs> [[User talk:Tommyaweosme/Emojic collab with yayimhere and ractangle]] https://esolangs.org/w/index.php?diff=148424&oldid=148423 * PrySigneToFry * (+175)
14:53:59 <esolangs> [[Special:Log/move]] move * Ractangle * moved [[Pluck]] to [[fish]]
15:00:06 <esolangs> [[Fish]] https://esolangs.org/w/index.php?diff=148427&oldid=147370 * Ractangle * (-9) /* Literals and operators */
15:13:04 <esolangs> [[fish]] https://esolangs.org/w/index.php?diff=148428&oldid=148425 * Ractangle * (-75)
15:14:32 <esolangs> [[User:Tommyaweosme/Emojic collab with yayimhere and ractangle]] https://esolangs.org/w/index.php?diff=148429&oldid=148220 * Yayimhere * (-331)
16:02:57 <esolangs> [[License plate language]] M https://esolangs.org/w/index.php?diff=148430&oldid=148422 * Aadenboy * (+4) link
16:10:07 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:19:13 -!- amby has joined.
16:23:38 -!- tromp has joined.
16:50:11 -!- wib_jonas has joined.
16:51:01 <wib_jonas> 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
16:51:42 <wib_jonas> that's why I didn't add it to https://esolangs.org/wiki/User:B_jonas#Games_that_the_esolangs_community_plays
16:53:09 <wib_jonas> 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
17:13:06 <fizzie> 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.
17:15:39 <wib_jonas> 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.
17:16:48 <wib_jonas> or maybe a few months from now is the best time when some of the changes after the big upgrade stabilize
17:18:13 <wib_jonas> probably now, the following few changes won't matter too much
17:45:15 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:03:02 <esolangs> [[BFInfinity]] https://esolangs.org/w/index.php?diff=148431&oldid=148113 * * (+1806) /* Commands */
18:03:39 -!- tromp has joined.
18:14:55 -!- wib_jonas has quit (Quit: Client closed).
18:16:52 -!- Lord_of_Life_ has joined.
18:17:22 -!- Lord_of_Life has quit (Ping timeout: 248 seconds).
18:19:47 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
18:20:20 <esolangs> [[BFInfinity]] https://esolangs.org/w/index.php?diff=148432&oldid=148431 * * (+136) /* Commands */
18:21:18 <esolangs> [[BFInfinity]] https://esolangs.org/w/index.php?diff=148433&oldid=148432 * * (-15) /* Commands */
18:24:31 <esolangs> [[BFInfinity]] https://esolangs.org/w/index.php?diff=148434&oldid=148433 * * (+256) /* Commands */
18:27:20 <esolangs> [[BFInfinity]] https://esolangs.org/w/index.php?diff=148435&oldid=148434 * * (-203) There's already that command
18:32:40 <esolangs> [[BFInfinity]] https://esolangs.org/w/index.php?diff=148436&oldid=148435 * * (+58) /* Examples */
19:40:50 <esolangs> [[Parigot numeral]] https://esolangs.org/w/index.php?diff=148437&oldid=148411 * Corbin * (+365) Grammar and more words. I may have the recursion schemes backward, in which case these would be anamorphisms and apomorphisms respectively.
19:50:08 <esolangs> [[Church numeral]] https://esolangs.org/w/index.php?diff=148438&oldid=148413 * Corbin * (+125) Explicitly 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.
19:58:19 <esolangs> [[The Genetic Computer]] https://esolangs.org/w/index.php?diff=148439&oldid=148297 * Theonetruenerd * (+824) Added meaning of all currently defined codons, changed format to table. Updated some example code.
20:06:54 <esolangs> [[The Genetic Computer]] M https://esolangs.org/w/index.php?diff=148440&oldid=148439 * Theonetruenerd * (+948) Added table showing ascii character <-> codon conversion
20:18:18 <esolangs> [[The Genetic Computer]] M https://esolangs.org/w/index.php?diff=148441&oldid=148440 * Theonetruenerd * (-247) Updated example codon with stop codons rather than return codons, updated description of what happens if it encounters undefined codons
20:24:34 <esolangs> [[Afterstar]] N https://esolangs.org/w/index.php?oldid=148442 * Keymaker * (+3022) 1st of my 2 languages this year. A minimal division/multiplication language.
20:54:36 <esolangs> [[Convalescent]] N https://esolangs.org/w/index.php?oldid=148443 * Keymaker * (+3244) 2nd of my 2 languages this year... A two-character, two-instruction language powered by prime factors.
21:12:33 <esolangs> [[Special:Log/newusers]] create * 47 * New user account
21:15:02 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=148444&oldid=148381 * 47 * (+83)
21:16:49 <esolangs> [[User:47]] N https://esolangs.org/w/index.php?oldid=148445 * 47 * (+123) Created page with "alt account of [[User:Ractangle]]. This account exists because of a vandal in the progressmod95 wiki but the name of muvert"
21:18:34 <esolangs> [[User:47]] https://esolangs.org/w/index.php?diff=148446&oldid=148445 * 47 * (+104)
21:20:00 <esolangs> [[User:Ractangle]] https://esolangs.org/w/index.php?diff=148447&oldid=148070 * 47 * (+13) /* Other things */
21:20:30 <esolangs> [[User:Ractangle/Sandbox]] https://esolangs.org/w/index.php?diff=148448&oldid=148418 * 47 * (+21)
22:57:35 -!- craigo has quit (Quit: Leaving).
23:10:45 <esolangs> [[License plate language]] https://esolangs.org/w/index.php?diff=148449&oldid=148430 * None1 * (+97)
23:34:46 -!- Sgeo has joined.
23:39:47 <esolangs> [[User:ZCX islptng/Sandbox]] https://esolangs.org/w/index.php?diff=148450&oldid=148419 * ZCX islptng * (+14)
23:41:29 <esolangs> [[User:ZCX islptng/Sandbox]] https://esolangs.org/w/index.php?diff=148451&oldid=148450 * ZCX islptng * (-231) /* Data types */