2025/11/12

Newest at the top

2025-11-12 23:39:58 +0100Zemy(~Zemy@syn-192-154-181-091.biz.spectrum.com)
2025-11-12 23:39:00 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-11-12 23:38:40 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-11-12 23:38:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 23:34:39 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-11-12 23:31:23 +0100deptype_(~deptype@2406:b400:3a:73c2:7662:5cba:518d:d8e)
2025-11-12 23:31:03 +0100deptype_(~deptype@2406:b400:3a:73c2:5f72:e749:c6f3:8b2c) (Remote host closed the connection)
2025-11-12 23:29:45 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-11-12 23:27:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-12 23:25:41 +0100Googulator95(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 23:25:37 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 23:20:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 23:19:11 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-11-12 23:18:07 +0100Zemy(~Zemy@72.178.108.235) (Ping timeout: 256 seconds)
2025-11-12 23:14:42 +0100Zemy_(~Zemy@2600:100c:b055:261e:64d5:e4ff:fec7:1ec)
2025-11-12 23:11:53 +0100wickedjargon(~user@207.194.126.2) (Ping timeout: 256 seconds)
2025-11-12 23:11:13 +0100deptype_(~deptype@2406:b400:3a:73c2:5f72:e749:c6f3:8b2c)
2025-11-12 23:11:01 +0100deptype_(~deptype@2406:b400:3a:73c2:74c6:7116:553c:9a14) (Remote host closed the connection)
2025-11-12 23:10:44 +0100Googulator41(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 23:10:40 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 23:09:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-12 23:08:00 +0100starving_drummer(~berke@user/Starving-Drummer:76786) (Konversation terminated!)
2025-11-12 23:04:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 23:02:32 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-12 22:59:34 +0100karenw(~karenw@user/karenw) (Ping timeout: 246 seconds)
2025-11-12 22:59:26 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-11-12 22:55:49 +0100Googulator41(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 22:55:43 +0100Googulator22(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 22:53:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
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)