00:08:24 -!- sprock has quit (Quit: ...). 00:23:19 Hooloovoo: you'd think _not_ giving it high priority would be the point of doing such things in the background, but no... 00:23:43 it *may* have been a case of failing drives. not sure 00:33:55 -!- spruit11 has quit (Ping timeout: 252 seconds). 00:40:44 -!- GPLv3 has changed nick to Noisytoot. 00:49:46 -!- sprock has joined. 01:05:48 [[Cammy]] M https://esolangs.org/w/index.php?diff=88512&oldid=88405 * Corbin * (+19) /* Floating Point */ Add function for getting sign bit. Turns out that it can't be built from f-lt alone, thanks to -0.0. 01:42:44 [[Starstuff]] https://esolangs.org/w/index.php?diff=88513&oldid=88511 * PixelatedStarfish * (+112) /* Compiling */ 01:42:59 [[Starstuff]] https://esolangs.org/w/index.php?diff=88514&oldid=88513 * PixelatedStarfish * (+2) /* Base 200 Compiler */ 02:11:59 -!- spruit11 has joined. 02:17:38 -!- spruit11 has quit (Ping timeout: 260 seconds). 02:24:31 -!- spruit11 has joined. 02:41:22 -!- spruit11 has quit (Ping timeout: 265 seconds). 02:44:52 -!- spruit11 has joined. 02:46:04 -!- delta23 has quit (Quit: Leaving). 02:55:59 -!- spruit11 has quit (Ping timeout: 246 seconds). 03:14:56 -!- spruit11 has joined. 03:20:28 -!- spruit11 has quit (Ping timeout: 252 seconds). 03:39:58 -!- spruit11 has joined. 03:44:41 -!- spruit11 has quit (Ping timeout: 265 seconds). 03:49:35 what's a good way to compress brainfuck? 03:59:34 [[Starstuff]] https://esolangs.org/w/index.php?diff=88515&oldid=88514 * PixelatedStarfish * (-88) /* Base 200 Compiler */ 04:10:42 -!- spruit11 has joined. 04:13:00 -!- benji_ has joined. 04:13:30 -!- feoh7 has joined. 04:13:34 -!- keegan_ has joined. 04:15:12 -!- Trieste_ has joined. 04:15:14 -!- spruit11 has quit (Ping timeout: 260 seconds). 04:15:27 -!- Melvar` has joined. 04:15:37 -!- slavfox_ has joined. 04:15:49 -!- scjosh2 has joined. 04:17:20 -!- shachaf_ has joined. 04:17:27 -!- imode1 has joined. 04:20:21 -!- imode has quit (*.net *.split). 04:20:21 -!- Melvar has quit (*.net *.split). 04:20:21 -!- slavfox has quit (*.net *.split). 04:20:21 -!- zegalch has quit (*.net *.split). 04:20:21 -!- benji has quit (*.net *.split). 04:20:21 -!- shachaf has quit (*.net *.split). 04:20:21 -!- Trieste has quit (*.net *.split). 04:20:21 -!- feoh has quit (*.net *.split). 04:20:21 -!- scjosh has quit (*.net *.split). 04:20:21 -!- keegan has quit (*.net *.split). 04:20:22 -!- benji_ has changed nick to benji. 04:21:05 -!- zegalch has joined. 04:21:27 -!- Trieste has joined. 04:21:56 -!- feoh has joined. 04:22:03 -!- rodgort has quit (Ping timeout: 252 seconds). 04:22:03 -!- feoh7 has quit (Quit: Ping timeout (120 seconds)). 04:22:10 -!- rodgort` has joined. 04:22:34 -!- Trieste_ has quit (Ping timeout: 252 seconds). 04:23:01 -!- slavfox_ has changed nick to slavfox. 04:23:01 -!- scjosh2 has changed nick to scjosh. 04:23:24 -!- shachaf_ has changed hostmask to ~shachaf@user/shachaf. 04:23:26 -!- shachaf_ has changed nick to shachaf. 04:25:37 -!- immibis_ has joined. 04:25:46 -!- moony9 has joined. 04:28:11 -!- benji_ has joined. 04:28:24 -!- Melvar` has quit (Ping timeout: 252 seconds). 04:28:24 -!- benji has quit (Ping timeout: 252 seconds). 04:28:24 -!- moony has quit (Ping timeout: 252 seconds). 04:28:24 -!- moony9 has changed nick to moony. 04:28:28 -!- immibis has quit (Ping timeout: 252 seconds). 04:28:28 -!- Corbin has quit (Ping timeout: 252 seconds). 04:28:56 -!- benji_ has changed nick to benji. 04:30:19 -!- keegan_ has quit (Ping timeout: 252 seconds). 04:30:32 -!- keegan has joined. 04:31:46 [[Twink]] N https://esolangs.org/w/index.php?oldid=88516 * PixelatedStarfish * (+849) Created page with "'''Twink''' is a programming language created by [[User:PixelatedStarfish]]. It is designed for [[Starstuff]] such that any sequence of characters can be converted to runnable..." 04:32:11 -!- Corbin has joined. 04:32:56 -!- DutchIngraham has joined. 04:33:17 [[Starstuff]] https://esolangs.org/w/index.php?diff=88517&oldid=88515 * PixelatedStarfish * (+2) /* Hexadecimal Compiler */ 04:33:22 -!- dutch has quit (Ping timeout: 252 seconds). 04:33:45 [[Starstuff]] https://esolangs.org/w/index.php?diff=88518&oldid=88517 * PixelatedStarfish * (+1) /* Modulo Compiler */ 04:34:22 [[Starstuff]] https://esolangs.org/w/index.php?diff=88519&oldid=88518 * PixelatedStarfish * (+2) 04:34:46 [[Twink]] https://esolangs.org/w/index.php?diff=88520&oldid=88516 * PixelatedStarfish * (+70) 04:36:43 [[User:PixelatedStarfish]] https://esolangs.org/w/index.php?diff=88521&oldid=88510 * PixelatedStarfish * (+94) /* Starstuff */ 04:37:13 -!- moony has quit (Quit: Ping timeout (120 seconds)). 04:37:13 -!- zegalch has quit (Quit: Ping timeout (120 seconds)). 04:37:14 -!- moony9 has joined. 04:37:14 -!- moony9 has changed nick to moony. 04:37:34 -!- jix has quit (Ping timeout: 252 seconds). 04:37:41 -!- zegalch has joined. 04:37:54 -!- jix has joined. 04:40:17 [[Starstuff]] https://esolangs.org/w/index.php?diff=88522&oldid=88519 * PixelatedStarfish * (+5) /* Decimal Compiler */ 04:40:34 [[Starstuff]] https://esolangs.org/w/index.php?diff=88523&oldid=88522 * PixelatedStarfish * (-14) /* Modulo Compiler */ 04:40:46 [[Starstuff]] https://esolangs.org/w/index.php?diff=88524&oldid=88523 * PixelatedStarfish * (-14) /* Cumulative Compiler */ 04:41:09 -!- Trieste has quit (Ping timeout: 252 seconds). 04:41:25 -!- integral has quit (Ping timeout: 252 seconds). 04:41:29 [[Twink]] https://esolangs.org/w/index.php?diff=88525&oldid=88520 * PixelatedStarfish * (+4) /* Commands */ 04:42:34 -!- integral has joined. 04:42:35 -!- Trieste has joined. 04:46:21 -!- Melvar` has joined. 04:46:46 [[Twink]] https://esolangs.org/w/index.php?diff=88526&oldid=88525 * PixelatedStarfish * (+0) /* Commands */ 04:46:49 -!- int-e has quit (Ping timeout: 252 seconds). 04:46:57 -!- int-e has joined. 04:47:17 -!- integral has quit (Max SendQ exceeded). 04:47:18 -!- integral has joined. 04:47:22 -!- Trieste has quit (Ping timeout: 252 seconds). 04:47:22 -!- sprock has quit (Ping timeout: 252 seconds). 04:47:24 [[Twink]] https://esolangs.org/w/index.php?diff=88527&oldid=88526 * PixelatedStarfish * (+0) /* Commands */ 04:47:36 -!- sprock has joined. 04:49:01 -!- Trieste has joined. 04:55:02 -!- spruit11 has joined. 04:59:44 -!- spruit11 has quit (Ping timeout: 250 seconds). 05:08:46 -!- oerjan has quit (Quit: Nite). 05:26:00 -!- Melvar` has changed nick to Melvar. 07:22:38 -!- spruit11 has joined. 08:08:43 -!- hendursa1 has joined. 08:09:12 -!- hendursaga has quit (Ping timeout: 276 seconds). 09:32:56 -!- chiselfu1e has joined. 09:35:00 -!- chiselfuse has quit (Ping timeout: 276 seconds). 09:40:59 -!- Sgeo has quit (Read error: Connection reset by peer). 09:54:55 -!- imode1 has quit (Ping timeout: 252 seconds). 10:16:48 Heh, that's odd. There's this monitor, even if it's not connected to power at all (all outlets here have physical power switches in them) the computer says it's connected, and can tell the make, model and supported resolutions. I guess it gets enough juice over HDMI to run that much of the logic, and uses the real power supply just to drive the actual display part of it. 12:03:08 [[)0,1(]] M https://esolangs.org/w/index.php?diff=88528&oldid=88436 * Rphii * (-23) /* Motivation */ grammar 13:03:17 5V/55mA is plenty for a bit of logic. 13:03:39 -!- Thelie has joined. 13:04:35 I actually wouldn't be surprised if the standard mandated that functionality. But (as usual) I'm too lazy to check... it is of little consequence. 13:09:49 -!- Thelie has quit (Read error: Connection reset by peer). 13:10:00 -!- Thelie has joined. 13:14:11 basic implementation of DCC is just an I2C memory chip connected to power and I2C line on the connector, doesnt need any connection to the other electronics in the monitor 13:14:52 not sure if mandated, but certainly intended to work that way 13:22:07 I guess it makes sense. Slightly a shame, though: I was hoping I'd get a monitor hotplug event from turning that thing on/off, but of course it just appears connected all the time. 13:34:34 "I zqs spelling qll zeird qll the time." => the "m" in "time" is wrong 13:44:46 Oh, that too. All the ti,e. 13:45:07 I didn't *actually* switch layouts there, I just tried to approximate. 14:24:59 -!- vyv has joined. 14:29:17 -!- mla has joined. 14:29:28 -!- Lord_of_Life has quit (Excess Flood). 14:30:03 -!- Lord_of_Life has joined. 14:37:05 -!- Thelie has quit (Remote host closed the connection). 14:37:23 -!- Thelie has joined. 15:43:18 -!- Thelie has quit (Remote host closed the connection). 15:43:35 -!- Thelie has joined. 15:45:08 -!- Thelie has quit (Remote host closed the connection). 15:45:32 -!- Thelie has joined. 15:56:56 -!- arseniiv_ has joined. 16:24:46 -!- delta23 has joined. 16:30:46 -!- arseniiv_ has changed nick to arseniiv. 16:30:51 you know the notion that a space has cardinality equal to sum of 1/N for each orbit where N is the cardinality of that orbit? Could we think of something simple having cardinality, say, 7/2? Can’t pair an odd number of elements, so the simplest approach fails 16:52:30 -!- vyv has quit (Quit: Konversation terminated!). 17:04:54 -!- delta23 has quit (Quit: Leaving). 17:08:20 arseniiv: Have you read Baez & Dolan on this topic? A set with seven elements, quotiented by a set with two elements, will do the trick. We can think of six of seven elements as grouped in pairs, and then the seventh element is mapped to itself. 17:09:11 All of the pairs have two automorphisms (they're ordered), but the seventh element only has one because it's equal to itself; it counts for half. This gives 7/2. 17:10:22 https://arxiv.org/abs/math/0004133 explains this in painful but fun detail, building a weak quotient which has the desired property. 17:11:26 Tao might be more readable: https://terrytao.wordpress.com/2017/04/13/counting-objects-up-to-isomorphism-groupoid-cardinality/ 17:14:43 -!- spruit11 has changed nick to sprout. 17:15:20 -!- imode1 has joined. 17:19:10 -!- sprout has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.). 17:19:35 -!- sprout has joined. 17:22:42 Corbin: wouldn’t 6 paired elements need to be counted as 3 then? 17:23:27 arseniiv: Yeah, and indeed 3 + 1/2 == 7/2 in traditional arithmetic. 17:26:05 You can look directly at p13 of Baez & Dolan for some helpful diagrams. They use the example of 5/2. 17:26:30 (But you'll have to read the first half of the paper if you want the justification for why it's allowed.) 17:26:53 I came up with a groupoid with objects in isomorphy classes of 1, 2, …, 33 objects, each one having two isos to each of isomorphic objects, one iso is a “direct” one and one is a “twisting” one, two twisting composing to a direct, and a direct from an object to itself is its id, thus all compositions are defined correctly and that’s indeed a groupoid. Then we have 33 isomorphism classes and each o 17:27:59 Corbin: oh, thanks for the Tao link, didn’t read him about that 17:28:22 Corbin: 3 + 1/2 = 7/2 oops I forgot how to calculate 17:28:52 Mm, so you'd have 33 isomorphism classes over a weak quotient of two automorphisms each, for a cardinality of 33/2? I admit that I still don't understand it fully. 17:29:24 oh I forgot to mention my N was actually 33 and forgot that I simplified it to 7 but did elaborate in ##math afterwards. Lose track of two threads at once 17:30:28 Corbin: I’ll read Tao and write with which of we wrote that aligns better 17:30:48 Cool, good luck. 17:31:40 oh a bit of a post got eaten off, it didn’t happen before to my client, it chunked overlong posts before 17:31:55 thanks :) let’s see 17:50:57 Corbin: yeah, Tao indeed starts with weighing 1/|[x]| for each element x but then he shows this troubles uniform sampling and corrects that to 1/(number of isos from x), which is in accordance with counting just auts for a single representative of each isomorphism class 17:51:36 -!- Thelie has quit (Remote host closed the connection). 17:56:50 -!- Sgeo has joined. 17:57:30 ah, we could just have {−16, …, +16} acted by {x ↦ +x, x ↦ −x} after all. Then the corresponding groupoid will have two auts for {0} and just one for any representative of {−n, +n} for nonzero n, so overall 16 + 1/2 = 33/2 17:57:49 it can be pretty confusing 17:58:11 now how could I make rot cypher with this… 17:59:01 I need to treat almost half of the alphabet somewhat interchangeable but not totally interchangeable… eh 18:09:42 I guess I made it unknowingly! x ↦ −x here is the rot-33/2 I looked for 18:12:51 -!- sprout has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.). 18:13:08 -!- sprout has joined. 19:38:32 -!- delta23 has joined. 20:51:00 [[InterpretMe]] https://esolangs.org/w/index.php?diff=88529&oldid=87755 * OliveIsAWord * (-48) 20:54:10 -!- Lord_of_Life has quit (Read error: Connection reset by peer). 20:55:32 -!- imode1 has quit (Quit: WeeChat 3.2.1). 20:55:47 -!- imode has joined. 20:57:53 -!- Lord_of_Life has joined. 21:04:16 [[3switchBF]] https://esolangs.org/w/index.php?diff=88530&oldid=73804 * OliveIsAWord * (-45) refactored python code 21:17:20 -!- Lord_of_Life_ has joined. 21:17:22 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 21:20:00 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 21:42:37 -!- arseniiv has quit (Ping timeout: 252 seconds). 21:54:07 -!- delta23 has quit (Quit: Leaving). 21:59:49 -!- sprout has quit (Ping timeout: 252 seconds). 22:11:42 -!- sprout has joined. 22:16:13 -!- sprout has quit (Ping timeout: 252 seconds). 22:30:46 -!- hendursa1 has quit (Quit: hendursa1). 22:32:38 -!- hendursaga has joined. 22:43:06 Do they drag boats by horses? 22:43:51 along canals yes https://en.wikipedia.org/wiki/Towpath 22:45:01 not so much anymore 22:58:47 I was playing the GURPS earlier today, and that is what they did, or at least what they tried to do. But, the boat was too slow and the horse refused to move due to seeing something unsafe. So, instead we took the sign attached to the horse (we were trying to alert someone on the island) and attached it to the boat to use as a sail; fortunately the wind was correct for doing that. 23:07:50 oh, that's fortunate 23:15:54 -!- sprout has joined. 23:21:50 -!- sprout has quit (Ping timeout: 260 seconds). 23:30:45 -!- oerjan has joined. 23:53:03 -!- sprout has joined. 23:57:58 -!- sprout has quit (Ping timeout: 252 seconds).