| 2026-05-24 00:01:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 00:02:19 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2026-05-24 00:05:38 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-24 00:06:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 243 seconds) |
| 2026-05-24 00:18:05 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 250 seconds) |
| 2026-05-24 00:26:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 00:27:14 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-24 00:32:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-24 00:44:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 00:49:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-24 00:50:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-24 00:54:30 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-05-24 00:59:52 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-24 01:01:51 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-24 01:06:22 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-05-24 01:17:51 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-24 01:22:17 +0000 | cyclemaniac | (~cyclemani@2a02:8071:881:2d20:c1c7:793e:b89b:1589) (Ping timeout: 245 seconds) |
| 2026-05-24 01:22:31 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-24 01:27:49 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e570753f3d38cea48d7a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-05-24 01:33:16 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-24 01:37:53 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-24 01:49:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 01:49:10 +0000 | <dibblego> | there is no traverse1_ |
| 2026-05-24 01:53:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 247 seconds) |
| 2026-05-24 02:04:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 02:05:04 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-05-24 02:05:43 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-05-24 02:09:07 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:379:6b8f:6819:999a) (Quit: ricardomaps) |
| 2026-05-24 02:09:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 259 seconds) |
| 2026-05-24 02:09:44 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 259 seconds) |
| 2026-05-24 02:20:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 02:25:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 261 seconds) |
| 2026-05-24 02:30:10 +0000 | Square | (~Square@user/square) (Ping timeout: 243 seconds) |
| 2026-05-24 02:36:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 02:43:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-24 02:46:46 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2026-05-24 02:50:15 +0000 | crazazy | (crazazy@tilde.town) (Quit: WeeChat 4.6.3) |
| 2026-05-24 02:54:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 02:59:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-24 03:04:45 +0000 | Vizious | (~bes@user/Vizious) (Ping timeout: 245 seconds) |
| 2026-05-24 03:08:23 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-24 03:10:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 03:11:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2026-05-24 03:14:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-24 03:16:20 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-24 03:25:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 03:29:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-24 03:32:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-05-24 03:35:56 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-24 03:40:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 03:45:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-24 03:56:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 04:01:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 242 seconds) |
| 2026-05-24 04:05:12 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Remote host closed the connection) |
| 2026-05-24 04:08:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 04:13:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-24 04:24:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 04:30:04 +0000 | foul_owl | (~kerry@94.156.149.95) foul_owl |
| 2026-05-24 04:30:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-24 04:34:15 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-05-24 04:36:27 +0000 | rainbyte_ | (~rainbyte@181.47.219.3) (Ping timeout: 254 seconds) |
| 2026-05-24 04:42:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 04:43:49 +0000 | olivial_ | (~benjaminl@2601:1c0:8100:ae80:f13:c77a:da00:42c9) (Read error: Connection reset by peer) |
| 2026-05-24 04:44:05 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-05-24 04:47:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 257 seconds) |
| 2026-05-24 04:58:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 05:00:51 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2026-05-24 05:02:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-24 05:07:49 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-24 05:13:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 05:19:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-24 05:21:20 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-24 05:29:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 05:34:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-24 05:35:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 05:37:43 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-24 05:39:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-24 05:44:39 +0000 | wickedjargon | (~user@2605:8d80:5431:9939:9be8:7bc:f980:b3dd) wickedjargon |
| 2026-05-24 05:46:36 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-24 05:50:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 05:55:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-05-24 06:01:48 +0000 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2026-05-24 06:04:11 +0000 | ThePenguin | (~ThePengui@95.80.28.221) ThePenguin |
| 2026-05-24 06:06:36 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-05-24 06:06:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 06:13:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-05-24 06:21:24 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-24 06:24:37 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-24 06:29:09 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-24 06:31:26 +0000 | Beowulf | (florian@sleipnir.bandrate.org) (Quit: = "") |
| 2026-05-24 06:38:25 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-24 06:38:55 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-24 06:45:16 +0000 | Beowulf | (florian@sleipnir.bandrate.org) |
| 2026-05-24 06:47:39 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-24 06:54:54 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-24 07:01:02 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-24 07:02:18 +0000 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-05-24 07:03:14 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-05-24 07:09:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 07:13:09 +0000 | wickedjargon | (~user@2605:8d80:5431:9939:9be8:7bc:f980:b3dd) (Remote host closed the connection) |
| 2026-05-24 07:13:35 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-05-24 07:14:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 263 seconds) |
| 2026-05-24 07:19:48 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2026-05-24 07:25:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 07:25:37 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-05-24 07:27:17 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-24 07:30:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 253 seconds) |
| 2026-05-24 07:40:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 07:45:44 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 252 seconds) |
| 2026-05-24 07:45:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-24 07:46:00 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-24 07:50:30 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-24 07:52:27 +0000 | p3n | (~p3n@217.198.124.246) p3n |
| 2026-05-24 07:56:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 07:59:05 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 251 seconds) |
| 2026-05-24 07:59:22 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-05-24 08:01:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-24 08:17:27 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-05-24 08:28:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 08:28:47 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5702a377d17456d4d93.dip0.t-ipconnect.de) |
| 2026-05-24 08:33:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-24 08:44:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 08:44:41 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-24 08:44:53 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-24 08:47:47 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-05-24 08:49:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-24 08:53:36 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-24 08:57:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-24 08:58:49 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e58123079e5c04a78535.dip0.t-ipconnect.de) |
| 2026-05-24 09:00:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-24 09:01:57 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5702a377d17456d4d93.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-05-24 09:03:14 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-24 09:05:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-24 09:07:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-24 09:10:12 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-24 09:11:30 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-24 09:13:00 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-05-24 09:14:58 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-24 09:16:38 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 256 seconds) |
| 2026-05-24 09:17:12 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Client Quit) |
| 2026-05-24 09:19:07 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-24 09:22:15 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-05-24 09:22:25 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-24 09:27:07 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-24 09:29:33 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-05-24 09:31:27 +0000 | <Noinia> | Hmm, I've encountered a somewhat weird issue around constraints and type families. I have some 'IsDrawable backend g' class, and I defined a 'Rendered backend' typefamily, with, in particular, Rendered (Svg model action) = [View model action] (here Svg is the backend; what View is is not very important). However, for whatever reason it seems GHC cannot resolve this 'Rendered (Svg model action)' def in a |
| 2026-05-24 09:31:33 +0000 | <Noinia> | typeclass instance; see Line 122 of https://github.com/noinia/hgeometry/blob/c12f1facde730b5daf03128f8ddb8b05db401df5/hgeometry/doc-fi… does anyone have an idea why this is the case? |
| 2026-05-24 09:32:18 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-24 09:33:15 +0000 | <Noinia> | (i.e. without the L122; GHC complains that it cannot deteremine that (Rendered (Svg model action)) has a Monoid constraint; that seems odd to me; since I just defined that 'Rendered (Svg model action) = [View model action])' above there (which thus has a Monoid constraint) |
| 2026-05-24 09:38:15 +0000 | emilym | (~Thunderbi@user/emilym) emilym |