| 2026-02-19 00:03:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 00:04:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-19 00:14:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 00:16:36 +0100 | yin | (~zero@user/zero) zero |
| 2026-02-19 00:18:43 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-19 00:19:03 +0100 | <EvanR> | yes my account was inaccurate |
| 2026-02-19 00:19:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-19 00:20:14 +0100 | <Clint> | your timeline was inaccurate |
| 2026-02-19 00:21:07 +0100 | yin | (~zero@user/zero) (Ping timeout: 246 seconds) |
| 2026-02-19 00:21:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 00:30:19 +0100 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-19 00:30:34 +0100 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
| 2026-02-19 00:32:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 00:32:15 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-19 00:33:43 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-19 00:34:19 +0100 | ___ | (~o@user/offon) (Server closed connection) |
| 2026-02-19 00:34:30 +0100 | _\_ | (~o@user/offon) offon |
| 2026-02-19 00:35:22 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-02-19 00:35:27 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-19 00:36:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-19 00:37:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 00:38:19 +0100 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Server closed connection) |
| 2026-02-19 00:38:39 +0100 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn |
| 2026-02-19 00:47:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 00:50:59 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 250 seconds) |
| 2026-02-19 00:52:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 00:52:50 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-19 00:54:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 00:59:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 01:05:03 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2026-02-19 01:05:10 +0100 | Guest99 | (~Guest99@197.146.208.67) |
| 2026-02-19 01:06:04 +0100 | Guest99 | (~Guest99@197.146.208.67) (Client Quit) |
| 2026-02-19 01:06:19 +0100 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection) |
| 2026-02-19 01:06:26 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-19 01:06:26 +0100 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2026-02-19 01:06:54 +0100 | Guest99 | (~Guest99@197.146.208.67) |
| 2026-02-19 01:07:39 +0100 | Guest99 | (~Guest99@197.146.208.67) (Client Quit) |
| 2026-02-19 01:10:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 01:10:53 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-19 01:14:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 01:22:57 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-02-19 01:24:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-19 01:24:12 +0100 | wickedjargon | (~user@2605:8d80:5430:82f4:92d3:1184:5262:be6e) wickedjargon |
| 2026-02-19 01:25:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 01:30:07 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-02-19 01:30:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 01:39:55 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-19 01:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 01:43:39 +0100 | orcus- | (~orcus@user/brprice) (Server closed connection) |
| 2026-02-19 01:43:52 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-19 01:43:58 +0100 | orcus | (~orcus@user/brprice) brprice |
| 2026-02-19 01:45:39 +0100 | peutri | (~peutri@bobo.desast.re) (Server closed connection) |
| 2026-02-19 01:45:49 +0100 | peutri | (~peutri@bobo.desast.re) peutri |
| 2026-02-19 01:46:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 01:46:11 +0100 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-19 01:46:23 +0100 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) S11001001 |
| 2026-02-19 01:46:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 01:47:16 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f3ed:c7e5:5beb:90ae) (Ping timeout: 256 seconds) |
| 2026-02-19 01:51:38 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-02-19 01:51:50 +0100 | <edwardk> | __monty__, evanr: the 'it was already owned by them for a while' thing is being rather credulous, because it hinges on an argument that basically says 'hey i helped you guys run one event one time, so now i own you' and a rather clandestine ownership transfer that was hidden from all the mods. then when all the mods quit over his moves, THEN boom one week later libera. |
| 2026-02-19 01:52:11 +0100 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (Server closed connection) |
| 2026-02-19 01:52:23 +0100 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) hamishmack |
| 2026-02-19 01:56:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 01:57:11 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2026-02-19 02:05:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 02:06:01 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-19 02:08:02 +0100 | yin | (~zero@user/zero) zero |
| 2026-02-19 02:10:18 +0100 | <sm> | Glory to Libera! HAIL! |
| 2026-02-19 02:11:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-19 02:12:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-02-19 02:13:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-19 02:15:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 02:20:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-19 02:22:59 +0100 | piele | (~piele@eiseth.creativeserver.net) (Server closed connection) |
| 2026-02-19 02:23:11 +0100 | piele | (~piele@eiseth.creativeserver.net) piele |
| 2026-02-19 02:32:51 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Server closed connection) |
| 2026-02-19 02:33:03 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) b20n |
| 2026-02-19 02:33:52 +0100 | <edwardk> | so what interesting stuff is going on in the haskell world in the last year or two? I've been a bit distracted |
| 2026-02-19 02:34:51 +0100 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (Server closed connection) |
| 2026-02-19 02:35:18 +0100 | haasn | (sid579015@id-579015.hampstead.irccloud.com) haasn |
| 2026-02-19 02:36:51 +0100 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Server closed connection) |
| 2026-02-19 02:37:13 +0100 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2026-02-19 02:38:25 +0100 | spew | (~spew@user/spew) (Ping timeout: 265 seconds) |
| 2026-02-19 02:40:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-02-19 02:47:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-19 02:49:04 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:8f54:b4a:bfd8:74df) |
| 2026-02-19 02:50:21 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 02:53:39 +0100 | tjbc | (~tjbc@user/fliife) (Server closed connection) |
| 2026-02-19 02:54:50 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2026-02-19 02:55:43 +0100 | <sm> | howdy edwardk. There's a nice IDE-friendly haskell debugger coming together. Compiling to WASM is becoming a normal thing. (Pandoc runs in the browser now.) The first AmeriHAC just happened (maybe you were there ?) |
| 2026-02-19 02:56:58 +0100 | <jreicher> | sm: do you have a reference for the debugger? I've always wondered about a debugger for a runtime like this (not specifically Haskell) |
| 2026-02-19 02:57:05 +0100 | <sm> | and the github vs gitlab vs X debate for ghc dev has been simmering again |
| 2026-02-19 02:57:42 +0100 | <sm> | https://github.com/well-typed/haskell-debugger |
| 2026-02-19 02:58:07 +0100 | <sm> | also, AI has become really good at writing, debugging, and cleaning up haskell code |
| 2026-02-19 03:00:32 +0100 | <jreicher> | Oh it implements DAP. Interesting. |
| 2026-02-19 03:01:11 +0100 | <jreicher> | I'll have to watch one of the videos. Stepping is such an imperative thing I'd like to see how it looks in this context. Thanks. |
| 2026-02-19 03:02:43 +0100 | <haskellbridge> | <sm> you can see it in a more low level form in the debugger that's built in to ghci. Lots of confusing jumping around as things are evaluated! But it makes sense for the most part. haskell-debugger hopefully will make things clearer |
| 2026-02-19 03:03:46 +0100 | hololeap | (~quassel@user/hololeap) (Ping timeout: 256 seconds) |
| 2026-02-19 03:03:54 +0100 | markasoftware | (~quassel@2604:180:f2::217) (Ping timeout: 252 seconds) |
| 2026-02-19 03:04:37 +0100 | hololeap | (~quassel@user/hololeap) hololeap |
| 2026-02-19 03:05:46 +0100 | <jreicher> | Woah. You sound so far away all of a sudden. |
| 2026-02-19 03:07:34 +0100 | markasoftware | (~quassel@107.161.26.124) markasoftware |
| 2026-02-19 03:07:39 +0100 | tomsmeding | (~tomsmedin@user/tomsmeding) (Server closed connection) |
| 2026-02-19 03:07:56 +0100 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2026-02-19 03:10:37 +0100 | <haskellbridge> | <sm> hehe I'm o v e r h e r e o / |
| 2026-02-19 03:10:46 +0100 | <fgarcia> | i found out ghc can run in the browser. huge download though |
| 2026-02-19 03:17:31 +0100 | dy | (sid3438@user/dy) (Server closed connection) |
| 2026-02-19 03:17:43 +0100 | dy | (sid3438@user/dy) \\\\\ |
| 2026-02-19 03:35:28 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-19 03:35:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 03:36:30 +0100 | wickedja` | (~user@72.143.223.37) |
| 2026-02-19 03:36:59 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 03:37:16 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 03:38:12 +0100 | wickedjargon | (~user@2605:8d80:5430:82f4:92d3:1184:5262:be6e) (Ping timeout: 264 seconds) |
| 2026-02-19 03:40:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 03:51:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 03:52:15 +0100 | <edwardk> | sm: i missed amerihac. i was hoping to go, then had to deal with an electrician installing a circuit at the house for an aquarium at the last minute. |
| 2026-02-19 03:53:17 +0100 | <Clint> | surprise aquarium |
| 2026-02-19 03:53:23 +0100 | <edwardk> | i did get a chance to talk to rodrigo about the haskell-debugger project at popl. neat stuff! we've been seriously lacking in that regards. |
| 2026-02-19 03:53:34 +0100 | <edwardk> | Clint: mor like surprise availability of the electrician ;) |
| 2026-02-19 03:54:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2026-02-19 03:55:09 +0100 | <edwardk> | turns out reef tanks take a _lot_ of electricity, and i hadn't quite adequately accounted for that fact when picking where to place a couple of tons of seawater. |
| 2026-02-19 03:56:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 03:56:32 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 04:04:59 +0100 | geekosaur | (sid609282@xmonad/geekosaur) (Server closed connection) |
| 2026-02-19 04:05:11 +0100 | geekosaur | (sid609282@xmonad/geekosaur) geekosaur |
| 2026-02-19 04:06:08 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-19 04:06:36 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-19 04:06:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 04:07:39 +0100 | totbwf | (sid402332@user/totbwf) (Server closed connection) |
| 2026-02-19 04:07:50 +0100 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2026-02-19 04:09:56 +0100 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (Changing host) |
| 2026-02-19 04:09:56 +0100 | totbwf | (sid402332@user/totbwf) totbwf |
| 2026-02-19 04:10:14 +0100 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 2026-02-19 04:11:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-19 04:11:49 +0100 | td_ | (~td@i5387091E.versanet.de) td_ |
| 2026-02-19 04:18:27 +0100 | <edwardk> | jreicher: back int he day there was a phd thesis on 'optimistic evaluation' for haskell, which turned each thunk creation point into a dynamic check for whether it should optimistically evaluate the thunk now rather than hold the context, then did some delicate dance to assign blame during gc for when it evaluated stuff that didn't get used later, eventually shutting off speculation at those let bindings. the thing i remember most |
| 2026-02-19 04:18:27 +0100 | <edwardk> | clearly about it is that it made the evaluation of haskell follow the visible control flow of the code much more clearly, like a strict language, but every once in a while while creating a thunk it'd behave kind of like the current 'thread' got pre-empted and your focus got pulled away elsewhere. i alway thought a debugger that followed that scheme would be amazing for haskell. |
| 2026-02-19 04:19:12 +0100 | <edwardk> | it would just look like a multi-threaded runtime that single stepped before jumping off to do another thread here and there as you stepped. |
| 2026-02-19 04:22:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 04:26:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |