2024-11-17 00:05:20 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-11-17 00:10:06 +0100 | misterfish | (~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 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
2024-11-17 00:31:04 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
2024-11-17 00:40:10 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3307-845b-b47a-8df0-484a-dd57.rev.sfr.net) (Remote host closed the connection) |
2024-11-17 00:46:50 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) MajorBiscuit |
2024-11-17 00:46:57 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-11-17 00:51:58 +0100 | Guest28 | (~Guest63@2800:a4:10c5:4200:c0d2:e4ff:567a:64d8) (Quit: Client closed) |
2024-11-17 00:56:47 +0100 | Everything | (~Everythin@178-133-144-115.mobile.vf-ua.net) (Quit: leaving) |
2024-11-17 00:59:05 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) (Quit: WeeChat 4.4.3) |
2024-11-17 01:02:19 +0100 | Spawns | Spawns_Carpeting |
2024-11-17 01:06:14 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-17 01:17:51 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-11-17 01:19:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-11-17 01:20:02 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-11-17 01:20:19 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
2024-11-17 01:20:36 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
2024-11-17 01:27:16 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
2024-11-17 01:28:19 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f16f0fc97e1b3533d6e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-11-17 01:31:56 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8539:398e:9716:eb72) (Ping timeout: 244 seconds) |
2024-11-17 01:35:42 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2024-11-17 01:39:28 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-17 01:53:24 +0100 | sprotte24 | (~sprotte24@p200300d16f220900784866affc8a4e1f.dip0.t-ipconnect.de) (Quit: Leaving) |
2024-11-17 01:55:27 +0100 | CrunchyFlakes_ | (~CrunchyFl@31.19.233.78) (Ping timeout: 276 seconds) |
2024-11-17 02:11:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Read error: Connection reset by peer) |
2024-11-17 02:22:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-17 02:41:07 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-11-17 02:42:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:cd46:bdad:3f65:8b0c) |
2024-11-17 02:43:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-17 02:44:34 +0100 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 260 seconds) |
2024-11-17 02:45:45 +0100 | flukiluke | (~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 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
2024-11-17 02:56:34 +0100 | gvg | (~dcd@user/gvg) gvg |
2024-11-17 03:24:32 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-17 03:25:05 +0100 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
2024-11-17 03:27:40 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-17 03:33:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-11-17 03:44:22 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-11-17 03:54:16 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-17 03:55:11 +0100 | bairyn | (~bairyn@50.250.232.19) (Ping timeout: 255 seconds) |
2024-11-17 03:57:04 +0100 | bairyn | (~bairyn@50.250.232.19) ByronJohnson |
2024-11-17 04:05:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-11-17 04:05:34 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2024-11-17 04:07:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
2024-11-17 04:08:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2024-11-17 04:25:39 +0100 | td_ | (~td@i53870904.versanet.de) (Ping timeout: 252 seconds) |
2024-11-17 04:27:35 +0100 | td_ | (~td@i5387090C.versanet.de) |
2024-11-17 04:29:45 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-17 04:34:33 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-17 04:38:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-17 04:39:23 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-11-17 04:41:25 +0100 | mantraofpie_ | (~mantraofp@user/mantraofpie) mantraofpie |
2024-11-17 04:42:21 +0100 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
2024-11-17 04:42:32 +0100 | mantraofpie_ | mantraofpie |
2024-11-17 05:16:39 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
2024-11-17 05:25:01 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-11-17 06:23:14 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
2024-11-17 06:24:52 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-17 06:35:31 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
2024-11-17 06:35:46 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
2024-11-17 06:46:35 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Quit: WeeChat 3.0) |
2024-11-17 06:47:36 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-11-17 06:52:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-11-17 06:54:06 +0100 | alp | (~alp@2001:861:e3d6:8f80:2261:439d:9740:2954) (Remote host closed the connection) |
2024-11-17 06:54:28 +0100 | alp | (~alp@2001:861:e3d6:8f80:219f:d61f:f65c:c0af) |
2024-11-17 07:00:30 +0100 | alp | (~alp@2001:861:e3d6:8f80:219f:d61f:f65c:c0af) (Remote host closed the connection) |
2024-11-17 07:15:27 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-11-17 07:29:17 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-11-17 07:38:28 +0100 | uli-fem | (~uli-fem@27-32-68-48.tpgi.com.au) |
2024-11-17 07:42:38 +0100 | uli-fem | (~uli-fem@27-32-68-48.tpgi.com.au) (Changing host) |
2024-11-17 07:42:38 +0100 | uli-fem | (~uli-fem@user/uli-fem) uli-fem |
2024-11-17 07:42:48 +0100 | uli-fem | ulipink |
2024-11-17 07:45:07 +0100 | ulipink | (~uli-fem@user/uli-fem) (Remote host closed the connection) |
2024-11-17 07:50:24 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-11-17 07:58:09 +0100 | ulipink | (~ulipink@user/uli-fem) uli-fem |
2024-11-17 07:58:42 +0100 | ulipink | (~ulipink@user/uli-fem) (Client Quit) |
2024-11-17 07:58:43 +0100 | Square | (~Square@user/square) Square |
2024-11-17 07:59:38 +0100 | ulipink | (~ulipink@user/uli-fem) uli-fem |
2024-11-17 08:03:04 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-11-17 08:06:14 +0100 | uli-fem | (~uli-fem@27-32-68-48.tpgi.com.au) |
2024-11-17 08:14:00 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-17 08:15:18 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
2024-11-17 08:20:47 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
2024-11-17 08:21:01 +0100 | Square | (~Square@user/square) Square |
2024-11-17 08:21:59 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2024-11-17 08:25:50 +0100 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
2024-11-17 08:31:49 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2024-11-17 08:35:48 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2024-11-17 08:51:46 +0100 | uli-fem | (~uli-fem@27-32-68-48.tpgi.com.au) (Remote host closed the connection) |
2024-11-17 08:54:46 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-11-17 08:57:09 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-11-17 08:58:06 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
2024-11-17 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-11-17 09:00:07 +0100 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-11-17 09:00:36 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-11-17 09:03:23 +0100 | ulipink | (~ulipink@user/uli-fem) (Quit: ulipink) |
2024-11-17 09:03:45 +0100 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2024-11-17 09:11:56 +0100 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Changing host) |
2024-11-17 09:11:56 +0100 | briandaed | (~root@user/briandaed) briandaed |
2024-11-17 09:26:27 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
2024-11-17 09:27:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-11-17 09:27:19 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f99d1f5c7a18a74e073.dip0.t-ipconnect.de) acidjnk |
2024-11-17 09:32:29 +0100 | raym | (~ray@user/raym) raym |
2024-11-17 09:39:26 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-11-17 09:42:15 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
2024-11-17 09:49:49 +0100 | Batzy_ | (~quassel@user/batzy) Batzy |
2024-11-17 09:50:48 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
2024-11-17 09:52:35 +0100 | Batzy | (~quassel@user/batzy) (Ping timeout: 244 seconds) |
2024-11-17 09:56:06 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
2024-11-17 10:00:04 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-17 10:04:23 +0100 | Square | (~Square@user/square) Square |
2024-11-17 10:06:26 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-17 10:09:09 +0100 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
2024-11-17 10:14:06 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-17 10:18:09 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-17 10:22:43 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-17 10:26:22 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-17 10:29:23 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
2024-11-17 10:29:28 +0100 | tomboy65 | (~tomboy64@user/tomboy64) tomboy64 |
2024-11-17 10:38:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-17 10:45:23 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-11-17 10:48:49 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
2024-11-17 10:58:59 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
2024-11-17 11:07:54 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Remote host closed the connection) |
2024-11-17 11:08:19 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
2024-11-17 11:11:21 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Remote host closed the connection) |
2024-11-17 11:11:41 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
2024-11-17 11:15:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2024-11-17 11:17:05 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-11-17 11:17:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-17 11:20:13 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2024-11-17 11:20:22 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2024-11-17 11:23:14 +0100 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-17 11:25:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-11-17 11:29:18 +0100 | tomboy65 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
2024-11-17 11:29:30 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2024-11-17 11:38:48 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
2024-11-17 11:42:00 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
2024-11-17 11:56:57 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
2024-11-17 12:05:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-11-17 12:06:18 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Quit: euandreh) |
2024-11-17 12:11:21 +0100 | spenat | (~spenat@c-92-35-37-17.bbcust.telenor.se) (Ping timeout: 246 seconds) |
2024-11-17 12:11:21 +0100 | j1n37 | (j1n37@user/j1n37) (Read error: Connection reset by peer) |
2024-11-17 12:11:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-11-17 12:17:13 +0100 | j1n37 | (j1n37@user/j1n37) j1n37 |
2024-11-17 12:27:31 +0100 | vanishing | vanishingideal |
2024-11-17 12:29:49 +0100 | gvg | (~dcd@user/gvg) (Ping timeout: 260 seconds) |
2024-11-17 12:31:48 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
2024-11-17 12:35:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-11-17 12:36:41 +0100 | gvg | (~dcd@user/gvg) gvg |
2024-11-17 12:37:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-17 12:40:19 +0100 | __monty__ | (~toonn@user/toonn) toonn |
2024-11-17 12:47:45 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
2024-11-17 12:49:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-17 12:50:57 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-11-17 12:57:26 +0100 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
2024-11-17 12:58:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2024-11-17 13:01:29 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-11-17 13:01:35 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-11-17 13:04:30 +0100 | pavonia | (~user@user/siracusa) siracusa |
2024-11-17 13:04:50 +0100 | oxide | (~lambda@user/oxide) oxide |
2024-11-17 13:13:57 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2024-11-17 13:15:46 +0100 | divya | (~user@139.5.11.76) divya |
2024-11-17 13:18:37 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
2024-11-17 13:29:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-17 13:45:52 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2024-11-17 13:55:38 +0100 | tremon | (~tremon@83.80.159.219) tremon |
2024-11-17 13:59:50 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-11-17 14:02:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-17 14:06:30 +0100 | sprotte24 | (~sprotte24@p200300d16f2c3600a1fb2e60ac56d901.dip0.t-ipconnect.de) |
2024-11-17 14:21:31 +0100 | Digit | (~user@user/digit) Digit |
2024-11-17 14:29:59 +0100 | duckworld | (~duckworld@user/duckworld) duckworld |
2024-11-17 14:40:15 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
2024-11-17 14:53:11 +0100 | spenat | (~spenat@c-92-35-37-17.bbcust.telenor.se) |
2024-11-17 14:57:09 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-11-17 14:57:21 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
2024-11-17 15:02:30 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f99d1f5c7a18a74e073.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-11-17 15:37:24 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
2024-11-17 15:37:41 +0100 | euleritian | (~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 +0100 | euleritian | (~euleritia@dynamic-176-006-131-010.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
2024-11-17 15:56:14 +0100 | euleritian | (~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 +0100 | euleritian | (~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 +0100 | EvanR | (~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 +0100 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
2024-11-17 16:27:12 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 16:27:44 +0100 | <Hecate> | ah indeed you are right |
2024-11-17 16:29:04 +0100 | emfrom | (~emfrom@37.168.23.134) |
2024-11-17 16:37:17 +0100 | jinsun | (~jinsun@user/jinsun) jinsun |
2024-11-17 16:39:12 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-11-17 16:44:16 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 16:44:46 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 16:44:49 +0100 | euleritian | (~euleritia@77.22.252.159) |
2024-11-17 16:48:08 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
2024-11-17 16:48:43 +0100 | emfrom | (~emfrom@37.168.23.134) (Ping timeout: 245 seconds) |
2024-11-17 16:51:34 +0100 | euleritian | (~euleritia@77.22.252.159) (Ping timeout: 260 seconds) |
2024-11-17 16:52:01 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-17 16:52:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-11-17 16:52:42 +0100 | euleritian | (~euleritia@dynamic-176-004-178-042.176.4.pool.telefonica.de) |
2024-11-17 16:53:41 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-11-17 16:54:26 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 16:54:57 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 16:59:29 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
2024-11-17 17:03:33 +0100 | euleritian | (~euleritia@dynamic-176-004-178-042.176.4.pool.telefonica.de) (Ping timeout: 248 seconds) |
2024-11-17 17:04:05 +0100 | euleritian | (~euleritia@77.22.252.159) |
2024-11-17 17:04:38 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 17:05:08 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 17:06:56 +0100 | shapr | (~user@2600:4040:5c49:5600:cd62:8744:52b3:406b) shapr |
2024-11-17 17:14:49 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 17:15:19 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 17:16:02 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 252 seconds) |
2024-11-17 17:20:25 +0100 | Alleria | (~Alleria@user/alleria) (Remote host closed the connection) |
2024-11-17 17:25:00 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 17:25:31 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 17:25:48 +0100 | Everything | (~Everythin@178-133-181-60.mobile.vf-ua.net) Everything |
2024-11-17 17:26:47 +0100 | zlqrvx | (~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 +0100 | acidjnk_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 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 17:45:04 +0100 | gorignak | (~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 +0100 | jonkri | (~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 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-11-17 18:04:38 +0100 | Everything | (~Everythin@178-133-181-60.mobile.vf-ua.net) (Quit: leaving) |
2024-11-17 18:10:51 +0100 | target_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 +0100 | euleritian | (~euleritia@77.22.252.159) (Read error: Connection reset by peer) |
2024-11-17 18:17:43 +0100 | euleritian | (~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 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 18:29:36 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 18:36:22 +0100 | <briandaed> | Build completed in 35m18s :| |
2024-11-17 18:37:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2024-11-17 18:37:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-11-17 18:39:16 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 18:39:47 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 18:45:29 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2024-11-17 18:49:27 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 18:49:56 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 18:56:20 +0100 | rynite | (~bwkam@user/rynite) rynite |
2024-11-17 18:59:38 +0100 | gorignak | (~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 +0100 | gorignak | (~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 +0100 | tomboy64 | (~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 +0100 | tomboy64 | (~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 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 19:10:19 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 19:11:01 +0100 | Guest52 | (~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 +0100 | Guest52 | (~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 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-11-17 19:20:00 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2024-11-17 19:20:30 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-17 19:23:14 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2024-11-17 19:23:32 +0100 | Digit | (~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 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |