2025/07/10

Newest at the top

2025-07-10 23:54:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-10 23:53:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 23:51:20 +0200sprotte24(~sprotte24@p200300d16f1bd900a53b05e7935c196d.dip0.t-ipconnect.de) (Quit: Leaving)
2025-07-10 23:48:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 23:42:53 +0200tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-10 23:37:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 23:33:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 23:32:49 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 23:32:35 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 23:30:02 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-07-10 23:24:30 +0200yin(~zero@user/zero) zero
2025-07-10 23:22:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-10 23:21:51 +0200yin(~zero@user/zero) (Remote host closed the connection)
2025-07-10 23:20:21 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2025-07-10 23:19:28 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 23:17:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 23:12:00 +0200aaronv__(~aaronv@user/aaronv) (Ping timeout: 276 seconds)
2025-07-10 23:11:52 +0200tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e)
2025-07-10 23:11:38 +0200jespada(~jespada@r190-133-9-81.dialup.adsl.anteldata.net.uy) jespada
2025-07-10 23:08:40 +0200jespada(~jespada@179.26.197.246) (Ping timeout: 276 seconds)
2025-07-10 23:08:23 +0200caubert(~caubert@user/caubert) caubert
2025-07-10 23:06:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 23:04:31 +0200tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-10 23:02:10 +0200 <geekosaur> (although cabal is used to build some bootlibs, under hadrian's control)
2025-07-10 23:01:54 +0200 <geekosaur> ghc cannot yet be built using cabal
2025-07-10 23:01:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 23:01:41 +0200 <geekosaur> hadrian is the only supported way to do it
2025-07-10 23:01:38 +0200dhil(~dhil@5.151.29.141) (Ping timeout: 245 seconds)
2025-07-10 22:59:30 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 22:55:17 +0200 <Enrico63> But is my summary above incorrect? Is this suggestion of using this hadrian thing an alternative? Is it the only way? Or what? Maybe it's best I describe what my setup is. When I have to use haskell on a system, I just installe GHCup and  use that to install GHC, HLS, Cabal, and whatever.
2025-07-10 22:53:37 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-10 22:50:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 22:49:06 +0200caubert(~caubert@user/caubert) caubert
2025-07-10 22:45:01 +0200califax(~califax@user/califx) califx
2025-07-10 22:44:44 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-07-10 22:43:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 22:41:26 +0200tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e)
2025-07-10 22:38:12 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-07-10 22:37:10 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 22:36:57 +0200trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 22:36:28 +0200 <geekosaur> he pointed you to the JS backend docs first, then the main docs later
2025-07-10 22:36:10 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-10 22:36:06 +0200 <geekosaur> see his correction later
2025-07-10 22:35:48 +0200 <Enrico63> tomsmeding, JavaScript?!
2025-07-10 22:33:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 22:30:58 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds)
2025-07-10 22:27:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 22:25:33 +0200RedFlamingos(~RedFlamin@user/RedFlamingos) (Quit: RedFlamingos)
2025-07-10 22:21:50 +0200aaronv__(~aaronv@user/aaronv) aaronv
2025-07-10 22:20:19 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)