2024/11/17

2024-11-17 00:05:20 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-11-17 00:10:06 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2024-11-17 00:22:00 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2024-11-17 00:27:36 +0100misterfish(~misterfis@84.53.85.146) misterfish
2024-11-17 00:31:04 +0100hiredman(~hiredman@frontier1.downey.family) (Quit: Lost terminal)
2024-11-17 00:40:10 +0100alexherbo2(~alexherbo@2a02-8440-3307-845b-b47a-8df0-484a-dd57.rev.sfr.net) (Remote host closed the connection)
2024-11-17 00:46:50 +0100MajorBiscuit(~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) MajorBiscuit
2024-11-17 00:46:57 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-11-17 00:51:58 +0100Guest28(~Guest63@2800:a4:10c5:4200:c0d2:e4ff:567a:64d8) (Quit: Client closed)
2024-11-17 00:56:47 +0100Everything(~Everythin@178-133-144-115.mobile.vf-ua.net) (Quit: leaving)
2024-11-17 00:59:05 +0100MajorBiscuit(~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) (Quit: WeeChat 4.4.3)
2024-11-17 01:02:19 +0100SpawnsSpawns_Carpeting
2024-11-17 01:06:14 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-17 01:17:51 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-11-17 01:19:17 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-11-17 01:20:02 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-11-17 01:20:19 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2024-11-17 01:20:36 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2024-11-17 01:27:16 +0100EvanR(~EvanR@user/evanr) EvanR
2024-11-17 01:28:19 +0100acidjnk_new(~acidjnk@p200300d6e7283f16f0fc97e1b3533d6e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-11-17 01:31:56 +0100xff0x(~xff0x@2405:6580:b080:900:8539:398e:9716:eb72) (Ping timeout: 244 seconds)
2024-11-17 01:35:42 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2024-11-17 01:39:28 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-11-17 01:53:24 +0100sprotte24(~sprotte24@p200300d16f220900784866affc8a4e1f.dip0.t-ipconnect.de) (Quit: Leaving)
2024-11-17 01:55:27 +0100CrunchyFlakes_(~CrunchyFl@31.19.233.78) (Ping timeout: 276 seconds)
2024-11-17 02:11:48 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Read error: Connection reset by peer)
2024-11-17 02:22:21 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-17 02:41:07 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-11-17 02:42:41 +0100xff0x(~xff0x@2405:6580:b080:900:cd46:bdad:3f65:8b0c)
2024-11-17 02:43:08 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-17 02:44:34 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 260 seconds)
2024-11-17 02:45:45 +0100flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke
2024-11-17 02:46:06 +0100 <haskellbridge> <zwro> anyone has the link to that humourous text about the many types of Haskell programmer and how they would write fib (i think it was)?
2024-11-17 02:49:57 +0100 <geekosaur> no link but I think that's "evolution of a haskell programmer"
2024-11-17 02:50:27 +0100 <haskellbridge> <zwro> https://pages.cpsc.ucalgary.ca/~robin/class/449/Evolution.htm there we go. thanks
2024-11-17 02:56:14 +0100gvg(~dcd@user/gvg) (Ping timeout: 260 seconds)
2024-11-17 02:56:34 +0100gvg(~dcd@user/gvg) gvg
2024-11-17 03:24:32 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-17 03:25:05 +0100tremon(~tremon@83.80.159.219) (Remote host closed the connection)
2024-11-17 03:27:40 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-17 03:33:09 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-11-17 03:44:22 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-11-17 03:54:16 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-17 03:55:11 +0100bairyn(~bairyn@50.250.232.19) (Ping timeout: 255 seconds)
2024-11-17 03:57:04 +0100bairyn(~bairyn@50.250.232.19) ByronJohnson
2024-11-17 04:05:03 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-11-17 04:05:34 +0100op_4(~tslil@user/op-4/x-9116473) op_4
2024-11-17 04:07:19 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2024-11-17 04:08:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2024-11-17 04:25:39 +0100td_(~td@i53870904.versanet.de) (Ping timeout: 252 seconds)
2024-11-17 04:27:35 +0100td_(~td@i5387090C.versanet.de)
2024-11-17 04:29:45 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-17 04:34:33 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-17 04:38:50 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-17 04:39:23 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-11-17 04:41:25 +0100mantraofpie_(~mantraofp@user/mantraofpie) mantraofpie
2024-11-17 04:42:21 +0100mantraofpie(~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds)
2024-11-17 04:42:32 +0100mantraofpie_mantraofpie
2024-11-17 05:16:39 +0100Alleria(~Alleria@user/alleria) Alleria
2024-11-17 05:25:01 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-11-17 06:23:14 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 272 seconds)
2024-11-17 06:24:52 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-17 06:35:31 +0100talismanick(~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer)
2024-11-17 06:35:46 +0100talismanick(~user@2601:644:937c:ed10::ae5) talismanick
2024-11-17 06:46:35 +0100m1dnight(~m1dnight@d8D861908.access.telenet.be) (Quit: WeeChat 3.0)
2024-11-17 06:47:36 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-11-17 06:52:48 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-11-17 06:54:06 +0100alp(~alp@2001:861:e3d6:8f80:2261:439d:9740:2954) (Remote host closed the connection)
2024-11-17 06:54:28 +0100alp(~alp@2001:861:e3d6:8f80:219f:d61f:f65c:c0af)
2024-11-17 07:00:30 +0100alp(~alp@2001:861:e3d6:8f80:219f:d61f:f65c:c0af) (Remote host closed the connection)
2024-11-17 07:15:27 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-11-17 07:29:17 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-11-17 07:38:28 +0100uli-fem(~uli-fem@27-32-68-48.tpgi.com.au)
2024-11-17 07:42:38 +0100uli-fem(~uli-fem@27-32-68-48.tpgi.com.au) (Changing host)
2024-11-17 07:42:38 +0100uli-fem(~uli-fem@user/uli-fem) uli-fem
2024-11-17 07:42:48 +0100uli-femulipink
2024-11-17 07:45:07 +0100ulipink(~uli-fem@user/uli-fem) (Remote host closed the connection)
2024-11-17 07:50:24 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-11-17 07:58:09 +0100ulipink(~ulipink@user/uli-fem) uli-fem
2024-11-17 07:58:42 +0100ulipink(~ulipink@user/uli-fem) (Client Quit)
2024-11-17 07:58:43 +0100Square(~Square@user/square) Square
2024-11-17 07:59:38 +0100ulipink(~ulipink@user/uli-fem) uli-fem
2024-11-17 08:03:04 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-11-17 08:06:14 +0100uli-fem(~uli-fem@27-32-68-48.tpgi.com.au)
2024-11-17 08:14:00 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-17 08:15:18 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2024-11-17 08:20:47 +0100Square(~Square@user/square) (Remote host closed the connection)
2024-11-17 08:21:01 +0100Square(~Square@user/square) Square
2024-11-17 08:21:59 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2024-11-17 08:25:50 +0100briandaed(~root@185.234.210.211.r.toneticgroup.pl)
2024-11-17 08:31:49 +0100Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2024-11-17 08:35:48 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2024-11-17 08:51:46 +0100uli-fem(~uli-fem@27-32-68-48.tpgi.com.au) (Remote host closed the connection)
2024-11-17 08:54:46 +0100youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-11-17 08:57:09 +0100youthlic(~Thunderbi@user/youthlic) youthlic
2024-11-17 08:58:06 +0100misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish
2024-11-17 09:00:01 +0100caconym(~caconym@user/caconym) (Quit: bye)
2024-11-17 09:00:07 +0100tt1231097832435(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2024-11-17 09:00:36 +0100caconym(~caconym@user/caconym) caconym
2024-11-17 09:03:23 +0100ulipink(~ulipink@user/uli-fem) (Quit: ulipink)
2024-11-17 09:03:45 +0100tt1231097832435(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231
2024-11-17 09:11:56 +0100briandaed(~root@185.234.210.211.r.toneticgroup.pl) (Changing host)
2024-11-17 09:11:56 +0100briandaed(~root@user/briandaed) briandaed
2024-11-17 09:26:27 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2024-11-17 09:27:14 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-11-17 09:27:19 +0100acidjnk_new(~acidjnk@p200300d6e7283f99d1f5c7a18a74e073.dip0.t-ipconnect.de) acidjnk
2024-11-17 09:32:29 +0100raym(~ray@user/raym) raym
2024-11-17 09:39:26 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-11-17 09:42:15 +0100Square(~Square@user/square) (Remote host closed the connection)
2024-11-17 09:49:49 +0100Batzy_(~quassel@user/batzy) Batzy
2024-11-17 09:50:48 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection)
2024-11-17 09:52:35 +0100Batzy(~quassel@user/batzy) (Ping timeout: 244 seconds)
2024-11-17 09:56:06 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se)
2024-11-17 10:00:04 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-17 10:04:23 +0100Square(~Square@user/square) Square
2024-11-17 10:06:26 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-17 10:09:09 +0100misterfish(~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds)
2024-11-17 10:14:06 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-17 10:18:09 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-17 10:22:43 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-17 10:26:22 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-17 10:29:23 +0100tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2024-11-17 10:29:28 +0100tomboy65(~tomboy64@user/tomboy64) tomboy64
2024-11-17 10:38:26 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-17 10:45:23 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-11-17 10:48:49 +0100misterfish(~misterfis@31-161-39-137.biz.kpn.net) misterfish
2024-11-17 10:58:59 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-11-17 11:07:54 +0100euandreh(~Thunderbi@189.6.105.228) (Remote host closed the connection)
2024-11-17 11:08:19 +0100euandreh(~Thunderbi@189.6.105.228) euandreh
2024-11-17 11:11:21 +0100euandreh(~Thunderbi@189.6.105.228) (Remote host closed the connection)
2024-11-17 11:11:41 +0100euandreh(~Thunderbi@189.6.105.228) euandreh
2024-11-17 11:15:44 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2024-11-17 11:17:05 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-11-17 11:17:32 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-17 11:20:13 +0100Digitteknohippie(~user@user/digit) Digit
2024-11-17 11:20:22 +0100Digit(~user@user/digit) (Ping timeout: 252 seconds)
2024-11-17 11:23:14 +0100vanishing(~vanishing@user/vanishingideal) vanishingideal
2024-11-17 11:25:36 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2024-11-17 11:29:18 +0100tomboy65(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2024-11-17 11:29:30 +0100tomboy64(~tomboy64@user/tomboy64) tomboy64
2024-11-17 11:38:48 +0100m1dnight(~m1dnight@d8D861908.access.telenet.be) m1dnight
2024-11-17 11:42:00 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2024-11-17 11:56:57 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 252 seconds)
2024-11-17 12:05:47 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-11-17 12:06:18 +0100euandreh(~Thunderbi@189.6.105.228) (Quit: euandreh)
2024-11-17 12:11:21 +0100spenat(~spenat@c-92-35-37-17.bbcust.telenor.se) (Ping timeout: 246 seconds)
2024-11-17 12:11:21 +0100j1n37(j1n37@user/j1n37) (Read error: Connection reset by peer)
2024-11-17 12:11:58 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-11-17 12:17:13 +0100j1n37(j1n37@user/j1n37) j1n37
2024-11-17 12:27:31 +0100vanishingvanishingideal
2024-11-17 12:29:49 +0100gvg(~dcd@user/gvg) (Ping timeout: 260 seconds)
2024-11-17 12:31:48 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
2024-11-17 12:35:17 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2024-11-17 12:36:41 +0100gvg(~dcd@user/gvg) gvg
2024-11-17 12:37:03 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-17 12:40:19 +0100__monty__(~toonn@user/toonn) toonn
2024-11-17 12:47:45 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2024-11-17 12:49:46 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-17 12:50:57 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-11-17 12:57:26 +0100vanishing(~vanishing@user/vanishingideal) vanishingideal
2024-11-17 12:58:35 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2024-11-17 13:01:29 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-11-17 13:01:35 +0100mrmr155334346318(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2024-11-17 13:04:30 +0100pavonia(~user@user/siracusa) siracusa
2024-11-17 13:04:50 +0100oxide(~lambda@user/oxide) oxide
2024-11-17 13:13:57 +0100euphores(~SASL_euph@user/euphores) euphores
2024-11-17 13:15:46 +0100divya(~user@139.5.11.76) divya
2024-11-17 13:18:37 +0100mrmr155334346318(~mrmr@user/mrmr) mrmr
2024-11-17 13:29:32 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-17 13:45:52 +0100jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2024-11-17 13:55:38 +0100tremon(~tremon@83.80.159.219) tremon
2024-11-17 13:59:50 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-11-17 14:02:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-17 14:06:30 +0100sprotte24(~sprotte24@p200300d16f2c3600a1fb2e60ac56d901.dip0.t-ipconnect.de)
2024-11-17 14:21:31 +0100Digit(~user@user/digit) Digit
2024-11-17 14:29:59 +0100duckworld(~duckworld@user/duckworld) duckworld
2024-11-17 14:40:15 +0100billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina
2024-11-17 14:53:11 +0100spenat(~spenat@c-92-35-37-17.bbcust.telenor.se)
2024-11-17 14:57:09 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-11-17 14:57:21 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
2024-11-17 15:02:30 +0100acidjnk_new(~acidjnk@p200300d6e7283f99d1f5c7a18a74e073.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-11-17 15:37:24 +0100euleritian(~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-11-17 15:37:41 +0100euleritian(~euleritia@dynamic-176-006-131-010.176.6.pool.telefonica.de)
2024-11-17 15:46:44 +0100 <hellwolf> If I had to use types such as Int8, what's the most idiomatic and convenient way of detecting overflowing before (+) etc.?
2024-11-17 15:49:25 +0100 <mauke> I'm not aware of any convenient way
2024-11-17 15:50:43 +0100 <mauke> assuming non-negative inputs, if maxBound - a < b then overflow
2024-11-17 15:53:59 +0100euleritian(~euleritia@dynamic-176-006-131-010.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-11-17 15:56:14 +0100euleritian(~euleritia@dynamic-176-003-035-049.176.3.pool.telefonica.de)
2024-11-17 15:58:28 +0100 <briandaed> Interesting https://hackage.haskell.org/package/base-4.3.1.0/docs/src/GHC-Int.html#Int8 throws overflowError for succ / pred but not for (+)
2024-11-17 16:00:18 +0100 <geekosaur> the Report requires it for `succ` and `pred`
2024-11-17 16:00:30 +0100euleritian(~euleritia@dynamic-176-003-035-049.176.3.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-11-17 16:00:54 +0100 <geekosaur> `(+)` is harder especially since ghc internally works with machine words, not bytes
2024-11-17 16:01:13 +0100 <briandaed> and thereis https://hackage.haskell.org/package/safeint although it's for Int and not actively developed
2024-11-17 16:01:18 +0100 <geekosaur> so you can't even use the sign bit flipping as an overunderflow indicator
2024-11-17 16:01:35 +0100 <geekosaur> there is `witch` but I think it's only for conversions
2024-11-17 16:01:36 +0100 <briandaed> thanks geekosaur, must look into the report (again)
2024-11-17 16:03:55 +0100 <hellwolf> I guess I will just handwrite it then.
2024-11-17 16:05:58 +0100 <geekosaur> and as mauke hinted, it's a major bear if either input is negative
2024-11-17 16:06:09 +0100 <Hecate> hellwolf: we don't have checked arithmetic in development mode yet, but you can write bindings like I did https://github.com/Kleidukos/checked-arithmetic/blob/main/src/Checked.hs
2024-11-17 16:06:57 +0100 <hellwolf> Thanks Hecate!
2024-11-17 16:07:21 +0100 <geekosaur> oh, if gcc already does the heavy lifting, sure
2024-11-17 16:19:04 +0100EvanR(~EvanR@user/evanr) (Ping timeout: 260 seconds)
2024-11-17 16:22:40 +0100 <Hecate> it's more the glibc here
2024-11-17 16:23:40 +0100 <geekosaur> `__builtin_` usually indicates a compiler intrinsic
2024-11-17 16:26:59 +0100gorignak(~gorignak@user/gorignak) (Read error: Connection reset by peer)
2024-11-17 16:27:12 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 16:27:44 +0100 <Hecate> ah indeed you are right
2024-11-17 16:29:04 +0100emfrom(~emfrom@37.168.23.134)
2024-11-17 16:37:17 +0100jinsun(~jinsun@user/jinsun) jinsun
2024-11-17 16:39:12 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-11-17 16:44:16 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 16:44:46 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 16:44:49 +0100euleritian(~euleritia@77.22.252.159)
2024-11-17 16:48:08 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft
2024-11-17 16:48:43 +0100emfrom(~emfrom@37.168.23.134) (Ping timeout: 245 seconds)
2024-11-17 16:51:34 +0100euleritian(~euleritia@77.22.252.159) (Ping timeout: 260 seconds)
2024-11-17 16:52:01 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-11-17 16:52:40 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-11-17 16:52:42 +0100euleritian(~euleritia@dynamic-176-004-178-042.176.4.pool.telefonica.de)
2024-11-17 16:53:41 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-11-17 16:54:26 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 16:54:57 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 16:59:29 +0100gentauro(~gentauro@user/gentauro) gentauro
2024-11-17 17:03:33 +0100euleritian(~euleritia@dynamic-176-004-178-042.176.4.pool.telefonica.de) (Ping timeout: 248 seconds)
2024-11-17 17:04:05 +0100euleritian(~euleritia@77.22.252.159)
2024-11-17 17:04:38 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 17:05:08 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 17:06:56 +0100shapr(~user@2600:4040:5c49:5600:cd62:8744:52b3:406b) shapr
2024-11-17 17:14:49 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 17:15:19 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 17:16:02 +0100zlqrvx(~zlqrvx@user/zlqrvx) (Ping timeout: 252 seconds)
2024-11-17 17:20:25 +0100Alleria(~Alleria@user/alleria) (Remote host closed the connection)
2024-11-17 17:25:00 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 17:25:31 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 17:25:48 +0100Everything(~Everythin@178-133-181-60.mobile.vf-ua.net) Everything
2024-11-17 17:26:47 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2024-11-17 17:29:20 +0100 <briandaed> How long does it take to compile ghc from sources, is it minutes or rather hours? Started process on 4c/8t@2.2Ghz (although I don't see heavy usage of all of them)/32gb ram (47%)
2024-11-17 17:30:10 +0100 <geekosaur> on my machine (amd ryzen 16 cores 32gb) it's about 22 minutes for a normal build
2024-11-17 17:30:32 +0100 <briandaed> oh I see, thanks
2024-11-17 17:31:31 +0100 <geekosaur> it doesn't use many cores; ghc is kinda poor at parallelized compiles
2024-11-17 17:31:40 +0100 <geekosaur> as such I rarely give it more than 4
2024-11-17 17:31:45 +0100 <Hecate> let me see on mine
2024-11-17 17:31:59 +0100 <briandaed> yeah... looks it's a time to change laptop, 28 minutes here, not sure if compiling on FreeBSD make it slower...
2024-11-17 17:32:32 +0100 <Hecate> I doubt it
2024-11-17 17:32:39 +0100 <Hecate> I can test on my FreeBSD box
2024-11-17 17:32:49 +0100 <Hecate> briandaed: also hello fellow FreeBSD user! :D
2024-11-17 17:33:07 +0100 <briandaed> hello :D
2024-11-17 17:34:32 +0100 <Hecate> briandaed: drop me a line at hecate@haskell.foundation if you ever find problems on FreeBSD, I try to help on this front
2024-11-17 17:35:55 +0100 <briandaed> Hecate please also share commands you issue to build it, I followed something found on ghc-devs not sure if it's optimal what I've found
2024-11-17 17:36:35 +0100 <briandaed> problems... only until recently something with messed flags, with 9.2.7 installed via ghcup, today switched to 9.6.6 and so far so good
2024-11-17 17:37:38 +0100 <haskellbridge> <maerwald> briandaed: 9.6.6 is broken
2024-11-17 17:37:43 +0100 <briandaed> oops
2024-11-17 17:38:54 +0100 <haskellbridge> <maerwald> https://gitlab.haskell.org/ghc/ghc/-/issues/24672
2024-11-17 17:39:17 +0100 <haskellbridge> <maerwald> An RTS bug with kqueue
2024-11-17 17:40:16 +0100 <Hecate> ./boot && ./configure && ./hadrian/build -j --flavour=Quick
2024-11-17 17:40:17 +0100 <Hecate> briandaed:
2024-11-17 17:40:26 +0100 <Hecate> with GHC 9.10.1 as the boot GHC
2024-11-17 17:40:28 +0100 <haskellbridge> <maerwald> It's unclear why I only hit it in 9.6 though
2024-11-17 17:40:29 +0100acidjnk_new(~acidjnk@p200300d6e7283f99b0ad6825ae812995.dip0.t-ipconnect.de) acidjnk
2024-11-17 17:42:05 +0100 <briandaed> maerwald, Hecate: thanks and thanks
2024-11-17 17:44:33 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 17:45:04 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 17:48:18 +0100 <Hecate> built in 11m46s on my Fedora box with a Ryzen 5 7600X (12 threads) @ 5.453GHz
2024-11-17 17:49:29 +0100 <briandaed> nice, I gave up after 0.5h and some errors, and looks it's time for change
2024-11-17 17:50:09 +0100 <Hecate> laptops are not good compilation machines for big projects anyway, briandaed. They often have not-so-good air flow, which is quite critical
2024-11-17 17:50:13 +0100 <Hecate> big projects like GHC and LLVM
2024-11-17 17:50:16 +0100 <Hecate> or Firefox
2024-11-17 17:50:46 +0100 <briandaed> I agree, and looks high frequency is more important than core count
2024-11-17 17:51:17 +0100 <shapr> Is that for lower memory latency?
2024-11-17 17:53:50 +0100 <briandaed> wouldn't bet on memory latency, rather on being computing intensive (cpu-bound)
2024-11-17 17:54:25 +0100 <Hecate> briandaed: there's a couple of rules indeed. One of them being: Plan to use 1GB of RAM for each thread of compilation. If you have more cores than gigabytes of RAM, you *must* restrict the amount of cores used
2024-11-17 17:54:36 +0100 <Hecate> erm, s/cores/threads/
2024-11-17 17:56:49 +0100 <briandaed> again agree, some ancient results https://qbaylogic.github.io/benchmark-compilation/ which I believe still make sense
2024-11-17 17:57:43 +0100 <shapr> ooh, I want to run the benchmark on my laptop
2024-11-17 17:59:42 +0100 <Hecate> https://i.imgur.com/AcH1Rir.png
2024-11-17 17:59:43 +0100 <Hecate> noice
2024-11-17 18:01:14 +0100 <briandaed> looks like new aphex twin track
2024-11-17 18:01:25 +0100jonkri(~jonkri@90-230-234-124-no600.tbcn.telia.com) jonkri
2024-11-17 18:02:26 +0100 <briandaed> -j killed my junk
2024-11-17 18:02:38 +0100 <Hecate> :D
2024-11-17 18:03:55 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-11-17 18:04:38 +0100Everything(~Everythin@178-133-181-60.mobile.vf-ua.net) (Quit: leaving)
2024-11-17 18:10:51 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-11-17 18:16:43 +0100 <Hecate> Build completed in 19m37s on my FreeBSD box with Intel i7-7700 (8 thread) @ 3.600GHz
2024-11-17 18:16:43 +0100euleritian(~euleritia@77.22.252.159) (Read error: Connection reset by peer)
2024-11-17 18:17:43 +0100euleritian(~euleritia@77.22.252.159)
2024-11-17 18:18:13 +0100 <briandaed> 17m and still going, but got some errors, flags and some atomic operations changed for gcc 4.4
2024-11-17 18:18:53 +0100 <briandaed> FreeBSD caesar 14.1-RELEASE-p5 FreeBSD 14.1-RELEASE-p5 GENERIC amd64
2024-11-17 18:23:12 +0100 <jonkri> Hi! I'm looking into using GHC.Iface.Load to access the API of packages programmatically. Is there a straightforward way of getting a GHC.Driver.Session.Settings record? Thanks!
2024-11-17 18:29:04 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 18:29:36 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 18:36:22 +0100 <briandaed> Build completed in 35m18s :|
2024-11-17 18:37:23 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2024-11-17 18:37:45 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-11-17 18:39:16 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 18:39:47 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 18:45:29 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2024-11-17 18:49:27 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 18:49:56 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 18:56:20 +0100rynite(~bwkam@user/rynite) rynite
2024-11-17 18:59:38 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 18:59:38 +0100 <rynite> hello. I have an annoying issue with my emacs lsp setup where some lsp error keeps popping as I type
2024-11-17 18:59:51 +0100 <rynite> https://paste.tomsmeding.com/yco1iWtv
2024-11-17 19:00:09 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 19:00:39 +0100 <rynite> any ideas?
2024-11-17 19:02:07 +0100 <briandaed> https://github.com/haskell/haskell-language-server/issues/3535
2024-11-17 19:03:01 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 248 seconds)
2024-11-17 19:04:33 +0100 <rynite> oh so it's fixed
2024-11-17 19:04:45 +0100 <rynite> maybe I need to update it
2024-11-17 19:05:43 +0100tomboy64(~tomboy64@user/tomboy64) tomboy64
2024-11-17 19:08:15 +0100 <rynite> hmm no I got the latest version
2024-11-17 19:08:30 +0100 <rynite> already*
2024-11-17 19:09:49 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 19:10:19 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 19:11:01 +0100Guest52(~Guest52@81-226-130-33-no2100.tbcn.telia.com)
2024-11-17 19:12:08 +0100 <briandaed> rynite: latest version of hls or emacs with plugins?
2024-11-17 19:12:16 +0100 <rynite> both
2024-11-17 19:12:33 +0100Guest52(~Guest52@81-226-130-33-no2100.tbcn.telia.com) (Client Quit)
2024-11-17 19:14:12 +0100 <briandaed> interesting, looks someone else encountered it recently https://www.reddit.com/r/haskell/comments/1ge4jvm/doomemacs_haskell_lsp_mistake/
2024-11-17 19:15:06 +0100 <rynite> yeah I seen it, unfortunately no answers were helpful
2024-11-17 19:19:28 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-11-17 19:20:00 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 19:20:30 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 19:23:14 +0100Digitteknohippie(~user@user/digit) Digit
2024-11-17 19:23:32 +0100Digit(~user@user/digit) (Ping timeout: 255 seconds)
2024-11-17 19:26:19 +0100 <briandaed> assuming that there is a 'client' on emacs side my rough guess would be protocol mismatch, maybe client is newer and can't handle 'older' server or vice versa
2024-11-17 19:27:43 +0100 <briandaed> according to https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/ 3.17 is current protocol version, not sure which current hls is using, when using vscode + hls I've never encountered this error
2024-11-17 19:30:06 +0100 <rynite> hmm alr lemme look into this
2024-11-17 19:30:11 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 19:30:41 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 19:31:45 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds)
2024-11-17 19:31:58 +0100jinsun_(~jinsun@user/jinsun) jinsun
2024-11-17 19:31:58 +0100jinsunGuest5558
2024-11-17 19:31:58 +0100Guest5558(~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services)))
2024-11-17 19:31:58 +0100jinsun_jinsun
2024-11-17 19:37:28 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection)
2024-11-17 19:39:31 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-11-17 19:40:22 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 19:40:53 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 19:42:32 +0100zetef(~quassel@2a02:2f00:5006:c400:6a99:1fd6:7b24:7077) zetef
2024-11-17 19:42:32 +0100zetef(~quassel@2a02:2f00:5006:c400:6a99:1fd6:7b24:7077) (Client Quit)
2024-11-17 19:50:33 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-11-17 19:51:04 +0100gorignak(~gorignak@user/gorignak) gorignak
2024-11-17 19:52:05 +0100Alleria(~Alleria@user/alleria) Alleria
2024-11-17 19:54:01 +0100DigitteknohippieDigit
2024-11-17 19:57:54 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-11-17 19:58:21 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-17 20:00:26 +0100weary-traveler(~user@user/user363627) user363627
2024-11-17 20:00:44 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)