00:37:34 <esolangs> [[Talk:Redstone]] M https://esolangs.org/w/index.php?diff=86441&oldid=86398 * PythonshellDebugwindow * (+176) Reply to /* Is it really turing complete? */
00:38:52 <esolangs> [[Redstone]] M https://esolangs.org/w/index.php?diff=86442&oldid=84312 * PythonshellDebugwindow * (-29) Remove category) (Turing complete
01:53:18 -!- oerjan has joined.
02:01:06 -!- imode has joined.
02:12:12 -!- delta23_ has joined.
02:13:15 -!- delta23 has quit (Killed (NickServ (GHOST command used by delta23_))).
02:13:19 -!- delta23_ has changed nick to delta23.
02:21:58 -!- delta23 has quit (Quit: Leaving).
02:31:54 <esolangs> [[FlipJump]]  https://esolangs.org/w/index.php?diff=86443&oldid=86361 * Tomhe * (+262) /* Macros */  - new < > syntax
02:40:55 <esolangs> [[Special:Log/upload]] upload  * Tomhe *  uploaded "[[File:Hello-world.fj.png]]"
02:41:52 <esolangs> [[FlipJump]]  https://esolangs.org/w/index.php?diff=86445&oldid=86443 * Tomhe * (+24) /* Hello World */ - update new < > syntax, update hello.fj picture
03:55:45 <zzo38> How much sand is there in a hourglass with a duration of one hour? Is it enough to hide anything inside? (Although, I would expect that the hourglass will nto work very well if something is hidden inside)
04:31:37 <keegan> the volume of sand will depend on not only the duration but the size of the aperture it flows through
04:32:19 <keegan> i have a 5 minute hourglass tea timer and it has enough sand to hide a microSD card, probably
05:33:37 -!- oerjan has quit (Quit: Nite).
05:57:29 <esolangs> [[Special:Log/newusers]] create  * Everydayispain *  New user account
06:26:24 -!- Sgeo has quit (Read error: Connection reset by peer).
06:36:22 <riv> https://www.research.ibm.com/haifa/ponderthis/challenges/July2021.html they're doing number theory questions now
06:38:08 <riv> https://www.janestreet.com/puzzles/current-puzzle/ kind of like those pen and paper puzzles
08:01:23 -!- riv has quit (Quit: Leaving).
08:06:37 -!- hendursa1 has joined.
08:08:46 -!- tech_exorcist has joined.
08:09:39 -!- hendursaga has quit (Ping timeout: 244 seconds).
08:28:39 -!- Lord_of_Life_ has joined.
08:31:05 -!- Lord_of_Life has quit (Ping timeout: 255 seconds).
08:31:17 -!- imode has quit (Ping timeout: 268 seconds).
08:31:17 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
09:15:37 <esolangs> [[Deadfish]]  https://esolangs.org/w/index.php?diff=86446&oldid=86150 * OrichalcumCosmonaut * (+1184) /* Implementations */ add Standard ML implementation
09:19:54 <esolangs> [[Deadfish]] M https://esolangs.org/w/index.php?diff=86447&oldid=86446 * OrichalcumCosmonaut * (+0) /* Implementations */ alphabetical ordering (oops)
09:22:00 -!- arseniiv has joined.
10:00:30 <esolangs> [[Deadfish]]  https://esolangs.org/w/index.php?diff=86448&oldid=86447 * OrichalcumCosmonaut * (+57) /* SQL */ decrement should set the accumulator to 0 when decrementing to 256 (NB: i dont know SQL, i just copied one of the lines; someone should check this)
10:16:48 <esolangs> [[Deadfish]] M https://esolangs.org/w/index.php?diff=86449&oldid=86448 * OrichalcumCosmonaut * (-2) /* Standard ML */ unnecessary pair of parentheses
10:32:07 <nakilon> 09:38:07 <riv> https://www.janestreet.com/puzzles/current-puzzle/ kind of like those pen and paper puzzles
10:32:37 <nakilon> I do't get it, where are 6 and 1 from?
10:33:44 <fizzie> They are the "the areas of connected unshaded squares in the completed grid".
10:34:11 <fizzie> So the one white square at position (1, 1), and the six white squares near the bottom-right corner.
10:34:56 <nakilon> ooooh
10:35:14 <nakilon> and 3 = 3*1*1, etc
10:41:49 <nakilon> can the number be unshaded?
10:43:35 <fizzie> I think not. It says "these [numbered] cells are in the shaded region."
10:45:40 <fizzie> It reminds me a little of some of the Simon Tatham's Portable Puzzle Collection puzzles (specifically, Range and Rectangles), except fancier.
10:46:23 <nakilon> you mean that android app?
10:46:37 <Taneb> It's not just an android app, it's also avaialble on desktop and web
10:46:38 <nakilon> that is now calle "Puzzles" so it impossible to find in play market
10:47:09 <nakilon> it's cool guys, that you know it too, I'll show the one I liked the most
10:48:42 <nakilon> this one https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/loopy.html#5x5t7dh#503486241268460
10:49:57 <nakilon> I set some bigger ustom size of grid either am possible to solve within a hour long trip or it stays unsolved for months, like the current one on my phone
10:55:05 <Taneb> I think I played too much loopy. I used to be able to solve them without any problems almost all the time and I got bored of them
10:55:19 <Taneb> It's been a while though so I might have enough rust for it to be fun
10:57:47 <nakilon> I'll share the seed then when I find it ..P
11:03:26 <nakilon> I yet don't understand the symmetry; when I project from one corner to another it immediately gets wrong
11:04:34 <fizzie> I played quite a lot of Loopy too (on tube rides mostly), but I think only on the square grid, so all my reflexes are tuned for that.
11:09:52 <nakilon> ah I see
11:10:31 <nakilon> no I don't
11:15:05 -!- arseniiv has quit (Ping timeout: 250 seconds).
11:34:14 -!- arseniiv has joined.
11:35:27 <Taneb> I completed that seed you linked, btw
11:46:07 <nakilon> solved
11:46:22 <nakilon> Taneb nice, it was random one  though
11:46:29 <nakilon> just what my browser generated ..D
11:51:26 -!- jryans has quit (Quit: Bridge terminating on SIGTERM).
11:51:28 -!- Deewiant has quit (Quit: Bridge terminating on SIGTERM).
11:51:30 -!- fizzie[m] has quit (Quit: Bridge terminating on SIGTERM).
11:52:57 <nakilon> last digit of riv's puzzle solution is 3 if I'm right
11:54:29 -!- jryans has joined.
12:03:35 -!- Deewiant has joined.
12:03:48 -!- fizzie[m] has joined.
12:53:49 -!- tech_exorcist has quit (Remote host closed the connection).
13:30:31 -!- imode has joined.
13:38:53 -!- Sgeo has joined.
13:48:53 -!- hendursa1 has quit (Quit: hendursa1).
13:49:22 -!- hendursaga has joined.
15:50:46 -!- delta23 has joined.
15:51:05 <esolangs> [[Woodchuck]]  https://esolangs.org/w/index.php?diff=86450&oldid=86415 * Rdococ * (-1874) changed syntax
15:51:10 <esolangs> [[Woodchuck/Implementation]]  https://esolangs.org/w/index.php?diff=86451&oldid=86419 * Rdococ * (-444) updated
16:02:26 -!- riv has joined.
16:15:36 <esolangs> [[Woodchuck]] M https://esolangs.org/w/index.php?diff=86452&oldid=86450 * Rdococ * (-33) /* Translation from BF */
16:16:41 <esolangs> [[Woodchuck]] M https://esolangs.org/w/index.php?diff=86453&oldid=86452 * Rdococ * (+5) 
16:17:41 <esolangs> [[Woodchuck]] M https://esolangs.org/w/index.php?diff=86454&oldid=86453 * Rdococ * (-12) 
16:18:08 <esolangs> [[Woodchuck]] M https://esolangs.org/w/index.php?diff=86455&oldid=86454 * Rdococ * (+0) /* Implementation */
16:23:00 -!- Guest9 has joined.
16:23:33 -!- Guest9 has quit (Client Quit).
16:29:24 -!- arseniiv has quit (Ping timeout: 252 seconds).
16:30:24 -!- tech_exorcist has joined.
17:52:28 -!- mnrmnaugh has joined.
18:03:07 -!- arseniiv has joined.
18:04:33 <esolangs> [[Rule]]  https://esolangs.org/w/index.php?diff=86456&oldid=51796 * Rdococ * (-2271) 
18:14:49 <esolangs> [[Rule]] M https://esolangs.org/w/index.php?diff=86457&oldid=86456 * Rdococ * (+397) /* Sections */
18:16:59 <esolangs> [[Rule]] M https://esolangs.org/w/index.php?diff=86458&oldid=86457 * Rdococ * (+66) /* Sections */
18:17:29 -!- mnrmnaugh has quit (Quit: Leaving).
18:20:34 <esolangs> [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=86459&oldid=86417 * Rdococ * (+88) 
18:21:39 <esolangs> [[Mindshit]] N https://esolangs.org/w/index.php?oldid=86460 * CosmicMan08 * (+975) Created page with "Mindshit is a [[Brainfuck]] derivative by CosmicMan08#1975 ([[User:CosmicMan08]]), it's unique in the fact that it has a character that switches the meaning of all other chara..."
18:25:17 <esolangs> [[Mindshit]] M https://esolangs.org/w/index.php?diff=86461&oldid=86460 * CosmicMan08 * (+55) Added some clarification
18:37:11 -!- tech_exorcist has quit (Quit: tech_exorcist).
19:28:36 -!- archenoth has quit (Quit: Leaving).
19:43:02 -!- archenoth has joined.
19:54:52 -!- dutch has quit (Quit: WeeChat 3.0.1).
20:02:14 -!- archenoth has quit (Ping timeout: 268 seconds).
20:03:41 -!- archenoth has joined.
20:06:25 -!- dutch has joined.
20:37:21 <esolangs> [[User talk:SunnyMoon]]  https://esolangs.org/w/index.php?diff=86462&oldid=82582 * TwilightSparkle * (+151) 
20:43:00 <esolangs> [[Pinocchio]]  https://esolangs.org/w/index.php?diff=86463&oldid=84523 * Xxmarijnw * (+194) Add some implementations
20:43:21 <esolangs> [[Pinocchio]] M https://esolangs.org/w/index.php?diff=86464&oldid=86463 * Xxmarijnw * (+3) This is MediaWiki, not Markdown
20:45:10 -!- spruit11_ has joined.
20:47:31 -!- spruit11 has quit (Ping timeout: 246 seconds).
20:58:41 <esolangs> [[Brainloller]] M https://esolangs.org/w/index.php?diff=86465&oldid=70420 * CosmicMan08 * (+30) i found an archived version of one of the dead links
21:03:42 <esolangs> [[Special:Log/newusers]] create  * MitchTOM1409 *  New user account
21:10:57 -!- delta23 has quit (Ping timeout: 255 seconds).
21:11:55 <esolangs> [[Pinocchio]]  https://esolangs.org/w/index.php?diff=86466&oldid=86464 * Xxmarijnw * (+0) 
21:12:05 <esolangs> [[Pinocchio]] M https://esolangs.org/w/index.php?diff=86467&oldid=86466 * Xxmarijnw * (+3) 
21:19:04 -!- spruit11 has joined.
21:21:30 -!- spruit11_ has quit (Ping timeout: 240 seconds).
21:27:33 -!- delta23 has joined.
21:55:32 -!- arseniiv has quit (Ping timeout: 250 seconds).
22:01:18 -!- cd has changed nick to moony.
22:14:07 <riv> https://nickdrozd.github.io/2021/07/11/self-cleaning-turing-machine.html
22:18:59 <Corbin> Wow. Congratulations to all involved.
22:53:53 -!- delta23 has quit (Quit: Leaving).
23:01:24 -!- archenoth has quit (Ping timeout: 268 seconds).
23:02:48 <Corbin> Do folks work with any sort of realizability besides natural or real numbers? Sometimes these are "number" and "function" realizability.
23:15:27 -!- oerjan has joined.
23:18:35 <Corbin> https://mathoverflow.net/questions/199162 tries to list off some alternative possible topologies, and those are definitely worth considering. (Strong whiffs of Stone duality here.)
23:19:23 -!- vyv has joined.
23:26:20 <oerjan> nakilon: loopy is my favorite too
23:27:24 <oerjan> Taneb: after i got too good at loopy, i occasionally try to solve it by _only_ adding or _only_ deleting edges (except when checking at the very end)
23:28:19 <fizzie> I did finish that one pasted Loopy, but it took a long time.
23:30:49 <oerjan> i use(d) to cycle through the tatham games (with a few exceptions) although i took a long break and only just started again
23:31:21 <fizzie> I pretty much only did them in the tube, and now I haven't been taking the tube for a year and a half or so.
23:31:32 <oerjan> ic
23:32:30 <oerjan> last i did was bridges, which is way too easy even on the most difficult level, i ended up playing it so fast my fingers start aching
23:33:53 <oerjan> next up would be dominosa, which is pretty slow in the beginning as i need to search through the entire board a lot between finding a move
23:36:15 -!- moony has changed nick to cd.
23:36:34 <oerjan> but loopy is like a whole puzzle collection of its own, due to the varied geometries
23:40:07 <esolangs> [[Pinocchio]] M https://esolangs.org/w/index.php?diff=86468&oldid=86467 * PythonshellDebugwindow * (+25) /* Implementations */) (This is Implemented
23:47:51 <Corbin> I failed to find foolproof algorithms for some Loopy variants. IIRC "Florets" was the one that always escaped me.