Newest at the top
| 2025-01-29 03:37:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 03:35:56 +0100 | AvengingFemme | (~avengingf@syn-074-076-186-205.res.spectrum.com) |
| 2025-01-29 03:33:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 03:30:42 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-01-29 03:22:59 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-29 03:22:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-29 03:22:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 03:20:26 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-01-29 03:19:02 +0100 | Tikosh | (~quassel@user/Tikosh) Tikosh |
| 2025-01-29 03:17:34 +0100 | <haskellbridge> | <Bowuigi> Inst already left but an LLM would be bad (or at least harder to train) at type level magic because it is logic, not a freeform language. Something with reinforcement learning (or similar) would be better, since the problem is more similar to playing chess |
| 2025-01-29 03:17:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 03:17:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-29 03:15:54 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-29 03:14:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-29 03:13:19 +0100 | <haskellbridge> | <Bowuigi> EvanR_ https://www.researchgate.net/publication/269080460_A_hierarchy_of_mendler_style_recursion_combinat… |
| 2025-01-29 03:06:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-29 02:59:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 02:51:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-01-29 02:51:07 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-01-29 02:49:37 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-01-29 02:48:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 02:48:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-29 02:47:18 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-29 02:44:32 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 244 seconds) |
| 2025-01-29 02:43:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 02:38:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-29 02:36:26 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) (Client Quit) |
| 2025-01-29 02:35:54 +0100 | <Inst_> | Sorry about this |
| 2025-01-29 02:35:48 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
| 2025-01-29 02:35:48 +0100 | <Inst_> | ze missiles, and only functional programming can provide that level of security |
| 2025-01-29 02:35:47 +0100 | <Inst_> | Let me babble a bit more: Haskell is still relevant because the readability, maintainability, purity, and comprehensibility of Haskell helps in a future age where most code is generated, because security from strong types is now paramount; you do not want the LLM to have its training data poisoned and accidentally expose your data, or worse, launch |
| 2025-01-29 02:33:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 02:33:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-29 02:32:21 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) |
| 2025-01-29 02:32:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-29 02:30:24 +0100 | Inst__ | (~Inst__@2600:1006:b039:8e06:348d:59cb:8a80:2e01) (Quit: Client closed) |
| 2025-01-29 02:28:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 02:27:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 02:24:06 +0100 | otto_s | (~user@p5b044c4b.dip0.t-ipconnect.de) |
| 2025-01-29 02:22:44 +0100 | otto_s | (~user@p4ff270b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-01-29 02:19:14 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-01-29 02:16:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 02:15:25 +0100 | sprotte24 | (~sprotte24@p200300d16f3179007dc10aa53878022c.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-29 02:07:55 +0100 | <Inst__> | It technically works, I mean, I haven't had a machine for a while, but it doesn't provide a concept of a loop, and the code is ugly |
| 2025-01-29 02:07:26 +0100 | <Inst__> | :( I thought the code would be fun to tear apart |
| 2025-01-29 02:07:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 02:04:04 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 02:00:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-29 01:59:03 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-29 01:58:46 +0100 | euleritian | (~euleritia@77.23.250.232) (Remote host closed the connection) |