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