Newest at the top
| 2025-04-29 14:28:22 +0200 | <JuanDaugherty> | i.e. the move of the haskell irc channel namespace from freenode to here |
| 2025-04-29 14:28:03 +0200 | <JuanDaugherty> | sounds like what I meant |
| 2025-04-29 14:27:44 +0200 | <shapr> | The libera shift was the most dramatic, imo |
| 2025-04-29 14:27:39 +0200 | Inst | (~Inst@user/Inst) Inst |
| 2025-04-29 14:27:07 +0200 | <haskellbridge> | <Liamzee> from freenod eto libera or efnet to OPN? |
| 2025-04-29 14:27:00 +0200 | <JuanDaugherty> | ! |
| 2025-04-29 14:26:57 +0200 | <JuanDaugherty> | yello shapr |
| 2025-04-29 14:26:45 +0200 | <JuanDaugherty> | the whole hs namespace and its users moved in a matter of hours |
| 2025-04-29 14:26:43 +0200 | <shapr> | Hello JuanDaugherty ! |
| 2025-04-29 14:26:24 +0200 | <JuanDaugherty> | it was impressive |
| 2025-04-29 14:25:57 +0200 | <haskellbridge> | <Liamzee> also, is it correct to say that IO actions are always inlined, but as actions? |
| 2025-04-29 14:25:53 +0200 | wlhn | (~wlhn@130.41.101.92) (Ping timeout: 248 seconds) |
| 2025-04-29 14:25:53 +0200 | <shapr> | I've met a good number of the early denizens. |
| 2025-04-29 14:25:37 +0200 | <shapr> | I met them when I lived in Sweden so long ago |
| 2025-04-29 14:25:35 +0200 | <haskellbridge> | <Liamzee> he's also very nice |
| 2025-04-29 14:25:25 +0200 | <shapr> | yeah! ski is brilliant! |
| 2025-04-29 14:25:18 +0200 | <yin> | i was around in freenode! i remember ski helping me understand recursive tree traversal |
| 2025-04-29 14:24:59 +0200 | <shapr> | yin: this channel was started in the first few months of 2001 |
| 2025-04-29 14:24:57 +0200 | tomsmeding | discovered freenode after the rename, apparently |
| 2025-04-29 14:24:39 +0200 | <tomsmeding> | ah |
| 2025-04-29 14:24:39 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-29 14:24:37 +0200 | <tomsmeding> | I only barely know the existence of EFNet from earlier mentions |
| 2025-04-29 14:24:30 +0200 | <shapr> | Right, though OPN got renamed to freenode, so roughly the same thing |
| 2025-04-29 14:24:21 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-04-29 14:24:16 +0200 | <tomsmeding> | EFNet -> OPN -> Freenode -> Libera? |
| 2025-04-29 14:23:58 +0200 | <shapr> | Mind you, we moved from EFNet to, uh, OPN, and now to Libera |
| 2025-04-29 14:23:54 +0200 | jespada | (~jespada@r167-61-148-73.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-29 14:23:51 +0200 | <tomsmeding> | probably a few irc networks earlier, or was it freenode in the beginning already? |
| 2025-04-29 14:23:49 +0200 | <yin> | shapr: oh great! well, thank you then |
| 2025-04-29 14:23:23 +0200 | <shapr> | yin: yes! |
| 2025-04-29 14:23:19 +0200 | <yin> | wait, are you talking about *this* channel? |
| 2025-04-29 14:23:18 +0200 | <tomsmeding> | maybe :p |
| 2025-04-29 14:23:03 +0200 | <shapr> | soon it'll be you! |
| 2025-04-29 14:22:59 +0200 | <shapr> | tomsmeding: a decent chunk of the early crowd now have their own PhD students |
| 2025-04-29 14:22:39 +0200 | <shapr> | yin: you're here now! hurrah! |
| 2025-04-29 14:22:37 +0200 | <tomsmeding> | it's cool to see that some of those are still around :) |
| 2025-04-29 14:22:28 +0200 | <yin> | i wish i thought of that when i was teaching myself haskell |
| 2025-04-29 14:22:10 +0200 | <shapr> | Yeah, early days were Igloo and Heffalump and ski and a few others. |
| 2025-04-29 14:21:43 +0200 | <tomsmeding> | or non-ideas |
| 2025-04-29 14:21:39 +0200 | <tomsmeding> | having someone to bounce ideas off is great, yeah |
| 2025-04-29 14:21:24 +0200 | <tomsmeding> | hah |
| 2025-04-29 14:21:18 +0200 | <shapr> | Mind you, that's why I started this IRC channel, because I was unable to teach myself Haskell |
| 2025-04-29 14:21:05 +0200 | <shapr> | Another reason this is working better is that I'm in a reading group, where I get stuck is not where exarkun gets stuck. |
| 2025-04-29 14:20:27 +0200 | <yin> | ty |
| 2025-04-29 14:20:19 +0200 | <shapr> | yin: https://www.goodreads.com/book/show/1404132.Denotational_Semantics |
| 2025-04-29 14:20:11 +0200 | <shapr> | I think partially because it's very concrete. |
| 2025-04-29 14:20:05 +0200 | <yin> | shapr: which book is it? |
| 2025-04-29 14:19:50 +0200 | <tomsmeding> | that's cool! |
| 2025-04-29 14:19:44 +0200 | <tomsmeding> | lol |
| 2025-04-29 14:19:39 +0200 | <shapr> | I've bounced off several category theory books previously, but this 1976(?) book is working for me. |