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