2025-01-29 00:04:15 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-01-29 00:07:30 +0100 | mulk | (~mulk@pd9514894.dip0.t-ipconnect.de) mulk |
2025-01-29 00:09:59 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
2025-01-29 00:10:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 00:11:58 +0100 | lythieme | (~lythieme@209.214.83.194) |
2025-01-29 00:13:37 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-01-29 00:14:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-29 00:17:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-01-29 00:17:43 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
2025-01-29 00:19:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-01-29 00:20:08 +0100 | lythieme | (~lythieme@209.214.83.194) (Quit: Client closed) |
2025-01-29 00:24:05 +0100 | <haskellbridge> | <Bowuigi> foldr/build-like theorems are pretty interesting. On Mendler-encoded data it holds for mcata/mbuild by beta reduction (mbuild is just id but fancy) |
2025-01-29 00:24:45 +0100 | <haskellbridge> | <Bowuigi> Not sure how a paramorphism can be encoded in the same style tho, probably some messing around with the parameters |
2025-01-29 00:26:26 +0100 | <haskellbridge> | <Bowuigi> Histomorphisms can be encoded Mendler-style but not in a total language. Some subset might be able to be encoded tho, haven't checked |
2025-01-29 00:26:50 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-01-29 00:28:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 00:28:45 +0100 | <haskellbridge> | <Bowuigi> I'm actually really interested in those because they are essential in my lang. It's the best lambda encoding without recursive types that I've found |
2025-01-29 00:29:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-01-29 00:29:54 +0100 | ljdarj1 | ljdarj |
2025-01-29 00:33:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-01-29 00:33:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-01-29 00:44:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-29 00:49:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-29 00:50:08 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f203076ec74f0f78e66.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-01-29 00:50:13 +0100 | <EvanR_> | mendler-encoding ? |
2025-01-29 00:55:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 00:56:15 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 276 seconds) |
2025-01-29 01:00:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-01-29 01:03:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-29 01:05:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-01-29 01:08:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-01-29 01:11:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 01:14:38 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
2025-01-29 01:16:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-01-29 01:16:36 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
2025-01-29 01:26:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 01:31:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-01-29 01:32:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 01:38:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-01-29 01:42:04 +0100 | xff0x | (~xff0x@ai096095.d.east.v6connect.net) (Ping timeout: 272 seconds) |
2025-01-29 01:47:26 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) |
2025-01-29 01:47:54 +0100 | <Inst_> | Is Haskell still relevant in the age of LLM programmers? |
2025-01-29 01:48:10 +0100 | <haskellbridge> | <Axman6> No |
2025-01-29 01:48:15 +0100 | <haskellbridge> | <Axman6> we're all dead |
2025-01-29 01:48:29 +0100 | <Inst_> | To some extent, I suspect its susceptibility to formal verification actually makes it quite suited. |
2025-01-29 01:48:39 +0100 | <Inst_> | Actually, I'm dead inside, Axman6. |
2025-01-29 01:49:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-01-29 01:49:24 +0100 | <haskellbridge> | <Axman6> I sae someone say yesterday that they couldn't convince one of the LLMs that "addOne = (+ 1)" was valid haskell, so there's still hope |
2025-01-29 01:49:40 +0100 | <geekosaur> | LLMs don't understand Haskell. Maybe if someone had fed them Wadler, SPJ, ekmett, Conor McBride, etc. instead of random blogs, they'd do a good job with it |
2025-01-29 01:50:22 +0100 | <Inst_> | I used to be pro-Simple Haskell, now I'm pro-fancy types because when LLMs end up spitting code and the job of the developer is to validate it, the type system helps |
2025-01-29 01:50:36 +0100 | <geekosaur> | (there's more where those 4 came from; sadly nobody's asking me for a bibliography to feed LLMs) |
2025-01-29 01:50:56 +0100 | <Inst_> | I'm actually on WeChat with a segment of the Chinese Haskell community |
2025-01-29 01:51:17 +0100 | <Inst_> | Let me get you the GitHub links for the game snake, someone complained it wasn't using classy MTL |
2025-01-29 01:51:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-29 01:51:33 +0100 | <Inst_> | Produced via both deepseek and 1.o |
2025-01-29 01:51:52 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) (Client Quit) |
2025-01-29 01:52:37 +0100 | Inst__ | (~Inst__@2600:1006:b039:8e06:348d:59cb:8a80:2e01) |
2025-01-29 01:52:42 +0100 | <Inst__> | https://gist.github.com/yihuang/7344984aed9a13099146dc55dd4249e3 |
2025-01-29 01:52:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-29 01:54:46 +0100 | <Inst__> | The MTL one is a screenshot, can't link |
2025-01-29 01:55:28 +0100 | <Inst__> | Other complaint is that the code deepseek / 1.o are producing are too imperative |
2025-01-29 01:56:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2025-01-29 01:57:28 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2025-01-29 01:57:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-01-29 01:57:45 +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) |
2025-01-29 01:59:03 +0100 | euleritian | (~euleritia@77.23.250.232) |
2025-01-29 02:00:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-01-29 02:04:04 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
2025-01-29 02:07:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 02:07:26 +0100 | <Inst__> | :( I thought the code would be fun to tear apart |
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:15:25 +0100 | sprotte24 | (~sprotte24@p200300d16f3179007dc10aa53878022c.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-01-29 02:16:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (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:22:44 +0100 | otto_s | (~user@p4ff270b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-01-29 02:24:06 +0100 | otto_s | (~user@p5b044c4b.dip0.t-ipconnect.de) |
2025-01-29 02:27:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-29 02:28:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 02:30:24 +0100 | Inst__ | (~Inst__@2600:1006:b039:8e06:348d:59cb:8a80:2e01) (Quit: Client closed) |
2025-01-29 02:32:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-01-29 02:32:21 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) |
2025-01-29 02:33:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-01-29 02:33:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
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:35:48 +0100 | <Inst_> | ze missiles, and only functional programming can provide that level of security |
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:54 +0100 | <Inst_> | Sorry about this |
2025-01-29 02:36:26 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) (Client Quit) |
2025-01-29 02:38:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2025-01-29 02:43:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 02:44:32 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 244 seconds) |
2025-01-29 02:47:18 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
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:48:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-01-29 02:49:37 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
2025-01-29 02:51:07 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2025-01-29 02:51:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-01-29 02:59:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 03:06:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 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:14:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2025-01-29 03:15:54 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-01-29 03:17:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2025-01-29 03:17:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
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:19:02 +0100 | Tikosh | (~quassel@user/Tikosh) Tikosh |
2025-01-29 03:20:26 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
2025-01-29 03:22:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
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:59 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-01-29 03:30:42 +0100 | tavare | (~tavare@user/tavare) tavare |
2025-01-29 03:33:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-29 03:35:56 +0100 | AvengingFemme | (~avengingf@syn-074-076-186-205.res.spectrum.com) |
2025-01-29 03:37:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-01-29 03:47:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |