Newest at the top
| 2026-01-07 01:06:22 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-01-07 01:01:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-07 01:01:13 +0100 | trickard_ | trickard |
| 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 00:58:46 +0100 | <EvanR> | or mental "unit test" |
| 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:08 +0100 | <jreicher> | https://en.wikipedia.org/wiki/Rubik%27s_Cube_group |
| 2026-01-07 00:57:34 +0100 | <jreicher> | Wow. Flashbacks group theory. |
| 2026-01-07 00:56:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:37:02 +0100 | xff0x | (~xff0x@2405:6580:b080:900:96c2:e970:1df7:e82c) |
| 2026-01-07 00:36:55 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 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:32:30 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-07 00:27:31 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-01-07 00:22:39 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2026-01-07 00:22:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-07 00:21:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-07 00:19:00 +0100 | end | (~end@user/end/x-0094621) end^ |
| 2026-01-07 00:16:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-07 00:14:25 +0100 | end | (~end@user/end/x-0094621) (Ping timeout: 264 seconds) |
| 2026-01-07 00:10:45 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-07 00:05:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-07 00:04:13 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-07 00:01:56 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-07 00:00:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-06 23:57:59 +0100 | collide2954 | (~collide29@user/collide2954) collide2954 |
| 2026-01-06 23:57:48 +0100 | collide2954 | (~collide29@user/collide2954) (Read error: Connection reset by peer) |
| 2026-01-06 23:53:11 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-01-06 23:52:51 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-01-06 23:49:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-06 23:45:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-06 23:44:26 +0100 | end | (~end@user/end/x-0094621) end^ |
| 2026-01-06 23:40:49 +0100 | end | (~end@user/end/x-0094621) (Ping timeout: 264 seconds) |
| 2026-01-06 23:40:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-01-06 23:36:24 +0100 | collide2954 | (~collide29@user/collide2954) collide2954 |
| 2026-01-06 23:36:14 +0100 | collide2954 | (~collide29@user/collide2954) (Read error: Connection reset by peer) |
| 2026-01-06 23:35:09 +0100 | tromp | (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-06 23:34:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-06 23:33:42 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2026-01-06 23:33:29 +0100 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-06 23:31:23 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-06 23:29:55 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 2026-01-06 23:29:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-06 23:18:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-06 23:15:01 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-01-06 23:13:46 +0100 | trickard_ | trickard |
| 2026-01-06 23:13:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-06 23:07:09 +0100 | mange | (~mange@user/mange) mange |
| 2026-01-06 23:02:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |