Logs: liberachat/#haskell
| 2025-11-12 21:12:01 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 21:18:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 21:18:37 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2025-11-12 21:19:49 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-12 21:20:39 | × | Googulator21 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 21:21:01 | → | Googulator21 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 21:23:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-12 21:25:41 | × | Googulator21 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit) |
| 2025-11-12 21:25:47 | → | Googulator41 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 21:30:27 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:c11e:1f8f:810a:a11a) (Remote host closed the connection) |
| 2025-11-12 21:30:41 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:606a:c1ea:d84:3b2d) |
| 2025-11-12 21:34:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 21:36:31 | <tomsmeding> | why does the current recommended GHC version in ghcup not have a prebuilt HLS? |
| 2025-11-12 21:36:55 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-12 21:37:32 | <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 21:37:36 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-12 21:38:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-12 21:39:46 | <tomsmeding> | oh wait it does? |
| 2025-11-12 21:41:34 | → | califax_ joins (~califax@user/califx) |
| 2025-11-12 21:42:34 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-12 21:42:49 | califax_ | is now known as califax |
| 2025-11-12 21:45:48 | × | Googulator41 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 21:45:54 | <tomsmeding> | for reference: https://github.com/haskell/ghcup-metadata/pull/343 |
| 2025-11-12 21:46:02 | → | Googulator41 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 21:49:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 21:50:39 | × | Googulator41 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit) |
| 2025-11-12 21:50:42 | → | Googulator22 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 21:50:59 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:606a:c1ea:d84:3b2d) (Remote host closed the connection) |
| 2025-11-12 21:51:18 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:74c6:7116:553c:9a14) |
| 2025-11-12 21:53:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-12 21:55:43 | × | Googulator22 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 21:55:49 | → | Googulator41 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 21:59:26 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-11-12 21:59:34 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-11-12 22:02:32 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-12 22:04:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 22:08:00 | ← | starving_drummer parts (~berke@user/Starving-Drummer:76786) (Konversation terminated!) |
| 2025-11-12 22:09:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-12 22:10:40 | → | Googulator80 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 22:10:44 | × | Googulator41 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 22:11:01 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:74c6:7116:553c:9a14) (Remote host closed the connection) |
| 2025-11-12 22:11:13 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:5f72:e749:c6f3:8b2c) |
| 2025-11-12 22:11:53 | × | wickedjargon quits (~user@207.194.126.2) (Ping timeout: 256 seconds) |
| 2025-11-12 22:14:42 | → | Zemy_ joins (~Zemy@2600:100c:b055:261e:64d5:e4ff:fec7:1ec) |
| 2025-11-12 22:18:07 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 2025-11-12 22:19:11 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-12 22:20:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 22:25:37 | × | Googulator80 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-12 22:25:41 | → | Googulator95 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-12 22:27:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-12 22:29:45 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-11-12 22:31:03 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:5f72:e749:c6f3:8b2c) (Remote host closed the connection) |
| 2025-11-12 22:31:23 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:7662:5cba:518d:d8e) |
| 2025-11-12 22:34:39 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-12 22:38:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 22:38:40 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-12 22:39:00 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-11-12 22:39:58 | → | Zemy joins (~Zemy@syn-192-154-181-091.biz.spectrum.com) |
| 2025-11-12 22:41:42 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-11-12 22:43:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-12 22:43:12 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-12 22:43:30 | → | califax joins (~califax@user/califx) |
| 2025-11-12 22:44:12 | × | Zemy_ quits (~Zemy@2600:100c:b055:261e:64d5:e4ff:fec7:1ec) (Ping timeout: 256 seconds) |
| 2025-11-12 22:48:39 | → | Zemy_ joins (~Zemy@2600:100c:b055:261e:848a:e6ff:fef6:b5fe) |
| 2025-11-12 22:48:39 | × | Zemy quits (~Zemy@syn-192-154-181-091.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2025-11-12 22:49:08 | → | Zemy joins (~Zemy@12.50.240.58) |
| 2025-11-12 22:51:05 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:7662:5cba:518d:d8e) (Remote host closed the connection) |
| 2025-11-12 22:51:24 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:3633:19f7:985:2a24) |
| 2025-11-12 22:53:16 | × | Zemy_ quits (~Zemy@2600:100c:b055:261e:848a:e6ff:fef6:b5fe) (Ping timeout: 256 seconds) |
| 2025-11-12 22:53:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 22:54:46 | × | tromp quits (~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-12 22:56:39 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) |
| 2025-11-12 22:57:16 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-12 22:58:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-12 23:09:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 23:11:37 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:3633:19f7:985:2a24) (Remote host closed the connection) |
| 2025-11-12 23:11:49 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:c419:66dc:62ff:e4ce) |
| 2025-11-12 23:14:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-12 23:19:21 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:ad60:68d3:e3fb:e267) |
| 2025-11-12 23:19:41 | → | trickard__ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 23:19:49 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-12 23:19:58 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-11-12 23:24:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 23:29:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-12 23:31:39 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:c419:66dc:62ff:e4ce) (Remote host closed the connection) |
| 2025-11-12 23:31:58 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:d197:6867:8e4a:9b4) |
| 2025-11-12 23:37:25 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-12 23:39:01 | × | trickard__ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-12 23:40:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 23:40:13 | × | Zemy quits (~Zemy@12.50.240.58) (Read error: Connection reset by peer) |
| 2025-11-12 23:40:19 | → | Zemy_ joins (~Zemy@2600:100c:b055:261e:ec3f:92ff:feb1:6756) |
| 2025-11-12 23:44:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-12 23:45:40 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b980:ad60:68d3:e3fb:e267) (Quit: Leaving) |
| 2025-11-12 23:46:49 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) (Remote host closed the connection) |
| 2025-11-12 23:47:12 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-12 23:51:41 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:d197:6867:8e4a:9b4) (Remote host closed the connection) |
| 2025-11-12 23:51:53 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:5136:a01d:b111:9231) |
| 2025-11-12 23:52:30 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2025-11-12 23:55:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-12 23:56:10 | × | Zemy_ quits (~Zemy@2600:100c:b055:261e:ec3f:92ff:feb1:6756) (Ping timeout: 256 seconds) |
All times are in UTC.