2025/03/28

Newest at the top

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
2025-03-27 23:21:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-27 23:18:22 +0100 <tomsmeding> this channels is rather prominently mentioned here though https://summer.haskell.org/contact.html
2025-03-27 23:14:54 +0100OlzhasYergali(~OlzhasYer@188.130.156.6) (Quit: Client closed)
2025-03-27 23:10:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-27 23:09:30 +0100plitter(~plitter@user/plitter) plitter
2025-03-27 23:09:30 +0100plitter(~plitter@2a01:799:b93:2400:a236:bcff:febb:db81) (Changing host)
2025-03-27 23:09:30 +0100plitter(~plitter@2a01:799:b93:2400:a236:bcff:febb:db81)
2025-03-27 23:09:17 +0100tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 244 seconds)
2025-03-27 23:08:10 +0100myme(~myme@2a01:799:d5e:5f00:ece1:5fda:8ec3:3560) myme
2025-03-27 23:07:45 +0100myme(~myme@2a01:799:d5e:5f00:ece1:5fda:8ec3:3560) (Ping timeout: 248 seconds)
2025-03-27 23:07:26 +0100plitter(~plitter@user/plitter) (Ping timeout: 244 seconds)
2025-03-27 23:06:08 +0100takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-03-27 23:05:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-27 23:05:15 +0100 <geekosaur> yeh, pretty sure the /topic in there says you're more likely to get a response here
2025-03-27 23:04:23 +0100michalz(~michalz@185.246.207.197) (Remote host closed the connection)