[...]
18:36:16 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:48:17 <esolangs> [[DotSF]] https://esolangs.org/w/index.php?diff=164535&oldid=160600 * Kaveh Yousefi * (+157) Added a hyperlink to my implementation of the DotSF programming language on GitHub and marked the extant implementation's provenance as absent.
18:55:25 -!- Everything has quit (Quit: leaving).
19:27:47 -!- tromp has joined.
19:29:11 -!- ais523 has quit (Quit: quit).
19:57:55 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:02:49 -!- impomatic has quit (Quit: Client closed).
20:07:54 -!- tromp has joined.
20:11:55 -!- impomatic has joined.
20:34:10 <esolangs> [['Python' is not recognized]] M https://esolangs.org/w/index.php?diff=164536&oldid=164015 * Ractangle * (+0) /* Truth-machine */
20:38:50 <esolangs> [['Python' is not recognized]] M https://esolangs.org/w/index.php?diff=164537&oldid=164536 * Ractangle * (+94)
20:39:31 <esolangs> [['Python' is not recognized]] M https://esolangs.org/w/index.php?diff=164538&oldid=164537 * Ractangle * (+34) /* Syntax */
20:40:46 <esolangs> [['Python' is not recognized]] M https://esolangs.org/w/index.php?diff=164539&oldid=164538 * Ractangle * (+31) /* Syntax */
21:48:52 <esolangs> [[How dare you fuck the brain]] M https://esolangs.org/w/index.php?diff=164540&oldid=164403 * Ractangle * (-91) /* Interpreter */
21:52:19 <esolangs> [[How dare you fuck the brain]] M https://esolangs.org/w/index.php?diff=164541&oldid=164540 * Ractangle * (+22) /* Interpreter */
22:02:56 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:05:09 -!- impomatic has quit (Quit: Client closed).
22:25:19 <zemhill> web.takwin-yuzbasi: points -2.95, score 18.85, rank 25/47 (+7)
22:55:07 <esolangs> [[User talk:Hotcrystal0/CGoL+]] https://esolangs.org/w/index.php?diff=164542&oldid=154283 * HyperbolicireworksPen * (+156)
22:58:25 -!- Sgeo has joined.
23:05:27 <int-e> Okay, Pipe Push Paradise game is done after 47 main puzzles, an interlude puzzle and two sets of 8 extra puzzles each. :-)
23:08:05 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
00:10:09 -!- Lord_of_Life has joined.
00:46:49 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
01:30:07 -!- GregorR has quit (Quit: Ping timeout (120 seconds)).
01:30:18 -!- GregorR has joined.
03:38:34 -!- ais523 has joined.
03:44:08 <ais523> !zjoust two_thirds http://nethack4.org/pastebin/two_thirds.bfjoust
03:44:08 <zemhill> ais523.two_thirds: points 21.21, score 56.28, rank 1/47 (--)
03:44:45 <ais523> come on, I hardly had to change anything to beat takwin-yuzbasi again – it was extremely overfitted to the decoy setup so I just made a couple of arbitrary changes
03:46:31 <ais523> (and the new decoy setup is better against the field anyway)
03:50:59 -!- ^[ has joined.
04:24:59 <esolangs> [[Brainfuck algorithms]] M https://esolangs.org/w/index.php?diff=164543&oldid=163696 * Waso * (-2) Optimized bit flip
04:31:35 -!- tetsuo-cpp has quit (Ping timeout: 245 seconds).
04:34:35 -!- j4cbo has quit (Ping timeout: 250 seconds).
04:35:00 -!- tetsuo-cpp has joined.
04:37:42 -!- j4cbo has joined.
05:32:46 -!- Sgeo has quit (Read error: Connection reset by peer).
05:37:42 <esolangs> [[LongJump]] https://esolangs.org/w/index.php?diff=164544&oldid=164516 * None1 * (-71)
05:38:05 <esolangs> [[LongJump]] https://esolangs.org/w/index.php?diff=164545&oldid=164544 * None1 * (-3)
05:38:59 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=164546&oldid=164527 * None1 * (+389) /* Can you prove computational class for esolang LongJump? */
05:49:27 <zemhill> web.takwin-yuzbasi: points -1.36, score 20.06, rank 18/47 (+7)
06:28:01 <ais523> !zjoust two_thirds http://nethack4.org/pastebin/two_thirds.bfjoust
06:28:01 <zemhill> ais523.two_thirds: points 21.00, score 55.72, rank 1/47 (--)
06:28:10 * ais523 vaguely wonders who is responsible for takwin-yuzbasi
06:29:18 <ais523> wait, I think this is the wrong version
06:30:08 <ais523> !zjoust two_thirds http://nethack4.org/pastebin/two_thirds.bfjoust
06:30:09 <zemhill> ais523.two_thirds: points 21.40, score 56.90, rank 1/47 (--)
06:31:00 <ais523> the score has to get better every time, that's how you know you're actually improving the program rather than getting into an overfitting war
06:35:06 <ais523> (as a summary of what I think is happening: takwin-yuzbasi's strategy should beat two_thirds half the time and lose to it half the time on long tapes, and should lose on more than half the medium-short tapes – but it's winning the medium-short tapes by setting decoys that happen to clash with two_thirds' in exactly the right way to throw off the synchronization, which can be defeated by just changing the size of the decoys)
06:52:41 -!- tromp has joined.
07:12:43 <ais523> !ztest waterfall3 http://nethack4.org/pastebin/waterfall3.bfjoust
07:12:44 <zemhill> ais523.waterfall3: points -10.02, score 12.66, rank 47/47
07:12:52 <ais523> that used to be a beat-every-program winner, IIRC
07:13:40 <ais523> I'm not sure if there were any others, apart from waterfall3 and two_thirds
07:13:54 <ais523> but it's amazing how far the strategy has come on since 2011
07:14:26 <ais523> !ztest vibration_fool_faster >>>++++<----<++++<(-)*127.(-+)*50000
07:14:26 <zemhill> ais523.vibration_fool_faster: points -11.67, score 11.25, rank 47/47
07:15:36 <ais523> !ztest jix_wiggle3 http://ais523.me.uk/esolangs/bfjoust/codu-archive/48730c91ec77-jix_wiggle3.modern-syntax.txt
07:15:36 <zemhill> ais523.jix_wiggle3: points -10.14, score 12.17, rank 47/47
07:16:29 <ais523> the other amazing thing is how GregorR's sucralose_philip, a program from 2011, is still doing just fine in the present hill and is in the top half of programs, even though other top programs from that time stand no chance nowadays
07:16:53 <ais523> (it hasn't been on the hill all that time, I put it back semi-recently)
07:17:54 <ais523> ah, space_elevator is also doing well on the hill and the original version was from 2011, although I'm not sure whether it's still the same program that it was back then
07:19:25 <ais523> and ais523_slowpoke (2011) is still on the hill, just about, and ais523_omnipotence (2013) is in the top half (that must surely be the longest-surviving defensive program)
07:42:06 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
07:48:20 -!- Lord_of_Life has joined.
08:57:30 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164547&oldid=164529 * CCigC * (+2)
09:49:32 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
09:50:02 -!- Lord_of_Life has joined.
10:13:15 <esolangs> [[DotSF]] M https://esolangs.org/w/index.php?diff=164548&oldid=164535 * Kaveh Yousefi * (+361) Amended an orthographic mistake and improved the formatting of code fragments.
11:20:43 -!- amby has joined.
11:23:19 <ais523> !zjoust backstop2 http://nethack4.org/pastebin/backstop2.bfjoust
11:23:20 <zemhill> ais523.backstop2: points 17.79, score 46.44, rank 2/47 (--)
11:29:17 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
12:04:18 -!- Lord_of_Life has joined.
12:34:05 -!- perlbot has quit (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in).
12:34:05 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in).
12:36:05 -!- simcop2387 has joined.
12:37:42 -!- perlbot has joined.
12:48:31 -!- perlbot has quit (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in).
12:48:31 -!- simcop2387 has quit (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in).
13:34:51 -!- simcop2387 has joined.
13:41:23 -!- perlbot has joined.
13:43:47 <esolangs> [[Special:Log/newusers]] create * MAGICICRON * New user account
13:46:40 <esolangs> [[Special:Log/newusers]] create * TheGablatirel * New user account
14:46:14 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164549&oldid=164547 * TheGablatirel * (+198) /* Introductions */
14:47:34 <esolangs> [[Free Esolang]] https://esolangs.org/w/index.php?diff=164550&oldid=157478 * TheGablatirel * (+96)
14:48:28 <esolangs> [[User:TheGablatirel]] N https://esolangs.org/w/index.php?oldid=164551 * TheGablatirel * (+16) Created page with "hi im gablatirel"
14:48:42 <esolangs> [[User talk:TheGablatirel]] N https://esolangs.org/w/index.php?oldid=164552 * TheGablatirel * (+48) Created page with "I CAN CREATE PAGES!!!!!!!!!!!!!!!!!!!!!!!!!!!!11"
15:17:47 -!- joast has quit (Quit: Leaving.).
15:46:12 -!- Everything has joined.
16:16:36 -!- ais523 has quit (Quit: sorry about my connection).
16:36:28 -!- amby has quit (Read error: No route to host).
16:37:17 -!- impomatic has joined.
16:44:43 -!- joast has joined.
16:54:02 -!- Bowserinator has quit (Ping timeout: 260 seconds).
16:54:03 -!- Bowserinator_ has joined.
17:29:48 -!- casenc has joined.
17:33:45 -!- casenc has changed hostmask to ~user@user/casenc.
17:40:46 <korvo> Hello and goodbye. Aloha, I suppose.
17:44:30 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:57:18 <fizzie> Well, that's new; spikes of ~15 reqs/s on logs.esolangs.org this time: https://zem.fi/tmp/qps.png
17:59:21 <fizzie> There aren't even that many pages on there, how can someone spend so long crawling over it.
18:00:04 -!- casenc has quit (Ping timeout: 256 seconds).
18:04:46 <esolangs> [[Place]] https://esolangs.org/w/index.php?diff=164553&oldid=162003 * Qawtykit * (+1)
18:06:40 -!- tromp has joined.
18:11:46 -!- Everything has quit (Read error: Connection reset by peer).
18:17:14 -!- Everything has joined.
18:35:44 -!- Trigon has quit (Ping timeout: 258 seconds).
18:36:03 -!- Trigon has joined.
19:06:01 -!- Everything has quit (Quit: leaving).
19:24:17 -!- impomatic has quit (Ping timeout: 250 seconds).
20:05:25 <esolangs> [[Game:Esochain]] M https://esolangs.org/w/index.php?diff=164554&oldid=164405 * Ractangle * (+11) /* revreS 1 */
21:27:48 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:37:54 -!- tromp has joined.
21:52:50 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:16:02 -!- Taneb has quit (Ping timeout: 260 seconds).
22:17:43 -!- user3456 has quit (Quit: ZNC - https://znc.in).
22:17:57 -!- user3456 has joined.
23:17:51 -!- Sgeo has joined.
23:22:10 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
23:23:09 -!- Lord_of_Life has joined.
23:27:02 -!- Lord_of_Life_ has joined.
23:28:07 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
23:28:16 -!- Lord_of_Life_ has quit (Excess Flood).
23:37:47 <zemhill> web.takwin-yuzbasi: points -1.17, score 20.07, rank 18/47 (+2)
23:43:21 -!- amby has joined.
00:05:04 -!- Lord_of_Life has joined.
00:48:38 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
02:23:34 -!- molson has quit (Remote host closed the connection).
02:49:37 -!- b_jonas has quit (Ping timeout: 256 seconds).
03:59:44 <zemhill> web.three_legged_frog: points 3.93, score 24.50, rank 10/47 (--)
04:00:21 <zemhill> web.three_legged_frog: points 3.93, score 24.50, rank 10/47 (--)
04:02:41 <zemhill> web.three_legged_frog: points 4.02, score 24.59, rank 10/47 (--)
05:47:24 -!- Sgeo_ has joined.
05:50:24 -!- Sgeo has quit (Ping timeout: 258 seconds).
06:59:08 -!- tromp has joined.
08:25:55 <esolangs> [[How dare you fuck the brain]] M https://esolangs.org/w/index.php?diff=164555&oldid=164541 * Ractangle * (-289) /* computational class */
08:34:08 -!- Sgeo_ has quit (Read error: Connection reset by peer).
09:42:50 -!- tromp has quit (Ping timeout: 245 seconds).
10:55:12 <esolangs> [[Esolangs.org]] https://esolangs.org/w/index.php?diff=164556&oldid=147998 * None1 * (+28) /* Format */
10:55:22 <esolangs> [[Esolangs.org]] M https://esolangs.org/w/index.php?diff=164557&oldid=164556 * None1 * (+1) /* Format */
11:01:14 -!- amby has joined.
11:14:46 <esolangs> [[Game:Esochain]] https://esolangs.org/w/index.php?diff=164558&oldid=164554 * None1 * (+16) /* Server 2 */
11:16:00 <esolangs> [[Game:Esochain]] https://esolangs.org/w/index.php?diff=164559&oldid=164558 * None1 * (+16) /* revreS 3 */
11:28:49 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
11:47:39 -!- Lord_of_Life has joined.
11:49:49 -!- Lord_of_Life has quit (Excess Flood).
11:54:03 -!- Lord_of_Life has joined.
11:54:05 -!- ajal has joined.
11:54:25 -!- amby has quit (Ping timeout: 248 seconds).
11:59:27 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
12:02:42 -!- Lord_of_Life has joined.
12:04:35 -!- amby has joined.
12:04:47 -!- ajal has quit (Ping timeout: 250 seconds).
12:05:07 -!- Lord_of_Life has quit (Excess Flood).
12:07:57 -!- amby has quit (Read error: Connection reset by peer).
12:08:11 -!- amby has joined.
12:13:34 -!- ais523 has joined.
12:26:59 -!- Lord_of_Life has joined.
12:46:54 -!- amby has quit (Ping timeout: 256 seconds).
12:49:02 -!- amby has joined.
13:24:00 <esolangs> [[U (Ractangle)]] https://esolangs.org/w/index.php?diff=164560&oldid=164511 * MijiGamin1 * (+0) fixed a variety of typos
14:16:57 -!- Sgeo has joined.
14:47:16 <ais523> !zjoust two_thirds http://nethack4.org/pastebin/two_thirds.bfjoust
14:47:17 <zemhill> ais523.two_thirds: points 21.36, score 56.74, rank 1/47 (--)
14:48:04 <ais523> !zjoust two_thirds http://nethack4.org/pastebin/two_thirds.bfjoust
14:48:05 <zemhill> ais523.two_thirds: points 21.50, score 57.08, rank 1/47 (--)
16:21:18 <esolangs> [[Esolangs.org]] https://esolangs.org/w/index.php?diff=164561&oldid=164557 * Aadenboy * (-2)
16:57:03 -!- b_jonas has joined.
17:25:03 <ais523> a thought I had recently: basically all the problems memory allocators have happen as a consequence of not knowing free order
17:25:29 <ais523> which means that you can end up with fragmented memory if allocations that are freed early and allocations that are freed late end up next to each other
17:26:17 <ais523> if allocators could pack together their allocations in such a way that all the allocations in a particular page were freed at the same time, it would allow them to do all sorts of fancy things without wasting memory
17:27:29 <ais523> (e.g. constantly rotating virtual addresses so that use-after-free and double-freewere deterministically detectable, or reserving pages for objects of a particular type, which gives both performance security benefits)
17:28:34 <ais523> * both performance and security benefits
17:29:13 <ais523> but I've got a bit stuck in working out to what extent programs would be able to actually work out what the free order would be – in many cases it's easy, but for some (e.g. optimisation algorithms which are doing matches-and-rewrites on subtrees) it is much harder
17:30:47 <ais523> it feels like, in the cases where free order is unknown, it should be possible to do a mix of manually compacting (via a "deep clone, then drop the original" strategy) if most of the allocations are dead, and declaring that the fragmentation doesn't matter if most of the allocations are alive, but I'm not sure that actually works and it might not be possible to infer at compile time
17:35:06 -!- V has joined.
17:36:40 <esolangs> [[Game:Esochain]] https://esolangs.org/w/index.php?diff=164562&oldid=164559 * Hotcrystal0 * (+13)
19:06:35 -!- GregorR has quit (Quit: Ping timeout (120 seconds)).
19:06:45 -!- GregorR has joined.
19:46:28 <esolangs> [[Gora]] M https://esolangs.org/w/index.php?diff=164563&oldid=138823 * Ractangle * (+662) we are going to goroshevka with this one!!!
19:51:23 -!- susam has left.
20:36:33 -!- V has quit (Ping timeout: 248 seconds).
20:42:21 -!- V has joined.
21:12:48 -!- FreeFull has quit.
23:03:41 <esolangs> [[Special:Log/newusers]] create * Wasabi134 * New user account
23:07:52 -!- DOS_User_webchat has joined.
23:10:38 -!- ais523 has quit (Read error: Connection reset by peer).
23:16:51 <esolangs> [[Game:Esochain]] https://esolangs.org/w/index.php?diff=164564&oldid=164562 * HyperbolicireworksPen * (+13)
23:19:36 <esolangs> [[Game:Esochain]] https://esolangs.org/w/index.php?diff=164565&oldid=164564 * Juanp32 * (+10) /* Server 7 */ hi
23:26:05 -!- DOS_User_webchat has quit (Remote host closed the connection).
23:32:41 <esolangs> [[Adders]] https://esolangs.org/w/index.php?diff=164566&oldid=164435 * HyperbolicireworksPen * (+26)
23:36:29 <esolangs> [[Vars]] https://esolangs.org/w/index.php?diff=164567&oldid=164438 * HyperbolicireworksPen * (+43)
23:37:02 <esolangs> [[Hourglass]] https://esolangs.org/w/index.php?diff=164568&oldid=164439 * HyperbolicireworksPen * (+16)
00:05:56 <esolangs> [[Game:Esochain]] https://esolangs.org/w/index.php?diff=164569&oldid=164565 * Hotcrystal0 * (+16)
00:43:12 -!- ajal has joined.
00:45:42 -!- amby has quit (Ping timeout: 256 seconds).
00:52:07 -!- ajal has quit (Ping timeout: 255 seconds).
00:52:36 -!- amby has joined.
01:00:57 -!- amby has quit (Remote host closed the connection).
01:51:34 -!- salpynx has joined.
01:52:27 <salpynx> !ztest lycopodina_minuta >>(+)*5>(-)*9<<<(-)*128(-++-)*19(+-)*8(+--)*4(-+-)*22(--+)*28(-+-{}--+)*12(-+-)*32(+--)*20((-+-)*15{}--+)%12(-+-)*48(+--)*19(-+-)*-1
01:52:27 <zemhill> salpynx.lycopodina_minuta: points -5.33, score 16.13, rank 34/47
01:54:33 <salpynx> another experimental strategy, optimising defense only and trying to encourage opponents to run off the tape. This never moves beyond 2 cells of its flag.
01:55:27 <salpynx> !zjoust lycopodina_minuta >>(+)*5>(-)*9<<<(-)*128(-++-)*19(+-)*8(+--)*4(-+-)*22(--+)*28(-+-{}--+)*12(-+-)*32(+--)*20((-+-)*15{}--+)%12(-+-)*48(+--)*19(-+-)*-1
01:55:28 <zemhill> salpynx.lycopodina_minuta: points -5.33, score 16.13, rank 34/47
01:56:41 <salpynx> a successor to my old synanceia warrior which placed on the hill, but didn't last long.
01:58:25 <salpynx> over-optimised for the hill as usual, but since the hill makeup is pretty stable, it seems to be a good survival strategy
02:00:12 <salpynx> correction, it doesn't go beyond 3 cells from its flag
02:10:00 -!- salpynx has quit (Quit: Leaving).
04:05:50 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in).
04:08:56 -!- slavfox has joined.
06:29:12 -!- ais523 has joined.
06:30:39 <ais523> lycopodina_minuta is the first time I've seen a vibration program change strategies, but it does make sense – unlike a shudder program, a vibration program doesn't normally rely on trapping the opponent on a single cell, so changing away from vibration doesn't turn most of your wins into losses like changing away from shudder would
07:14:50 -!- GregorR has quit (Quit: Ping timeout (120 seconds)).
07:15:01 -!- GregorR has joined.
07:39:47 -!- Sgeo has quit (Read error: Connection reset by peer).
07:52:33 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
07:53:07 -!- Lord_of_Life has joined.
07:53:10 <esolangs> [[Talk:Bespoke]] https://esolangs.org/w/index.php?diff=164570&oldid=164351 * WinslowJosiah * (+734)
07:54:14 -!- Lord_of_Life has quit (Excess Flood).
07:57:35 -!- Lord_of_Life has joined.
07:59:06 -!- Lord_of_Life has quit (Excess Flood).
08:01:36 -!- Lord_of_Life has joined.
08:13:39 -!- GregorR has quit (Quit: Ping timeout (120 seconds)).
08:13:52 -!- GregorR has joined.
08:18:04 <esolangs> [[Trumf]] https://esolangs.org/w/index.php?diff=164571&oldid=134009 * JIT * (+9)
08:21:59 -!- GregorR has quit (Quit: Ping timeout (120 seconds)).
08:22:12 -!- GregorR has joined.
08:34:46 -!- ski has quit (Quit: Lost terminal).
08:42:21 <esolangs> [[Game:Esochain]] M https://esolangs.org/w/index.php?diff=164572&oldid=164569 * Ractangle * (+0) /* Server 7 */
09:20:59 <esolangs> [[Gora]] https://esolangs.org/w/index.php?diff=164573&oldid=164563 * Ractangle * (+0) /* Syntax */
09:21:26 <esolangs> [[Gora]] https://esolangs.org/w/index.php?diff=164574&oldid=164573 * Ractangle * (+10) /* Syntax */
11:29:44 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
11:29:56 -!- Lord_of_Life_ has joined.
11:32:16 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:25:28 <esolangs> [[User talk:HyperbolicireworksPen]] https://esolangs.org/w/index.php?diff=164575&oldid=163159 * Hotcrystal0 * (+470)
13:17:46 <strerror> ais523: for optimisation algorithms, I'd rather have a memory allocator that optimises for locality of access, not locality of deletes; if used with a single-purpose pool allocator, the free is usually cheap anyway
13:18:17 <ais523> hmm, I have the suspicion that the two goals are normally not in conflict, but maybe they are sometimes?
13:19:00 <ais523> but I was thinking about pool allocators when I wrote that – freeing in a pool allocator is cheap as long as you don't need to be able to reclaim memory from the pool to give it to a different pool
13:19:25 <ais523> if you have locality of frees, that makes it possible to reclaim the memory from the pool cheaply
13:21:18 <strerror> I'm guessing different algorithms vary widely in whether they have similar access and delete patterns. There would have to be at least one access for every delete though (and usually down from the root)
13:23:11 <ais523> another thing I noticed is that if you have algorithms that require traversing the entire data structure, it's fairly cheap to copy it as you go
13:23:55 <ais523> that has the advantages of a) allowing you to do a stop-and-copy GC without needing to actually stop, and b) potentially giving better locality for the next traversal because you can allocate the copy in traversal order, even if you added subtrees along the way
13:24:25 <ais523> I don't know whether or not it's cheaper than the traditional method of allocating subtrees you and and freeing subtrees you delete
13:26:49 <ais523> * allocating subtrees you add into the structure you're traversing
13:27:49 <strerror> Yes, though if traversing is a large part of the algorithm, it's also more efficient to store the tree in traversal order without (many) pointers
13:31:42 <strerror> I'm trying to recall specific tree algorithms I've implemented, but due to memoisation, most of them were actually dags.
13:45:17 <ais523> they're usually dags in practice for me, too
13:45:35 <ais523> but not always, e.g. C-INTERCAL's optimiser acts entirely on owned trees
13:54:33 <zemhill> web.three_legged_frog: points 3.93, score 24.49, rank 10/47 (--)
14:35:37 -!- Sgeo has joined.
15:01:02 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164576&oldid=164549 * CrSb0001 * (+288)
15:01:26 <esolangs> [[User:CrSb0001]] N https://esolangs.org/w/index.php?oldid=164577 * CrSb0001 * (+652) Created page with "I like math and programming. I'm also planning to be fairly active on here, Rosetta Code, and Wikipedia. Programming languages I can comfortably program in (non-esoteric): * Python * T-SQL * Ruby * Javascript * Lean 4 Programming languages I can comfortably pro
15:13:13 -!- tromp has joined.
15:16:29 <esolangs> [[User:Aadenboy]] https://esolangs.org/w/index.php?diff=164578&oldid=163963 * Aadenboy * (-185)
15:16:54 <esolangs> [[Special:Log/move]] move * Aadenboy * moved [[Ball Pit]] to [[User:Aadenboy/Ball Pit]]
15:17:24 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=164581&oldid=164522 * Aadenboy * (-15) /* B */ remove [[User:Aadenboy/Ball pit|Ball pit]]
15:43:19 -!- impomatic has joined.
15:49:59 -!- impomatic has quit (Quit: Client closed).
17:04:46 -!- ski has joined.
17:06:02 <esolangs> [[Game:Esochain]] M https://esolangs.org/w/index.php?diff=164582&oldid=164572 * Ractangle * (+610) /* Server 4 */ check out my branching
17:06:50 -!- Lord_of_Life has quit (Remote host closed the connection).
17:08:26 <esolangs> [[Game:Esochain]] M https://esolangs.org/w/index.php?diff=164583&oldid=164582 * Ractangle * (-185) /* Server 4 */ fixed it since it starts at the wrong entry
17:09:53 -!- Lord_of_Life has joined.
17:10:10 <esolangs> [[Game:Esochain]] M https://esolangs.org/w/index.php?diff=164584&oldid=164583 * Ractangle * (-5) /* Server 4 */ center!
17:36:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:41:27 <HackEso> olist <https://www.giantitp.com/comics/oots1333.html>: shachaf oerjan Sgeo boily nortti b_jonas Noisytoot
17:43:32 -!- tromp has joined.
17:54:44 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:13:27 -!- impomatic has joined.
18:23:17 -!- tromp has joined.
18:28:37 -!- impomatic has quit (Quit: Client closed).
18:38:23 -!- impomatic has joined.
19:12:57 -!- impomatic has quit (Quit: Client closed).
19:34:34 -!- ais523 has quit (Quit: sorry about my connection).
21:28:45 -!- DOS_User_webchat has joined.
21:36:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:40:17 -!- DOS_User_webchat has quit (Ping timeout: 250 seconds).
21:46:08 -!- tromp has joined.
22:03:02 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:53:49 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
22:55:07 -!- Lord_of_Life has joined.
22:58:19 -!- Lord_of_Life has quit (Excess Flood).
22:59:32 -!- Lord_of_Life has joined.
23:14:27 <esolangs> [[User talk:HyperbolicireworksPen]] https://esolangs.org/w/index.php?diff=164585&oldid=164575 * HyperbolicireworksPen * (+139)
23:21:27 <esolangs> [[User talk:Hotcrystal0/CGoL+]] https://esolangs.org/w/index.php?diff=164586&oldid=164542 * HyperbolicireworksPen * (+251)
23:57:42 <esolangs> [[Hourglass]] https://esolangs.org/w/index.php?diff=164587&oldid=164568 * HyperbolicireworksPen * (+256)
01:03:25 <esolangs> [[Pax]] https://esolangs.org/w/index.php?diff=164588&oldid=8682 * Tpaefawzen * (+77) +cat
01:10:12 -!- ais523 has joined.
02:20:00 <esolangs> [[Special:Log/newusers]] create * BEANSTASTEGOOD * New user account
02:22:49 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=164589&oldid=164576 * BEANSTASTEGOOD * (+140)
04:47:39 <esolangs> [[Branchless Algorithms]] N https://esolangs.org/w/index.php?oldid=164590 * RainbowDash * (+5751) Save Progress
04:49:34 <esolangs> [[Branchless Algorithms]] M https://esolangs.org/w/index.php?diff=164591&oldid=164590 * RainbowDash * (+71) Total programming
04:52:51 <esolangs> [[Branchless Algorithms]] https://esolangs.org/w/index.php?diff=164592&oldid=164591 * RainbowDash * (+243) See also and catagories
04:54:11 <esolangs> [[Branchless Algorithms]] M https://esolangs.org/w/index.php?diff=164593&oldid=164592 * RainbowDash * (+4) paragraph header formatting
04:59:07 <esolangs> [[Branchless Algorithms]] https://esolangs.org/w/index.php?diff=164594&oldid=164593 * RainbowDash * (+113) Fix table and move stuff around
05:24:30 <esolangs> [[S*bleq]] https://esolangs.org/w/index.php?diff=164595&oldid=149200 * I am islptng * (+57)
06:25:42 <esolangs> [[S*bleq]] https://esolangs.org/w/index.php?diff=164596&oldid=164595 * ChuckEsoteric08 * (-178) There was a mistake in the original description
06:36:09 <esolangs> [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=164597&oldid=163244 * ChuckEsoteric08 * (+351) /* S*bleq */ new section
07:10:27 -!- tromp has joined.
07:24:41 <esolangs> [[Branchless Algorithms]] M https://esolangs.org/w/index.php?diff=164598&oldid=164594 * RainbowDash * (+51)
08:14:34 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:17:20 -!- tromp has joined.
08:36:55 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:53:42 -!- ais523 has quit (Quit: quit).
09:39:02 -!- tromp has joined.
09:45:56 -!- roper has joined.
09:50:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:51:21 -!- Sgeo has quit (Read error: Connection reset by peer).
09:55:12 -!- tromp has joined.
11:08:21 -!- ais523 has joined.
11:29:03 -!- Lord_of_Life_ has joined.
11:29:54 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
11:30:23 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:06:38 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:36:29 <esolangs> [[Micron Turi-Complete Aembly Lauage]] https://esolangs.org/w/index.php?diff=164599&oldid=157723 * PrySigneToFry * (+418)
12:41:49 -!- tromp has joined.
12:43:53 <esolangs> [[User:PrySigneToFry]] https://esolangs.org/w/index.php?diff=164600&oldid=164456 * PrySigneToFry * (+173)
12:44:54 <esolangs> [[Deep]] https://esolangs.org/w/index.php?diff=164601&oldid=153924 * PrySigneToFry * (+50)
12:52:42 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
13:18:26 -!- tromp has joined.
13:20:20 <esolangs> [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Universe No.284436]] https://esolangs.org/w/index.php?diff=164602&oldid=164197 * PrySigneToFry * (+378)
13:24:27 <esolangs> [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Universe No.284436]] https://esolangs.org/w/index.php?diff=164603&oldid=164602 * PrySigneToFry * (+48)
13:40:31 <esolangs> [[User:Ractangle/Sandbox/Timeline 1832]] M https://esolangs.org/w/index.php?diff=164604&oldid=164483 * Ractangle * (+30)
13:57:10 -!- roper has quit (Read error: Connection reset by peer).
14:02:56 -!- roper has joined.
14:16:25 <esolangs> [[User:Ractangle/Sandbox]] M https://esolangs.org/w/index.php?diff=164605&oldid=164422 * Ractangle * (+308)
14:18:17 <esolangs> [[User:Ractangle/Sandbox]] M https://esolangs.org/w/index.php?diff=164606&oldid=164605 * Ractangle * (+124)
15:13:41 -!- impomatic has joined.
15:15:44 -!- joast has quit (Ping timeout: 256 seconds).
15:21:46 <esolangs> [[DragonLang]] https://esolangs.org/w/index.php?diff=164607&oldid=163236 * PrySigneToFry * (+53)
15:22:21 -!- joast has joined.
15:41:20 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:43:11 -!- amby has joined.
16:06:52 -!- roper has quit (Read error: Connection reset by peer).
16:12:50 -!- roper has joined.
16:18:19 -!- tromp has joined.
17:37:39 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:47:40 -!- tromp has joined.
18:17:05 -!- roper has quit (Read error: Connection reset by peer).
18:22:47 -!- roper has joined.
18:29:50 <esolangs> [[User:Ractangle/Sandbox/Timeline 1832]] https://esolangs.org/w/index.php?diff=164608&oldid=164604 * Ractangle * (+201) /* First Contact */
19:04:49 -!- roper has quit (Quit: leaving).
19:06:46 -!- ais523 has quit (Quit: sorry about my connection).
19:06:47 -!- Sgeo has joined.
19:42:33 -!- impomatic has quit (Quit: Client closed).
19:42:56 -!- lisbeths has joined.
19:43:50 -!- lisbeths has quit (Client Quit).
20:07:17 -!- FreeFull has joined.
20:54:11 <esolangs> [[FAGI]] M https://esolangs.org/w/index.php?diff=164609&oldid=162619 * Lucaz37 * (+1) pasuni
21:00:56 -!- Lucaz37 has joined.
21:04:52 -!- Lucaz37 has quit (Quit: Client closed).
22:00:59 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
22:03:23 -!- Lord_of_Life has joined.
22:23:42 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
00:26:55 -!- tromp has joined.
00:27:24 -!- tromp has quit (Client Quit).
00:38:24 -!- amby has quit (Remote host closed the connection).
00:38:27 <esolangs> [[Game:Esochain]] https://esolangs.org/w/index.php?diff=164610&oldid=164584 * PrySigneToFry * (+32)
01:14:47 <esolangs> [[Collern]] https://esolangs.org/w/index.php?diff=164611&oldid=164486 * Dmiz * (+47)
02:05:02 -!- op_4 has quit (Remote host closed the connection).
02:05:32 -!- op_4 has joined.
02:59:23 <esolangs> [[Special:Log/newusers]] create2 * PrySigneToFry * created new account User:CollaborativePL: This account is used just for making a new language.
03:00:54 <esolangs> [[User:CollaborativePL]] N https://esolangs.org/w/index.php?oldid=164612 * PrySigneToFry * (+142) Created page with "This user is created for an User-edited language. Everyone are allowed to join! = Category = [[Category:Languages]] [[Category:User Edited]]"
03:12:15 <esolangs> [[Deep]] https://esolangs.org/w/index.php?diff=164613&oldid=164601 * PrySigneToFry * (+198)
03:38:54 -!- ais523 has joined.
06:11:04 -!- chiselfuse has quit (Remote host closed the connection).
06:11:22 -!- chiselfuse has joined.
07:18:03 -!- tromp has joined.
07:40:35 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
07:50:31 -!- Uni has joined.
07:52:00 -!- tromp has joined.
07:53:10 -!- Uni has quit (Client Quit).
08:05:18 * ais523 wonders whether the world ever says hello back
08:13:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:15:50 -!- tromp has joined.
08:16:47 -!- Sgeo has quit (Read error: Connection reset by peer).
08:17:22 -!- Sgeo has joined.
08:27:43 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:52:41 <b_jonas> if I'm documenting an interface like a file format or network protocol, and I have a field reserved for the future that must be written as zero, what's a good way to distinguish in the documentation whether the reader must verify that the field value is zero and nonzero should give an error that you don't support the file, versus when the reader should ignore the field because it's reserved for a hint
08:52:48 <b_jonas> that you can ignore in a backwards compatible way
09:19:30 <FireFly> b_jonas: prose, perhaps? well, or something like "(must be 0)" next to it, but I'd probably still add some prose suggesting it _should_ be checked in that case
09:20:09 <FireFly> below the structure that contains it, probably (presuming this is in some kind of header)
09:46:46 <ais523> b_jonas: I like the word "essential" as a method of describing the case where the reader has to verify it (although you would need to define what that means in case the implementor doesn't know)
09:47:50 <ais523> also worth noting: the problem is not so much zero/nonzero for reserved fields, but known/unknown values for fields in general (and reserved fields are a special case in which the only known value is 0)
09:50:50 <ais523> I guess there's also the problem of "what nonzero values could be syntactically legal", which is probably easy to determine for a byte-based protocol where you know how many bytes the field is, but might be much harder for something with a less rigid format
09:51:19 <ais523> because even if unknown values are permitted and ignored, you still need to know how to parse them
10:23:05 <esolangs> [[Three variable modification language]] https://esolangs.org/w/index.php?diff=164614&oldid=127326 * ChuckEsoteric08 * (+66) /* Computational Class */
10:23:07 <esolangs> [[]] https://esolangs.org/w/index.php?diff=164615&oldid=163518 * PrySigneToFry * (+2263)
10:24:12 <esolangs> [[Three variable modification language]] https://esolangs.org/w/index.php?diff=164616&oldid=164614 * ChuckEsoteric08 * (+39)
10:25:08 <esolangs> [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=164617&oldid=164473 * ChuckEsoteric08 * (+42) /* Turing-completness Proofs */
10:44:17 -!- Sgeo has quit (Read error: Connection reset by peer).
10:45:13 <b_jonas> yes, it could be for something where 0 isn't the only defined value
10:45:58 <b_jonas> and this is mostly for file formats, because in a network protocol you can often make use of interactivity, as in if you add a new feature then you define it such that the initiator can tell from the other party's response whether they support that feature
11:08:41 <FireFly> I mean, the description of the field made me think of formats with a "format version" field or similar as well
11:11:23 <FireFly> I guess another way to express it would be "the header structure might look different if (the reserved field) is nonzero", which I guess might discourage people being sloppy with checking it
11:12:37 <FireFly> in my own notes when looking at file formats I often add things like "(= 0)" next to fields if they have a seemingly constant value (and if I'd be interested in cases where it doesn't hold), but that's more from a reverser's point-of-view rather than a specification's
11:20:15 <esolangs> [[Special:Log/newusers]] create * Rasa8877 * New user account
11:26:58 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164618&oldid=164589 * Rasa8877 * (+139) /* Introductions */
11:29:21 -!- Lord_of_Life_ has joined.
11:30:15 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
11:30:40 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:03:48 <ais523> <the B programming language manual> An octal constant is the same as a decimal constant except that it begins with a zero. It is then interpreted in base 8. Note that 09 (base 8) is legal and equal to 011.
12:04:10 <ais523> …does that carry like Addition Automaton, or count as two digits?
12:05:42 <ais523> I was considering using "C except that the only type is an int/pointer union" as a compiler backend, which is essentially B, so I thought I might as well try to learn actual B to see if it gave any inspiration
12:12:12 <ais523> in general this is very like C, although one oddity is that NUL and end-of-string are different characters (the manual doesn't say how end-of-string is encoded – maybe it was an actual character in the character set of the time)
12:12:50 <esolangs> [[ThingLang]] N https://esolangs.org/w/index.php?oldid=164619 * Rasa8877 * (+2031) Created page with "== ThingLang == '''ThingLang''' is an esoteric programming language created by [[User:Rasa8877]] in 2025. It is designed to be playful and readable, using English-like keywords for variables, printing, functions, loops, and comments. === Overview === ThingLang us
12:13:04 <ais523> and of course, not having a char type (and only being able to address at the machine word level) would mean awkward bitshifting to get at the characters of a string
12:13:21 <ais523> apparently B being bad at string handling was one of the main things that motivated the creation of C
12:15:07 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=164620&oldid=164581 * Rasa8877 * (+16)
12:16:32 <ais523> oh wow, B has assigning versions of basically all the operators, e.g. x === y sets x to 1 if x and y are equal or 0 otherwise
12:17:35 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=164621&oldid=164620 * Rasa8877 * (+16) /* T */
12:19:55 <ais523> …and it has C-style switch with jump-to-case: and fallthrough, *but* does not have a break statement – that's a nasty combination
12:20:12 <ais523> I think any sufficiently old language looks like an esolang if viewed through modern eyes :-D
12:21:21 <esolangs> [[User:Rasa8877]] N https://esolangs.org/w/index.php?oldid=164622 * Rasa8877 * (+721) Created page with "== User:Rasa8877 == Hi! I'm Rasa8877, a developer and esolang enthusiast. I create esoteric programming languages for fun and experimentation. === About Me === - Interested in programming languages, interpreters, and esoteric languages. - Creator of the es
12:22:46 <ais523> presumably you were supposed to leave using goto (in cases where return was inappropriate)
12:24:31 <ais523> <ais523> (the manual doesn't say how end-of-string is encoded – maybe it was an actual character in the character set of the time) ← it does mention that it was the same character as end-of-file, though
12:27:08 <ais523> <ais523> oh wow, B has assigning versions of basically all the operators, e.g. x === y sets x to 1 if x and y are equal or 0 otherwise ← "has" in that they're documented – the manual later admits that some of them, including ===, weren't actually implemented
12:28:01 <esolangs> [[User talk:Rasa8877]] N https://esolangs.org/w/index.php?oldid=164623 * Rasa8877 * (+673) Created page with "== Welcome to the talk page of Rasa8877! == Hi! This is the talk page for Rasa8877, creator of the esolang ThingLang. Feel free to leave messages, suggestions, questions, or comments about ThingLang or any other esolangs-related topic. === Guidelines ==
12:29:53 <esolangs> [[User:Rasa8877]] https://esolangs.org/w/index.php?diff=164624&oldid=164622 * Rasa8877 * (+0) /* About Me */
12:30:41 <esolangs> [[User:Rasa8877]] https://esolangs.org/w/index.php?diff=164625&oldid=164624 * Rasa8877 * (+0) /* User:Rasa8877 */
12:31:08 <esolangs> [[User:Rasa8877]] https://esolangs.org/w/index.php?diff=164626&oldid=164625 * Rasa8877 * (-2) /* About Me */
13:07:10 <esolangs> [[User talk:Rasa8877]] https://esolangs.org/w/index.php?diff=164627&oldid=164623 * PrySigneToFry * (+252) /* Collaborative programming language */ new section
13:07:37 <esolangs> [[User talk:Rasa8877]] https://esolangs.org/w/index.php?diff=164628&oldid=164627 * PrySigneToFry * (+0)
13:14:33 -!- isabella has changed nick to izabera.
13:24:19 -!- amby has joined.
15:34:39 -!- lisbeths has joined.
15:35:54 -!- lisbeths has quit (Client Quit).
15:53:11 <ais523> korvo and anyone else interested: I finished my blog post about how linear logic's ? can be used to model Rust's shared references (warning: it's very long for a blog post): http://ais523.me.uk/blog/logic-of-shared-references.html
15:53:47 -!- DOS_User has joined.
15:54:29 <korvo> Put on the pile, thanks.
16:09:59 -!- DOS_User has quit (Remote host closed the connection).
16:35:39 <b_jonas> ais523: "C except that the only type is an int/pointer union" => isn't that the original IOCCC form of Bellard's self-hosting tiny C compiler?
16:37:31 <b_jonas> ais523: IIUC tcc has three different dereferencing operators: *(int *), *(char *), and *(int (*)())
16:37:39 <b_jonas> so it can read/write characters as a built-in
16:38:00 <b_jonas> whereas W just has some very small library functions to read or write characters
16:38:35 <b_jonas> it makes sense to have three separate dereferencing operators, because there's just one type, so the type can't encode what sort of pointer you want
16:39:38 <b_jonas> http://www.ioccc.org/2001/bellard/index.html
16:54:40 <esolangs> [[R + S]] M https://esolangs.org/w/index.php?diff=164629&oldid=163855 * C++DSUCKER * (+2)
16:55:12 <esolangs> [[R + S]] https://esolangs.org/w/index.php?diff=164630&oldid=164629 * C++DSUCKER * (+16)
17:01:54 <ais523> <b_jonas> it makes sense to have three separate dereferencing operators, because there's just one type, so the type can't encode what sort of pointer you want ← right
17:02:14 <ais523> but B avoids that problem because it has just one type, so any pointer must be a pointer to that type
17:02:46 <ais523> I think the language implicitly assumes function pointers and data pointers are the same size (and functions are always called via function pointer, which removes that ambiguity)
17:17:44 -!- efrain has joined.
17:26:40 <b_jonas> ais523: TCC only compiles for one architecture as target, x866_32, where int, data pointer, and function pointer are the same size
17:26:56 <b_jonas> the full TCC might do more, this is about OTCC, the IOCCC entry
17:27:18 <b_jonas> (the full TCC supports different types, including pointers to different structures0
17:29:43 <b_jonas> oh yeah, there's Forth. Forth also has just one type.
17:29:55 <b_jonas> (there's of course an IOCCC version of that too)
17:43:50 <ais523> I've written C for a DSP where basically all the types were the same
17:44:03 <ais523> it had 32 bit char, short, int and pointer, probably long too
17:44:13 <ais523> (and I'm not sure the compiler supported C99 so it may not have supported long long)
17:44:30 <ais523> the compiler was a modified gcc but possibly a very old one
17:48:59 <b_jonas> hmm, didn't the first C compiler port for Magic-1 do that?
17:49:08 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=164631&oldid=164455 * Rasa8877 * (+194)
17:49:45 <b_jonas> it was an existing compiler ported to a new system, since Magic-1 has a unique CPU (though now there are two hardware copies so it's not entirely unique)
17:53:38 -!- rheaplex has joined.
17:59:02 <esolangs> [[Special:Log/newusers]] create * EsotericLanguagesBituf * New user account
18:23:07 -!- rheaplex has quit (Ping timeout: 260 seconds).
18:27:45 <esolangs> [[User talk:Aadenboy]] https://esolangs.org/w/index.php?diff=164632&oldid=161188 * Aadenboy * (+127)
18:51:47 <esolangs> [[Special:Log/newusers]] create * Alwaqad * New user account
19:01:01 <APic> 10 PRINT "Good Night, World!"
19:10:45 -!- ais523 has quit (Quit: quit).
19:15:37 -!- tromp has joined.
19:20:01 -!- Sgeo has joined.
19:29:46 <esolangs> [[User:]] https://esolangs.org/w/index.php?diff=164633&oldid=164428 * * (+51)
20:00:12 <esolangs> [[Special:Log/newusers]] create * Iloveunicorns * New user account
21:28:00 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164634&oldid=164618 * Wasabi134 * (+188) /* Introductions */
21:37:26 <esolangs> [[R + S]] https://esolangs.org/w/index.php?diff=164635&oldid=164630 * C++DSUCKER * (+12)
21:41:12 <Sgeo> Would a tutorial on group theory from 1979 still be useful?
21:42:13 <Sgeo> I wonder what educational material from the 70s is still worthwhile.
21:46:45 <korvo> The basics haven't changed since then. It might be incommensurate with modern language, depending on whether it follows Bourbaki. (Or am I thinking of rings?)
21:50:58 <int-e> Some stuff might be out of date; for example, it might list the Classification of finite simple groups as an open problem.
21:51:13 <Sgeo> It's currently going over stuff like what cyclic subgroups are
21:51:17 <int-e> But the basics really haven't changed, at all.
21:51:34 <int-e> Not even didactically, I'd think.
21:54:19 <int-e> Maybe some students get to play with tools like GAP early these days, depending on the preferences of the lecturer.
21:54:35 <Sgeo> Its definition of isomorphism between groups is that there's a one-to-one correspondence, AB implies A'B', and A'B' implies AB. I guess.. for some reason I was thinking just one to one correspondence, but this makes sense
21:55:05 <int-e> That's the main thing that I think has changed... we have much better tools to work with concrete groups using computers.
21:56:19 <Sgeo> Hmm, it accepted a lowercase c for one question but rejected it in the next
21:58:40 <int-e> "implies" is the wrong word
22:00:04 <int-e> "AB implies A'B'" makes no sense
22:00:14 <Sgeo> It defines a homomorphic groups as being a many-to-one. Does that mean homomorphism itself is directional?
22:00:35 <Sgeo> I assume it's the same as "If AB then A'B'"
22:01:50 <int-e> Given two groups G and H a homomorphism from G to H is usually defined as a function h: G -> H that satisfies h(xy) = h(x)h(y) for all x,y in G. You can write h(x) as x' and it becomes (AB)' = A'B'
22:01:52 <Sgeo> It's now talking about faithful and unfaithful matrix representations
22:02:13 <int-e> But those are group elements, not propositions, so "implies" makes no sense.
22:02:45 <int-e> Not also that xy is using G's group operation while h(x)h(y) is using that of H.
22:03:20 <Sgeo> Oops, I miswrote what the lesson said
22:03:26 <Sgeo> | write established between their elements such that
22:03:26 <Sgeo> | AB = C implies that A'B' = C', and ALSO
22:03:26 <Sgeo> | A'B'= C' implies that AB = C.
22:03:41 <int-e> Okay, that is fine.
22:04:54 <int-e> The differene between "AB = C implies A'B' = C'" and (AB)' = A'B' is that it's giving AB a name.
22:07:15 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164636&oldid=164634 * Iloveunicorns * (+178)
22:08:20 * Sgeo might want to try 0ibmcur in a bit. Retrocomputing to learn retrocomputting
22:09:42 <Sgeo> Not allowed to inspect it (on Cyber1. I'm sure I could inspect it on a local CYBIS)
22:20:26 <Sgeo> There's also a BASIC simulator, and the help makes it seem like it's simulating a specific BASIC, but I can't figure out which one. There's a USING statement that runs one different line, but people keep getting confused with PRINT USING when I describe it
22:20:37 <Sgeo> https://github.com/Sgeo/0basim
22:22:45 <korvo> I think the biggest thing in group theory since the 70s is Abelian and additive categories; there's structure to group homomorphisms and exact sequences which was only known then for specific situations ((co)homology mostly) which gets its own treatment today.
22:23:50 <Sgeo> The lesson defines Abelian categories (as meaning that the operation is commutative)
22:23:54 <korvo> Last I checked, the classification of finite simple groups was still not complete. The folks involved all believe that the core lemmas are proven, but there's no rack of books that one can put on their shelf and say "and this shelf holds the complete classification." It's certainly not fully formalized in e.g. Lean yet.
22:23:59 <Sgeo> *Alebian groups
22:24:43 <korvo> Yeah. An Abelian category is a category like the category Ab of Abelian groups; it generalizes Abelian-group theory to other contexts.
22:24:46 -!- molson has joined.
22:26:37 <Sgeo> Oh hey, there's a Chess variant on this thing
22:26:38 <Sgeo> In this learning activity the student works with algebraic
22:26:38 <Sgeo> chess notation and with elementary checkmates. The student
22:26:38 <Sgeo> may also play a chess variant, "Alice in Wonderland Chess,"
22:26:38 <Sgeo> which has two boards.
22:30:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:31:20 <Sgeo> https://gist.github.com/Sgeo/db3d720455e651bb3323f4a22e58d368
23:02:58 -!- FreeFull has quit.
23:11:16 <korvo> Can't believe I have to wait four more hours before I can give feedback on this blog post. Maybe tamales will help.
23:15:09 <int-e> Sgeo: initially, will one of the boards be empty?
23:15:49 <Sgeo> int-e, yes, botttom board is empty
23:16:06 <int-e> the one fun thing is that a queen by itself can capture a king
23:16:33 <Sgeo> All I figured out is that a typical chess opening is probably a really bad idea. Leaves king or queen exposed
23:16:45 <int-e> hmm, or does this only work in one parity, hmm
23:17:18 <int-e> Eh I won't think about it much.
23:18:30 <int-e> if queen and king are on opposite planes then the queen can chase down the king and move on top of it, and capture it on the next move
23:18:55 <int-e> so that's kind of cute. also completely unlike chess
23:19:30 <int-e> (I'm looking at this on the queen's move)
23:20:36 <int-e> (I'm assuming that the usual rules about moving into check are not in effect and replaced by capturing the king)
23:39:00 <Sgeo> I can certainly try it out. Or read the source. I don't think this one supports remote multiplayer though
23:40:55 <Sgeo> Oops tried to check black but forgot my queen would fall
23:41:26 <Sgeo> It let me move the king into check
23:42:30 <Sgeo> Uh. I tried to capture with black king with the white queen. The black king survived, the white queen didn't. Unless I typoed
23:43:38 <Sgeo> It's not enforcing which player can move which pieces
23:44:33 <Sgeo> There's stuff in the help about some rules not being enforced
00:03:38 <int-e> Sgeo: "it's not enforcing which player can move which pieces" -- that sounds like a problem :P
00:04:30 <int-e> (it's good for a laugh in tic-tac-toe)
00:08:53 <b_jonas> Sgeo: what language is that written in?
00:09:12 <b_jonas> I mean the basic simulator
00:16:32 -!- lynndotpy60 has quit (Quit: bye bye).
00:17:40 -!- lynndotpy60 has joined.
00:19:21 -!- lynndotpy60 has quit (Client Quit).
00:20:28 -!- lynndotpy60 has joined.
00:27:28 <Sgeo> b_jonas, TUTOR
00:30:03 <Sgeo> The code might look a bit weird because I only know how to get source code out by "printing" it, printers of the day were limited in character sets, so the system faked some characters by overlapping. Also alternate fonts were allowed in source code, and basim apparently decided to use that to make fancy NEXT and BACK graphics
00:30:32 <Sgeo> Also because TUTOR is a bit of a weird language
00:33:50 <Sgeo> Here's one fun oddity... conditional statements
00:34:00 <Sgeo> command expression,tagneg,tag0,tag1...
00:34:20 <Sgeo> expression is rounded, if it's negative command uses tagneg, if it's 0 command uses tag0, etc
00:34:36 <Sgeo> Comparison operators use -1 as a true value, so that's convenient
01:24:28 -!- amby has quit (Remote host closed the connection).
02:21:49 -!- ^[ has quit (Quit: ^[).
02:52:07 -!- ^[ has joined.
05:07:58 <korvo> ais523: This was a good blog post. I'd like to share it with Lobsters, if that's alright. I noticed that you don't appear to have a handle there; LMK if you'd like an invite.
05:09:19 <korvo> It was quite interesting to see a presentation without negation or linear implication. I suppose that Rust would not have a reasonable use for negation, and also that the self-duality of linear logic would not correspond to the ability to run Rust code backwards.
05:12:18 <korvo> It's kind of surprising that ? is not a functor. I would normally expect it to carry a (IIRC) monad, actually; there should be natural T -o ?T and ??T -o ?T for all T. But I suppose that Rust has other plans. After all, type negation isn't how Rust represents holes, so why-not doesn't have to be how Rust represents piracy.
05:14:33 <korvo> I really like the idea of ⅋ as collating an object with many methods, of which the caller may use exactly one. That's new to me. It also gives an idea of interpreting negation as stronger-than-necessary preconditions.
05:16:16 <korvo> BTW I don't think ⅋ has a standard name. I call it "paramends". It's got "par" like Girard would want, and a couple other puns, like being an anagram of "ampersand".
05:18:36 <korvo> As I'm sure you know, ! embeds intuitionistic logic; whenever X -> Y, also !X -o Y. This suggests a kind of grand compilation scheme from Cartesian-closed to compact-closed categories which is fairly low-level: negation is allocated memory, why-not is piracy, of-course is ROM or defunctionalized constants, linear implication is mutation.
05:21:03 <korvo> I'm not sure exactly *what* the mutator looks like, though. To use an analogy, when linear logic says X -o Y, it means that we can take an X and chop off one arm and get a Y; the contraposition ~Y -o ~X means that we can take a Y-shaped hole and dig a fourth arm and make an X-shaped hole. (Your font may vary.) So a mutation has to represent both the forwards chop-off-an-arm and backwards dig-a-trench actions simultaneously.
05:21:31 <b_jonas> Sgeo: so you can use that as either a two-way true/false conditional, a three-way negative/zero/positive conditional, or an on-goto with an enumeration
05:22:02 <b_jonas> probably useful for an interpreter like this that needs to have a few long ones to switching on statements and switch on built-in functions or other keywords
05:23:32 <korvo> ais523: I dunno. In summary, this was rad. This was the first time in a long time that I've believed that linear logic is ever a correct choice for computers; I'm normally in the Cartesian-closed/multicategory/operad camp. But you're absolutely right about the naturality of this ? piracy.
05:38:09 <korvo> Oh, one more thought. ! acts like a source and ? acts like a sink; for !T we may obtain as many T as we like, while ?T lets us discard as many extra T as we have. If ! is for things that can be copied, is ? for things that can be...destroyed? Sent? Something might be going on there.
05:38:28 <korvo> Alright, sleep time. Peace.
07:09:21 <esolangs> [[Special:Log/newusers]] create * Geno * New user account
07:31:09 -!- tromp has joined.
07:47:42 -!- Sgeo has quit (Read error: Connection reset by peer).
07:50:58 -!- ais523 has joined.
08:01:13 <ais523> korvo: feel free to post the link on sites like lobste.rs – blog posts are generally intended to be shared
08:02:14 <ais523> I was surprised at linear logic being this relevant too (which is partly why it took me so long to think of it) – every other use of it that I've seen has just been as a method of defining the particular substructural type system that you actually wanted to use (which is often but not always intuitionistic logic)
08:03:29 <ais523> (part of the reason that the blog post took so long to write was that I was trying to understand ⅋ well enough to be able to explain it to other people)
08:04:14 <ais523> fwiw, in terms of standard names, I might be unusual in that i don't need to name symbols at all if there's a standard way of writing/typing them
08:05:08 <ais523> writing about Rust is difficult because the borrow operator & is to me just a symbol, I can use it just fine, but when I try to use it in a sentence it's sometimes preceded by a/an and then I get stuck because I don't know whether or not it starts with a vowel (I don't have a mental pronunciation of it)
08:07:21 <ais523> also, the ! / ? duality is that a ! is a resource that can be used an arbitrary number of times, whereas processing a ? may require an arbitrarily large amount of resources (thus, anything you might use to process the ?, you need an infinite supply of)
08:19:47 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:27:26 <ais523> returning a ?T is like saying "I have extra T and I am going to make *you* deal with them"
08:28:03 <ais523> so a ?T isn't a T sink, it's the converse of a T sink – you don't use it to get rid of a T, you return it to get rid of a T
08:49:33 -!- fungot has quit (Ping timeout: 252 seconds).
08:57:32 -!- tromp has joined.
09:18:09 -!- tromp has quit (Ping timeout: 265 seconds).
09:59:04 -!- fungot has joined.
09:59:11 <fizzie> Our internet service was down.
10:00:05 <fizzie> It'd be nice if the ISP had a proper outage status thing, they've got a "checker" but all it ever says is "service may be disrupted", with no details about whether they know what the problem is or if they might have an estimate for when it's fixed.
10:03:29 <fungot> ais523: what's ml good for business apps?" at http://paste.lisp.org/ display/ 2832 files for each target basically, i try to build ccbi
10:09:56 <esolangs> [[Chicken you too beautiful]] https://esolangs.org/w/index.php?diff=164637&oldid=137884 * Kaveh Yousefi * (+234) Added a hyperlink to my implementation of the Chicken you too beautiful programming language on GitHub and supplemented page category tag Implemented.
10:40:21 -!- Everything has joined.
10:45:24 -!- tromp has joined.
11:12:17 -!- Everything has quit (Quit: leaving).
11:21:24 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=164638&oldid=164631 * I am islptng * (+175) /* I saw your message */
11:30:09 -!- Lord_of_Life_ has joined.
11:30:34 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
11:32:59 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:50:16 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
11:56:52 -!- amby has joined.
12:00:03 -!- tromp has joined.
12:17:14 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:28:51 <esolangs> [[Special:Log/newusers]] create * AUnitSquare * New user account
12:33:09 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164639&oldid=164636 * AUnitSquare * (+306)
13:30:45 -!- tromp has joined.
15:00:55 <korvo> ais523: Oh, that's an interesting way of thinking of things. I normally think of ?T as an endpoint, not a thing that can be passed around. Good food for thought.
15:02:18 <korvo> https://lobste.rs/s/ccy3b6/pirate_based_logic_rust_shared
15:58:27 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:18:06 -!- tromp has joined.
16:19:17 -!- impomatic has joined.
16:28:50 <esolangs> [[Game:Esochain]] https://esolangs.org/w/index.php?diff=164640&oldid=164610 * Hotcrystal0 * (+36)
16:41:19 <esolangs> [[Game:Esochain]] https://esolangs.org/w/index.php?diff=164641&oldid=164640 * Aadenboy * (+42) kill server 2 + replace non-esolang on server 5
16:41:29 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:34:48 -!- tromp has joined.
17:53:57 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
17:56:21 -!- Lord_of_Life has joined.
18:03:26 -!- JGardner has joined.
18:24:13 -!- ais523 has quit (Quit: quit).
18:30:06 -!- impomatic has quit (Quit: Client closed).
18:42:59 -!- trumae has joined.
20:21:49 -!- trumae has quit (Remote host closed the connection).
20:52:13 <esolangs> [[User:Iloveunicorns]] N https://esolangs.org/w/index.php?oldid=164642 * Iloveunicorns * (+573) Created page with "<p>I love unicorns. Esolangs too.<br> Im learning CSS, HTML and MediaWiki for decorating this page<br><br>I using Python for my interpreters, but i can tell ChatGPT write me interpreter on HTML or JS/Java.<br><br>I remember I made a visual interpreter fo
21:43:06 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:58:00 -!- efrain has quit (Quit: efrain).
22:21:42 -!- Sgeo has joined.
23:40:14 <esolangs> [[Il]] N https://esolangs.org/w/index.php?oldid=164643 * Iloveunicorns * (+2192) Created page with "{{infobox proglang | name = Il | paradigms = Imperative, Accumulator-based | author = [[User:Iloveunicorns]] | year = 2025 | class = Total | majorimpl = Python | influenced = [[BittyLang]], [[Deadfish]], etc. }} '''Il''' is an esolang was
00:03:31 -!- joast has quit (Quit: Leaving.).
00:57:11 -!- amby has quit (Remote host closed the connection).
01:19:24 -!- joast has joined.
04:18:56 -!- perlbot has quit (Ping timeout: 258 seconds).
04:19:57 -!- perlbot has joined.
04:27:22 -!- simcop2387 has quit (Ping timeout: 258 seconds).
04:27:51 -!- simcop2387 has joined.
06:51:43 -!- Sgeo has quit (Read error: Connection reset by peer).
07:17:24 -!- tromp has joined.
08:34:04 -!- roper has joined.
08:35:11 -!- fizzie has quit (Ping timeout: 244 seconds).
08:35:42 -!- ursa-major has quit (Ping timeout: 244 seconds).
08:36:13 -!- j4cbo has quit (Ping timeout: 244 seconds).
08:36:13 -!- mich181189 has quit (Ping timeout: 244 seconds).
08:36:13 -!- dcreager has quit (Ping timeout: 244 seconds).
08:36:13 -!- Lymia has quit (Ping timeout: 244 seconds).
08:36:44 -!- V has quit (Ping timeout: 244 seconds).
08:36:59 -!- V has joined.
08:37:22 -!- dcreager has joined.
08:38:08 -!- Lymia has joined.
08:38:52 -!- mich181189 has joined.
08:39:00 -!- j4cbo has joined.
08:43:42 -!- ursa-major has joined.
08:45:31 -!- ais523 has joined.
08:51:48 -!- fizzie has joined.
09:19:41 <esolangs> [[Il]] https://esolangs.org/w/index.php?diff=164644&oldid=164643 * Iloveunicorns * (+1) /* Language Description */
09:38:08 <esolangs> [[Tessenbly]] https://esolangs.org/w/index.php?diff=164645&oldid=156816 * Somebody142857 * (+99)
10:01:30 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164646&oldid=164639 * CCigC * (+13)
10:04:56 -!- amby has joined.
10:05:14 -!- JGardner has quit (Ping timeout: 260 seconds).
10:29:33 <esolangs> [[User:Iloveunicorns]] https://esolangs.org/w/index.php?diff=164647&oldid=164642 * Iloveunicorns * (+22)
10:40:56 <esolangs> [[BrainfisHQ9+]] https://esolangs.org/w/index.php?diff=164648&oldid=104723 * Kaveh Yousefi * (+418) Added a hyperlink to my implementation of the BrainfisHQ9+ programming language on GitHub and marked the extant implementation's provenance as absent.
10:55:27 <esolangs> [[Talk:Il]] N https://esolangs.org/w/index.php?oldid=164649 * Iloveunicorns * (+396) Created page with "This page is a discussion of esolang [[Il]], not a dating site or anything like that. <br> This is where you share your opinion about Il. Or add contribution to this. __TOC__ ==just other's opinions about esolang== Just increment and decrement... ~~~~ ==WHO CA
11:06:13 <esolangs> [[User:Iloveunicorns]] https://esolangs.org/w/index.php?diff=164650&oldid=164647 * Iloveunicorns * (+805)
11:30:59 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
11:31:12 -!- Lord_of_Life_ has joined.
11:34:00 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:57:18 -!- amby has quit (Remote host closed the connection).
11:58:26 -!- amby has joined.
12:11:53 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:15:30 -!- amby has quit (Remote host closed the connection).
12:17:46 -!- slavfox has quit (Ping timeout: 256 seconds).
12:18:03 -!- slavfox has joined.
12:24:43 -!- amby has joined.
12:36:42 <esolangs> [[Semi-serious language list]] https://esolangs.org/w/index.php?diff=164651&oldid=164096 * Ais523 * (+28) /* S */ +[[The Subtyping Machine]]
13:01:44 -!- wryl has quit (Ping timeout: 248 seconds).
13:01:57 -!- wryl has joined.
13:25:30 -!- tromp has joined.
13:46:00 -!- korvo has quit (Ping timeout: 248 seconds).
13:49:20 -!- shachaf_ has joined.
13:49:47 -!- Artea has quit (Ping timeout: 248 seconds).
13:49:47 -!- shachaf has quit (Ping timeout: 248 seconds).
14:01:46 -!- Arty has joined.
14:49:12 -!- chloetax has quit (Read error: Connection reset by peer).
14:49:21 -!- esolangs has quit (Ping timeout: 248 seconds).
14:50:01 -!- esolangs1 has joined.
14:50:01 -!- ChanServ has set channel mode: +v esolangs1.
14:50:48 -!- roper has quit (Read error: Connection reset by peer).
14:51:36 -!- Trigon_ has joined.
14:52:10 -!- tromp has joined.
14:55:00 -!- chloetax has quit (Read error: Connection reset by peer).
14:55:00 -!- chloetax3 has changed nick to chloetax.
14:55:00 -!- esolangs has quit (Ping timeout: 248 seconds).
14:55:00 -!- Trigon has quit (Ping timeout: 248 seconds).
14:55:01 -!- citrons has quit (Ping timeout: 248 seconds).
14:55:02 -!- lambdabot has quit (Remote host closed the connection).
14:55:55 -!- esolangs1 has changed nick to esolangs.
14:56:15 -!- roper has joined.
14:57:03 -!- lambdabot has joined.
14:58:21 -!- citrons has joined.
15:05:53 -!- chloetax has quit (Ping timeout: 260 seconds).
15:07:21 -!- Trigon_ has quit (Ping timeout: 244 seconds).
15:07:21 -!- Trigon has joined.
15:14:02 -!- shikhin has quit (Ping timeout: 260 seconds).
15:18:42 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:18:42 -!- shikhin_ has joined.
15:18:42 -!- shikhin_ has changed nick to shikhin.
15:40:12 -!- tromp has joined.
15:47:52 -!- tromp has quit (Ping timeout: 260 seconds).
15:55:35 -!- esolangs has joined.
15:55:35 -!- ChanServ has set channel mode: +v esolangs.
15:58:55 -!- korvo has joined.
16:20:23 <esolangs> [[User:Iloveunicorns]] https://esolangs.org/w/index.php?diff=164652&oldid=164650 * Iloveunicorns * (+262)
16:20:55 <b_jonas> wait, tom7's video is out. is there a list for that?
16:28:43 -!- JGardner has joined.
16:35:21 <esolangs> [[Talk:Smolder]] https://esolangs.org/w/index.php?diff=164653&oldid=158762 * Aadenboy * (+317)
16:46:34 -!- FreeFull has joined.
16:50:20 -!- user3456_ has joined.
16:51:19 -!- shachaf has joined.
16:52:32 -!- Bowserinator has joined.
16:54:17 -!- korvo has quit (*.net *.split).
16:54:17 -!- shachaf_ has quit (*.net *.split).
16:54:17 -!- j4cbo has quit (*.net *.split).
16:54:17 -!- mich181189 has quit (*.net *.split).
16:54:17 -!- joast has quit (*.net *.split).
16:54:18 -!- user3456 has quit (*.net *.split).
16:54:18 -!- Bowserinator_ has quit (*.net *.split).
16:54:18 -!- tetsuo-cpp has quit (*.net *.split).
16:54:19 -!- user3456_ has changed nick to user3456.
16:59:44 -!- korvo has joined.
16:59:44 -!- j4cbo has joined.
16:59:44 -!- mich181189 has joined.
16:59:44 -!- joast has joined.
16:59:44 -!- tetsuo-cpp has joined.
17:00:12 -!- roper has quit (Read error: Connection reset by peer).
17:08:45 -!- HackEso has quit (Ping timeout: 244 seconds).
17:10:52 -!- citrons has quit (Ping timeout: 244 seconds).
17:11:10 -!- roper has joined.
17:13:19 <esolangs> [[User:Iloveunicorns]] https://esolangs.org/w/index.php?diff=164654&oldid=164652 * Iloveunicorns * (+384)
17:17:03 -!- citrons has joined.
17:21:50 <esolangs> [[User:Iloveunicorns]] https://esolangs.org/w/index.php?diff=164655&oldid=164654 * Iloveunicorns * (+10) /* My greeting in esolangs.org was...: link fix */
17:23:32 -!- HackEso has joined.
17:23:43 <esolangs> [[User:Iloveunicorns]] https://esolangs.org/w/index.php?diff=164656&oldid=164655 * Iloveunicorns * (-1) /* My greeting in esolangs.org was...: link fix */
17:29:14 -!- impomatic has joined.
17:40:05 -!- HackEso has quit (Remote host closed the connection).
17:40:42 -!- HackEso has joined.
18:08:29 -!- impomatic has quit (Quit: Client closed).
18:33:09 <esolangs> [[Arthmtc]] N https://esolangs.org/w/index.php?oldid=164657 * Iloveunicorns * (+786) Created page with "{{WIP}} {{lowercase}} {{infobox proglang |name=arthmtc |paradigms=Accumulator-based |author=[[User:Iloveunicorns]] |year=2025 |class=Finite state machine |majorimpl=Python |influenced=[[Deadfish]] }} :''plz check this infobox and change it because i think its uncor
18:36:46 <esolangs> [[How dare you fuck the brain]] https://esolangs.org/w/index.php?diff=164658&oldid=164555 * Ractangle * (-2) /* Interpreter */
18:48:49 -!- JGardner has quit (Ping timeout: 248 seconds).
19:00:00 <esolangs> [[How dare you fuck the brain]] M https://esolangs.org/w/index.php?diff=164659&oldid=164658 * Ractangle * (-9) /* Interpreter */
19:02:23 -!- JGardner has joined.
19:12:17 -!- roper has quit (Quit: zz).
19:27:29 -!- JGardner has quit (Ping timeout: 250 seconds).
19:40:18 <esolangs> [[WholesomeFuck]] https://esolangs.org/w/index.php?diff=164660&oldid=105207 * MijiGamin1 * (+36) added truth machine
19:54:33 -!- Everything has joined.
20:24:38 -!- JGardner has joined.
20:35:53 -!- FreeFull has quit.
20:45:07 <esolangs> [[User:MihaiEso]] https://esolangs.org/w/index.php?diff=164661&oldid=163395 * MihaiEso * (+10) /* Other things that I prefer */
20:45:26 <esolangs> [[User:MihaiEso]] https://esolangs.org/w/index.php?diff=164662&oldid=164661 * MihaiEso * (+1) /* My age */
20:56:27 <esolangs> [[Translated ZhongWen/Mihai Again3]] https://esolangs.org/w/index.php?diff=164663&oldid=141208 * MihaiEso * (-1)
21:14:27 <esolangs> [[Special:Log/newusers]] create * BadT2^8 * New user account
21:20:29 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164664&oldid=164646 * BadT2^8 * (+311)
21:30:40 <esolangs> [[User talk:MihaiEso]] https://esolangs.org/w/index.php?diff=164665&oldid=160728 * I am islptng * (+204) /* Websim??? */ new section
21:32:09 <esolangs> [[Poetic (Mihai Popa)]] M https://esolangs.org/w/index.php?diff=164666&oldid=151469 * I am islptng * (+0) PUT MY NAME DOWN!!! I'M NOT ISLPTNG I'M islptng, GOT IT?
21:34:03 -!- Everything has quit (Quit: leaving).
22:25:22 -!- ais523 has quit (Quit: quit).
22:29:10 -!- Sgeo has joined.
22:55:15 <fizzie> I made an audible chuckle at: "I found this by computer search, namely, after trying myself I looked it up on the Internet and found that someone else had solved it."
23:07:56 <esolangs> [[Special:Log/upload]] upload * SzszszszszszszsZ * uploaded "[[File:Colouring-helloworld.png]]"
23:27:05 <esolangs> [[Special:Log/upload]] upload * SzszszszszszszsZ * uploaded "[[File:Colouring.png]]": Name and logo of the esolang [[Colouring]].
00:16:38 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
00:18:39 -!- molson_ has joined.
00:20:10 -!- molson has quit (Ping timeout: 248 seconds).
00:46:42 -!- molson__ has joined.
00:53:50 -!- molson_ has quit (Read error: Connection reset by peer).
02:35:00 <esolangs> [[Geometry Dash]] https://esolangs.org/w/index.php?diff=164669&oldid=132084 * PkmnQ * (+132) /* Documentation */
03:47:52 -!- chloetax has joined.
05:21:12 <esolangs> [[Arthmtc]] https://esolangs.org/w/index.php?diff=164670&oldid=164657 * Ractangle * (-1)
05:41:34 -!- Sgeo_ has joined.
05:46:37 -!- juneg has joined.
05:49:17 -!- Sgeo has quit (*.net *.split).
05:49:17 -!- JGardner has quit (*.net *.split).
05:49:17 -!- korvo has quit (*.net *.split).
05:49:18 -!- j4cbo has quit (*.net *.split).
05:49:18 -!- mich181189 has quit (*.net *.split).
05:49:18 -!- joast has quit (*.net *.split).
05:49:18 -!- tetsuo-cpp has quit (*.net *.split).
05:50:43 -!- korvo has joined.
05:50:43 -!- j4cbo has joined.
05:50:43 -!- mich181189 has joined.
05:50:43 -!- joast has joined.
05:50:43 -!- tetsuo-cpp has joined.
07:00:23 -!- Sgeo_ has quit (Read error: Connection reset by peer).
07:29:38 <esolangs> [[User:Iloveunicorns]] https://esolangs.org/w/index.php?diff=164671&oldid=164656 * Iloveunicorns * (+13) /* My esolangs */
08:12:45 -!- tromp has joined.
08:19:27 <esolangs> [[Special:Log/newusers]] create * Simoteam * New user account
08:22:33 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164672&oldid=164664 * Simoteam * (+282)
09:16:50 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:18:27 <esolangs> [[User:Simoteam]] N https://esolangs.org/w/index.php?oldid=164673 * Simoteam * (+376) Created page with "<div style="background-color: blue; color: white; padding: 10px;"> Hello, we are SimoTeam.<br> We are friends logged in to one and same account.<br> We are making esolangs and other software. </div> <div style="background-color: white; color: black; padding: 10px;
09:43:50 <esolangs> [[Talk:Il]] M https://esolangs.org/w/index.php?diff=164674&oldid=164649 * Ractangle * (+285) /* WHO CAN WRITE SHORTEST INTERPRETER??? */
09:52:25 -!- tromp has joined.
10:06:04 -!- roper has joined.
10:27:34 <esolangs> [[XKCD]] N https://esolangs.org/w/index.php?oldid=164675 * Simoteam * (+1451) Created page with "{{infobox proglang |name=XKCD |paradigms=accumulator-based |author=[[User:Simoteam]] |year=2025 |majorimpl=Python, JS }} , BittyLang [[XKCD]] is accumulator-based esolang for [[XKCD Random Number]] ==Overwiev== XKCD can '''output [[XKCD Random Number]], input [[XKCD
10:28:41 <esolangs> [[User:XKCD Random Number]] https://esolangs.org/w/index.php?diff=164676&oldid=164534 * Simoteam * (+17)
10:29:02 <esolangs> [[XKCD]] https://esolangs.org/w/index.php?diff=164677&oldid=164675 * Simoteam * (-34)
10:29:27 <esolangs> [[XKCD]] https://esolangs.org/w/index.php?diff=164678&oldid=164677 * Simoteam * (+5)
10:29:36 <esolangs> [[XKCD]] https://esolangs.org/w/index.php?diff=164679&oldid=164678 * Simoteam * (-6)
10:36:37 <esolangs> [[BittyLang]] https://esolangs.org/w/index.php?diff=164680&oldid=163503 * Simoteam * (+90)
11:10:47 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164681&oldid=164673 * Simoteam * (+41) /* Our esolangs list */
11:14:26 <esolangs> [[Simoteam]] N https://esolangs.org/w/index.php?oldid=164682 * Simoteam * (+27) Redirected page to [[User:Simoteam]]
11:23:08 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164683&oldid=164681 * Simoteam * (+122)
11:29:40 -!- Lord_of_Life_ has joined.
11:30:09 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164684&oldid=164683 * Iloveunicorns * (+66) /* About Our */
11:30:38 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
11:31:00 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:31:06 -!- APic has quit (Ping timeout: 248 seconds).
11:34:44 -!- EPic_ has joined.
11:41:14 -!- APic has joined.
11:41:46 -!- EPic_ has quit (*.net *.split).
11:56:36 -!- amby has joined.
11:59:06 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164685&oldid=164684 * Iloveunicorns * (+391)
12:09:08 -!- roper has quit (Read error: Connection reset by peer).
12:14:56 -!- roper has joined.
12:17:11 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164686&oldid=164685 * Iloveunicorns * (+122) /* About Our */
12:21:44 <esolangs> [[Talk:Arthmtc]] N https://esolangs.org/w/index.php?oldid=164687 * Iloveunicorns * (+379) Created page with "This page is a discussion of esolang [[arthmtc]], not a dating site or anything like that. <br> This is where you share your opinion about Il. Or add contribution to this. __TOC__ ==just other's opinions about esolang== Calculator.~~~~ ==WHO CAN WRITE SHOR
12:22:43 <esolangs> [[User:Iloveunicorns]] https://esolangs.org/w/index.php?diff=164688&oldid=164671 * Iloveunicorns * (+28)
12:33:11 -!- ais523 has joined.
12:41:46 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164689&oldid=164686 * Simoteam * (+1) /* About Our */
12:52:02 <esolangs> [[XKCD]] https://esolangs.org/w/index.php?diff=164690&oldid=164679 * Simoteam * (+15) /* Examples */
13:21:17 <esolangs> [[F,u,c,k.]] N https://esolangs.org/w/index.php?oldid=164691 * Simoteam * (+700) Created page with "[[F,u,c,k.]] isn't [[brainfuck]], it is esolang, using f, u, c, and k as commands, inspired by [[Love]] ==overview== F,u,c,k, uses <code>f</code>, <code>u</code>, <code>c</code>, <code>k</code> as commands. They are using for: {| class="wikitable" !f |output "Hello, wo
13:22:15 <esolangs> [[User:XKCD Random Number]] https://esolangs.org/w/index.php?diff=164692&oldid=164676 * Simoteam * (+26)
13:28:02 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164693&oldid=164689 * Simoteam * (-1) /* About Our */
13:46:53 -!- jix_ has joined.
13:47:13 -!- ski_ has joined.
13:51:02 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164694&oldid=164693 * Simoteam * (+410)
13:51:27 -!- op_4 has quit (Ping timeout: 256 seconds).
13:51:28 -!- jix has quit (Ping timeout: 256 seconds).
13:51:28 -!- ski has quit (Ping timeout: 256 seconds).
13:51:40 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164695&oldid=164694 * Simoteam * (+8) /* We need people! */
13:58:11 -!- op_4 has joined.
14:06:06 <esolangs> [[User talk:Simoteam]] N https://esolangs.org/w/index.php?oldid=164696 * Ais523 * (+656) Created page with "== Account sharing == Please do ''not'' share an account between multiple people, and instead to each use your own accounts. The software powering esolangs.org does not work very well when multiple people share an account, e.g. it allows anyone to reset the pa
14:06:22 <esolangs> [[User talk:Simoteam]] M https://esolangs.org/w/index.php?diff=164697&oldid=164696 * Ais523 * (-3) typo fix
14:18:52 -!- roper has quit (Read error: Connection reset by peer).
14:19:38 -!- Everything has joined.
14:23:40 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
14:24:51 -!- roper has joined.
14:28:15 <esolangs> [[User talk:Simoteam]] https://esolangs.org/w/index.php?diff=164698&oldid=164697 * Simoteam * (+221) /* Account sharing */
14:28:32 -!- tetsuo-cpp_ has joined.
14:29:17 -!- ajal has joined.
14:30:32 -!- callforjudgement has joined.
14:31:03 -!- Everythi1g has joined.
14:31:16 -!- ais523 has quit (Killed (platinum.libera.chat (Nickname regained by services))).
14:31:16 -!- callforjudgement has changed nick to ais523.
14:32:45 -!- roper_ has joined.
14:36:38 <esolangs> [[Talk:S*n]] N https://esolangs.org/w/index.php?oldid=164699 * MijiGamin1 * (+25) dumb joke
14:36:48 -!- roper has quit (*.net *.split).
14:36:48 -!- Everything has quit (*.net *.split).
14:36:48 -!- amby has quit (*.net *.split).
14:36:48 -!- APic has quit (*.net *.split).
14:36:48 -!- korvo has quit (*.net *.split).
14:36:49 -!- j4cbo has quit (*.net *.split).
14:36:49 -!- mich181189 has quit (*.net *.split).
14:36:49 -!- joast has quit (*.net *.split).
14:36:49 -!- tetsuo-cpp has quit (*.net *.split).
14:36:50 -!- tetsuo-cpp_ has changed nick to tetsuo-cpp.
14:38:27 -!- korvo has joined.
14:38:27 -!- j4cbo has joined.
14:38:27 -!- mich181189 has joined.
14:38:27 -!- joast has joined.
14:43:46 -!- APic has joined.
15:03:11 -!- tromp has joined.
15:06:14 -!- ajal has quit (Read error: No route to host).
15:09:20 -!- roper_ has quit (Ping timeout: 256 seconds).
15:09:20 -!- lambdabot has quit (Read error: Connection reset by peer).
15:09:20 -!- APic has quit (Ping timeout: 256 seconds).
15:09:31 -!- roper has joined.
15:09:38 -!- APic has joined.
15:11:30 -!- lambdabot has joined.
15:20:46 -!- amby has joined.
15:53:12 <esolangs> [[Talk:Il]] https://esolangs.org/w/index.php?diff=164700&oldid=164674 * Corbin * (+886) /* WHO CAN WRITE SHORTEST INTERPRETER??? */ More aggressive dispatch-dict pattern and less exec() for a shorter program that is an expression instead of a compound statement.
15:54:36 <esolangs> [[Il]] M https://esolangs.org/w/index.php?diff=164701&oldid=164644 * Corbin * (+0) Fix typo in infobox.
15:59:45 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=164702&oldid=164350 * Hotcrystal0 * (+1375)
16:01:13 <korvo> bbchallenge has claimed a value for BB(5): https://arxiv.org/abs/2509.12337
16:04:40 <int-e> https://scottaaronson.blog/?p=8088 (note the date)... the paper is new though
16:16:46 -!- b_jonas has quit (Quit: Lost terminal).
16:27:38 -!- b_jonas has joined.
16:39:25 <esolangs> [[Talk:Il]] M https://esolangs.org/w/index.php?diff=164703&oldid=164700 * Ractangle * (+162) did stuff
16:39:44 <esolangs> [[Talk:Il]] M https://esolangs.org/w/index.php?diff=164704&oldid=164703 * Ractangle * (+2) /* WHO CAN WRITE SHORTEST INTERPRETER??? */ AAA
16:44:44 <esolangs> [[Talk:Arthmtc]] https://esolangs.org/w/index.php?diff=164705&oldid=164687 * Ractangle * (+210) /* just other's opinions about esolang */
17:00:04 -!- chomwitt_alt has joined.
17:01:27 -!- alex__ has joined.
17:13:26 -!- roper has quit (Read error: Connection reset by peer).
17:14:20 -!- alex__ has quit (Quit: Leaving).
17:14:21 -!- chomwitt_alt has quit (Quit: Leaving).
17:16:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:19:29 -!- roper has joined.
17:30:38 <esolangs> [[User:Simoteam]] https://esolangs.org/w/index.php?diff=164706&oldid=164695 * Simoteam * (+158)
17:33:22 <esolangs> [[Special:Log/delete]] delete * Ais523 * deleted "[[Simoteam]]": cross-namespace redirect
17:35:53 <esolangs> [[Special:Log/block]] block * Ais523 * blocked [[User:Simoteam]] with an expiration time of indefinite (autoblock disabled): shared-use account please stick to one person per account (this block is specifically on the account due to being shared, not on the users controlling it)
17:37:41 <esolangs> [[Special:Log/delete]] delete * Ais523 * deleted "[[User:Simoteam]]": account is blocked due to being shared use, and some of the content of the userpage was inappropriate
17:38:37 -!- tromp has joined.
17:49:18 <esolangs> [[R + S]] https://esolangs.org/w/index.php?diff=164707&oldid=164635 * C++DSUCKER * (+106)
18:00:02 <esolangs> [[Special:Log/newusers]] create * Zeroname * New user account
18:08:35 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=164708&oldid=164672 * Zeroname * (+401)
18:32:12 <esolangs> [[Esolang talk:Policy]] https://esolangs.org/w/index.php?diff=164709&oldid=142289 * Corbin * (+469) /* Multiple people per account */ new section
18:39:30 <esolangs> [[User talk:Zeroname]] N https://esolangs.org/w/index.php?oldid=164710 * Corbin * (+906) Answering some questions.
18:46:05 <esolangs> [[User talk:Zeroname]] https://esolangs.org/w/index.php?diff=164711&oldid=164710 * Zeroname * (+112)
18:56:08 -!- Everythi1g has quit (Quit: leaving).
19:01:31 -!- roper has quit (Quit: leaving).
19:15:57 <korvo> Currently reading https://www.sciencedirect.com/science/article/pii/S235222082100050X?via%3Dihub "The origins of the halting problem". The claim is that Turing's 1937 paper actually proves something slightly different than the normal phrasing of Halting.
19:20:28 <korvo> I will need a day to understand what to document, but at first read, and going back to Turing, it looks like it's worth crediting Davis' 1958 book with the modern statement of Halting. I think I also want to write down a bit about the Turing hierarchy and degrees of undecidability and document beeping TMs.
19:49:51 -!- ski_ has changed nick to ski.
19:55:06 -!- ^[ has quit (Ping timeout: 248 seconds).
19:57:20 <esolangs> [[InfityTOC]] N https://esolangs.org/w/index.php?oldid=164712 * Zeroname * (+16430) Created page with "InfityTOC esolang was planned to be an esolang with so long TOC(Contents list) ==Commands== {| class="wikitable" !+ |increment the accumulator |- !- |decrement the accumulator |- !o |output the accumulator as number |- !. |output the accumulator as ascii |- !h |Hell
20:05:04 <esolangs> [[User:Iloveunicorns]] https://esolangs.org/w/index.php?diff=164713&oldid=164688 * Iloveunicorns * (+9)
20:07:18 -!- ^[ has joined.
20:25:56 <esolangs> [[Esolang talk:Policy]] https://esolangs.org/w/index.php?diff=164714&oldid=164709 * Hotcrystal0 * (+504)
20:28:23 -!- shikhin has changed hostmask to ~shikhin@offtopia/offtopian.
20:42:10 <esolangs> [[User talk:PrySigneToFry]] https://esolangs.org/w/index.php?diff=164715&oldid=164638 * I am islptng * (+1922) /* Your "names in other languages"?? */ new section
20:54:03 <esolangs> [[Esolang talk:Policy]] https://esolangs.org/w/index.php?diff=164716&oldid=164714 * Ais523 * (+831) /* Multiple people per account */ some thoughts
21:13:54 <esolangs> [[User:I am islptng]] https://esolangs.org/w/index.php?diff=164717&oldid=164291 * I am islptng * (+665) /* Other things */
21:30:51 -!- Arty has changed nick to Artea.
21:41:22 -!- Sgeo has joined.
21:58:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:04:31 -!- APic has quit (Ping timeout: 256 seconds).
22:04:54 -!- APic has joined.
22:06:56 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
22:10:49 -!- b_jonas_ has joined.
22:11:30 -!- b_jonas has quit (Ping timeout: 256 seconds).
22:12:09 -!- Lord_of_Life has joined.
22:17:13 -!- b_jonas_ has quit (Ping timeout: 260 seconds).
22:17:34 -!- b_jonas has joined.
22:18:43 <esolangs> [[Kittytype]] N https://esolangs.org/w/index.php?oldid=164718 * Lim95 * (+3214) Created page with "{{infobox proglang |name=KittyType |author=[[User:Lim95]] |year=[[:Category:2025|2025]] |dimensions=One-dimensional |class=[[:Category:Turing complete|Turing complete]] |files=<code>.txt</code>, <code>.ktt</code> |majorimpl = [https://github.com/Lim98SE/kittytype Python
22:35:46 -!- ais523 has quit (Quit: quit).
22:47:58 -!- ajal has joined.
22:52:10 -!- JGardner has joined.
22:52:22 -!- krychu has quit (Ping timeout: 244 seconds).
22:52:22 -!- amby has quit (Ping timeout: 244 seconds).
22:52:22 -!- juneg has quit (Ping timeout: 244 seconds).
22:52:22 -!- HackEso has quit (Ping timeout: 244 seconds).
22:52:23 -!- lambdabot has quit (Ping timeout: 244 seconds).
22:53:39 -!- lambdabot has joined.
22:54:19 -!- krychu has joined.
23:04:53 -!- Sgeo_ has joined.
23:05:00 -!- HackEso has joined.
23:07:55 -!- Lord_of_Life_ has joined.
23:11:52 -!- b_jonas_ has joined.
23:14:47 -!- b_jonas has quit (*.net *.split).
23:14:48 -!- Lord_of_Life has quit (*.net *.split).
23:14:48 -!- APic has quit (*.net *.split).
23:14:48 -!- Sgeo has quit (*.net *.split).
23:14:48 -!- korvo has quit (*.net *.split).
23:14:49 -!- j4cbo has quit (*.net *.split).
23:14:49 -!- mich181189 has quit (*.net *.split).
23:14:49 -!- joast has quit (*.net *.split).
23:14:49 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
23:15:43 -!- korvo has joined.
23:15:43 -!- j4cbo has joined.
23:15:43 -!- mich181189 has joined.
23:15:43 -!- joast has joined.
23:19:38 -!- APic has joined.
23:24:25 -!- Sgeo__ has joined.
23:28:54 -!- krychu has quit (Ping timeout: 256 seconds).
23:28:55 -!- Sgeo_ has quit (Ping timeout: 256 seconds).
23:29:01 -!- krychu_ has joined.
23:34:18 -!- ajal has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
00:08:44 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=164719&oldid=164702 * Hotcrystal0 * (+2076)
00:50:53 <zzo38> I made up a list of some nonstandard ISO 2022 codes, including some used by DEC and by X window system and some that I made up by myself and later might be usable in other programs that use ISO 2022.
01:11:21 -!- krychu_ has quit (Quit: ZNC 1.8.2 - https://znc.in).
01:12:06 -!- krychu has joined.
01:13:57 -!- JGardner has quit (Ping timeout: 260 seconds).
01:14:37 -!- JGardner has joined.
01:19:24 -!- Sgeo_ has joined.
01:23:59 -!- HackEso has quit (Ping timeout: 244 seconds).
01:24:00 -!- Sgeo__ has quit (Ping timeout: 244 seconds).
01:36:02 -!- HackEso has joined.
01:43:39 <esolangs> [[Talk:Il]] https://esolangs.org/w/index.php?diff=164720&oldid=164704 * PkmnQ * (+375) /* WHO CAN WRITE SHORTEST INTERPRETER??? */
To update automatically, stalker mode requires a reasonably modern browser with scripts enabled. If this message does not disappear, it's either because of that or a bug. Feel free to get in touch on channel for debugging. Or just work around the issue by manually reloading.