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