00:29:57 -!- b_jonas has quit (Read error: Connection reset by peer).
01:06:11 -!- sprout has quit (Ping timeout: 252 seconds).
01:06:50 -!- sprout_ has joined.
01:50:42 -!- wpa has joined.
02:25:44 -!- Lord_of_Life_ has joined.
02:25:50 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
02:27:01 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
02:38:10 -!- craigo has joined.
02:42:10 <int-e> shachaf: mine was https://int-e.eu/~bf3/tmp/steve.png
02:50:34 -!- Lymia has quit (Quit: No Ping reply in 180 seconds.).
02:51:46 -!- Lymia has joined.
02:56:46 <int-e> oh I guess you could check the logs for numbers
03:01:18 <int-e> The latest report I see was <shachaf> Still at 18+27+19
03:10:11 -!- craigo has quit (Quit: Leaving).
03:11:37 -!- craigo has joined.
03:31:01 -!- Noisytoot has quit (Ping timeout: 252 seconds).
03:38:18 -!- Noisytoot has joined.
04:09:00 <shachaf> Oh, I guess that's newer than the latest screenshot I took.
04:10:37 <int-e> FWIW, the game was updated, but it's still served from the same server for me... (slightly different URL; I'm looking at the iframe's location)
04:14:21 <int-e> shachaf: well, the difference is the "impossible" star that we both got basically at the same time
04:15:09 <int-e> (at 14,19; you can see the star in your older screenshot)
04:30:04 <shachaf> Oh, right. What was that star?
04:31:13 <int-e> I still have my map but I'm reluctant to share it; it's spoilery because I used level screenshots rather than the telescope thingy. So you can see kittens entering.
04:31:41 <int-e> Or, in some cases, in strategically important places.
04:31:50 <shachaf> I wish it wasn't a browser thing.
04:32:04 <int-e> I don't have a save state.
04:32:05 <shachaf> I don't know why it lost my state but it seems almost expected for that to happen.
04:32:43 <int-e> Yeah, same here... probably worse because I routinely delete all that browser state.
04:37:18 <int-e> I'm still torturing kissat.
04:37:37 <int-e> (Just to keep with the kitten theme.)
04:38:45 <shachaf> Oh, what are you SAT-solving?
04:39:27 <int-e> Pushing a bit at Ponder This
04:40:28 <int-e> (which as far as I can see isn't quite in NP but close enough)
04:40:48 <int-e> (the bonus problem for varying n, that is)
04:46:19 <int-e> (It's not the most natural of problems, but it is interesting. I have no clue whether arbitrarily large solutions exist; the size works against that while the increasing number of kings works in favor, and the two factors seem to be fairly well balanced.)
04:47:12 <int-e> Also the largest solution I have is for n=81, not a huge number.
05:26:06 -!- wpa has quit (Quit: Connection closed for inactivity).
05:48:28 -!- wpa has joined.
05:53:22 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in).
05:56:27 -!- slavfox has joined.
06:44:29 -!- Noisytoot has quit (Ping timeout: 260 seconds).
06:52:08 -!- Noisytoot has joined.
06:59:31 <esolangs> [[Special:Log/newusers]] create * Ashli Katt * New user account
07:04:49 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=106775&oldid=106772 * Ashli Katt * (+146)
07:35:01 <esolangs> [[Bundle]] https://esolangs.org/w/index.php?diff=106776&oldid=104696 * Gilbert189 * (+4467)
07:40:31 <esolangs> [[User:Quintopia]] https://esolangs.org/w/index.php?diff=106777&oldid=91253 * Quintopia * (+14)
07:41:08 <esolangs> [[User:Quintopia]] https://esolangs.org/w/index.php?diff=106778&oldid=106777 * Quintopia * (-14) Undo revision 106777 by [[Special:Contributions/Quintopia|Quintopia]] ([[User talk:Quintopia|talk]])
08:09:43 -!- razetime has joined.
08:54:58 -!- sprout_ has changed nick to sprout.
09:48:18 -!- Sgeo has quit (Read error: Connection reset by peer).
09:49:28 -!- razetime has quit (Remote host closed the connection).
12:16:43 -!- dyurko[m] has joined.
13:30:46 -!- __monty__ has joined.
13:58:41 -!- ddccdd has joined.
15:00:07 -!- FreeFull has joined.
16:14:24 -!- ddccdd has quit (Quit: Quit).
16:18:47 -!- razetime has joined.
16:26:32 -!- b_jonas has joined.
17:30:03 -!- razetime has quit (Remote host closed the connection).
17:56:03 -!- ddccdd has joined.
18:01:15 -!- Sgeo has joined.
18:15:02 -!- FreeFull has quit (Remote host closed the connection).
19:03:43 -!- ddccdd has quit (Quit: Quit).
20:05:09 <shachaf> Was this place also error-correcting-code-land? I'm wondering about this: https://math.stackexchange.com/questions/4637611/largest-number-of-shards-for-linear-erasure-codes-over-a-finite-field
21:01:21 <b_jonas> shachaf: yes, we're occasionally that too
21:01:32 <b_jonas> feel free to change the topic
21:28:19 -!- Cale has quit (Ping timeout: 252 seconds).
22:03:02 -!- Lord_of_Life_ has joined.
22:03:25 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
22:05:48 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
22:49:34 -!- tromp has joined.
23:18:01 -!- __monty__ has quit (Quit: leaving).
23:18:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:39:25 <esolangs> [[Tupilled]] N https://esolangs.org/w/index.php?oldid=106779 * Proxxa * (+7297) Create a page for Tupilled, a Tuple-based language.
23:45:00 <esolangs> [[Tupilled]] https://esolangs.org/w/index.php?diff=106780&oldid=106779 * Ashli Katt * (-298)
23:48:31 <esolangs> [[Tupilled]] https://esolangs.org/w/index.php?diff=106781&oldid=106780 * Proxxa * (+336) /* Reserved Tokens */
23:48:57 <esolangs> [[Tupilled]] M https://esolangs.org/w/index.php?diff=106782&oldid=106781 * Proxxa * (-1) Typo
23:50:25 <esolangs> [[Tupilled]] https://esolangs.org/w/index.php?diff=106783&oldid=106782 * Ashli Katt * (+163) /* Infixing */
23:52:09 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=106784&oldid=106769 * Proxxa * (+18) /* T */ Add Tuplepilled to the language list
23:52:21 <esolangs> [[Tupilled]] https://esolangs.org/w/index.php?diff=106785&oldid=106783 * Ashli Katt * (+0) /* Input/Output */
23:53:17 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=106786&oldid=106784 * Proxxa * (-3) /* T */ The name of the language is Tupilled, not Tuplepilled.