Newest at the top
| 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 |
| 2025-04-25 23:26:46 +0200 | <EvanR> | (answer: type sig omitted in latest source code as well. too obvious to state!) |
| 2025-04-25 23:24:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-25 23:21:32 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-25 23:21:16 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 23:20:15 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2025-04-25 23:16:30 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-25 23:16:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 23:10:50 +0200 | <EvanR> | haskell is so good at making languages |
| 2025-04-25 23:08:17 +0200 | <EvanR> | I wonder if the type sig for monadN2N is just omitted for the sake of bloggery |
| 2025-04-25 23:06:17 +0200 | takuan | (~takuan@d8d86b601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-25 23:05:48 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-25 23:05:29 +0200 | <EvanR> | jargon collision batman |
| 2025-04-25 23:05:20 +0200 | <EvanR> | tinyAPL blog about the implementation almost immediately gets into monads! https://blog.rubenverg.com/tinyapl_1_arrays#array-instances (APL monads that is) |
| 2025-04-25 23:05:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 23:00:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 22:59:20 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-25 22:49:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-25 22:45:07 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2025-04-25 22:44:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 22:36:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-04-25 22:33:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 22:28:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 22:24:48 +0200 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-04-25 22:23:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 22:21:43 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 22:16:40 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 22:13:23 +0200 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2025-04-25 22:11:45 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/eLupUUnZOnJCeOGTbilDFUIK/hEXWGtzhpm4 (3 lines) |
| 2025-04-25 22:11:44 +0200 | <haskellbridge> | <hellwolf> sop-core: "data NP (a :: k -> Type) (b :: [k]) where ..." |