| 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) |