| 2026-01-07 00:00:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 00:01:56 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-07 00:04:13 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-07 00:05:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-07 00:10:45 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-07 00:14:25 +0100 | end | (~end@user/end/x-0094621) (Ping timeout: 264 seconds) |
| 2026-01-07 00:16:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 00:19:00 +0100 | end | (~end@user/end/x-0094621) end^ |
| 2026-01-07 00:21:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-07 00:22:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-07 00:22:39 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2026-01-07 00:27:31 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-01-07 00:32:30 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-07 00:35:04 +0100 | xff0x | (~xff0x@2405:6580:b080:900:edca:158a:2eb8:d2af) (Ping timeout: 256 seconds) |
| 2026-01-07 00:36:55 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-01-07 00:37:02 +0100 | xff0x | (~xff0x@2405:6580:b080:900:96c2:e970:1df7:e82c) |
| 2026-01-07 00:52:50 +0100 | <haskellbridge> | <Liamzee> I'm currently trying to solve Rubik's cube on my own (sort of) by using DeepSeek to help me construct a mathematical model, with occasional uses of Haskell. It's interesting how LLM fradulence relates to whether the LLM actually is capable of mathematical maturity, given enough reasoning cycles. |
| 2026-01-07 00:56:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 00:57:34 +0100 | <jreicher> | Wow. Flashbacks group theory. |
| 2026-01-07 00:58:08 +0100 | <jreicher> | https://en.wikipedia.org/wiki/Rubik%27s_Cube_group |
| 2026-01-07 00:58:26 +0100 | <EvanR> | you can "accidentally" use it successfully by taking whatever it gives you and running your mental mathematical "typechecker" on it |
| 2026-01-07 00:58:46 +0100 | <EvanR> | or mental "unit test" |
| 2026-01-07 00:59:08 +0100 | <EvanR> | once it stops being wrong, you can start to prove that it is right |
| 2026-01-07 01:01:13 +0100 | trickard_ | trickard |
| 2026-01-07 01:01:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-07 01:06:22 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-01-07 01:12:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 01:17:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-07 01:27:12 +0100 | acidjnk | (~acidjnk@p200300d6e7171955580d90e1926e8255.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-01-07 01:27:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 01:32:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-07 01:34:15 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-07 01:41:25 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2026-01-07 01:43:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 01:50:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-07 01:51:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:96c2:e970:1df7:e82c) (Ping timeout: 252 seconds) |
| 2026-01-07 02:01:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 02:04:18 +0100 | omidmash4 | (~omidmash@user/omidmash) omidmash |
| 2026-01-07 02:06:13 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2026-01-07 02:06:13 +0100 | omidmash4 | omidmash |
| 2026-01-07 02:06:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-07 02:10:17 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) (Read error: Connection reset by peer) |
| 2026-01-07 02:11:38 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) synchromesh |
| 2026-01-07 02:17:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 02:22:28 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-07 02:22:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-07 02:24:50 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-07 02:25:02 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-01-07 02:26:04 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-07 02:33:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 02:38:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-07 02:49:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 02:50:22 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-07 02:54:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-07 02:54:39 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-07 02:57:45 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-07 02:58:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-07 03:05:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 03:09:22 +0100 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-01-07 03:09:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-07 03:10:55 +0100 | wennefer0 | (~wennefer0@user/wennefer0) wennefer0 |
| 2026-01-07 03:16:43 +0100 | wennefer0 | (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 2026-01-07 03:17:37 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-07 03:17:49 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2026-01-07 03:20:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 03:25:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-07 03:26:59 +0100 | dysfigured | (~dfg@50.116.28.89) |
| 2026-01-07 03:27:37 +0100 | dfg | (~dfg@user/dfg) (Ping timeout: 264 seconds) |
| 2026-01-07 03:29:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-07 03:29:10 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-01-07 03:36:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 03:39:13 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 265 seconds) |
| 2026-01-07 03:40:14 +0100 | <haskellbridge> | <Liamzee> apparently i have no ability to assess whether DS claiming that there exists a odd move (quarter turn only) sequence that returns an edge piece to its starting location without flipping its colors |
| 2026-01-07 03:40:35 +0100 | <haskellbridge> | <Liamzee> is hallucination or not |
| 2026-01-07 03:41:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-07 03:42:54 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-07 03:46:03 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-01-07 03:47:47 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-07 03:48:05 +0100 | trickard_ | trickard |
| 2026-01-07 03:49:40 +0100 | <mange> | I don't think there is. 3x3 cubes have edge parity, from memory, so I think only even permutations bring them back. (The above linked Wikipedia page says that corners are in Z_3 and edges are in Z_2, which is consistent with my memory.) |
| 2026-01-07 03:52:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 03:53:04 +0100 | mange | (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-07 03:56:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-07 04:00:29 +0100 | <ncf> | "quarter turn only"? quarter turns generate all moves, what do you mean? |
| 2026-01-07 04:03:03 +0100 | Googulator | (~Googulato@2a01-036d-0106-26d0-8c1b-7e0c-a592-043c.pool6.digikabel.hu) |
| 2026-01-07 04:05:43 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-01-07 04:06:11 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-07 04:07:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 04:12:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-07 04:20:02 +0100 | <int-e> | ncf: disallowing half turns matters if you're concerned with the number of moves you make, or just their parity, because each quarter turn is an odd permutation of the edge pieces and also an odd permutation of the corner pieces |
| 2026-01-07 04:20:59 +0100 | <int-e> | (when looking at piece positions, not their orientation) |
| 2026-01-07 04:22:37 +0100 | <ncf> | so an "odd move" is an odd number of quarter turns? |
| 2026-01-07 04:23:07 +0100 | <int-e> | "odd move sequence" |
| 2026-01-07 04:23:21 +0100 | <int-e> | it could certainly be phrased better |
| 2026-01-07 04:23:39 +0100 | <ncf> | oh |
| 2026-01-07 04:23:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 04:24:02 +0100 | <ncf> | yeah i totally failed to parse that |
| 2026-01-07 04:24:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-07 04:26:09 +0100 | <ncf> | the question has a bit of a trivial answer then: a single quarter move leaves 8 edges alone |
| 2026-01-07 04:29:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-01-07 04:29:37 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-07 04:29:56 +0100 | <ncf> | requiring the edge to have moved during the sequence doesn't change anything, because you can always compose with Xⁿ, where X is a move of order n that moves every edge |
| 2026-01-07 04:30:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-07 04:32:23 +0100 | <ncf> | if you want *every* quarter turn in the sequence to move the chosen edge, then the answer should be no because every quarter turn flips the edge's orientation |
| 2026-01-07 04:32:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-07 04:36:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 04:36:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |