| 2026-03-08 00:04:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 00:05:29 +0000 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-08 00:09:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-08 00:20:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 00:25:50 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-08 00:26:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 00:34:44 +0000 | Anamika | (~Anamika@106.215.165.241) (Quit: Client closed) |
| 2026-03-08 00:38:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 00:43:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 00:58:26 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) () |
| 2026-03-08 01:10:11 +0000 | finsternis | (~X@23.226.237.192) finsternis |
| 2026-03-08 01:11:23 +0000 | AlexZenon | (~alzenon@178.34.150.243) (Ping timeout: 244 seconds) |
| 2026-03-08 01:11:23 +0000 | Alex_delenda_est | (~al_test@178.34.150.243) (Ping timeout: 244 seconds) |
| 2026-03-08 01:16:29 +0000 | AlexZenon | (~alzenon@178.34.160.184) |
| 2026-03-08 01:33:41 +0000 | jmcantrell_ | jmcantrell |
| 2026-03-08 01:35:37 +0000 | Square | (~Square@user/square) Square |
| 2026-03-08 01:36:12 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-08 01:38:11 +0000 | califax | (~califax@user/califx) califx |
| 2026-03-08 01:53:44 +0000 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-08 02:04:05 +0000 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-03-08 02:05:36 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-03-08 02:07:22 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 02:09:36 +0000 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2026-03-08 02:11:50 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 02:14:24 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2026-03-08 02:19:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 02:24:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 02:32:29 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:1491:7beb:9266:19d0) |
| 2026-03-08 02:33:57 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-03-08 02:35:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 02:40:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-08 02:47:32 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2026-03-08 02:50:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 02:56:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 03:03:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 03:05:03 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-03-08 03:05:44 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-03-08 03:08:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-08 03:15:13 +0000 | rainbyte | (~rainbyte@2800:810:5f9:49::91b) rainbyte |
| 2026-03-08 03:19:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 03:19:36 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2026-03-08 03:22:52 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-08 03:24:19 +0000 | karenw_ | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2026-03-08 03:26:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 03:27:51 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 246 seconds) |
| 2026-03-08 03:27:56 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-08 03:28:35 +0000 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-03-08 03:29:20 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:372f:825c:8f2f:765d) |
| 2026-03-08 03:29:22 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4ba2:34a0:8fe0:b7c2) (Ping timeout: 248 seconds) |
| 2026-03-08 03:44:26 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-03-08 03:46:23 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-08 03:46:28 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-08 03:48:38 +0000 | DetourNe- | DetourNetworkUK |
| 2026-03-08 03:53:20 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-08 03:53:35 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-08 03:59:23 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-03-08 03:59:34 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-08 03:59:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-08 04:08:48 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-08 04:10:01 +0000 | arahael | (~wetfoot@user/arahael) (Ping timeout: 268 seconds) |
| 2026-03-08 04:10:36 +0000 | skum | (~skum@user/skum) (Ping timeout: 264 seconds) |
| 2026-03-08 04:11:12 +0000 | arahael | (~wetfoot@user/arahael) arahael |
| 2026-03-08 04:11:48 +0000 | janus | (janus@user/janus) (Ping timeout: 264 seconds) |
| 2026-03-08 04:12:06 +0000 | janus | (janus@user/janus) janus |
| 2026-03-08 04:12:11 +0000 | skum | (~skum@user/skum) skum |
| 2026-03-08 04:20:57 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 04:25:08 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 04:36:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 04:40:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-08 04:51:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 04:57:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 05:01:32 +0000 | travgm | (~travgm@2607:fb92:2700:984d:d6b4:de36:ae66:19b2) |
| 2026-03-08 05:01:40 +0000 | travgm | (~travgm@2607:fb92:2700:984d:d6b4:de36:ae66:19b2) (Changing host) |
| 2026-03-08 05:01:40 +0000 | travgm | (~travgm@fsf/member/travgm) travgm |
| 2026-03-08 05:07:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 05:07:53 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-03-08 05:13:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 05:21:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 05:24:12 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-08 05:25:02 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-08 05:25:28 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-08 05:28:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 05:32:07 +0000 | omnifunctor | (~omnifunct@user/semifunctor) (Ping timeout: 264 seconds) |
| 2026-03-08 05:34:47 +0000 | omnifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2026-03-08 05:38:54 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (Quit: ) |
| 2026-03-08 05:39:55 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) |
| 2026-03-08 05:39:58 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 05:42:05 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-08 05:42:30 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-08 05:44:11 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 05:46:14 +0000 | takuan | (~takuan@d8d86b9e9.access.telenet.be) |
| 2026-03-08 05:51:26 +0000 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Remote host closed the connection) |
| 2026-03-08 05:55:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 06:00:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 06:11:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 06:16:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 06:22:59 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 06:23:46 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2026-03-08 06:24:50 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-08 06:25:46 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-03-08 06:26:00 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-08 06:27:35 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 06:38:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 06:43:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 06:49:31 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 2026-03-08 06:54:14 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 06:58:35 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 07:01:07 +0000 | tt123160701 | (~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-08 07:06:54 +0000 | tt1231607019 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-03-08 07:09:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 07:10:16 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-03-08 07:10:32 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-08 07:10:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-03-08 07:13:36 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2026-03-08 07:14:15 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-08 07:16:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-08 07:17:23 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-08 07:17:39 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-08 07:18:40 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-03-08 07:23:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 07:28:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 07:29:48 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-08 07:35:03 +0000 | Guest47 | (~Guest47@201.182.75.107) |
| 2026-03-08 07:36:36 +0000 | Guest47 | (~Guest47@201.182.75.107) (Client Quit) |
| 2026-03-08 07:39:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 07:40:01 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-08 07:44:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-08 07:49:15 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2026-03-08 07:49:19 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-08 07:53:31 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-08 07:55:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 07:57:42 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2026-03-08 07:59:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-08 08:10:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 08:15:32 +0000 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-08 08:15:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 08:17:40 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-03-08 08:23:42 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-03-08 08:24:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-08 08:24:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 08:27:16 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:1491:7beb:9266:19d0) (Quit: std::move) |
| 2026-03-08 08:28:30 +0000 | foul_owl | (~kerry@94.156.149.94) (Ping timeout: 255 seconds) |
| 2026-03-08 08:29:02 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-08 08:29:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 08:37:09 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 08:37:55 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 08:41:22 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 08:42:24 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 264 seconds) |
| 2026-03-08 08:42:25 +0000 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-03-08 08:42:26 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 08:48:39 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-08 08:55:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 09:02:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 09:10:26 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-08 09:14:22 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 09:17:19 +0000 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2026-03-08 09:18:36 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 09:21:07 +0000 | czan | (~czan@user/mange) czan |
| 2026-03-08 09:25:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 09:30:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 09:34:21 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-08 09:40:26 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Quit: The BNC has broken!) |
| 2026-03-08 09:41:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 09:42:24 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2026-03-08 09:46:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-08 09:47:41 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2026-03-08 09:54:03 +0000 | Alex_delenda_est | (~al_test@178.34.160.184) |
| 2026-03-08 09:56:05 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 09:56:52 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 09:57:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 09:58:08 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 10:00:18 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 10:00:30 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-03-08 10:00:42 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 10:01:22 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 10:01:29 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2026-03-08 10:01:59 +0000 | Tuplanolla | (~Tuplanoll@88.114.89.88) Tuplanolla |
| 2026-03-08 10:02:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 10:02:26 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 10:03:43 +0000 | pandeyan | (~pandeyan@192-184-248-122.fiber.dynamic.sonic.net) |
| 2026-03-08 10:04:57 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 248 seconds) |
| 2026-03-08 10:05:06 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 10:12:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 10:17:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 10:25:19 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:372f:825c:8f2f:765d) (Ping timeout: 245 seconds) |
| 2026-03-08 10:26:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 10:27:37 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8c41:9b22:e856:a149) |
| 2026-03-08 10:33:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-08 10:44:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 10:49:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 11:00:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 11:05:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 11:16:33 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 11:19:30 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-08 11:19:30 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-08 11:19:30 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-08 11:21:03 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 11:21:45 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2026-03-08 11:24:26 +0000 | czan | (~czan@user/mange) (Quit: Zzz...) |
| 2026-03-08 11:26:11 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-08 11:27:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 11:32:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 11:33:58 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-08 11:43:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 11:48:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 11:49:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-08 11:58:49 +0000 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-08 11:59:11 +0000 | qqq | (~qqq@185.54.23.93) |
| 2026-03-08 11:59:31 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 11:59:36 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2026-03-08 12:02:03 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-08 12:03:56 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 12:14:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 12:19:38 +0000 | madresch | (~Thunderbi@user/madresch) (Quit: madresch) |
| 2026-03-08 12:21:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-08 12:23:03 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-03-08 12:23:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8c41:9b22:e856:a149) (Ping timeout: 244 seconds) |
| 2026-03-08 12:23:52 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c57f:2e5b:eec:a8fa) |
| 2026-03-08 12:28:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 12:33:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 12:59:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 13:00:43 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-08 13:01:00 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 264 seconds) |
| 2026-03-08 13:04:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 13:07:50 +0000 | Digitteknohippie | Digit |
| 2026-03-08 13:09:06 +0000 | fp | (~Thunderbi@89.27.10.140) fp |
| 2026-03-08 13:10:51 +0000 | <sshine> | mjrosenb, sorry, yeah, I went asleep. it's a gotcha that isn't well enough documented. especially adding openssl as a system dependency so that it ends up in LD_LIBRARY_PATH without explicitly setting that variable is a trick. |
| 2026-03-08 13:12:22 +0000 | <sshine> | mjrosenb, there's two attributes you can tweak: buildInputs and nativeBuildInputs. buildInputs are for libraries that go into the final product, and nativeBuildInputs are for tooling needed to build but doesn't end up in the final product. |
| 2026-03-08 13:13:36 +0000 | <sshine> | mjrosenb, a lot of the wrappers for various toolchains set all of this automatically to the extent that it can be inferred. but openssl is a classic example of something the readme forgot to say you also need to have installed, since everyone who runs Linux assumes that of course openssl's headers and .so are there. :) |
| 2026-03-08 13:15:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 13:20:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 13:21:55 +0000 | Square | (~Square@user/square) Square |
| 2026-03-08 13:29:42 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 13:35:07 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-03-08 13:45:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 13:49:23 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-08 13:49:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 13:57:37 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-08 13:58:09 +0000 | <gentauro> | mjrosenb: try to add to your `nix: packages: [zlib, cacert, openssl]` |
| 2026-03-08 13:58:42 +0000 | gentauro | ups, `zlib` is not needed |
| 2026-03-08 13:59:01 +0000 | gentauro | and add it to your `stack.yaml` file |
| 2026-03-08 14:00:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 14:01:12 +0000 | fp | (~Thunderbi@89.27.10.140) (Remote host closed the connection) |
| 2026-03-08 14:03:23 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2026-03-08 14:07:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-08 14:07:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-08 14:13:23 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-08 14:18:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 14:18:58 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2026-03-08 14:20:10 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:20:10 +0000 | AlexNoo_ | AlexNoo |
| 2026-03-08 14:20:56 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:21:40 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:22:53 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Remote host closed the connection) |
| 2026-03-08 14:23:24 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-03-08 14:23:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 14:24:18 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:25:14 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:25:22 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:25:54 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:25:57 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:26:34 +0000 | Anamika | (~Anamika@122.176.116.4) |
| 2026-03-08 14:26:41 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:27:52 +0000 | pounce | (8a023a9e4a@user/cute/pounce) (Remote host closed the connection) |
| 2026-03-08 14:29:38 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:30:10 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:30:33 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:30:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 14:31:14 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:31:16 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:31:36 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-03-08 14:31:59 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:34:58 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:35:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-08 14:35:30 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:35:54 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:36:02 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:36:37 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:37:20 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:38:43 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-08 14:40:18 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:40:19 +0000 | jzargo2 | (~jzargo@user/jzargo) (Ping timeout: 245 seconds) |
| 2026-03-08 14:40:50 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:41:14 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:41:54 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:41:57 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:42:40 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:45:38 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:45:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 14:46:10 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:46:34 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:47:14 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:47:17 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:48:01 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:50:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-08 14:50:58 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:51:30 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:51:54 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:51:58 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-08 14:52:34 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:52:44 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:52:50 +0000 | Anamika | (~Anamika@122.176.116.4) (Quit: Client closed) |
| 2026-03-08 14:53:24 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-08 14:53:31 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:54:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-08 14:54:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-08 14:54:31 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-08 14:56:18 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:57:01 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:57:22 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:57:43 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 14:57:54 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 248 seconds) |
| 2026-03-08 14:58:26 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 15:01:12 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 15:01:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 15:01:54 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 15:01:55 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 15:01:59 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-03-08 15:02:36 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 15:02:38 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 15:03:21 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 15:06:06 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 15:06:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-08 15:06:48 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 15:06:49 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 15:07:30 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 15:07:31 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 15:08:14 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 15:11:00 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 15:11:42 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 15:12:24 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 15:14:47 +0000 | acidjnk | (~acidjnk@p200300d6e700e5883f4cc5b601caa082.dip0.t-ipconnect.de) acidjnk |
| 2026-03-08 15:17:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 15:17:15 +0000 | loungerry | (~loungerry@150.241.86.78) (Remote host closed the connection) |
| 2026-03-08 15:20:08 +0000 | loungerry_ | (~loungerry@150.241.86.78) |
| 2026-03-08 15:22:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-08 15:31:56 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 15:34:01 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-08 15:38:21 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 15:44:44 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-08 15:47:43 +0000 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-03-08 15:47:55 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-08 15:49:41 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 15:51:19 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-08 15:52:37 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-08 15:52:51 +0000 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-08 15:54:38 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 268 seconds) |
| 2026-03-08 15:54:52 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-03-08 15:57:34 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-08 16:00:15 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-08 16:03:35 +0000 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-03-08 16:04:25 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-03-08 16:05:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 16:06:40 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2026-03-08 16:10:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 16:11:35 +0000 | madresch | (~Thunderbi@user/madresch) (Remote host closed the connection) |
| 2026-03-08 16:12:29 +0000 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-08 16:13:54 +0000 | qqq | (~qqq@185.54.23.93) (Quit: Lost terminal) |
| 2026-03-08 16:14:11 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2026-03-08 16:15:51 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-03-08 16:16:45 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Remote host closed the connection) |
| 2026-03-08 16:17:02 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-08 16:17:27 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
| 2026-03-08 16:21:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 16:25:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 16:26:02 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-08 16:26:56 +0000 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 268 seconds) |
| 2026-03-08 16:28:42 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2026-03-08 16:38:52 +0000 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-03-08 16:41:38 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-03-08 16:43:34 +0000 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 265 seconds) |
| 2026-03-08 16:45:17 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-08 16:47:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 16:53:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 16:58:34 +0000 | Digitteknohippie | Digit |
| 2026-03-08 16:59:05 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-03-08 16:59:31 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-08 17:03:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 17:08:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 17:11:09 +0000 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-03-08 17:13:11 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 268 seconds) |
| 2026-03-08 17:17:33 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-08 17:19:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 17:20:02 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2026-03-08 17:20:42 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-08 17:26:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 17:32:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-08 17:33:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 17:34:32 +0000 | jzargo2 | (~jzargo@user/jzargo) jzargo |
| 2026-03-08 17:38:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-08 17:42:51 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-08 17:45:11 +0000 | cptaffe | (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-03-08 17:45:24 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2026-03-08 17:46:00 +0000 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2026-03-08 17:47:01 +0000 | juri_ | (~juri@212.86.51.237) juri_ |
| 2026-03-08 17:47:12 +0000 | jzargo2 | (~jzargo@user/jzargo) (Read error: Connection reset by peer) |
| 2026-03-08 17:47:36 +0000 | jzargo2 | (~jzargo@user/jzargo) jzargo |
| 2026-03-08 17:48:59 +0000 | Anamika | (~Anamika@119.252.223.24) |
| 2026-03-08 17:49:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 17:51:55 +0000 | juri_ | (~juri@212.86.51.237) (Read error: Connection reset by peer) |
| 2026-03-08 17:54:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 17:57:43 +0000 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-03-08 17:58:28 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-08 18:05:28 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 18:09:44 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 18:10:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 18:12:24 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-03-08 18:20:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 18:25:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-08 18:36:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 18:37:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 18:40:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-03-08 18:41:00 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-03-08 18:41:47 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-08 18:41:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 18:52:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 18:54:44 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-08 18:59:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 19:04:31 +0000 | rainbyte | (~rainbyte@2800:810:5f9:49::91b) (Read error: Connection reset by peer) |
| 2026-03-08 19:07:24 +0000 | rainbyte | (~rainbyte@2800:810:5f9:49::91b) rainbyte |
| 2026-03-08 19:08:06 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-03-08 19:10:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 19:15:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 19:18:32 +0000 | Anamika | (~Anamika@119.252.223.24) (Quit: Client closed) |
| 2026-03-08 19:18:32 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-08 19:18:32 +0000 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2026-03-08 19:19:50 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2026-03-08 19:19:50 +0000 | sam113102 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2026-03-08 19:19:54 +0000 | sam113102 | sam113101 |
| 2026-03-08 19:26:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 19:28:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 19:28:12 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2026-03-08 19:31:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-08 19:31:32 +0000 | werneta | (~werneta@71.83.160.242) (Quit: leaving) |
| 2026-03-08 19:32:06 +0000 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-03-08 19:35:45 +0000 | madresch | (~Thunderbi@user/madresch) (Remote host closed the connection) |
| 2026-03-08 19:37:10 +0000 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-08 19:42:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 19:46:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 19:49:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2026-03-08 19:51:51 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-08 19:56:12 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-08 19:57:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 20:00:05 +0000 | <haskellbridge> | <ijouw> How does GHC handle class restrictions when checking functional dependencies? |
| 2026-03-08 20:00:05 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/hkqwZDNovtaywLkFlQElBHBh/wZU_0jLqG24 (3 lines) |
| 2026-03-08 20:02:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 20:07:35 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 20:08:14 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-03-08 20:08:39 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Ping timeout: 272 seconds) |
| 2026-03-08 20:09:48 +0000 | <EvanR> | second paste link 404s |
| 2026-03-08 20:10:24 +0000 | <geekosaur> | the first one fails because exactly one instance must match, but anything that matches the first instance also matches the second. |
| 2026-03-08 20:11:02 +0000 | <haskellbridge> | <ijouw> I typed an additional 'u'... https://paste.tomsmeding.com/pnPeHvMg |
| 2026-03-08 20:11:25 +0000 | <EvanR> | so its less that it's not satisfying fundeps, more like not satisfying non-overlapping |
| 2026-03-08 20:11:36 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-08 20:11:49 +0000 | <haskellbridge> | <ijouw> But isn't Z /= S{}? |
| 2026-03-08 20:13:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 20:13:28 +0000 | <geekosaur> | oh, hm, misread it |
| 2026-03-08 20:14:32 +0000 | <haskellbridge> | <ijouw> If i remove (b c -> a) it compiles. But i do not want to, since addition does have that property. |
| 2026-03-08 20:16:14 +0000 | <geekosaur> | now I'm trying to remember how fundeps work internally |
| 2026-03-08 20:16:37 +0000 | <haskellbridge> | <ijouw> (knowing these) -> (means also knowing these) |
| 2026-03-08 20:16:51 +0000 | <geekosaur> | I know how you read it, I said internally |
| 2026-03-08 20:17:22 +0000 | <haskellbridge> | <ijouw> I applied internally to the wrong concept |
| 2026-03-08 20:17:40 +0000 | <geekosaur> | how is the typechecker reading it, which may not be how we do |
| 2026-03-08 20:18:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 20:18:32 +0000 | <geekosaur> | also I feel like this (fundeps conflict) came up somewhere else(?) recently and there turned out to be a gotcha somewhere that this was blocking |
| 2026-03-08 20:20:24 +0000 | <geekosaur> | no, this isn't what I was remembering, modulo additional LANGUAGE pragmas needed it's the same error on 8.10.7 |
| 2026-03-08 20:21:28 +0000 | madresch1 | (~Thunderbi@user/madresch) madresch |
| 2026-03-08 20:22:10 +0000 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 248 seconds) |
| 2026-03-08 20:22:11 +0000 | madresch1 | madresch |
| 2026-03-08 20:24:15 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 20:25:33 +0000 | madresch1 | (~Thunderbi@user/madresch) madresch |
| 2026-03-08 20:26:05 +0000 | <mauke> | Add x (S y) (S y) |
| 2026-03-08 20:26:20 +0000 | <mauke> | first instance says x = Z, second instance says x = S a |
| 2026-03-08 20:26:48 +0000 | madresch | (~Thunderbi@user/madresch) (Quit: madresch) |
| 2026-03-08 20:26:57 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-03-08 20:29:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 20:29:17 +0000 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-08 20:29:18 +0000 | <haskellbridge> | <ijouw> The second one has a condition that is not true when x = Z |
| 2026-03-08 20:29:20 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-03-08 20:29:33 +0000 | <mauke> | there are no conditions |
| 2026-03-08 20:29:59 +0000 | <mauke> | 'Add a b c =>' is a function body, not a guard |
| 2026-03-08 20:30:31 +0000 | madresch1 | (~Thunderbi@user/madresch) (Ping timeout: 268 seconds) |
| 2026-03-08 20:30:40 +0000 | <mauke> | that is, we first select an instance by matching against 'Add Z b b' and 'Add (S a) b (S c)', and only then we try to satisfy the preconditions |
| 2026-03-08 20:31:18 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) |
| 2026-03-08 20:31:31 +0000 | <mauke> | or at least that's how I remember instance resolution works |
| 2026-03-08 20:31:56 +0000 | <mauke> | (in function terms: add Z b b = (); add (S a) b (S c) = add a b c) |
| 2026-03-08 20:32:03 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 20:32:46 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) |
| 2026-03-08 20:33:47 +0000 | <geekosaur> | that's correct, only the instance head is considered to match instances |
| 2026-03-08 20:34:05 +0000 | <geekosaur> | constraints are applied at use sites after an instance is selected |
| 2026-03-08 20:34:13 +0000 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 268 seconds) |
| 2026-03-08 20:34:24 +0000 | <geekosaur> | (so we're back to what I thought was going on initially, only via a different route) |
| 2026-03-08 20:35:27 +0000 | AlexNoo | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 20:36:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-08 20:36:20 +0000 | <haskellbridge> | <ijouw> Sadly I do not know how addition can be implemented without this issue arising. |
| 2026-03-08 20:36:30 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 20:36:51 +0000 | AlexNoo__ | (~AlexNoo@178.34.160.184) (Ping timeout: 246 seconds) |
| 2026-03-08 20:39:14 +0000 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-08 20:39:28 +0000 | madresch | (~Thunderbi@user/madresch) (Client Quit) |
| 2026-03-08 20:47:30 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 20:51:58 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 20:53:46 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2026-03-08 20:54:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 20:55:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2026-03-08 20:56:48 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-08 21:01:48 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-08 21:02:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 21:08:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 21:11:08 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-08 21:13:05 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2026-03-08 21:16:05 +0000 | Digitteknohippie | Digit |
| 2026-03-08 21:18:24 +0000 | takuan | (~takuan@d8d86b9e9.access.telenet.be) (Ping timeout: 264 seconds) |
| 2026-03-08 21:18:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 21:23:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 21:24:37 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-03-08 21:24:50 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-08 21:34:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 21:36:50 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-03-08 21:38:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 21:38:56 +0000 | <EvanR> | does overlapping instances let you break those rules, with how instances are selected |
| 2026-03-08 21:45:08 +0000 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2026-03-08 21:45:17 +0000 | <haskellbridge> | <ijouw> Since the error is arising due to the functional dependency rule, it does not occur at call site but at the definition. So i doubt overlapping instances does anything. |
| 2026-03-08 21:46:17 +0000 | <haskellbridge> | <ijouw> (also tried incoherent instances, same results) |
| 2026-03-08 21:49:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 21:55:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-08 22:00:43 +0000 | <EvanR> | do functional dependencies do anything before instant selection or is it just a consistency check after the fact that bad instances don't get accepted |
| 2026-03-08 22:06:04 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-08 22:06:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jsdvnsn) |
| 2026-03-08 22:12:34 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 22:12:38 +0000 | <haskellbridge> | <ijouw> Is the question about the usage of FD or implementation details? |
| 2026-03-08 22:13:21 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-03-08 22:14:32 +0000 | <EvanR> | mathematically |
| 2026-03-08 22:16:21 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c57f:2e5b:eec:a8fa) (Ping timeout: 268 seconds) |
| 2026-03-08 22:17:09 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3d38:9b05:9987:e9b1) |
| 2026-03-08 22:19:04 +0000 | <geekosaur> | they affect type resolution, by adding a constraint on types. (it's more or less a Prolog assertion wedged into Haskell) |
| 2026-03-08 22:21:46 +0000 | <geekosaur> | not sure there's much of a "mathematical" aspect to them, it's just avoiding you needing to annotate use sites to choose an instance, by telling type inference that if it knows the type on the left of the arrow, that determines the type on the right. either this or associated types are needed to make multiparameter type classes typecheck without explicit annotations |
| 2026-03-08 22:30:07 +0000 | <EvanR> | well it narrows down the possible instances of a MPTC, which when unrestricted form a general relation between types |
| 2026-03-08 22:30:16 +0000 | <EvanR> | possibly non-functional |
| 2026-03-08 22:30:45 +0000 | <EvanR> | I figured there was something else going on more practical but it still nebulous to me |
| 2026-03-08 22:59:55 +0000 | <monochrom> | Functional dependencies are type-checking-time only. |
| 2026-03-08 23:00:44 +0000 | <davean> | They just add a constrait to solve for to the type checker |
| 2026-03-08 23:03:55 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 245 seconds) |
| 2026-03-08 23:06:18 +0000 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-03-08 23:06:23 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-03-08 23:17:20 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-03-08 23:36:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 23:41:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-08 23:52:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-08 23:56:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-08 23:57:06 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) () |