2025/11/12

Newest at the top

2025-11-12 22:51:18 +0100deptype_(~deptype@2406:b400:3a:73c2:74c6:7116:553c:9a14)
2025-11-12 22:50:59 +0100deptype_(~deptype@2406:b400:3a:73c2:606a:c1ea:d84:3b2d) (Remote host closed the connection)
2025-11-12 22:50:42 +0100Googulator22(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 22:50:39 +0100Googulator41(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit)
2025-11-12 22:49:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 22:46:02 +0100Googulator41(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 22:45:54 +0100 <tomsmeding> for reference: https://github.com/haskell/ghcup-metadata/pull/343
2025-11-12 22:45:48 +0100Googulator41(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 22:42:49 +0100califax_califax
2025-11-12 22:42:34 +0100califax(~califax@user/califx) (Ping timeout: 272 seconds)
2025-11-12 22:41:34 +0100califax_(~califax@user/califx) califx
2025-11-12 22:39:46 +0100 <tomsmeding> oh wait it does?
2025-11-12 22:38:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 22:37:36 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-11-12 22:37:32 +0100 <tomsmeding> I advised the ghcup recommended ghc version to students without thinking but now I realise that they're not going to have a working HLS
2025-11-12 22:36:55 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-12 22:36:31 +0100 <tomsmeding> why does the current recommended GHC version in ghcup not have a prebuilt HLS?
2025-11-12 22:34:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 22:30:41 +0100deptype_(~deptype@2406:b400:3a:73c2:606a:c1ea:d84:3b2d)
2025-11-12 22:30:27 +0100deptype_(~deptype@2406:b400:3a:73c2:c11e:1f8f:810a:a11a) (Remote host closed the connection)
2025-11-12 22:25:47 +0100Googulator41(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 22:25:41 +0100Googulator21(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit)
2025-11-12 22:23:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-12 22:21:01 +0100Googulator21(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 22:20:39 +0100Googulator21(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 22:19:49 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-12 22:18:37 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds)
2025-11-12 22:18:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 22:12:01 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 22:12:00 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-11-12 22:11:48 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 22:11:06 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit)
2025-11-12 22:10:56 +0100Googulator21(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 22:10:44 +0100deptype_(~deptype@2406:b400:3a:73c2:c11e:1f8f:810a:a11a)
2025-11-12 22:10:25 +0100deptype_(~deptype@2406:b400:3a:73c2:bf37:f8ed:2fed:82c3) (Remote host closed the connection)
2025-11-12 22:09:24 +0100wickedjargon(~user@207.194.126.2)
2025-11-12 22:08:45 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 22:08:21 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 22:07:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-12 22:06:28 +0100wickedjargon(~user@207.194.126.2) (Remote host closed the connection)
2025-11-12 22:03:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 22:02:02 +0100wickedjargon(~user@207.194.126.2)
2025-11-12 21:59:21 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-12 21:50:35 +0100deptype_(~deptype@2406:b400:3a:73c2:bf37:f8ed:2fed:82c3)
2025-11-12 21:50:23 +0100deptype_(~deptype@2406:b400:3a:73c2:5e03:207a:a47b:4ca7) (Remote host closed the connection)
2025-11-12 21:36:05 +0100m1dnight(~m1dnight@d8D861A17.access.telenet.be) m1dnight
2025-11-12 21:35:25 +0100pr1sm(~pr1sm@24.91.163.31) (Remote host closed the connection)
2025-11-12 21:30:33 +0100deptype_(~deptype@2406:b400:3a:73c2:5e03:207a:a47b:4ca7)
2025-11-12 21:30:21 +0100deptype_(~deptype@2406:b400:3a:73c2:edfc:4146:f24d:4acc) (Remote host closed the connection)
2025-11-12 21:21:52 +0100Inline(~inlinE@2001-4dd3-bded-0-719b-11b7-e341-7e20.ipv6dyn.netcologne.de) Inline