00:51:55 -!- 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:58:46 -!- craigo has quit (Quit: Leaving).
01:56:58 <zzo38> How to implement custom subtitle rendering with libmpv?
02:05:25 <zzo38> It look like "overlay-add" command can be used for adding a overlay, but then the timing will be needed.
02:37:26 <Sgeo> I like hyperreal numbers, and I guess surreal numbers include hyperreals? I still don't quite understand surreal numbers
02:38:00 <Sgeo> I also like projectively extended reals (because I like diving by zero) but I guess that's in conflict with those.
02:38:16 <Sgeo> dividing by zero
03:18:44 <korvo> Sgeo: I can go pop open ONAG and try to give a good answer based on that, but I don't know how to relate surreals to hyperreals offhand.
03:21:58 <korvo> Okay, ONAG doesn't directly say, and the index doesn't have "hyperreal". But y'know how hyperreal numbers are kind of like a sequence of real numbers? (Blah blah, "ultrapower", etc.)
03:23:00 <korvo> Surreal numbers are closed under a similar sort of sequencing operation which includes transfinite sequences. So every hyperreal can be mapped to a surreal in this fashion.
03:29:56 <korvo> Sgeo: ONAG, Theorems 28 and 29, Conway shows that the surreals are "universally embedding" when considered as a totally-ordered field. This property means that the subfields of the surreals are closed under extension; there's no way to adjoin a new element to a surreal subfield in a way that can't be embedded (up to iso)
03:35:41 <korvo> Oh, also Theorem 21, for which Conway gives a reference, leading to Hahn series. WP's page gives the surreals as an example. Conway says that "the structure of [the surreals] as a [field] can be obtained from its structure as an [additive group]".
03:48:58 -!- FreeFull has quit.
04:41:03 <zzo38> Do you have information about the protocol used for the remote control and IR receiver for "Creative PC-DVD"? I might want to connect it to a Raspberry Pi computer.
04:50:19 <zzo38> Can you win at Pokemon by selecting Trick Room and then winning before the next turn, in a single battle (not double)? (I can think of a few cases where that might help, but it might be rare enough that it never happens, and I am not entirely sure of all of the rules in all of these cases.)
05:04:18 -!- mtm has quit (Ping timeout: 268 seconds).
05:07:20 -!- mtm has joined.
06:05:05 -!- Sgeo has quit (Read error: Connection reset by peer).
07:13:43 -!- Lord_of_Life_ has joined.
07:13:57 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
07:15:07 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
07:49:27 <esolangs> [[General blindfolded arithmetic]] https://esolangs.org/w/index.php?diff=154110&oldid=154105 * Stkptr * (+449) I did some cursory reading
08:18:30 -!- ais523 has joined.
08:18:51 <ais523> <zzo38> Can you win at Pokemon by selecting Trick Room and then winning before the next turn, in a single battle (not double)? (I can think of a few cases where that might help, but it might be rare enough that it never happens, and I am not entirely sure of all of the rules in all of these cases.) ← the most obvious case is when the opponent uses a move that KOs their own Pokémon, e.g. Explosion or Memento
08:19:55 <ais523> a passive damage win is also possible, especially if the opponent's Pokémon is Shedinja
08:21:17 <ais523> in fact, you can win beat an entire team before move selection on the next turn if there are Spikes or Stealth Rock up and the opposing team consists entirely of Shedinjas (I don't think it's possible to set that situation up on turn 1 of a battle if you select Trick Room, but it might be possible on a subsequent turn)
08:50:45 <esolangs> [[Special:Log/newusers]] create * JIT * New user account
08:58:18 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=154111&oldid=154006 * JIT * (+179)
09:00:24 <esolangs> [[User:JIT]] N https://esolangs.org/w/index.php?oldid=154112 * JIT * (+50) Created page with "Hi, I'm JIT (which is an acronym of my full name!)"
09:24:46 -!- Artea has quit (Remote host closed the connection).
09:28:30 <esolangs> [[General blindfolded arithmetic]] https://esolangs.org/w/index.php?diff=154113&oldid=154110 * Stkptr * (+818) references
09:33:27 -!- Artea has joined.
11:11:46 <esolangs> [[Special:Log/newusers]] create * * New user account
11:16:02 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=154114&oldid=154111 * * (+119) just added some stuff about me
12:06:30 <esolangs> [[Amethyst]] N https://esolangs.org/w/index.php?oldid=154115 * PrySigneToFry * (+10510) Created page with "Amethyst is a programming language designed by PSTF. It is influenced by Ruby, C++, Lua, Python and JavaScript. = Language Overview = Amethyst is a lightweight, high-level programming language that is primarily used to write cross-platform applications, data an
12:07:26 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=154116&oldid=154106 * PrySigneToFry * (+15)
12:35:16 <esolangs> [[User:Hotcrystal0]] https://esolangs.org/w/index.php?diff=154117&oldid=153963 * Hotcrystal0 * (+37)
12:35:27 <esolangs> [[User:Hotcrystal0/Colon three]] N https://esolangs.org/w/index.php?oldid=154118 * Hotcrystal0 * (+23) Created page with "{{wrongtitle|title=:3}}"
12:37:48 <esolangs> [[User:Hotcrystal0/Colon three]] https://esolangs.org/w/index.php?diff=154119&oldid=154118 * Hotcrystal0 * (+56)
12:37:59 <esolangs> [[User:Hotcrystal0/Colon three]] https://esolangs.org/w/index.php?diff=154120&oldid=154119 * Hotcrystal0 * (+10)
12:38:52 <esolangs> [[User:Hotcrystal0/Colon three]] https://esolangs.org/w/index.php?diff=154121&oldid=154120 * Hotcrystal0 * (+60)
12:44:54 <esolangs> [[PoeticChicken]] https://esolangs.org/w/index.php?diff=154122&oldid=153330 * Hotcrystal0 * (+31)
12:53:59 <fizzie> A (new) "Cloud Support Engineer" has escalated the ticket to the "Engineering team", which is... promising? Maybe.
13:11:36 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=154123&oldid=153749 * Hotcrystal0 * (-503)
13:21:10 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=154124&oldid=154123 * Hotcrystal0 * (+7)
13:28:19 <esolangs> [[Rinuk]] N https://esolangs.org/w/index.php?oldid=154125 * JIT * (+920) Created page with "Rinuk is an esolang by [[User:JIT]], 2025 "''What if [[brainfuck]] but compact, but still readable?''" : -[[JIT]], 2025 So, Rinuk is just [[brainfuck]] but compact, but still readable "Readable" means in this context, is just '''not an error unicode.''' (Like or ) {| clas
13:29:40 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=154126&oldid=154116 * JIT * (+12)
13:45:35 <esolangs> [[Talk:Icea]] N https://esolangs.org/w/index.php?oldid=154127 * JIT * (+263) Created page with "Is it pronounced Ikea, I see ah or Ice ah? --~~~~: JIT<sub><small>JIT<sub><small>JIT<sub><small>JIT<sub><small>JIT<sub><small>JIT</small></sub></small></sub></small></sub></small></sub></small></sub>"
13:49:47 -!- ais523 has quit (Quit: quit).
13:52:57 -!- wib_jonas has joined.
14:02:45 <wib_jonas> TIL that if you set up Firefox on Windows to ask where to save each download then a webpage can DOS Firefox by asking it to download lots of files and thus popping up lots of Windows save dialogs that are each modal so you can't do anything with Firefox until you close them
14:10:54 -!- craigo has joined.
14:22:54 -!- wib_jonas has quit (Ping timeout: 240 seconds).
17:03:26 -!- mtm has quit (Ping timeout: 252 seconds).
17:06:55 -!- mtm has joined.
17:22:14 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=154128&oldid=154124 * Hotcrystal0 * (+76)
17:22:29 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=154129&oldid=154128 * Hotcrystal0 * (-11)
17:22:36 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=154130&oldid=154129 * Hotcrystal0 * (-4)
17:23:07 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=154131&oldid=154130 * Hotcrystal0 * (+4)
17:24:35 <esolangs> [[User:Hotcrystal0/Sandbox]] https://esolangs.org/w/index.php?diff=154132&oldid=154131 * Hotcrystal0 * (-65)
18:12:17 <esolangs> [[?Q?]] https://esolangs.org/w/index.php?diff=154133&oldid=135845 * Yayimhere2(school) * (+2) /* syntax */ add space to avoid confusion
18:15:48 -!- Trigon has joined.
18:47:14 <zzo38> One thing I thought it might affect is the order of being damaged by weather and status (I don't actually know if it does, but I would guess so).
18:47:21 -!- Hoolootwo has joined.
18:47:34 -!- Hooloovoo has quit (Ping timeout: 260 seconds).
18:48:43 <esolangs> [[General blindfolded arithmetic]] https://esolangs.org/w/index.php?diff=154134&oldid=154113 * Stkptr * (+2182) /* with +, -, *, / (at least FSM) */
18:49:30 <zzo38> Possibly also, if you are confused and opponent only has moves that have enough recoil damage to knock out themself but not enough damage to defeat you, but the confusion damage is enough to knock yourself out, then perhaps the low priority of Trick Room is useful. (Even if the opponent's move can defeat you with a critical hit, the chance of hitting yourself in confusion is more than the chance of a critical hit.)
18:51:06 <esolangs> [[General blindfolded arithmetic]] https://esolangs.org/w/index.php?diff=154135&oldid=154134 * Stkptr * (+15) /* A simpler infinity */ formatting
18:54:23 <esolangs> [[User:Hakerh400/Flexible dependencies in Haskell]] N https://esolangs.org/w/index.php?oldid=154136 * Hakerh400 * (+2323) Created page with "It is well known that in Haskell there is no easy way to put functions that depend on each other into seperate files. The reason is because Haskell does not allow circular imports (like in Node.js) or header files (like in C). G
18:54:44 <esolangs> [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=154137&oldid=153850 * Hakerh400 * (+87) /* Articles */
19:55:13 <esolangs> [[?Q?]] M https://esolangs.org/w/index.php?diff=154138&oldid=154133 * Aadenboy * (+91) /* syntax */ formatting
19:56:00 <esolangs> [[Semi-serious language list]] https://esolangs.org/w/index.php?diff=154139&oldid=154095 * DanielDG * (+15) Added my language, Aardvark.
20:02:37 <esolangs> [[User:Aadenboy]] M https://esolangs.org/w/index.php?diff=154140&oldid=153995 * Aadenboy * (-42) /* my own esolangs */ updating now that [[iterate]] is tc
20:02:51 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=154141&oldid=154126 * Buckets * (+12)
20:03:26 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=154142&oldid=154107 * Buckets * (+11)
20:03:36 <esolangs> [[Eans,]] N https://esolangs.org/w/index.php?oldid=154143 * Buckets * (+1460) Created page with "Eans, is an Esoteric programming language created by [[User:Buckets]] in 2021. {| class="wikitable" |- ! Commands !! Instructions |- | @ || Start point, will Randomly Choose a Direction. |- | $ || End point. |- | ^ || Point upwards. |- | v || Point Downwards. |- | < || P
20:09:49 <esolangs> [[User:Buckets/Sandbox]] M https://esolangs.org/w/index.php?diff=154144&oldid=152640 * Buckets * (+118)
20:37:55 -!- molson has joined.
20:51:47 -!- amby has joined.
23:07:59 <esolangs> [[WaifuScript]] https://esolangs.org/w/index.php?diff=154145&oldid=151656 * Juanp32 * (+6) corrected prompt type
23:12:37 <esolangs> [[C()]] M https://esolangs.org/w/index.php?diff=154146&oldid=109314 * Rdococ * (-41)
23:25:20 -!- Sgeo has joined.