2024-08-21 00:02:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-08-21 00:05:39 +0200 | scubagear | (scubagear@gateway/vpn/protonvpn/scubagear) (Quit: leaving) |
2024-08-21 00:12:42 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
2024-08-21 00:13:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 00:14:15 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
2024-08-21 00:18:32 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-08-21 00:18:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
2024-08-21 00:21:38 +0200 | scubagear | (scubagear@gateway/vpn/protonvpn/scubagear) |
2024-08-21 00:26:00 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-08-21 00:26:24 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-08-21 00:27:08 +0200 | Square | (~Square@user/square) |
2024-08-21 00:29:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 00:29:31 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
2024-08-21 00:32:49 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
2024-08-21 00:33:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-08-21 00:38:11 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
2024-08-21 00:45:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 00:49:46 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-08-21 00:49:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 00:50:42 +0200 | nikolice | (~nikolice@151.249.134.246) (Ping timeout: 272 seconds) |
2024-08-21 00:58:36 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) |
2024-08-21 00:58:36 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host) |
2024-08-21 00:58:36 +0200 | wroathe | (~wroathe@user/wroathe) |
2024-08-21 01:00:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 01:05:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-08-21 01:06:07 +0200 | esnos | (~user@176.106.34.161) (Ping timeout: 264 seconds) |
2024-08-21 01:16:20 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-08-21 01:16:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 01:17:28 +0200 | nikolice | (~nikolice@151.249.134.246) |
2024-08-21 01:20:21 +0200 | td_ | (~td@i53870906.versanet.de) (Ping timeout: 248 seconds) |
2024-08-21 01:21:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 01:22:18 +0200 | td_ | (~td@i53870928.versanet.de) |
2024-08-21 01:32:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 01:34:09 +0200 | nikolice | (~nikolice@151.249.134.246) (Remote host closed the connection) |
2024-08-21 01:36:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 01:37:43 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2024-08-21 01:42:02 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-08-21 01:47:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 01:52:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-08-21 01:55:59 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
2024-08-21 01:59:41 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-08-21 02:02:06 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-08-21 02:03:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 02:03:50 +0200 | Pixi | (~Pixi@user/pixi) |
2024-08-21 02:05:08 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
2024-08-21 02:08:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
2024-08-21 02:08:56 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-08-21 02:11:54 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) |
2024-08-21 02:11:54 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host) |
2024-08-21 02:11:54 +0200 | wroathe | (~wroathe@user/wroathe) |
2024-08-21 02:15:40 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb84b50e886b917f5a86.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-08-21 02:19:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 02:23:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 02:23:48 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-08-21 02:28:07 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
2024-08-21 02:34:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 02:39:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 02:39:52 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-08-21 02:41:03 +0200 | califax | (~califax@user/califx) |
2024-08-21 02:43:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
2024-08-21 02:45:22 +0200 | spew | (~spew@201.141.102.132) |
2024-08-21 02:50:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 02:55:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-08-21 03:03:46 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 252 seconds) |
2024-08-21 03:06:00 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
2024-08-21 03:06:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 03:06:34 +0200 | mikess | (~mikess@user/mikess) |
2024-08-21 03:11:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-08-21 03:14:43 +0200 | mikess | (~mikess@user/mikess) (Quit: mikess) |
2024-08-21 03:16:46 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
2024-08-21 03:18:47 +0200 | spew | (~spew@201.141.102.132) (Remote host closed the connection) |
2024-08-21 03:19:57 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) |
2024-08-21 03:19:57 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host) |
2024-08-21 03:19:57 +0200 | wroathe | (~wroathe@user/wroathe) |
2024-08-21 03:22:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 03:27:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-08-21 03:29:01 +0200 | deriamis_ | (nobody@2600:3c0a::f03c:95ff:fee8:f335) |
2024-08-21 03:38:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 03:40:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-21 03:41:04 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: ;;) |
2024-08-21 03:43:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 03:43:44 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-08-21 03:53:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 03:58:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-08-21 04:06:33 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
2024-08-21 04:07:25 +0200 | Pixi | (~Pixi@user/pixi) |
2024-08-21 04:07:29 +0200 | son0p | (~ff@2800:e2:f80:ee7::a) |
2024-08-21 04:09:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 04:10:30 +0200 | td_ | (~td@i53870928.versanet.de) (Ping timeout: 252 seconds) |
2024-08-21 04:12:12 +0200 | td_ | (~td@i53870930.versanet.de) |
2024-08-21 04:14:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-08-21 04:25:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 04:30:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
2024-08-21 04:30:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-08-21 04:32:21 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
2024-08-21 04:33:36 +0200 | jinsun_ | (~jinsun@user/jinsun) |
2024-08-21 04:33:36 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (mercury.libera.chat (Nickname regained by services))) |
2024-08-21 04:33:36 +0200 | jinsun_ | jinsun |
2024-08-21 04:34:47 +0200 | yaroot_ | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) |
2024-08-21 04:36:05 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) (Ping timeout: 248 seconds) |
2024-08-21 04:36:43 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Ping timeout: 264 seconds) |
2024-08-21 04:36:44 +0200 | yaroot_ | yaroot |
2024-08-21 04:37:03 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) |
2024-08-21 04:41:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 04:44:20 +0200 | brandt | (~brandt@177.191-pool-nas4-sc.sccoast.net) (Quit: WeeChat 4.4.1) |
2024-08-21 04:46:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-08-21 04:47:31 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
2024-08-21 04:55:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-21 04:56:44 +0200 | youthlic | (~Thunderbi@122.10.198.126) |
2024-08-21 04:56:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 04:57:44 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:121:32e8::) (Quit: The Lounge - https://thelounge.chat) |
2024-08-21 04:58:24 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) |
2024-08-21 04:58:24 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host) |
2024-08-21 04:58:24 +0200 | wroathe | (~wroathe@user/wroathe) |
2024-08-21 04:59:56 +0200 | terrorjack4 | (~terrorjac@static.163.82.63.178.clients.your-server.de) |
2024-08-21 05:00:23 +0200 | youthlic | (~Thunderbi@122.10.198.126) (Client Quit) |
2024-08-21 05:00:42 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-08-21 05:02:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
2024-08-21 05:04:19 +0200 | deriamis_ | (nobody@2600:3c0a::f03c:95ff:fee8:f335) (Quit: ZNC - https://znc.in) |
2024-08-21 05:05:38 +0200 | deriamis_ | (nobody@2600:3c0a::f03c:95ff:fee8:f335) |
2024-08-21 05:05:51 +0200 | deriamis_ | (nobody@2600:3c0a::f03c:95ff:fee8:f335) (Remote host closed the connection) |
2024-08-21 05:08:14 +0200 | deriamis_ | (nobody@2600:3c0a::f03c:95ff:fee8:f335) |
2024-08-21 05:12:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 05:18:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-08-21 05:18:10 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-08-21 05:19:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-08-21 05:19:31 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-08-21 05:28:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 05:28:51 +0200 | tappingboom | (~tappingbo@2406:2d40:46de:1f10:e036:d9b:2962:c4aa) |
2024-08-21 05:29:09 +0200 | Square | [[[[]]]] |
2024-08-21 05:29:36 +0200 | tappingboom | (~tappingbo@2406:2d40:46de:1f10:e036:d9b:2962:c4aa) (Quit: Client closed) |
2024-08-21 05:33:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 05:33:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 05:36:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
2024-08-21 05:38:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-08-21 05:39:17 +0200 | Square2 | (~Square4@user/square) |
2024-08-21 05:40:09 +0200 | bitdex | (~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 +0200 | aforemny | (~aforemny@i59F516E1.versanet.de) |
2024-08-21 05:46:55 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf6:2a00:de98:d26f:f9ba:34ce) (Ping timeout: 252 seconds) |
2024-08-21 05:49:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 05:54:19 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
2024-08-21 05:54:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
2024-08-21 05:56:24 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) |
2024-08-21 05:56:24 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host) |
2024-08-21 05:56:24 +0200 | wroathe | (~wroathe@user/wroathe) |
2024-08-21 06:05:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 06:08:11 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
2024-08-21 06:10:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 06:11:47 +0200 | cyan_ | (~cyan@2806:10be:7:b794:f16d:6502:8233:fb17) |
2024-08-21 06:12:37 +0200 | cyan_ | (~cyan@2806:10be:7:b794:f16d:6502:8233:fb17) (Client Quit) |
2024-08-21 06:21:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 06:26:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-08-21 06:36:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 06:41:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-08-21 06:49:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 06:57:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-08-21 07:00:37 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
2024-08-21 07:03:09 +0200 | deriamis | (deriamis@2600:1f14:1251:ba02:2994:f9dc:75a8:113b) (Quit: ZNC - https://znc.in) |
2024-08-21 07:07:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 07:12:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 07:23:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 07:29:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-08-21 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-08-21 07:30:42 +0200 | michalz | (~michalz@185.246.207.201) |
2024-08-21 07:31:03 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
2024-08-21 07:33:57 +0200 | michalz | (~michalz@185.246.207.193) |
2024-08-21 07:34:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 07:40:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-08-21 07:47:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-08-21 07:50:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 07:52:32 +0200 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Read error: Connection reset by peer) |
2024-08-21 07:55:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-08-21 07:56:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 08:00:23 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 245 seconds) |
2024-08-21 08:00:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-08-21 08:02:14 +0200 | rosco | (~rosco@175.136.158.234) |
2024-08-21 08:10:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-21 08:11:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 08:16:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-08-21 08:27:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 08:32:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-08-21 08:35:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 08:40:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-08-21 08:45:20 +0200 | ZharMeny | (~user@user/ZharMeny) |
2024-08-21 08:51:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 08:56:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-08-21 09:07:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 09:10:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-08-21 09:12:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-08-21 09:12:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
2024-08-21 09:13:26 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
2024-08-21 09:15:58 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb926c6e91e0ab7688d2.dip0.t-ipconnect.de) |
2024-08-21 09:17:12 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
2024-08-21 09:18:51 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2024-08-21 09:26:17 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
2024-08-21 09:27:24 +0200 | nikolice | (~nikolice@151.249.135.133) |
2024-08-21 09:37:28 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
2024-08-21 09:38:33 +0200 | rosco | (~rosco@175.136.158.234) |
2024-08-21 09:42:27 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.3.5) |
2024-08-21 09:45:44 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
2024-08-21 09:54:16 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
2024-08-21 09:57:51 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-08-21 09:59:14 +0200 | merijn | (~merijn@77.242.116.146) |
2024-08-21 10:05:02 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) |
2024-08-21 10:12:45 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) (Quit: leaving) |
2024-08-21 10:20:01 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-08-21 10:32:50 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-08-21 10:38:29 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Quit: ash3en) |
2024-08-21 10:38:33 +0200 | gmg | (~user@user/gehmehgeh) |
2024-08-21 10:40:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-08-21 10:43:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-08-21 10:49:14 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-08-21 10:51:00 +0200 | greenflower | (~greenflow@2401:4900:1cb9:c9f6:267b:c6bc:69d:1c9f) |
2024-08-21 10:51:36 +0200 | greenflower | (~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 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 258 seconds) |
2024-08-21 11:00:55 +0200 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
2024-08-21 11:03:11 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
2024-08-21 11:05:22 +0200 | merijn | (~merijn@77.242.116.146) |
2024-08-21 11:10:30 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-08-21 11:11:23 +0200 | swamp_ | (~zmt00@user/zmt00) (Remote host closed the connection) |
2024-08-21 11:11:49 +0200 | swamp_ | (~zmt00@user/zmt00) |
2024-08-21 11:14:20 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-08-21 11:16:55 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 264 seconds) |
2024-08-21 11:18:42 +0200 | CiaoSen | (~Jura@2a05:5800:24c:8c00:ca4b:d6ff:fec1:99da) |
2024-08-21 11:21:11 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2024-08-21 11:21:23 +0200 | Leary | (~Leary@user/Leary/x-0910699) |
2024-08-21 11:24:30 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) |
2024-08-21 11:26:09 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
2024-08-21 11:29:57 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-08-21 11:33:26 +0200 | aforemny | (~aforemny@i59F516E1.versanet.de) (Ping timeout: 255 seconds) |
2024-08-21 11:33:46 +0200 | aforemny | (~aforemny@2001:9e8:6cd8:300:d2fa:27f2:48df:38f7) |
2024-08-21 11:33:47 +0200 | td_ | (~td@i53870930.versanet.de) (Ping timeout: 252 seconds) |
2024-08-21 11:34:07 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-08-21 11:34:09 +0200 | CiaoSen | (~Jura@2a05:5800:24c:8c00:ca4b:d6ff:fec1:99da) (Ping timeout: 258 seconds) |
2024-08-21 11:34:51 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-08-21 11:38:54 +0200 | td_ | (~td@2001:9e8:19ef:c000:ffa3:e2b2:2abd:18d) |
2024-08-21 11:52:26 +0200 | dans23329 | (~danse-nr3@user/danse-nr3) |
2024-08-21 11:54:48 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds) |
2024-08-21 11:58:18 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-08-21 12:03:43 +0200 | youthlic | (~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 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-08-21 12:14:07 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-08-21 12:26:21 +0200 | merijn | (~merijn@77.242.116.146) |
2024-08-21 12:30:52 +0200 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (Server closed connection) |
2024-08-21 12:31:15 +0200 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) |
2024-08-21 12:32:38 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-08-21 12:34:11 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-08-21 12:34:26 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | gmg | (~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 +0200 | micro | (~micro@user/micro) (Server closed connection) |
2024-08-21 12:45:00 +0200 | micro | (~micro@user/micro) |
2024-08-21 12:49:11 +0200 | <albet70> | what [[]]::? |
2024-08-21 12:50:48 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
2024-08-21 12:51:07 +0200 | dans23329 | (~danse-nr3@user/danse-nr3) (Quit: lunch) |
2024-08-21 12:54:00 +0200 | merijn | (~merijn@77.242.116.146) |
2024-08-21 12:54:24 +0200 | ash3en | (~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 +0200 | lortabac | (~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 +0200 | youthlic | (~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 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2024-08-21 12:59:22 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Server closed connection) |
2024-08-21 12:59:46 +0200 | tomboy64 | (~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 +0200 | CiaoSen | (~Jura@2a05:5800:24c:8c00:ca4b:d6ff:fec1:99da) |
2024-08-21 13:11:48 +0200 | caubert_ | caubert |
2024-08-21 13:26:48 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
2024-08-21 13:29:03 +0200 | Guest1 | (~Guest901@188.243.182.222) |
2024-08-21 13:30:00 +0200 | Guest1 | (~Guest901@188.243.182.222) () |
2024-08-21 13:30:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-08-21 13:33:47 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
2024-08-21 13:34:56 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
2024-08-21 13:36:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-08-21 13:42:51 +0200 | son0p | (~ff@2800:e2:f80:ee7::a) (Ping timeout: 252 seconds) |
2024-08-21 13:46:52 +0200 | Tisoxin | (~Ikosit@user/ikosit) (Server closed connection) |
2024-08-21 13:47:10 +0200 | Tisoxin | (~Ikosit@user/ikosit) |
2024-08-21 13:49:06 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-08-21 13:49:29 +0200 | billchenchina- | (~billchenc@103.152.35.21) |
2024-08-21 13:53:13 +0200 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
2024-08-21 13:54:46 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-08-21 13:57:49 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: nap) |
2024-08-21 14:02:31 +0200 | CiaoSen | (~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 +0200 | Alleria | (~Alleria@user/alleria) |
2024-08-21 14:10:28 +0200 | <opqdonut> | yeah |
2024-08-21 14:20:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-08-21 14:21:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-08-21 14:32:52 +0200 | catties | (~catties@user/meow/catties) (Server closed connection) |
2024-08-21 14:33:12 +0200 | catties | (~catties@user/meow/catties) |
2024-08-21 14:33:35 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) |
2024-08-21 14:38:22 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Server closed connection) |
2024-08-21 14:38:41 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
2024-08-21 14:40:03 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
2024-08-21 14:41:12 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-08-21 14:48:54 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) |
2024-08-21 14:49:40 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Max SendQ exceeded) |
2024-08-21 14:50:03 +0200 | billchenchina- | (~billchenc@103.152.35.21) |
2024-08-21 14:52:52 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) |
2024-08-21 14:54:00 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
2024-08-21 14:56:07 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
2024-08-21 14:57:30 +0200 | merijn | (~merijn@77.242.116.146) |
2024-08-21 15:04:41 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-08-21 15:18:57 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 276 seconds) |
2024-08-21 15:21:45 +0200 | son0p | (~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 +0200 | chiselfuse | (~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 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-08-21 15:29:27 +0200 | Leary | (~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 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Server closed connection) |
2024-08-21 15:37:04 +0200 | xsarnik | (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 +0200 | Alleria | (~Alleria@user/alleria) (Read error: Connection reset by peer) |
2024-08-21 15:43:55 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-08-21 15:44:26 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-08-21 15:55:22 +0200 | siers69 | (~ij@user/ij) (Server closed connection) |
2024-08-21 15:55:43 +0200 | siers | (~ij@user/ij) |
2024-08-21 15:55:44 +0200 | ubert | (~Thunderbi@178.165.163.131.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
2024-08-21 15:57:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Server closed connection) |
2024-08-21 15:57:38 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
2024-08-21 15:57:38 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
2024-08-21 15:57:38 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2024-08-21 16:01:58 +0200 | glguy | (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 +0200 | son0p | (~ff@2800:e6:4000:aaf9:6089:ddea:310:b3a4) (Remote host closed the connection) |
2024-08-21 16:17:31 +0200 | rosco | (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 +0200 | wroathe | (~wroathe@user/wroathe) |
2024-08-21 16:31:52 +0200 | int-e | (~noone@int-e.eu) (Server closed connection) |
2024-08-21 16:32:01 +0200 | int-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 +0200 | quintasan | (~quassel@quintasan.pl) (Server closed connection) |
2024-08-21 16:35:01 +0200 | quintasan | (~quassel@quintasan.pl) |
2024-08-21 16:39:34 +0200 | danse-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 +0200 | mzg | (mzg@abusers.hu) (Server closed connection) |
2024-08-21 16:46:59 +0200 | mzg | (mzg@abusers.hu) |
2024-08-21 16:50:15 +0200 | <haskellbridge> | <mauke> It's an oxymoron |
2024-08-21 16:50:46 +0200 | lortabac | (~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 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
2024-08-21 17:01:53 +0200 | JuanDaugherty | (~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 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Server closed connection) |
2024-08-21 17:21:16 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
2024-08-21 17:22:27 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 276 seconds) |
2024-08-21 17:27:28 +0200 | Tuplanolla | (~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 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 248 seconds) |
2024-08-21 17:33:35 +0200 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
2024-08-21 17:34:27 +0200 | Leary | (~Leary@user/Leary/x-0910699) |
2024-08-21 17:35:27 +0200 | nikolice | (~nikolice@151.249.135.133) (Ping timeout: 276 seconds) |
2024-08-21 17:37:22 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) (Server closed connection) |
2024-08-21 17:37:34 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
2024-08-21 17:41:46 +0200 | wroathe | (~wroathe@user/wroathe) (Read error: Connection reset by peer) |
2024-08-21 17:41:49 +0200 | wroathe_ | (~wroathe@mobile-166-175-189-213.mycingular.net) |
2024-08-21 17:43:13 +0200 | wroathe_ | (~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host) |
2024-08-21 17:43:13 +0200 | wroathe_ | (~wroathe@user/wroathe) |
2024-08-21 17:43:16 +0200 | wroathe_ | (~wroathe@user/wroathe) () |
2024-08-21 17:43:36 +0200 | nikolice | (~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 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
2024-08-21 17:53:52 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (*.net *.split) |
2024-08-21 17:53:52 +0200 | AlexZenon | (~alzenon@178.34.162.175) (*.net *.split) |
2024-08-21 17:53:52 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) (*.net *.split) |
2024-08-21 17:53:52 +0200 | remexre | (~remexre@user/remexre) (*.net *.split) |
2024-08-21 17:53:52 +0200 | noctux | (~noctux@user/noctux) (*.net *.split) |
2024-08-21 17:53:52 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split) |
2024-08-21 17:53:52 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) (*.net *.split) |
2024-08-21 17:53:52 +0200 | zero | (~z@user/zero) (*.net *.split) |
2024-08-21 17:53:52 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split) |
2024-08-21 17:53:52 +0200 | Luj91 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (*.net *.split) |
2024-08-21 17:53:52 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split) |
2024-08-21 17:53:52 +0200 | xerox | (~edi@user/edi) (*.net *.split) |
2024-08-21 17:53:52 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (*.net *.split) |
2024-08-21 17:53:52 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (*.net *.split) |
2024-08-21 17:53:52 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
2024-08-21 17:53:52 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (*.net *.split) |
2024-08-21 17:53:52 +0200 | xelxebar | (~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 +0200 | APic | (apic@apic.name) (*.net *.split) |
2024-08-21 17:53:52 +0200 | hammond_ | (proscan@gateway04.insomnia247.nl) (*.net *.split) |
2024-08-21 17:53:52 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (*.net *.split) |
2024-08-21 17:53:59 +0200 | noctux | (~noctux@user/noctux) |
2024-08-21 17:54:00 +0200 | APic | (apic@apic.name) |
2024-08-21 17:54:00 +0200 | remexre | (~remexre@user/remexre) |
2024-08-21 17:54:01 +0200 | xerox | (~edi@user/edi) |
2024-08-21 17:54:02 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) |
2024-08-21 17:54:02 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) |
2024-08-21 17:54:04 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
2024-08-21 17:54:08 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) |
2024-08-21 17:54:08 +0200 | exa2 | (~exa@srv3n.blesmrt.net) |
2024-08-21 17:54:10 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
2024-08-21 17:54:12 +0200 | xelxebar | (~xelxebar@wilsonb.com) |
2024-08-21 17:54:14 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
2024-08-21 17:54:14 +0200 | zero | (~z@user/zero) |
2024-08-21 17:54:16 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-08-21 17:54:17 +0200 | AlexZenon | (~alzenon@178.34.162.175) |
2024-08-21 17:54:17 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) |
2024-08-21 17:54:18 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
2024-08-21 17:54:18 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
2024-08-21 17:54:35 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
2024-08-21 17:58:06 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
2024-08-21 17:59:01 +0200 | hammond | (proscan@gateway04.insomnia247.nl) |
2024-08-21 17:59:10 +0200 | Natch | (~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 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Remote host closed the connection) |
2024-08-21 18:06:38 +0200 | ec_ | (~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 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) |
2024-08-21 18:08:06 +0200 | merijn | (~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 +0200 | ec | (~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 +0200 | AlexZenon | (~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 +0200 | AlexZenon | (~alzenon@178.34.162.175) |
2024-08-21 18:13:09 +0200 | waleee | (~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 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) |
2024-08-21 18:19:14 +0200 | wroathe | (~wroathe@mobile-166-175-189-213.mycingular.net) (Changing host) |
2024-08-21 18:19:14 +0200 | wroathe | (~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 +0200 | tzh | (~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 +0200 | pavonia | (~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 +0200 | JuanDaugherty | (~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 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
2024-08-21 18:30:00 +0200 | spew | (~spew@201.141.102.132) |
2024-08-21 18:30:25 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Quit: ash3en) |
2024-08-21 18:44:08 +0200 | aljazmc | (~aljazmc@user/aljazmc) |
2024-08-21 18:45:37 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
2024-08-21 18:50:09 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
2024-08-21 18:50:27 +0200 | wroathe | (~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 +0200 | JuanDaugherty | (~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 +0200 | justsomeguy | (~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 +0200 | terrorjack4 | (~terrorjac@static.163.82.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
2024-08-21 19:15:35 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:121:32e8::) |
2024-08-21 19:17:36 +0200 | nikolice | (~nikolice@151.249.135.133) (Remote host closed the connection) |
2024-08-21 19:18:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-21 19:18:41 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-08-21 19:21:24 +0200 | nikolice | (~nikolice@151.249.135.133) |
2024-08-21 19:30:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-08-21 19:33:34 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
2024-08-21 19:38:21 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-08-21 19:40:20 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-08-21 19:46:51 +0200 | ft | (~ft@p4fc2a393.dip0.t-ipconnect.de) |
2024-08-21 19:51:43 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.3.5) |
2024-08-21 20:11:17 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
2024-08-21 20:11:52 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
2024-08-21 20:19:05 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) |
2024-08-21 20:23:21 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-08-21 20:25:57 +0200 | spew | (~spew@201.141.102.132) (Remote host closed the connection) |
2024-08-21 20:38:49 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
2024-08-21 20:41:26 +0200 | exa2 | [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 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) |
2024-08-21 20:43:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-08-21 20:47:57 +0200 | Inst_ | (~Inst@user/Inst) |
2024-08-21 20:50:23 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
2024-08-21 20:57:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 21:05:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-08-21 21:08:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
2024-08-21 21:19:01 +0200 | nikolice | (~nikolice@151.249.135.133) (Quit: Leaving) |
2024-08-21 21:20:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 21:26:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-08-21 21:32:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-08-21 21:33:09 +0200 | billchenchina- | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-08-21 21:36:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 21:41:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 21:43:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-08-21 21:50:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2024-08-21 21:51:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 21:53:27 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
2024-08-21 21:55:35 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
2024-08-21 21:56:04 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
2024-08-21 21:56:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-08-21 21:57:05 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Client Quit) |
2024-08-21 21:57:51 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
2024-08-21 22:07:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 22:09:13 +0200 | Inst_ | Inst |
2024-08-21 22:11:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 22:14:44 +0200 | infinity0 | (~infinity0@pwned.gg) |
2024-08-21 22:15:31 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-08-21 22:21:13 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-08-21 22:22:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 22:27:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-08-21 22:30:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 22:40:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-08-21 22:51:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 22:56:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-08-21 22:56:09 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
2024-08-21 22:56:09 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
2024-08-21 22:56:09 +0200 | wroathe | (~wroathe@user/wroathe) |
2024-08-21 22:56:17 +0200 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
2024-08-21 22:57:16 +0200 | sam113101 | (~sam@24.157.253.231) (Ping timeout: 252 seconds) |
2024-08-21 22:58:36 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-08-21 23:01:20 +0200 | son0p | (~ff@186.115.79.175) |
2024-08-21 23:02:50 +0200 | AlexZenon | (~alzenon@178.34.162.175) (Ping timeout: 265 seconds) |
2024-08-21 23:02:54 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-08-21 23:06:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 23:09:34 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-08-21 23:11:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-08-21 23:13:25 +0200 | AlexZenon | (~alzenon@178.34.162.175) |
2024-08-21 23:15:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 23:17:46 +0200 | brandt | (~brandt@177.191-pool-nas4-sc.sccoast.net) |
2024-08-21 23:19:42 +0200 | esnos | (~user@176.106.34.161) |
2024-08-21 23:20:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-08-21 23:20:33 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2024-08-21 23:21:30 +0200 | AlexZenon | (~alzenon@178.34.162.175) (Ping timeout: 244 seconds) |
2024-08-21 23:25:33 +0200 | AlexZenon | (~alzenon@178.34.162.175) |
2024-08-21 23:26:17 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Quit: ash3en) |
2024-08-21 23:36:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-08-21 23:37:16 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) |
2024-08-21 23:37:20 +0200 | aljazmc_ | (~aljazmc@user/aljazmc) |
2024-08-21 23:37:20 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2024-08-21 23:38:42 +0200 | brandt | naxx |
2024-08-21 23:41:24 +0200 | merijn | (~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 +0200 | wroathe | (~wroathe@user/wroathe) () |
2024-08-21 23:45:17 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) (Quit: ash3en) |
2024-08-21 23:45:33 +0200 | ash3en | (~Thunderbi@2a02:3100:7e39:9e00:90ea:8b6:297b:e8b3) |
2024-08-21 23:48:14 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) |
2024-08-21 23:48:14 +0200 | wroathe | (~wroathe@c-66-41-76-89.hsd1.mn.comcast.net) (Changing host) |
2024-08-21 23:48:14 +0200 | wroathe | (~wroathe@user/wroathe) |
2024-08-21 23:49:14 +0200 | target_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 +0200 | merijn | (~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 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-08-21 23:53:42 +0200 | wroathe | (~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 +0200 | merijn | (~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 |