2024/08/21

2024-08-21 00:02:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-08-21 00:05:39 +0200scubagear(scubagear@gateway/vpn/protonvpn/scubagear) (Quit: leaving)
2024-08-21 00:12:42 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2024-08-21 00:13:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 00:14:15 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds)
2024-08-21 00:18:32 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-08-21 00:18:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds)
2024-08-21 00:21:38 +0200scubagear(scubagear@gateway/vpn/protonvpn/scubagear)
2024-08-21 00:26:00 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-08-21 00:26:24 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2024-08-21 00:27:08 +0200Square(~Square@user/square)
2024-08-21 00:29:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 00:29:31 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net)
2024-08-21 00:32:49 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds)
2024-08-21 00:33:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-08-21 00:38:11 +0200sp1ff(~user@c-73-11-70-111.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2024-08-21 00:45:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 00:49:46 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-08-21 00:49:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 00:50:42 +0200nikolice(~nikolice@151.249.134.246) (Ping timeout: 272 seconds)
2024-08-21 00:58:36 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net)
2024-08-21 00:58:36 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host)
2024-08-21 00:58:36 +0200wroathe(~wroathe@user/wroathe)
2024-08-21 01:00:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 01:05:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-08-21 01:06:07 +0200esnos(~user@176.106.34.161) (Ping timeout: 264 seconds)
2024-08-21 01:16:20 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-08-21 01:16:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 01:17:28 +0200nikolice(~nikolice@151.249.134.246)
2024-08-21 01:20:21 +0200td_(~td@i53870906.versanet.de) (Ping timeout: 248 seconds)
2024-08-21 01:21:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 01:22:18 +0200td_(~td@i53870928.versanet.de)
2024-08-21 01:32:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 01:34:09 +0200nikolice(~nikolice@151.249.134.246) (Remote host closed the connection)
2024-08-21 01:36:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 01:37:43 +0200motherfsck(~motherfsc@user/motherfsck)
2024-08-21 01:42:02 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-21 01:47:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 01:52:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-08-21 01:55:59 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-08-21 01:59:41 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-08-21 02:02:06 +0200Sgeo(~Sgeo@user/sgeo)
2024-08-21 02:03:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 02:03:50 +0200Pixi(~Pixi@user/pixi)
2024-08-21 02:05:08 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2024-08-21 02:08:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds)
2024-08-21 02:08:56 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-08-21 02:11:54 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net)
2024-08-21 02:11:54 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host)
2024-08-21 02:11:54 +0200wroathe(~wroathe@user/wroathe)
2024-08-21 02:15:40 +0200acidjnk(~acidjnk@p200300d6e72cfb84b50e886b917f5a86.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-08-21 02:19:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 02:23:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 02:23:48 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-21 02:28:07 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-08-21 02:34:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 02:39:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 02:39:52 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-08-21 02:41:03 +0200califax(~califax@user/califx)
2024-08-21 02:43:54 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz)
2024-08-21 02:45:22 +0200spew(~spew@201.141.102.132)
2024-08-21 02:50:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 02:55:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-08-21 03:03:46 +0200pointlessslippe1(~pointless@212.82.82.3) (Ping timeout: 252 seconds)
2024-08-21 03:06:00 +0200pointlessslippe1(~pointless@212.82.82.3)
2024-08-21 03:06:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 03:06:34 +0200mikess(~mikess@user/mikess)
2024-08-21 03:11:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-08-21 03:14:43 +0200mikess(~mikess@user/mikess) (Quit: mikess)
2024-08-21 03:16:46 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2024-08-21 03:18:47 +0200spew(~spew@201.141.102.132) (Remote host closed the connection)
2024-08-21 03:19:57 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net)
2024-08-21 03:19:57 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host)
2024-08-21 03:19:57 +0200wroathe(~wroathe@user/wroathe)
2024-08-21 03:22:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 03:27:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-08-21 03:29:01 +0200deriamis_(nobody@2600:3c0a::f03c:95ff:fee8:f335)
2024-08-21 03:38:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 03:40:57 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-21 03:41:04 +0200ZharMeny(~user@user/ZharMeny) (Quit: ;;)
2024-08-21 03:43:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 03:43:44 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-08-21 03:53:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 03:58:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-08-21 04:06:33 +0200dyniec(~dyniec@dybiec.info) (Quit: WeeChat 4.2.2)
2024-08-21 04:07:25 +0200Pixi(~Pixi@user/pixi)
2024-08-21 04:07:29 +0200son0p(~ff@2800:e2:f80:ee7::a)
2024-08-21 04:09:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 04:10:30 +0200td_(~td@i53870928.versanet.de) (Ping timeout: 252 seconds)
2024-08-21 04:12:12 +0200td_(~td@i53870930.versanet.de)
2024-08-21 04:14:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-08-21 04:25:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 04:30:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds)
2024-08-21 04:30:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-08-21 04:32:21 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 248 seconds)
2024-08-21 04:33:36 +0200jinsun_(~jinsun@user/jinsun)
2024-08-21 04:33:36 +0200jinsun(~jinsun@user/jinsun) (Killed (mercury.libera.chat (Nickname regained by services)))
2024-08-21 04:33:36 +0200jinsun_jinsun
2024-08-21 04:34:47 +0200yaroot_(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c)
2024-08-21 04:36:05 +0200riatre(~quassel@2001:310:6000:f::5198:1) (Ping timeout: 248 seconds)
2024-08-21 04:36:43 +0200yaroot(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Ping timeout: 264 seconds)
2024-08-21 04:36:44 +0200yaroot_yaroot
2024-08-21 04:37:03 +0200riatre(~quassel@2001:310:6000:f::5198:1)
2024-08-21 04:41:08 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 04:44:20 +0200brandt(~brandt@177.191-pool-nas4-sc.sccoast.net) (Quit: WeeChat 4.4.1)
2024-08-21 04:46:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-08-21 04:47:31 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2024-08-21 04:55:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-21 04:56:44 +0200youthlic(~Thunderbi@122.10.198.126)
2024-08-21 04:56:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 04:57:44 +0200terrorjack4(~terrorjac@2a01:4f8:121:32e8::) (Quit: The Lounge - https://thelounge.chat)
2024-08-21 04:58:24 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net)
2024-08-21 04:58:24 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host)
2024-08-21 04:58:24 +0200wroathe(~wroathe@user/wroathe)
2024-08-21 04:59:56 +0200terrorjack4(~terrorjac@static.163.82.63.178.clients.your-server.de)
2024-08-21 05:00:23 +0200youthlic(~Thunderbi@122.10.198.126) (Client Quit)
2024-08-21 05:00:42 +0200youthlic(~Thunderbi@user/youthlic)
2024-08-21 05:02:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds)
2024-08-21 05:04:19 +0200deriamis_(nobody@2600:3c0a::f03c:95ff:fee8:f335) (Quit: ZNC - https://znc.in)
2024-08-21 05:05:38 +0200deriamis_(nobody@2600:3c0a::f03c:95ff:fee8:f335)
2024-08-21 05:05:51 +0200deriamis_(nobody@2600:3c0a::f03c:95ff:fee8:f335) (Remote host closed the connection)
2024-08-21 05:08:14 +0200deriamis_(nobody@2600:3c0a::f03c:95ff:fee8:f335)
2024-08-21 05:12:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 05:18:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-08-21 05:18:10 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-08-21 05:19:04 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-08-21 05:19:31 +0200Lord_of_Life_Lord_of_Life
2024-08-21 05:28:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 05:28:51 +0200tappingboom(~tappingbo@2406:2d40:46de:1f10:e036:d9b:2962:c4aa)
2024-08-21 05:29:09 +0200Square[[[[]]]]
2024-08-21 05:29:36 +0200tappingboom(~tappingbo@2406:2d40:46de:1f10:e036:d9b:2962:c4aa) (Quit: Client closed)
2024-08-21 05:33:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 05:33:51 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 05:36:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds)
2024-08-21 05:38:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-08-21 05:39:17 +0200Square2(~Square4@user/square)
2024-08-21 05:40:09 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-08-21 05:43:19 +0200[[[[]]]](~Square@user/square) (Ping timeout: 264 seconds)
2024-08-21 05:46:43 +0200aforemny(~aforemny@i59F516E1.versanet.de)
2024-08-21 05:46:55 +0200aforemny_(~aforemny@2001:9e8:6cf6:2a00:de98:d26f:f9ba:34ce) (Ping timeout: 252 seconds)
2024-08-21 05:49:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 05:54:19 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2024-08-21 05:54:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds)
2024-08-21 05:56:24 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net)
2024-08-21 05:56:24 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host)
2024-08-21 05:56:24 +0200wroathe(~wroathe@user/wroathe)
2024-08-21 06:05:22 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 06:08:11 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2024-08-21 06:10:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 06:11:47 +0200cyan_(~cyan@2806:10be:7:b794:f16d:6502:8233:fb17)
2024-08-21 06:12:37 +0200cyan_(~cyan@2806:10be:7:b794:f16d:6502:8233:fb17) (Client Quit)
2024-08-21 06:21:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 06:26:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-08-21 06:36:57 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 06:41:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-08-21 06:49:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 06:57:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-08-21 07:00:37 +0200motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2024-08-21 07:03:09 +0200deriamis(deriamis@2600:1f14:1251:ba02:2994:f9dc:75a8:113b) (Quit: ZNC - https://znc.in)
2024-08-21 07:07:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 07:12:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 07:23:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 07:29:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-08-21 07:30:04 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-08-21 07:30:42 +0200michalz(~michalz@185.246.207.201)
2024-08-21 07:31:03 +0200michalz(~michalz@185.246.207.201) (Remote host closed the connection)
2024-08-21 07:33:57 +0200michalz(~michalz@185.246.207.193)
2024-08-21 07:34:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 07:40:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-08-21 07:47:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-21 07:50:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 07:52:32 +0200dsrt^(dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Read error: Connection reset by peer)
2024-08-21 07:55:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-08-21 07:56:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 08:00:23 +0200Pixi(~Pixi@user/pixi) (Ping timeout: 245 seconds)
2024-08-21 08:00:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-08-21 08:02:14 +0200rosco(~rosco@175.136.158.234)
2024-08-21 08:10:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-21 08:11:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 08:16:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-08-21 08:27:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 08:32:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-08-21 08:35:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 08:40:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-08-21 08:45:20 +0200ZharMeny(~user@user/ZharMeny)
2024-08-21 08:51:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 08:56:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-08-21 09:07:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 09:10:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-08-21 09:12:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-08-21 09:12:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds)
2024-08-21 09:13:26 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-08-21 09:15:58 +0200acidjnk(~acidjnk@p200300d6e72cfb926c6e91e0ab7688d2.dip0.t-ipconnect.de)
2024-08-21 09:17:12 +0200rosco(~rosco@175.136.158.234) (Quit: Lost terminal)
2024-08-21 09:18:51 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2024-08-21 09:26:17 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2024-08-21 09:27:24 +0200nikolice(~nikolice@151.249.135.133)
2024-08-21 09:37:28 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-21 09:38:33 +0200rosco(~rosco@175.136.158.234)
2024-08-21 09:42:27 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.3.5)
2024-08-21 09:45:44 +0200picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2024-08-21 09:54:16 +0200Smiles(uid551636@id-551636.lymington.irccloud.com)
2024-08-21 09:57:51 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net)
2024-08-21 09:59:14 +0200merijn(~merijn@77.242.116.146)
2024-08-21 10:05:02 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3)
2024-08-21 10:12:45 +0200ft(~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving)
2024-08-21 10:20:01 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-08-21 10:32:50 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-21 10:38:29 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Quit: ash3en)
2024-08-21 10:38:33 +0200gmg(~user@user/gehmehgeh)
2024-08-21 10:40:08 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-08-21 10:43:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-08-21 10:49:14 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-08-21 10:51:00 +0200greenflower(~greenflow@2401:4900:1cb9:c9f6:267b:c6bc:69d:1c9f)
2024-08-21 10:51:36 +0200greenflower(~greenflow@2401:4900:1cb9:c9f6:267b:c6bc:69d:1c9f) (Client Quit)
2024-08-21 10:51:56 +0200__monty__(~toonn@user/toonn)
2024-08-21 10:58:53 +0200youthlic(~Thunderbi@user/youthlic) (Ping timeout: 258 seconds)
2024-08-21 11:00:55 +0200glguy(glguy@libera/staff/glguy) (Read error: Connection reset by peer)
2024-08-21 11:03:11 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2024-08-21 11:05:22 +0200merijn(~merijn@77.242.116.146)
2024-08-21 11:10:30 +0200youthlic(~Thunderbi@user/youthlic)
2024-08-21 11:11:23 +0200swamp_(~zmt00@user/zmt00) (Remote host closed the connection)
2024-08-21 11:11:49 +0200swamp_(~zmt00@user/zmt00)
2024-08-21 11:14:20 +0200zmt00(~zmt00@user/zmt00)
2024-08-21 11:16:55 +0200swamp_(~zmt00@user/zmt00) (Ping timeout: 264 seconds)
2024-08-21 11:18:42 +0200CiaoSen(~Jura@2a05:5800:24c:8c00:ca4b:d6ff:fec1:99da)
2024-08-21 11:21:11 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2024-08-21 11:21:23 +0200Leary(~Leary@user/Leary/x-0910699)
2024-08-21 11:24:30 +0200ubert(~Thunderbi@178.165.163.131.wireless.dyn.drei.com)
2024-08-21 11:26:09 +0200rosco(~rosco@175.136.158.234) (Quit: Lost terminal)
2024-08-21 11:29:57 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-08-21 11:33:26 +0200aforemny(~aforemny@i59F516E1.versanet.de) (Ping timeout: 255 seconds)
2024-08-21 11:33:46 +0200aforemny(~aforemny@2001:9e8:6cd8:300:d2fa:27f2:48df:38f7)
2024-08-21 11:33:47 +0200td_(~td@i53870930.versanet.de) (Ping timeout: 252 seconds)
2024-08-21 11:34:07 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-21 11:34:09 +0200CiaoSen(~Jura@2a05:5800:24c:8c00:ca4b:d6ff:fec1:99da) (Ping timeout: 258 seconds)
2024-08-21 11:34:51 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-08-21 11:38:54 +0200td_(~td@2001:9e8:19ef:c000:ffa3:e2b2:2abd:18d)
2024-08-21 11:52:26 +0200dans23329(~danse-nr3@user/danse-nr3)
2024-08-21 11:54:48 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds)
2024-08-21 11:58:18 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-08-21 12:03:43 +0200youthlic(~Thunderbi@user/youthlic) (Ping timeout: 264 seconds)
2024-08-21 12:04:22 +0200 <lxsameer> is it possible to provide `extra-lib-dirs` to cabal via env vars?
2024-08-21 12:08:56 +0200 <int-e> https://github.com/haskell/cabal/issues/2997#issuecomment-1923468505 seems relevant
2024-08-21 12:11:20 +0200 <lxsameer> cheers
2024-08-21 12:13:59 +0200youthlic(~Thunderbi@user/youthlic)
2024-08-21 12:14:07 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2024-08-21 12:26:21 +0200merijn(~merijn@77.242.116.146)
2024-08-21 12:30:52 +0200kronicmage(~kronicmag@neotame.csclub.uwaterloo.ca) (Server closed connection)
2024-08-21 12:31:15 +0200kronicmage(~kronicmag@neotame.csclub.uwaterloo.ca)
2024-08-21 12:32:38 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-08-21 12:34:11 +0200youthlic(~Thunderbi@user/youthlic)
2024-08-21 12:34:26 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2024-08-21 12:38:24 +0200 <albet70> is [] a type?
2024-08-21 12:38:32 +0200merijn(~merijn@77.242.116.146)
2024-08-21 12:38:44 +0200 <int-e> no. it's a type constructor
2024-08-21 12:38:45 +0200 <dans23329> :k ([])
2024-08-21 12:38:46 +0200 <lambdabot> * -> *
2024-08-21 12:39:41 +0200 <int-e> (The answer may be different depending on context but I think that's the most useful one for programming in Haskell.)
2024-08-21 12:39:43 +0200gmg(~user@user/gehmehgeh)
2024-08-21 12:40:42 +0200 <albet70> [] can be value?
2024-08-21 12:40:57 +0200 <int-e> that too
2024-08-21 12:41:23 +0200 <int-e> > [] :: [] Int
2024-08-21 12:41:25 +0200 <lambdabot> []
2024-08-21 12:41:45 +0200 <int-e> data constructor and value to the left, type constructor to the right
2024-08-21 12:42:00 +0200 <int-e> [] Int would usually be written [Int].
2024-08-21 12:42:53 +0200 <int-e> But since you asked about types I assumed you were not talking about values.
2024-08-21 12:44:52 +0200micro(~micro@user/micro) (Server closed connection)
2024-08-21 12:45:00 +0200micro(~micro@user/micro)
2024-08-21 12:49:11 +0200 <albet70> what [[]]::?
2024-08-21 12:50:48 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2024-08-21 12:51:07 +0200dans23329(~danse-nr3@user/danse-nr3) (Quit: lunch)
2024-08-21 12:54:00 +0200merijn(~merijn@77.242.116.146)
2024-08-21 12:54:24 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3)
2024-08-21 12:55:03 +0200 <albet70> does haskell have union type?
2024-08-21 12:55:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-08-21 12:56:39 +0200 <Rembane> albet70: Yes!
2024-08-21 12:56:46 +0200 <Rembane> albet70: data T = A | B | <C
2024-08-21 12:57:51 +0200 <int-e> @src Either
2024-08-21 12:57:52 +0200 <lambdabot> Source not found. My brain just exploded
2024-08-21 12:57:53 +0200 <opqdonut> haskell has tagged unions, no untagged unions (like typescript's |)
2024-08-21 12:57:57 +0200youthlic(~Thunderbi@user/youthlic) (Ping timeout: 248 seconds)
2024-08-21 12:58:02 +0200 <int-e> data Either a b = Left a | Right b
2024-08-21 12:58:08 +0200ubert(~Thunderbi@178.165.163.131.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2024-08-21 12:59:22 +0200tomboy64(~tomboy64@user/tomboy64) (Server closed connection)
2024-08-21 12:59:46 +0200tomboy64(~tomboy64@user/tomboy64)
2024-08-21 13:00:32 +0200 <int-e> type Sum a b = forall r. (a -> r) -> (b -> r) -> r -- "tagless", scnr
2024-08-21 13:06:22 +0200 <opqdonut> for an untagged union most people want implicit casts from X to X|Y. I think that's the defining feature.
2024-08-21 13:08:49 +0200CiaoSen(~Jura@2a05:5800:24c:8c00:ca4b:d6ff:fec1:99da)
2024-08-21 13:11:48 +0200caubert_caubert
2024-08-21 13:26:48 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-21 13:29:03 +0200Guest1(~Guest901@188.243.182.222)
2024-08-21 13:30:00 +0200Guest1(~Guest901@188.243.182.222) ()
2024-08-21 13:30:56 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-08-21 13:33:47 +0200tinjamin(~tinjamin@banshee.h4x0r.space) (Remote host closed the connection)
2024-08-21 13:34:56 +0200tinjamin(~tinjamin@banshee.h4x0r.space)
2024-08-21 13:36:18 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-08-21 13:42:51 +0200son0p(~ff@2800:e2:f80:ee7::a) (Ping timeout: 252 seconds)
2024-08-21 13:46:52 +0200Tisoxin(~Ikosit@user/ikosit) (Server closed connection)
2024-08-21 13:47:10 +0200Tisoxin(~Ikosit@user/ikosit)
2024-08-21 13:49:06 +0200youthlic(~Thunderbi@user/youthlic)
2024-08-21 13:49:29 +0200billchenchina-(~billchenc@103.152.35.21)
2024-08-21 13:53:13 +0200youthlic(~Thunderbi@user/youthlic) (Client Quit)
2024-08-21 13:54:46 +0200youthlic(~Thunderbi@user/youthlic)
2024-08-21 13:57:49 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Quit: nap)
2024-08-21 14:02:31 +0200CiaoSen(~Jura@2a05:5800:24c:8c00:ca4b:d6ff:fec1:99da) (Ping timeout: 264 seconds)
2024-08-21 14:02:43 +0200 <kuribas> opqdonut: that's not even a cast.
2024-08-21 14:04:12 +0200 <opqdonut> yeah subsumption or something
2024-08-21 14:04:50 +0200 <kuribas> X is a subtype of X|Y
2024-08-21 14:10:14 +0200Alleria(~Alleria@user/alleria)
2024-08-21 14:10:28 +0200 <opqdonut> yeah
2024-08-21 14:20:31 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-08-21 14:21:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-08-21 14:32:52 +0200catties(~catties@user/meow/catties) (Server closed connection)
2024-08-21 14:33:12 +0200catties(~catties@user/meow/catties)
2024-08-21 14:33:35 +0200ubert(~Thunderbi@178.165.163.131.wireless.dyn.drei.com)
2024-08-21 14:38:22 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de) (Server closed connection)
2024-08-21 14:38:41 +0200lambdap2371(~lambdap@static.167.190.119.168.clients.your-server.de)
2024-08-21 14:40:03 +0200ubert(~Thunderbi@178.165.163.131.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2024-08-21 14:41:12 +0200billchenchina-(~billchenc@103.152.35.21) (Remote host closed the connection)
2024-08-21 14:48:54 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8)
2024-08-21 14:49:40 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Max SendQ exceeded)
2024-08-21 14:50:03 +0200billchenchina-(~billchenc@103.152.35.21)
2024-08-21 14:52:52 +0200ubert(~Thunderbi@178.165.163.131.wireless.dyn.drei.com)
2024-08-21 14:54:00 +0200youthlic(~Thunderbi@user/youthlic) (Ping timeout: 252 seconds)
2024-08-21 14:56:07 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2024-08-21 14:57:30 +0200merijn(~merijn@77.242.116.146)
2024-08-21 15:04:41 +0200youthlic(~Thunderbi@user/youthlic)
2024-08-21 15:18:57 +0200Leary(~Leary@user/Leary/x-0910699) (Ping timeout: 276 seconds)
2024-08-21 15:21:45 +0200son0p(~ff@2800:e6:4000:aaf9:6089:ddea:310:b3a4)
2024-08-21 15:22:28 +0200 <haskellbridge> <thirdofmay18081814goya> "do [1, 2]; (+); _;" produces the compiler statement that "_ :: [b]", but there's actually no expression that fits here. why is the compiler behaving like this?
2024-08-21 15:25:09 +0200 <Rembane> Because you can have many different types in a do-block? Try to desugar it and see if it makes more sense.
2024-08-21 15:25:16 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
2024-08-21 15:25:30 +0200 <kuribas> in idris I could write "{a : Type} -> Either (a = Int) (a = Float) => a -> b
2024-08-21 15:25:42 +0200 <kuribas> where a is basically Int | Float
2024-08-21 15:25:55 +0200 <kuribas> haskell has no disjunction constraints though AFAIK...
2024-08-21 15:26:03 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-08-21 15:29:27 +0200Leary(~Leary@user/Leary/x-0910699)
2024-08-21 15:29:52 +0200 <haskellbridge> <thirdofmay18081814goya> Rembane: hm, but the statement "_ :: [b]" is wrong right? (or not even wrong, right?)
2024-08-21 15:32:14 +0200 <haskellbridge> <thirdofmay18081814goya> -(or not even wrong, right?)
2024-08-21 15:36:01 +0200 <Rembane> It doesn't know. It can be anything.
2024-08-21 15:36:52 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (Server closed connection)
2024-08-21 15:37:04 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2024-08-21 15:38:02 +0200 <haskellbridge> <thirdofmay18081814goya> Rembane: noted, ty
2024-08-21 15:39:28 +0200 <Rembane> No worries!
2024-08-21 15:42:05 +0200Alleria(~Alleria@user/alleria) (Read error: Connection reset by peer)
2024-08-21 15:43:55 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-08-21 15:44:26 +0200rvalue(~rvalue@user/rvalue)
2024-08-21 15:55:22 +0200siers69(~ij@user/ij) (Server closed connection)
2024-08-21 15:55:43 +0200siers(~ij@user/ij)
2024-08-21 15:55:44 +0200ubert(~Thunderbi@178.165.163.131.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2024-08-21 15:57:22 +0200dibblego(~dibblego@haskell/developer/dibblego) (Server closed connection)
2024-08-21 15:57:38 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2024-08-21 15:57:38 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2024-08-21 15:57:38 +0200dibblego(~dibblego@haskell/developer/dibblego)
2024-08-21 16:01:58 +0200glguy(glguy@libera/staff/glguy)
2024-08-21 16:08:00 +0200 <EvanR> :t do [1, 2]; (+); []
2024-08-21 16:08:02 +0200 <lambdabot> error:
2024-08-21 16:08:02 +0200 <lambdabot> • Couldn't match expected type ‘[a0]’
2024-08-21 16:08:02 +0200 <lambdabot> with actual type ‘a2 -> a2 -> a2’
2024-08-21 16:09:01 +0200 <EvanR> :t do [1, 2]; (+); const id
2024-08-21 16:09:02 +0200 <lambdabot> error:
2024-08-21 16:09:02 +0200 <lambdabot> • Couldn't match expected type ‘[a0]’
2024-08-21 16:09:02 +0200 <lambdabot> with actual type ‘a3 -> a3 -> a3’
2024-08-21 16:10:45 +0200 <haskellbridge> <thirdofmay18081814goya> EvanR: turns out I didn't read the top of the error message because my terminal is in a corner
2024-08-21 16:10:47 +0200 <haskellbridge> <thirdofmay18081814goya> it printed both the type error and the message
2024-08-21 16:10:58 +0200 <haskellbridge> <thirdofmay18081814goya> +hole
2024-08-21 16:11:08 +0200 <EvanR> there is a type error but now I'm wondering if there's still a way for the Num instance to be picked in such a way
2024-08-21 16:11:18 +0200 <EvanR> :t do [1,2]; (+); mempty
2024-08-21 16:11:19 +0200 <lambdabot> error:
2024-08-21 16:11:19 +0200 <lambdabot> • Couldn't match expected type ‘[a0]’
2024-08-21 16:11:19 +0200 <lambdabot> with actual type ‘a2 -> a2 -> a2’
2024-08-21 16:12:01 +0200 <EvanR> :t do [1,2]; (+); 0
2024-08-21 16:12:02 +0200 <lambdabot> error:
2024-08-21 16:12:02 +0200 <lambdabot> • Couldn't match expected type ‘[a0]’
2024-08-21 16:12:03 +0200 <lambdabot> with actual type ‘a2 -> a2 -> a2’
2024-08-21 16:12:04 +0200 <EvanR> guess not
2024-08-21 16:13:11 +0200son0p(~ff@2800:e6:4000:aaf9:6089:ddea:310:b3a4) (Remote host closed the connection)
2024-08-21 16:17:31 +0200rosco(rosco@gateway/vpn/airvpn/rosco)
2024-08-21 16:21:00 +0200 <kuribas> EvanR: how is that supposed to work? You have a list monad and then a function?
2024-08-21 16:21:26 +0200 <kuribas> :t [1, 2] >> (+) >> 0
2024-08-21 16:21:27 +0200 <lambdabot> error:
2024-08-21 16:21:27 +0200 <lambdabot> • Couldn't match expected type ‘[a0]’
2024-08-21 16:21:28 +0200 <lambdabot> with actual type ‘a2 -> a2 -> a2’
2024-08-21 16:22:44 +0200 <EvanR> yeah it can't work
2024-08-21 16:23:09 +0200 <EvanR> it's a list then it's a function, does not compute
2024-08-21 16:23:29 +0200 <kuribas> :t fromList
2024-08-21 16:23:30 +0200 <lambdabot> error:
2024-08-21 16:23:30 +0200 <lambdabot> • Variable not in scope: fromList
2024-08-21 16:23:30 +0200 <lambdabot> • Perhaps you meant one of these:
2024-08-21 16:23:41 +0200 <kuribas> maybe with overloaded lists?
2024-08-21 16:23:51 +0200 <kuribas> But I am not sure what you want to do here...
2024-08-21 16:24:24 +0200 <EvanR> it was thirdofmay18081814goya's idea
2024-08-21 16:29:36 +0200wroathe(~wroathe@user/wroathe)
2024-08-21 16:31:52 +0200int-e(~noone@int-e.eu) (Server closed connection)
2024-08-21 16:32:01 +0200int-e(~noone@int-e.eu)
2024-08-21 16:32:44 +0200 <haskellbridge> <mauke> An implicit cast is like a verbal contract on paper
2024-08-21 16:34:52 +0200quintasan(~quassel@quintasan.pl) (Server closed connection)
2024-08-21 16:35:01 +0200quintasan(~quassel@quintasan.pl)
2024-08-21 16:39:34 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-21 16:42:56 +0200 <kuribas> implicit casts exist, like in Python, and they suck.
2024-08-21 16:43:12 +0200 <kuribas> or javascript
2024-08-21 16:43:34 +0200 <kuribas> Where something gets cast to something else in unpredictable ways.
2024-08-21 16:43:39 +0200 <kuribas> like strings to int.
2024-08-21 16:46:52 +0200mzg(mzg@abusers.hu) (Server closed connection)
2024-08-21 16:46:59 +0200mzg(mzg@abusers.hu)
2024-08-21 16:50:15 +0200 <haskellbridge> <mauke> It's an oxymoron
2024-08-21 16:50:46 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-08-21 16:53:21 +0200 <EvanR> string to int that works is more like a conversion
2024-08-21 16:53:48 +0200 <EvanR> ok we're talking about implicit conversions
2024-08-21 16:54:11 +0200 <EvanR> when it's between integer types and the value is not changed, I can understand it
2024-08-21 16:54:54 +0200 <EvanR> in which case it's not much of a conversion
2024-08-21 16:59:02 +0200youthlic(~Thunderbi@user/youthlic) (Ping timeout: 252 seconds)
2024-08-21 17:01:53 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-21 17:07:45 +0200 <kuribas> still a conversion on byte level
2024-08-21 17:07:57 +0200 <kuribas> you need to truncate the value.
2024-08-21 17:08:06 +0200 <kuribas> on "binary" level I mean.
2024-08-21 17:13:31 +0200 <EvanR> the binary level xD
2024-08-21 17:14:04 +0200 <EvanR> the computer is processing a stream of 0 and 1 like turing style
2024-08-21 17:17:31 +0200 <kuribas> the only "safe" conversion is from a shorter to a longer int or word.
2024-08-21 17:17:41 +0200 <kuribas> or Int to Integer.
2024-08-21 17:20:52 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Server closed connection)
2024-08-21 17:21:16 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2024-08-21 17:22:27 +0200danse-nr3(~danse-nr3@user/danse-nr3) (Ping timeout: 276 seconds)
2024-08-21 17:27:28 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-08-21 17:28:55 +0200 <EvanR> or conversion from a longer int to a shorter int which can represent the value
2024-08-21 17:29:10 +0200 <EvanR> that it happens to be
2024-08-21 17:29:49 +0200 <EvanR> same for Double to Float
2024-08-21 17:32:34 +0200Leary(~Leary@user/Leary/x-0910699) (Ping timeout: 248 seconds)
2024-08-21 17:33:35 +0200rosco(rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal)
2024-08-21 17:34:27 +0200Leary(~Leary@user/Leary/x-0910699)
2024-08-21 17:35:27 +0200nikolice(~nikolice@151.249.135.133) (Ping timeout: 276 seconds)
2024-08-21 17:37:22 +0200kosmikus(~kosmikus@nullzig.kosmikus.org) (Server closed connection)
2024-08-21 17:37:34 +0200kosmikus(~kosmikus@nullzig.kosmikus.org)
2024-08-21 17:41:46 +0200wroathe(~wroathe@user/wroathe) (Read error: Connection reset by peer)
2024-08-21 17:41:49 +0200wroathe_(~wroathe@mobile-166-175-189-213.mycingular.net)
2024-08-21 17:43:13 +0200wroathe_(~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host)
2024-08-21 17:43:13 +0200wroathe_(~wroathe@user/wroathe)
2024-08-21 17:43:16 +0200wroathe_(~wroathe@user/wroathe) ()
2024-08-21 17:43:36 +0200nikolice(~nikolice@151.249.135.133)
2024-08-21 17:44:23 +0200 <kuribas> Double to Float is always a loss.
2024-08-21 17:44:54 +0200 <kuribas> Even if they represent the same number, there is a loss of precision.
2024-08-21 17:47:54 +0200 <EvanR> it's not always a loss
2024-08-21 17:48:06 +0200 <EvanR> there are values which can be represented by both types
2024-08-21 17:48:24 +0200 <EvanR> so sometimes the conversion is lossless
2024-08-21 17:50:19 +0200 <EvanR> > (2.75 :: Double) == realToFrac (realToFrac (2.75 :: Double) :: Float) :: Double
2024-08-21 17:50:20 +0200 <lambdabot> error:
2024-08-21 17:50:20 +0200 <lambdabot> • Couldn't match expected type ‘Double’ with actual type ‘Bool’
2024-08-21 17:50:20 +0200 <lambdabot> • In the expression:
2024-08-21 17:50:29 +0200 <EvanR> > (2.75 :: Double) == (realToFrac (realToFrac (2.75 :: Double) :: Float) :: Double)
2024-08-21 17:50:31 +0200 <lambdabot> True
2024-08-21 17:51:43 +0200 <EvanR> dyadic fractions in a certain range of Float play nice with each other and will convert both ways losslessly
2024-08-21 17:52:34 +0200 <EvanR> don't succumb to fear uncertainty and doubt about floats as if they randomly corrupt your values!
2024-08-21 17:53:51 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (*.net *.split)
2024-08-21 17:53:52 +0200Fischmiep(~Fischmiep@user/Fischmiep) (*.net *.split)
2024-08-21 17:53:52 +0200AlexZenon(~alzenon@178.34.162.175) (*.net *.split)
2024-08-21 17:53:52 +0200m1dnight(~christoph@78-20-63-126.access.telenet.be) (*.net *.split)
2024-08-21 17:53:52 +0200remexre(~remexre@user/remexre) (*.net *.split)
2024-08-21 17:53:52 +0200noctux(~noctux@user/noctux) (*.net *.split)
2024-08-21 17:53:52 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split)
2024-08-21 17:53:52 +0200bionade24(~quassel@2a03:4000:33:45b::1) (*.net *.split)
2024-08-21 17:53:52 +0200zero(~z@user/zero) (*.net *.split)
2024-08-21 17:53:52 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split)
2024-08-21 17:53:52 +0200Luj91(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (*.net *.split)
2024-08-21 17:53:52 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (*.net *.split)
2024-08-21 17:53:52 +0200xerox(~edi@user/edi) (*.net *.split)
2024-08-21 17:53:52 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (*.net *.split)
2024-08-21 17:53:52 +0200comonad(~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (*.net *.split)
2024-08-21 17:53:52 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split)
2024-08-21 17:53:52 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (*.net *.split)
2024-08-21 17:53:52 +0200xelxebar(~xelxebar@wilsonb.com) (*.net *.split)
2024-08-21 17:53:52 +0200[exa](~exa@user/exa/x-3587197) (*.net *.split)
2024-08-21 17:53:52 +0200APic(apic@apic.name) (*.net *.split)
2024-08-21 17:53:52 +0200hammond_(proscan@gateway04.insomnia247.nl) (*.net *.split)
2024-08-21 17:53:52 +0200barthandelous01(barth@triton.blinkenshell.org) (*.net *.split)
2024-08-21 17:53:59 +0200noctux(~noctux@user/noctux)
2024-08-21 17:54:00 +0200APic(apic@apic.name)
2024-08-21 17:54:00 +0200remexre(~remexre@user/remexre)
2024-08-21 17:54:01 +0200xerox(~edi@user/edi)
2024-08-21 17:54:02 +0200Adeon(sid418992@id-418992.lymington.irccloud.com)
2024-08-21 17:54:02 +0200bionade24(~quassel@2a03:4000:33:45b::1)
2024-08-21 17:54:04 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2024-08-21 17:54:08 +0200barthandelous01(barth@triton.blinkenshell.org)
2024-08-21 17:54:08 +0200exa2(~exa@srv3n.blesmrt.net)
2024-08-21 17:54:10 +0200comonad(~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de)
2024-08-21 17:54:12 +0200xelxebar(~xelxebar@wilsonb.com)
2024-08-21 17:54:14 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-08-21 17:54:14 +0200zero(~z@user/zero)
2024-08-21 17:54:16 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-08-21 17:54:17 +0200AlexZenon(~alzenon@178.34.162.175)
2024-08-21 17:54:17 +0200m1dnight(~christoph@78-20-63-126.access.telenet.be)
2024-08-21 17:54:18 +0200Fischmiep(~Fischmiep@user/Fischmiep)
2024-08-21 17:54:18 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2024-08-21 17:54:35 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com)
2024-08-21 17:58:06 +0200manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck)
2024-08-21 17:59:01 +0200hammond(proscan@gateway04.insomnia247.nl)
2024-08-21 17:59:10 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2024-08-21 18:02:25 +0200 <kuribas> I mean 5.2 and 5.200 don't necessarily represent the same value, since they have different precision.
2024-08-21 18:02:40 +0200 <kuribas> So going from the second to the first is still a loss.
2024-08-21 18:03:22 +0200 <kuribas> 5.2 could mean 5.200, but also 5.230
2024-08-21 18:03:40 +0200 <kuribas> So the conversion is still lossy in every case.
2024-08-21 18:06:02 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Remote host closed the connection)
2024-08-21 18:06:38 +0200ec_(~ec@gateway/tor-sasl/ec)
2024-08-21 18:06:52 +0200 <EvanR> that's coming from a perspective that float values represent intervals but that's application specific not built in
2024-08-21 18:07:21 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3)
2024-08-21 18:08:06 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2024-08-21 18:08:35 +0200 <EvanR> assuming you know the precision in both sides, you don't lose that either, since it's not represented in the value anyway
2024-08-21 18:08:36 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds)
2024-08-21 18:10:29 +0200 <EvanR> converting from Bool1 = False | True to Bool2 = True | False and back also changes the type, and whatever semantics you think there are on the types, but you wouldn't call that a loss
2024-08-21 18:10:55 +0200AlexZenon(~alzenon@178.34.162.175) (Ping timeout: 264 seconds)
2024-08-21 18:11:22 +0200 <kuribas> Calling 5.2 equal to 5.200 is also arbitrary.
2024-08-21 18:11:58 +0200 <EvanR> uh HUH....
2024-08-21 18:12:40 +0200AlexZenon(~alzenon@178.34.162.175)
2024-08-21 18:13:09 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-08-21 18:13:11 +0200 <kuribas> Anyway, for the general case you don't now that your int will overflow, or that your floating point loses precision, which is why I would not consider it safe.
2024-08-21 18:13:30 +0200 <kuribas> safe for a subset is still unsafe IMO...
2024-08-21 18:14:01 +0200 <kuribas> Which is why I would argue for an explicit cast.
2024-08-21 18:14:01 +0200 <EvanR> yeah when you're writing a compiler you don't know anything about the values
2024-08-21 18:19:06 +0200 <kuribas> if you have dependent types or refinement types, you could add a constraint.
2024-08-21 18:19:14 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net)
2024-08-21 18:19:14 +0200wroathe(~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host)
2024-08-21 18:19:14 +0200wroathe(~wroathe@user/wroathe)
2024-08-21 18:19:25 +0200 <kuribas> But in that case you could just as well use the narrower type...
2024-08-21 18:21:20 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-08-21 18:22:22 +0200 <EvanR> nah we will stay with Int even when values are always like less than 100 xD
2024-08-21 18:22:32 +0200 <EvanR> and Bool is implemented as a 64bit word xD
2024-08-21 18:22:49 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-08-21 18:23:02 +0200 <kuribas> common lisp "grows" the value when they overflow.
2024-08-21 18:23:19 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-21 18:23:24 +0200 <EvanR> at runtime or
2024-08-21 18:23:52 +0200 <kuribas> yes
2024-08-21 18:23:55 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2024-08-21 18:30:00 +0200spew(~spew@201.141.102.132)
2024-08-21 18:30:25 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Quit: ash3en)
2024-08-21 18:44:08 +0200aljazmc(~aljazmc@user/aljazmc)
2024-08-21 18:45:37 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds)
2024-08-21 18:50:09 +0200danse-nr3(~danse-nr3@user/danse-nr3)
2024-08-21 18:50:27 +0200wroathe(~wroathe@user/wroathe) ()
2024-08-21 18:55:58 +0200 <fr33domlover> o/ I'm getting an error with GHC 9.6.6 when compiling a file that uses TH-generated dclarations: `panic! (the 'impossible' happened unfilled unbound-variable evidence` (I switched from LTS-18 to LTS-22 and from TH to typed TH)
2024-08-21 18:56:29 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-08-21 18:56:41 +0200 <fr33domlover> Is there anything I can to fix that? I'm on latest LTS already... perhaps downgrade? "^_^
2024-08-21 18:57:04 +0200 <fr33domlover> The source file (before the switch-to-typed-TH): https://codeberg.org/ForgeFed/Vervis/src/branch/main/src/Vervis/Migration/Entities.hs
2024-08-21 19:01:23 +0200 <c_wraith> any GHC error that says "the 'impossible' happened" indicates a GHC bug. I don't know anything about that one. In particular, I don't know if it's a regression that going to an older version will fix. (I also don't know if it's been reported yet)
2024-08-21 19:01:36 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2024-08-21 19:01:54 +0200 <c_wraith> Oh. You just said it's a regression. :)
2024-08-21 19:02:02 +0200 <fr33domlover> I found this, looks like a hint - my TH splices are probably using some out-of-scope term https://gitlab.haskell.org/ghc/ghc/-/issues/22655
2024-08-21 19:02:35 +0200 <c_wraith> So it's probably a GCH bug caused by invalid TH?
2024-08-21 19:02:38 +0200 <fr33domlover> c_wraith: Well I did change my code too so couldn't tell if it's a regression, its my first time trying typed TH :p
2024-08-21 19:03:06 +0200 <fr33domlover> Yeah, good news is I'll try to figure out by myself what's out of scope and if I'm lucky the error will disappear ^_^
2024-08-21 19:03:07 +0200 <c_wraith> It looks like this particular bug probably is a missing case that should be reporting an error
2024-08-21 19:03:33 +0200 <c_wraith> So the bug should be fixed, but probably the code is at fault and just not getting reported properly
2024-08-21 19:10:45 +0200 <fr33domlover> Yeah
2024-08-21 19:11:41 +0200 <fr33domlover> Well, there's already an open bug. And I think I might have fixed it on my side, GHC switched to error messages on modules that depend on the faulty one :)
2024-08-21 19:12:21 +0200 <fr33domlover> (Or is it stack/cabal, I suppose)
2024-08-21 19:13:14 +0200terrorjack4(~terrorjac@static.163.82.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2024-08-21 19:15:35 +0200terrorjack4(~terrorjac@2a01:4f8:121:32e8::)
2024-08-21 19:17:36 +0200nikolice(~nikolice@151.249.135.133) (Remote host closed the connection)
2024-08-21 19:18:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-21 19:18:41 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-08-21 19:21:24 +0200nikolice(~nikolice@151.249.135.133)
2024-08-21 19:30:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-08-21 19:33:34 +0200danse-nr3(~danse-nr3@user/danse-nr3) ()
2024-08-21 19:38:21 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-08-21 19:40:20 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-08-21 19:46:51 +0200ft(~ft@p4fc2a393.dip0.t-ipconnect.de)
2024-08-21 19:51:43 +0200lxsameer(~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.3.5)
2024-08-21 20:11:17 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2024-08-21 20:11:52 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se)
2024-08-21 20:19:05 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3)
2024-08-21 20:23:21 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-08-21 20:25:57 +0200spew(~spew@201.141.102.132) (Remote host closed the connection)
2024-08-21 20:38:49 +0200nadja(~dequbed@banana-new.kilobyte22.de) (Quit: bye!)
2024-08-21 20:41:26 +0200exa2[exa]
2024-08-21 20:41:39 +0200[exa](~exa@srv3n.blesmrt.net) (Changing host)
2024-08-21 20:41:39 +0200[exa](~exa@user/exa/x-3587197)
2024-08-21 20:43:35 +0200nadja(~dequbed@banana-new.kilobyte22.de)
2024-08-21 20:43:45 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-08-21 20:47:57 +0200Inst_(~Inst@user/Inst)
2024-08-21 20:50:23 +0200Inst(~Inst@user/Inst) (Ping timeout: 252 seconds)
2024-08-21 20:57:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 21:05:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-08-21 21:08:09 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2024-08-21 21:19:01 +0200nikolice(~nikolice@151.249.135.133) (Quit: Leaving)
2024-08-21 21:20:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 21:26:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-08-21 21:32:34 +0200target_i(~target_i@user/target-i/x-6023099)
2024-08-21 21:33:09 +0200billchenchina-(~billchenc@103.152.35.21) (Remote host closed the connection)
2024-08-21 21:36:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 21:41:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 21:43:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-08-21 21:50:03 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2024-08-21 21:51:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 21:53:27 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 252 seconds)
2024-08-21 21:55:35 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye)
2024-08-21 21:56:04 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net)
2024-08-21 21:56:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-08-21 21:57:05 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Client Quit)
2024-08-21 21:57:51 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net)
2024-08-21 22:07:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 22:09:13 +0200Inst_Inst
2024-08-21 22:11:47 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 22:14:44 +0200infinity0(~infinity0@pwned.gg)
2024-08-21 22:15:31 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-08-21 22:21:13 +0200gentauro(~gentauro@user/gentauro)
2024-08-21 22:22:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 22:27:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-08-21 22:30:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 22:40:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-08-21 22:51:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 22:56:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-08-21 22:56:09 +0200wroathe(~wroathe@c-66-41-76-89.hsd1.mn.comcast.net)
2024-08-21 22:56:09 +0200wroathe(~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host)
2024-08-21 22:56:09 +0200wroathe(~wroathe@user/wroathe)
2024-08-21 22:56:17 +0200michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2024-08-21 22:57:16 +0200sam113101(~sam@24.157.253.231) (Ping timeout: 252 seconds)
2024-08-21 22:58:36 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-08-21 23:01:20 +0200son0p(~ff@186.115.79.175)
2024-08-21 23:02:50 +0200AlexZenon(~alzenon@178.34.162.175) (Ping timeout: 265 seconds)
2024-08-21 23:02:54 +0200talismanick(~user@2601:644:937c:ed10::ae5)
2024-08-21 23:06:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 23:09:34 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net)
2024-08-21 23:11:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-08-21 23:13:25 +0200AlexZenon(~alzenon@178.34.162.175)
2024-08-21 23:15:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 23:17:46 +0200brandt(~brandt@177.191-pool-nas4-sc.sccoast.net)
2024-08-21 23:19:42 +0200esnos(~user@176.106.34.161)
2024-08-21 23:20:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-08-21 23:20:33 +0200motherfsck(~motherfsc@user/motherfsck)
2024-08-21 23:21:30 +0200AlexZenon(~alzenon@178.34.162.175) (Ping timeout: 244 seconds)
2024-08-21 23:25:33 +0200AlexZenon(~alzenon@178.34.162.175)
2024-08-21 23:26:17 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Quit: ash3en)
2024-08-21 23:36:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 23:37:16 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3)
2024-08-21 23:37:20 +0200aljazmc_(~aljazmc@user/aljazmc)
2024-08-21 23:37:20 +0200aljazmc(~aljazmc@user/aljazmc) (Remote host closed the connection)
2024-08-21 23:38:42 +0200brandtnaxx
2024-08-21 23:41:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-08-21 23:42:42 +0200 <EvanR> not really a haskell question but somewhere there is the statement "On Linux systems, executables which are statically linked to the C library cannot dynamically load shared libraries." How true is it
2024-08-21 23:43:55 +0200wroathe(~wroathe@user/wroathe) ()
2024-08-21 23:45:17 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Quit: ash3en)
2024-08-21 23:45:33 +0200ash3en(~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3)
2024-08-21 23:48:14 +0200wroathe(~wroathe@c-66-41-76-89.hsd1.mn.comcast.net)
2024-08-21 23:48:14 +0200wroathe(~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host)
2024-08-21 23:48:14 +0200wroathe(~wroathe@user/wroathe)
2024-08-21 23:49:14 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-08-21 23:49:31 +0200 <geekosaur> false, I think. what is true is that if you statically link to glibc, you must ship the shared NSS and locale libraries for the glibc version you linked with your program
2024-08-21 23:49:47 +0200 <geekosaur> I think Solaris had that no-shared-libraries limitation
2024-08-21 23:50:57 +0200 <int-e> https://github.com/pfalcon/foreign-dlopen (which looks interesting) has some arguments for and against
2024-08-21 23:51:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-08-21 23:51:32 +0200 <int-e> notably "shared library might use libc symbols for functions not included in your binary unless you make a fat binary that includes the whole libc"
2024-08-21 23:52:06 +0200 <int-e> (I realize that "fat" has another meaning, but I think it's an appropriate term here too)
2024-08-21 23:52:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-08-21 23:53:42 +0200wroathe(~wroathe@user/wroathe) ()
2024-08-21 23:53:44 +0200 <geekosaur> mm, right. the shared objects I indicated are exceptions because everything they need is already linked in if you're doing something that requires them
2024-08-21 23:54:54 +0200 <geekosaur> (Solaris and MacOS took solution #3: don't support static linking at all)
2024-08-21 23:56:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-08-21 23:56:21 +0200 <geekosaur> (at least for libc)
2024-08-21 23:59:02 +0200 <EvanR> how can something on the internet be false, what balderdash