2025/03/28

Newest at the top

2025-03-28 01:46:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:44:34 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
2025-03-28 01:41:52 +0100aetepe(~aetepe@188.119.58.34) (Ping timeout: 252 seconds)
2025-03-28 01:39:30 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-03-28 01:36:12 +0100jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed)
2025-03-28 01:35:21 +0100st_aldini(~Thunderbi@136.48.22.91) (Remote host closed the connection)
2025-03-28 01:34:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 01:32:03 +0100malte(~malte@mal.tc) malte
2025-03-28 01:30:30 +0100toby-bro(~toby-bro@user/toby-bro) (Ping timeout: 276 seconds)
2025-03-28 01:28:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:27:51 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers
2025-03-28 01:17:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 01:14:56 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 265 seconds)
2025-03-28 01:12:40 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-28 01:12:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:08:19 +0100 <anselmschueler> specifically when I wrote this rejected proposal: https://github.com/haskell/core-libraries-committee/issues/72
2025-03-28 01:07:59 +0100 <anselmschueler> I seem to remember it wasn’t so some time ago
2025-03-28 01:07:51 +0100 <anselmschueler> does anyone know when stimes was changed to document that it’ll work with 0 only for some implementors, and that stimesMonoid was added to enforce stimesMonoid 0 = mempty?
2025-03-28 01:06:05 +0100geekosaurwaves
2025-03-28 01:05:55 +0100xff0x(~xff0x@2405:6580:b080:900:879:4ff2:52d5:5929)
2025-03-28 01:05:28 +0100 <anselmschueler> ’s been a while
2025-03-28 01:05:24 +0100sprotte24(~sprotte24@p200300d16f0a80004582713a1a0df846.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-03-28 01:05:24 +0100 <anselmschueler> Hi
2025-03-28 01:05:23 +0100anselmschueler(~quassel@user/schuelermine) schuelermine
2025-03-28 01:01:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-28 00:56:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 00:52:44 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-03-28 00:48:29 +0100xff0x(~xff0x@2405:6580:b080:900:879:4ff2:52d5:5929) (Quit: xff0x)
2025-03-28 00:46:01 +0100malte(~malte@mal.tc) malte
2025-03-28 00:45:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 00:43:56 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-03-28 00:40:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 00:36:43 +0100vavakado(~vavakado@user/Vavakado) (Quit: Lost terminal)
2025-03-28 00:29:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-28 00:24:10 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-03-28 00:24:01 +0100malte(~malte@mal.tc) malte
2025-03-28 00:22:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 00:15:31 +0100HelloImSteven(~HelloImSt@user/HelloImSteven) (Quit: HelloImSteven)
2025-03-28 00:11:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 00:08:06 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds)
2025-03-28 00:07:12 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-03-28 00:06:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 00:04:09 +0100j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-03-27 23:59:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-27 23:52:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-27 23:42:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-27 23:39:46 +0100malte(~malte@mal.tc) (Ping timeout: 244 seconds)
2025-03-27 23:37:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-27 23:26:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-27 23:25:21 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux