Newest at the top
| 2025-04-26 01:15:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-26 01:13:19 +0200 | sprotte24 | (~sprotte24@p200300d16f05f30064a5653bc6ebb7c1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-26 01:09:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 00:58:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-26 00:56:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-26 00:56:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-26 00:51:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-26 00:49:13 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-26 00:48:20 +0200 | <monochrom> | OverlordDotComDot |
| 2025-04-26 00:47:22 +0200 | <haskellbridge> | St. Francis |
| 2025-04-26 00:47:22 +0200 | <haskellbridge> | <hellwolf> {-# LANGUAGE OverloadedRecordDot #-} |
| 2025-04-26 00:39:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-26 00:29:22 +0200 | <mauke> | St Francis |
| 2025-04-26 00:07:27 +0200 | <EvanR> | wasn't a type at all but a synonym... |
| 2025-04-26 00:06:44 +0200 | <monochrom> | I haven't heard of St. |
| 2025-04-26 00:06:30 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-26 00:06:29 +0200 | <EvanR> | type St = StateT Context (ExceptT Error IO) |
| 2025-04-26 00:03:05 +0200 | LainIwakura41 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-26 00:02:06 +0200 | <haskellbridge> | <hellwolf> * "type |
| 2025-04-26 00:01:45 +0200 | <haskellbridge> | <hellwolf> "data NeoHaskell = Void" |
| 2025-04-26 00:01:42 +0200 | <EvanR> | eval :: Tree -> St Value |
| 2025-04-26 00:01:05 +0200 | <EvanR> | sanity check, is there some special type called St, I can't seem to find the definition |
| 2025-04-25 23:59:27 +0200 | <EvanR> | lol NeoHaskell |
| 2025-04-25 23:55:57 +0200 | Guest83 | (~Guest83@31.217.17.11) (Quit: Client closed) |
| 2025-04-25 23:55:41 +0200 | JoeRayner123 | (~Thunderbi@31.217.17.11) (Quit: JoeRayner123) |
| 2025-04-25 23:51:22 +0200 | <hellwolf> | I think there is enough training data to create NeoHaskell, but not creating something new. |
| 2025-04-25 23:51:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-25 23:50:15 +0200 | JoeRayner123 | (~Thunderbi@31.217.17.11) |
| 2025-04-25 23:48:56 +0200 | JoeRayner123 | (~Thunderbi@31.217.17.11) (Client Quit) |
| 2025-04-25 23:48:11 +0200 | JoeRayner123 | (~Thunderbi@31.217.17.11) |
| 2025-04-25 23:44:42 +0200 | <EvanR> | those are some good adverbs |
| 2025-04-25 23:43:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-25 23:42:44 +0200 | Guest83 | (~Guest83@31.217.17.11) |
| 2025-04-25 23:38:55 +0200 | <lambdabot> | [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... |
| 2025-04-25 23:38:54 +0200 | <int-e> | > fix((0:).scanl(+)1) |
| 2025-04-25 23:38:14 +0200 | <mauke> | there, on topic again :-) |
| 2025-04-25 23:37:56 +0200 | <mauke> | ghci prompt engineering |
| 2025-04-25 23:37:36 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-25 23:37:03 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-25 23:36:55 +0200 | <int-e> | . o O ( one for #haskell-offtopic ) |
| 2025-04-25 23:36:17 +0200 | <mauke> | https://hiddenlayer.com/innovation-hub/novel-universal-bypass-for-all-major-llms/ |
| 2025-04-25 23:35:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 23:33:51 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2025-04-25 23:31:28 +0200 | <haskellbridge> | <hellwolf> for the age of prompt based "enginering" |
| 2025-04-25 23:31:16 +0200 | <haskellbridge> | <hellwolf> need a natural language satire: the next 700 natural languages |
| 2025-04-25 23:30:25 +0200 | <lambdabot> | int-e says: I want dependable types. |
| 2025-04-25 23:30:25 +0200 | <int-e> | @quote dependable |
| 2025-04-25 23:29:06 +0200 | <haskellbridge> | <hellwolf> on hindsight, it should be DH: SBool True |
| 2025-04-25 23:27:57 +0200 | <lambdabot> | Bool |
| 2025-04-25 23:27:56 +0200 | <int-e> | :t otherwise |