Newest at the top
| 2025-01-16 21:57:38 +0100 | haskellbridge | sm went down a rabbit hole gathering old notes: https://joyful.com/Haskell |
| 2025-01-16 21:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 21:51:55 +0100 | <fr33domlover> | elegant way... are we still waiting for the golden Haskell feature that will solve that? |
| 2025-01-16 21:51:55 +0100 | <fr33domlover> | o/ is there an elegant way to do type-level list mapping? I used to do it with FCF but much type/instance inference didn't happen and I ended up finding a workaround using Vinyl instead. But whenever I need type level list mapping (this starts repeating, let's call it TLLM :p) again I keep looking for ways to avoid it... sometimes there's no |
| 2025-01-16 21:49:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-16 21:44:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-16 21:43:08 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-16 21:39:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 21:39:45 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2025-01-16 21:39:37 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-16 21:39:02 +0100 | Digitteknohippie | Digit |
| 2025-01-16 21:33:33 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-16 21:29:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-16 21:29:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-16 21:29:24 +0100 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Quit: Leaving) |
| 2025-01-16 21:26:46 +0100 | ColinRobinson | (~00000000@user/JuanDaugherty) (Quit: Client closed) |
| 2025-01-16 21:24:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 21:21:19 +0100 | <juri_> | website's back up. :P |
| 2025-01-16 21:13:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-16 21:06:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 21:06:02 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-16 21:02:00 +0100 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-01-16 21:00:41 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-16 21:00:34 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-16 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-16 20:58:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-01-16 20:55:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-16 20:54:24 +0100 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
| 2025-01-16 20:51:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 20:50:10 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-16 20:48:53 +0100 | JuanDaugherty | (~00000000@user/JuanDaugherty) JuanDaugherty |
| 2025-01-16 20:45:59 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-16 20:44:07 +0100 | <[exa]> | lol I meant that github ranking from above |
| 2025-01-16 20:41:33 +0100 | <hellwolf> | it might be an infinite list, it all depends on if you keep consume it. |
| 2025-01-16 20:39:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-16 20:37:30 +0100 | [exa] | discovers patat |
| 2025-01-16 20:37:20 +0100 | <[exa]> | oh wow that's a good list |
| 2025-01-16 20:37:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-16 20:34:58 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 245 seconds) |
| 2025-01-16 20:34:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 20:32:43 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-16 20:30:38 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-16 20:28:50 +0100 | sprotte24 | (~sprotte24@p200300d16f3cd90019624f68c556fd78.dip0.t-ipconnect.de) |
| 2025-01-16 20:27:13 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-01-16 20:26:18 +0100 | lol_ | jcarpenter2 |
| 2025-01-16 20:23:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-16 20:23:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-16 20:18:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-16 20:18:46 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-01-16 20:13:28 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |