2024-10-27 00:12:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-27 00:15:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 00:19:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 00:26:20 +0200 | Everything | (~Everythin@178.133.12.70) (Quit: leaving) |
2024-10-27 00:30:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 00:35:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 00:38:31 +0200 | famubu | (~julinuser@user/famubu) (Ping timeout: 264 seconds) |
2024-10-27 00:38:41 +0200 | famubu | (~julinuser@14.139.174.50) |
2024-10-27 00:39:40 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3203-12fd-b4b9-ff77-69f2-fdd7.rev.sfr.net) alexherbo2 |
2024-10-27 00:44:03 +0200 | alp | (~alp@2001:861:e3d6:8f80:f680:7e0c:c173:50ab) (Quit: Leaving) |
2024-10-27 00:44:29 +0200 | alp_ | (~Srain@static-176-175-89-30.ftth.abo.bbox.fr) |
2024-10-27 00:46:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 00:48:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 00:50:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 00:50:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 00:53:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-10-27 01:00:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
2024-10-27 01:01:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 01:08:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-27 01:13:18 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb93adcc55b40ab8063a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2024-10-27 01:22:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-10-27 01:24:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 01:29:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-27 01:32:27 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
2024-10-27 01:32:58 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3203-12fd-b4b9-ff77-69f2-fdd7.rev.sfr.net) (Remote host closed the connection) |
2024-10-27 01:34:10 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
2024-10-27 01:39:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 01:44:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 01:46:10 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
2024-10-27 01:53:44 +0200 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
2024-10-27 01:55:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 01:56:38 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-27 01:58:08 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-27 02:00:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-27 02:04:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-10-27 02:09:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-10-27 02:09:40 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 02:10:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-10-27 02:10:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 02:11:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 02:14:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-10-27 02:14:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 02:15:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 02:22:19 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-10-27 02:23:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 02:23:50 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-10-27 02:26:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-10-27 02:26:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 02:26:27 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 02:26:57 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-27 02:30:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 02:41:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 02:46:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 02:46:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-27 02:56:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 02:58:06 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-27 02:58:25 +0100 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
2024-10-27 03:01:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-27 03:02:42 +0100 | mulk | (~mulk@p5b11246b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-10-27 03:06:46 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-27 03:10:46 +0100 | dumptruckman | (~dumptruck@23-92-16-161.ip.linodeusercontent.com) (Ping timeout: 252 seconds) |
2024-10-27 03:10:51 +0100 | dumptruckman_ | (~dumptruck@23-92-16-161.ip.linodeusercontent.com) |
2024-10-27 03:11:16 +0100 | dumptruckman_ | dumptruckman |
2024-10-27 03:11:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 03:16:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-27 03:25:53 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 248 seconds) |
2024-10-27 03:27:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 03:29:29 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-27 03:31:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 03:37:37 +0100 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) billchenchina |
2024-10-27 03:42:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 03:49:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 03:53:30 +0100 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) (Quit: Leaving) |
2024-10-27 03:58:36 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-10-27 04:00:03 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-27 04:03:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 04:04:17 +0100 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 252 seconds) |
2024-10-27 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-10-27 04:05:33 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2024-10-27 04:06:13 +0100 | td_ | (~td@i53870933.versanet.de) td_ |
2024-10-27 04:12:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-27 04:23:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 04:27:12 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-27 04:27:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 04:38:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 04:45:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-27 04:52:23 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2024-10-27 04:56:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 05:01:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 05:03:19 +0100 | td_ | (~td@i53870933.versanet.de) (Ping timeout: 252 seconds) |
2024-10-27 05:05:18 +0100 | td_ | (~td@i53870914.versanet.de) |
2024-10-27 05:11:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 05:16:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-27 05:27:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 05:31:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-27 05:32:53 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-10-27 05:42:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 05:47:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 05:58:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 06:03:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 06:15:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 06:22:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-27 06:33:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 06:37:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 06:42:49 +0100 | jcarpenter2 | jcolanternpenter |
2024-10-27 06:46:19 +0100 | hgolden__ | (~hgolden@static-198-44-129-83.cust.tzulo.com) hgolden |
2024-10-27 06:48:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 06:49:19 +0100 | hgolden_ | (~hgolden@23.162.40.69) (Ping timeout: 264 seconds) |
2024-10-27 06:53:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 06:59:21 +0100 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2024-10-27 07:04:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 07:09:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 07:19:08 +0100 | alioguzhan | (~Thunderbi@78.173.95.204) (Ping timeout: 245 seconds) |
2024-10-27 07:19:40 +0100 | alp_ | (~Srain@static-176-175-89-30.ftth.abo.bbox.fr) (Ping timeout: 244 seconds) |
2024-10-27 07:19:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 07:24:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-27 07:35:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 07:35:24 +0100 | alp_ | (~Srain@static-176-175-89-30.ftth.abo.bbox.fr) |
2024-10-27 07:39:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 07:44:55 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-10-27 07:45:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-27 07:45:55 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-27 07:50:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 07:57:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 07:58:51 +0100 | alp_ | (~Srain@static-176-175-89-30.ftth.abo.bbox.fr) (Remote host closed the connection) |
2024-10-27 07:59:04 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-10-27 08:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-27 08:00:36 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-10-27 08:01:37 +0100 | fun-safe-math | (~fun-safe-@24.21.106.247) (Ping timeout: 248 seconds) |
2024-10-27 08:03:17 +0100 | tt1231097832435 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
2024-10-27 08:08:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 08:10:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-10-27 08:13:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 08:20:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 08:22:21 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-10-27 08:24:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 08:28:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 08:31:19 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
2024-10-27 08:34:27 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb2791fd33152230db35.dip0.t-ipconnect.de) |
2024-10-27 08:41:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 08:43:03 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2024-10-27 08:43:07 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-27 08:44:30 +0100 | Lord_of_Life_ | Lord_of_Life |
2024-10-27 08:46:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 08:48:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 08:52:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 08:59:29 +0100 | Square | (~Square@user/square) Square |
2024-10-27 09:01:56 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Quit: euandreh) |
2024-10-27 09:04:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 09:06:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-27 09:08:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 09:19:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 09:23:31 +0100 | habib | (~habib@146.70.119.186) (Remote host closed the connection) |
2024-10-27 09:24:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-27 09:27:59 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-27 09:32:51 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
2024-10-27 09:35:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 09:39:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 09:40:35 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-27 09:42:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 09:44:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 09:47:04 +0100 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
2024-10-27 09:50:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 09:52:21 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2024-10-27 09:55:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 09:57:58 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-10-27 10:04:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 10:09:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-27 10:10:01 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-27 10:18:36 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-27 10:20:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 10:24:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 10:24:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 10:29:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 10:30:52 +0100 | swamp_ | (~zmt00@user/zmt00) zmt00 |
2024-10-27 10:34:12 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 276 seconds) |
2024-10-27 10:34:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-27 10:35:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 10:42:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 10:53:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 10:53:47 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-10-27 10:58:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 11:09:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 11:13:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 11:16:55 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
2024-10-27 11:24:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 11:28:58 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-27 11:29:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-27 11:35:16 +0100 | habib | (~habib@146.70.119.186) habib |
2024-10-27 11:39:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 11:42:36 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-10-27 11:44:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-27 11:44:56 +0100 | zetef | (~quassel@2a02:2f00:5006:c400:6a99:1fd6:7b24:7077) zetef |
2024-10-27 11:45:14 +0100 | zetef | (~quassel@2a02:2f00:5006:c400:6a99:1fd6:7b24:7077) (Client Quit) |
2024-10-27 11:55:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 11:55:25 +0100 | <lxsameer> | hey folks, I'm trying to parse the cabal.project.freeze file, do you know any parser for that file in Cabal-syntax? |
2024-10-27 11:59:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 12:05:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 12:10:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-27 12:18:00 +0100 | youthlic1 | (~Thunderbi@user/youthlic) youthlic |
2024-10-27 12:18:35 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-10-27 12:18:36 +0100 | youthlic1 | youthlic |
2024-10-27 12:21:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 12:23:24 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-10-27 12:28:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 12:28:19 +0100 | hgolden_ | (~hgolden@23.162.40.28) hgolden |
2024-10-27 12:30:40 +0100 | hgolden__ | (~hgolden@static-198-44-129-83.cust.tzulo.com) (Ping timeout: 252 seconds) |
2024-10-27 12:33:52 +0100 | alioguzhan | (~Thunderbi@78.173.93.98) |
2024-10-27 12:40:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 12:44:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 12:55:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 13:00:23 +0100 | haskellbridge | hellwolf sees gold in OverloadedLabels. Anyone has experience of using it to share? |
2024-10-27 13:00:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 13:06:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 13:08:35 +0100 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-27 13:11:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 13:11:07 +0100 | <mreh> | is there a way to only profile cost centres within a single closure? |
2024-10-27 13:14:52 +0100 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
2024-10-27 13:15:19 +0100 | Guest31 | (~Guest31@130.226.157.34) |
2024-10-27 13:22:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 13:31:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 13:33:58 +0100 | <tomsmeding> | hellwolf: I've been using it a bit for various purposes. What do you want to use it for? |
2024-10-27 13:34:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2024-10-27 13:36:58 +0100 | <haskellbridge> | <hellwolf> I want to do a type level syntax for address and bytes literals, e.g.: |
2024-10-27 13:36:58 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/zepLeGWPrekCEZnjWdobAomD/Eje5yf_QOro (4 lines) |
2024-10-27 13:37:22 +0100 | <haskellbridge> | <hellwolf> And nice type error when oversized or crc check failed |
2024-10-27 13:37:44 +0100 | <tomsmeding> | you'd first have to program all your functionality that you want to happen on the symbols on the type level using type families |
2024-10-27 13:37:57 +0100 | <tomsmeding> | once you have that, OverloadedLabels just gives you the neat # syntax :p |
2024-10-27 13:38:25 +0100 | <mreh> | should I enable -fprof-auto-calls maybe? |
2024-10-27 13:38:31 +0100 | <tomsmeding> | i.e. try to write your program using `GHC.TypeLits.symbolSing @"0xdeadbeef"` |
2024-10-27 13:38:41 +0100 | <haskellbridge> | <hellwolf> yea, that type level programming can be the daunting task... I have grappled with them lately |
2024-10-27 13:39:16 +0100 | <tomsmeding> | mreh: dunno, but I recall that if you don't set -fprof-auto there are very few cost centres; and you can add your own cost centres with a CCS pragma |
2024-10-27 13:39:29 +0100 | <tomsmeding> | perhaps that's a useful keyword to search on? |
2024-10-27 13:40:25 +0100 | <lxsameer> | is there any spec or RFC for cabal's freeze file? |
2024-10-27 13:40:35 +0100 | <tomsmeding> | it's the exact same as a cabal.project file |
2024-10-27 13:41:22 +0100 | <lxsameer> | tomsmeding: so is there any RFC for cabal.project ? |
2024-10-27 13:41:27 +0100 | <tomsmeding> | ¯\_(ツ)_/¯ |
2024-10-27 13:41:29 +0100 | <tomsmeding> | there is the cabal user guide :p |
2024-10-27 13:41:35 +0100 | <tomsmeding> | I don't think there's much more than that |
2024-10-27 13:41:45 +0100 | <tomsmeding> | https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html |
2024-10-27 13:42:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 13:42:23 +0100 | <lxsameer> | tomsmeding: cheers |
2024-10-27 13:46:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-27 13:49:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 13:50:47 +0100 | <haskellbridge> | <hellwolf> I would trace into cabel code directly. I did a quick search, nothing obvious came out, which leads me to believe that the whole freeze file syntax could be rather ad-hoc. But don't quote me on that. |
2024-10-27 13:53:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-27 13:57:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 14:04:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 14:05:06 +0100 | Everything | (~Everythin@178-133-204-231.mobile.vf-ua.net) Everything |
2024-10-27 14:06:34 +0100 | michalz | (~michalz@185.246.207.217) |
2024-10-27 14:07:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 14:09:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-10-27 14:12:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 14:12:50 +0100 | euleritian | (~euleritia@176.6.138.202) |
2024-10-27 14:19:52 +0100 | euleritian | (~euleritia@176.6.138.202) (Read error: Connection reset by peer) |
2024-10-27 14:20:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 14:21:55 +0100 | Guest31 | (~Guest31@130.226.157.34) (Quit: Client closed) |
2024-10-27 14:23:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 14:26:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
2024-10-27 14:27:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 14:27:26 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) |
2024-10-27 14:28:02 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-27 14:28:19 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 14:32:30 +0100 | madhavanmiui | (~madhavanm@2409:40f4:3004:2698:8000::) |
2024-10-27 14:35:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-10-27 14:35:31 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) |
2024-10-27 14:38:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 14:43:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 14:44:17 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-27 14:44:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 14:45:45 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
2024-10-27 14:48:07 +0100 | madhavanmiui | (~madhavanm@2409:40f4:3004:2698:8000::) (Quit: Quit) |
2024-10-27 14:48:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
2024-10-27 14:49:48 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) |
2024-10-27 14:53:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 14:57:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-27 14:57:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-27 15:02:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 15:05:16 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-27 15:05:24 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2024-10-27 15:06:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-27 15:08:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 15:08:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 15:13:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 15:16:14 +0100 | Guest15 | (~Guest54@210.1.125.63) |
2024-10-27 15:16:24 +0100 | Guest15 | (~Guest54@210.1.125.63) (Client Quit) |
2024-10-27 15:23:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 15:28:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 15:28:54 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
2024-10-27 15:29:18 +0100 | kmein | (~weechat@user/kmein) kmein |
2024-10-27 15:32:15 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
2024-10-27 15:34:50 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-27 15:38:11 +0100 | Digitteknohippie | Digit |
2024-10-27 15:39:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 15:46:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-27 15:49:37 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-27 15:52:05 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
2024-10-27 15:57:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 15:59:31 +0100 | sadmax | (~user@64.130.91.66) |
2024-10-27 16:05:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 16:09:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 16:14:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 16:17:56 +0100 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2024-10-27 16:20:14 +0100 | Teacup | (~teacup@user/teacup) () |
2024-10-27 16:20:32 +0100 | Teacup | (~teacup@user/teacup) Teacup |
2024-10-27 16:25:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 16:27:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 16:27:46 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-27 16:29:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 16:30:36 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-10-27 16:32:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-27 16:33:01 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-10-27 16:33:18 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-136.resnet.purdue.edu) |
2024-10-27 16:40:34 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) (Ping timeout: 265 seconds) |
2024-10-27 16:42:45 +0100 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 248 seconds) |
2024-10-27 16:48:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 16:49:14 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-10-27 16:49:19 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-27 16:52:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-27 16:53:27 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
2024-10-27 16:56:01 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-10-27 17:01:57 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-136.resnet.purdue.edu) (Ping timeout: 248 seconds) |
2024-10-27 17:02:27 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:74e1:434f:7d66:959e:43ed:ae2d) |
2024-10-27 17:03:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 17:08:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 17:10:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 17:11:27 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-27 17:12:39 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2024-10-27 17:13:41 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb2791fd33152230db35.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-10-27 17:13:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 17:15:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-27 17:16:45 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
2024-10-27 17:16:46 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:74e1:434f:7d66:959e:43ed:ae2d) (Read error: Connection reset by peer) |
2024-10-27 17:18:11 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:74e1:434f:7d66:959e:43ed:ae2d) |
2024-10-27 17:21:51 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 17:23:03 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:74e1:434f:7d66:959e:43ed:ae2d) (Ping timeout: 276 seconds) |
2024-10-27 17:23:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-27 17:26:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 17:26:29 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-10-27 17:30:06 +0100 | Everything | (~Everythin@178-133-204-231.mobile.vf-ua.net) (Quit: leaving) |
2024-10-27 17:30:16 +0100 | Yakov | (~Yakov@49.207.60.83) |
2024-10-27 17:30:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-27 17:33:20 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-136.resnet.purdue.edu) |
2024-10-27 17:35:48 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb2791fd33152230db35.dip0.t-ipconnect.de) acidjnk |
2024-10-27 17:36:30 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) |
2024-10-27 17:37:17 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-136.resnet.purdue.edu) (Read error: Connection reset by peer) |
2024-10-27 17:40:31 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2024-10-27 17:40:48 +0100 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
2024-10-27 17:41:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 17:41:51 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2024-10-27 17:43:00 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2024-10-27 17:46:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 17:46:49 +0100 | Digitteknohippie | Digit |
2024-10-27 17:47:44 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) |
2024-10-27 17:55:10 +0100 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) ubert |
2024-10-27 17:55:49 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) (Read error: Connection reset by peer) |
2024-10-27 17:56:40 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-10-27 17:56:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 17:59:31 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-27 18:00:04 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) |
2024-10-27 18:00:49 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2024-10-27 18:01:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-27 18:02:12 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2024-10-27 18:03:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 18:04:39 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Read error: Connection reset by peer) |
2024-10-27 18:04:52 +0100 | YoungFrawg | (~youngfrog@2a02:a03f:c9db:fc00:7868:ed54:6992:80f4) youngfrog |
2024-10-27 18:05:17 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) |
2024-10-27 18:05:56 +0100 | YoungFrawg | YoungFrog |
2024-10-27 18:06:32 +0100 | euleritian | (~euleritia@dynamic-176-006-138-202.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-10-27 18:07:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) (Remote host closed the connection) |
2024-10-27 18:07:09 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) |
2024-10-27 18:07:24 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 18:07:39 +0100 | JamesMowery43 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
2024-10-27 18:08:24 +0100 | JamesMowery43 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
2024-10-27 18:11:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 18:13:06 +0100 | sadmax | (~user@64.130.91.66) (Ping timeout: 276 seconds) |
2024-10-27 18:13:18 +0100 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
2024-10-27 18:14:58 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
2024-10-27 18:18:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 18:19:32 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) (Remote host closed the connection) |
2024-10-27 18:19:40 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) |
2024-10-27 18:25:02 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 255 seconds) |
2024-10-27 18:28:12 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
2024-10-27 18:28:28 +0100 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
2024-10-27 18:29:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 18:31:39 +0100 | sadmax | (~user@64.130.91.66) |
2024-10-27 18:34:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-27 18:45:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 18:49:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-27 18:51:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 18:56:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2024-10-27 18:56:26 +0100 | euleritian | (~euleritia@dynamic-176-006-134-139.176.6.pool.telefonica.de) |
2024-10-27 19:00:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 19:01:19 +0100 | euleritian | (~euleritia@dynamic-176-006-134-139.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-10-27 19:02:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 19:04:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-27 19:07:51 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 19:08:35 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) (Remote host closed the connection) |
2024-10-27 19:08:42 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) |
2024-10-27 19:12:09 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-27 19:12:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 19:16:37 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 19:17:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-27 19:20:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 19:20:56 +0100 | <lxsameer> | hey folks, using cabal, is there any way to use the modules that a library does not expose? |
2024-10-27 19:22:11 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-10-27 19:22:17 +0100 | <monochrom> | No. |
2024-10-27 19:23:38 +0100 | <lxsameer> | thanks |
2024-10-27 19:26:04 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:4191:ac64:35d0:cf42) (Read error: Connection reset by peer) |
2024-10-27 19:26:36 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-10-27 19:26:38 +0100 | Yakov | (~Yakov@49.207.60.83) (Quit: Ping timeout (120 seconds)) |
2024-10-27 19:28:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 19:29:56 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-10-27 19:31:20 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:cd62:406e:a17e:84d7:28b6:8ae8) |
2024-10-27 19:31:34 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
2024-10-27 19:31:45 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 19:32:06 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-10-27 19:32:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 19:35:33 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:cd62:406e:a17e:84d7:28b6:8ae8) (Ping timeout: 248 seconds) |
2024-10-27 19:41:14 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:bed:9345:2591:98cb:797f:3619) |
2024-10-27 19:41:15 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-10-27 19:42:39 +0100 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
2024-10-27 19:42:44 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 19:43:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 19:48:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-27 19:48:39 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:bed:9345:2591:98cb:797f:3619) (Ping timeout: 276 seconds) |
2024-10-27 19:48:48 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-10-27 19:49:04 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:2c62:4d2a:b8ec:3ee5:adba:a52e) |
2024-10-27 19:49:07 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:2c62:4d2a:b8ec:3ee5:adba:a52e) (Read error: Connection reset by peer) |
2024-10-27 19:52:36 +0100 | Yakov | (~Yakov@49.207.60.83) |
2024-10-27 19:53:33 +0100 | JeremyB99 | (~JeremyB99@128.211.252.87) |
2024-10-27 19:57:27 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-10-27 19:58:04 +0100 | JeremyB99 | (~JeremyB99@128.211.252.87) (Read error: Connection reset by peer) |
2024-10-27 20:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-27 20:00:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 20:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
2024-10-27 20:05:28 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 20:06:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 20:07:44 +0100 | droideqa | (uid499291@user/droideqa) droideqa |
2024-10-27 20:12:13 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-10-27 20:13:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 20:17:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-27 20:18:12 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:7a07:94c9:3adc:5dc7) |
2024-10-27 20:18:16 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:7a07:94c9:3adc:5dc7) (Read error: Connection reset by peer) |
2024-10-27 20:25:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 20:25:36 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2024-10-27 20:28:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 20:28:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:7a07:94c9:3adc:5dc7) |
2024-10-27 20:29:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 20:29:37 +0100 | <lxsameer> | is there any typeclass for things that can be merged? semigroup? |
2024-10-27 20:32:42 +0100 | <monochrom> | Yeah FSVO "merge". |
2024-10-27 20:33:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 20:34:05 +0100 | <lxsameer> | cheers |
2024-10-27 20:40:14 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:406:4:7a07:94c9:3adc:5dc7) (Ping timeout: 260 seconds) |
2024-10-27 20:42:08 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-135.resnet.purdue.edu) |
2024-10-27 20:43:12 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-135.resnet.purdue.edu) (Read error: Connection reset by peer) |
2024-10-27 20:43:15 +0100 | michalz | (~michalz@185.246.207.197) |
2024-10-27 20:44:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-27 20:44:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 20:44:29 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-27 20:46:36 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-27 20:46:52 +0100 | euleritian | (~euleritia@77.22.252.56) |
2024-10-27 20:48:49 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-135.resnet.purdue.edu) |
2024-10-27 20:48:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 20:50:36 +0100 | Yakov | (~Yakov@49.207.60.83) (Quit: Client closed) |
2024-10-27 20:50:59 +0100 | <tomsmeding> | lxsameer: see also: Alternative, MonadPlus |
2024-10-27 20:51:51 +0100 | <zzz> | that's a bad way to phrase things imo |
2024-10-27 20:52:28 +0100 | <monochrom> | Alternative would be functors that can be merged, as opposed to things that can be merged. >:) |
2024-10-27 20:52:30 +0100 | <zzz> | "things that can be merged" has different meaning than Semigroup |
2024-10-27 20:53:39 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 20:54:37 +0100 | <tomsmeding> | I mean, if we only have "things that can be merged", then IMO Semigroup, Alternative, MonadPlus are all relevant suggestions |
2024-10-27 20:55:32 +0100 | <tomsmeding> | I guess even Monad, from a suitably abstract point of view, but that's likely not the point of view taken when lxsameer asked that question :p |
2024-10-27 20:56:29 +0100 | <Rembane> | Merge is a delightfully overloaded term |
2024-10-27 20:56:40 +0100 | <tomsmeding> | almost as bad as "lift" |
2024-10-27 20:57:14 +0100 | <zzz> | yeah i just wanted to point out the possibility for misconception |
2024-10-27 20:57:51 +0100 | <monochrom> | I legit put this question on the exam: I have a newtype wrapper SortedList over list, and we will ensure that the wrapped list must be sorted. Delightfully, the appropriate (<>) is still associative! Code up (<>) and sing so that foldMap sing sorts the input. |
2024-10-27 20:57:54 +0100 | <Rembane> | tomsmeding: bro-algebra! |
2024-10-27 20:58:23 +0100 | <Rembane> | monochrom: Lovely! What does sing mean in this context? |
2024-10-27 20:58:34 +0100 | <tomsmeding> | mempty? |
2024-10-27 20:58:41 +0100 | <tomsmeding> | oh |
2024-10-27 20:58:42 +0100 | <monochrom> | singleton. \x -> SortedList [x] |
2024-10-27 20:58:44 +0100 | <tomsmeding> | pure |
2024-10-27 20:59:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 21:00:27 +0100 | <tomsmeding> | and depending on the association order that foldMap chooses, the resulting sorting algorithm is either O(n^2) or O(n log n)? :p |
2024-10-27 21:00:41 +0100 | <tomsmeding> | (or something in between, but that would be a weird association order indeed) |
2024-10-27 21:01:13 +0100 | <monochrom> | Alternatively (pun!), the specification "foldMap sing sorts the input" tells you everything you need to know. |
2024-10-27 21:01:15 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-10-27 21:01:16 +0100 | <tomsmeding> | thinking about this makes the reader realise why monochrom posted this as a response to stuf fabout "merging" |
2024-10-27 21:01:26 +0100 | <monochrom> | :) |
2024-10-27 21:02:06 +0100 | <lxsameer> | tomsmeding: thank you |
2024-10-27 21:02:59 +0100 | <tomsmeding> | monochrom: would you accept (<>) implementations that are superlinear? |
2024-10-27 21:04:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 21:04:49 +0100 | <tomsmeding> | (such as: \a b -> sort (a ++ b)) |
2024-10-27 21:05:04 +0100 | <tomsmeding> | I guess that's actually linear with Haskell's sort function |
2024-10-27 21:05:12 +0100 | <int-e> | tomsmeding: the irony there is... if a and b are sorted, that'll be O(n) |
2024-10-27 21:05:15 +0100 | <tomsmeding> | yes |
2024-10-27 21:05:26 +0100 | <tomsmeding> | cute :) |
2024-10-27 21:05:26 +0100 | <int-e> | (because of how sort is implemented) |
2024-10-27 21:05:50 +0100 | <Rembane> | Just gotta have the right sorting function! |
2024-10-27 21:06:01 +0100 | <monochrom> | I forgot. Let me check the marking scheme I wrote. |
2024-10-27 21:10:04 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-27 21:12:18 +0100 | <monochrom> | Oh haha this was more fun. The question already defined "sort xs = unwrap (foldMap sing xs)". So the door was closed. |
2024-10-27 21:12:37 +0100 | <tomsmeding> | ah :) |
2024-10-27 21:12:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2024-10-27 21:12:53 +0100 | ljdarj1 | ljdarj |
2024-10-27 21:13:05 +0100 | <tomsmeding> | I guess there's still the possibility of writing insertion sort, but that's not necessarily easier than the proper linear solution |
2024-10-27 21:14:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 21:18:19 +0100 | swistak- | (~swistak@185.21.216.141) (Ping timeout: 260 seconds) |
2024-10-27 21:18:37 +0100 | swistak | (~swistak@185.21.216.141) |
2024-10-27 21:19:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 21:21:47 +0100 | JeremyB99 | (~JeremyB99@dhcp-251-135.resnet.purdue.edu) (Read error: Connection reset by peer) |
2024-10-27 21:23:56 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
2024-10-27 21:24:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 21:25:09 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2024-10-27 21:26:08 +0100 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Quit: Lost terminal) |
2024-10-27 21:27:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 21:27:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Read error: Connection reset by peer) |
2024-10-27 21:30:00 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
2024-10-27 21:30:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 21:34:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 21:45:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 21:45:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Read error: Connection reset by peer) |
2024-10-27 21:47:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-27 21:50:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
2024-10-27 21:50:57 +0100 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
2024-10-27 21:51:24 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 21:51:53 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-10-27 21:52:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-27 21:55:06 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Read error: Connection reset by peer) |
2024-10-27 21:55:49 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-10-27 22:05:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 22:06:10 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
2024-10-27 22:08:14 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) (Ping timeout: 255 seconds) |
2024-10-27 22:08:47 +0100 | vglfr | (~vglfr@2607:fb90:eabb:971:ac39:c397:4eb4:a9a0) vglfr |
2024-10-27 22:09:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-27 22:10:46 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Read error: Connection reset by peer) |
2024-10-27 22:11:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
2024-10-27 22:15:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 22:15:43 +0100 | vglfr | (~vglfr@2607:fb90:eabb:971:ac39:c397:4eb4:a9a0) (Ping timeout: 264 seconds) |
2024-10-27 22:16:26 +0100 | vglfr | (~vglfr@2607:fb91:836:4cfb:ad2:e57:b394:3d9a) vglfr |
2024-10-27 22:20:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-27 22:23:50 +0100 | Everything | (~Everythin@178-133-204-231.mobile.vf-ua.net) Everything |
2024-10-27 22:29:30 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
2024-10-27 22:31:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 22:35:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-27 22:35:45 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Read error: Connection reset by peer) |
2024-10-27 22:36:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2024-10-27 22:39:04 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) |
2024-10-27 22:39:51 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
2024-10-27 22:40:24 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-27 22:43:17 +0100 | danza | (~danza@user/danza) danza |
2024-10-27 22:46:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 22:47:28 +0100 | sadmax | (~user@64.130.91.66) |
2024-10-27 22:47:53 +0100 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
2024-10-27 22:48:40 +0100 | sadmax | (~user@64.130.91.66) |
2024-10-27 22:51:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 22:52:41 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-27 22:52:55 +0100 | vglfr | (~vglfr@2607:fb91:836:4cfb:ad2:e57:b394:3d9a) (Read error: Connection reset by peer) |
2024-10-27 22:55:50 +0100 | hgolden__ | (~hgolden@23.162.40.110) hgolden |
2024-10-27 22:58:23 +0100 | hgolden_ | (~hgolden@23.162.40.28) (Ping timeout: 252 seconds) |
2024-10-27 23:01:00 +0100 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
2024-10-27 23:01:48 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
2024-10-27 23:02:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 23:03:01 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:6370:a1eb:36ff:1f8b) (Ping timeout: 248 seconds) |
2024-10-27 23:03:48 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:beb:c91d:f90b:4897:5a56:f166) |
2024-10-27 23:05:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 23:06:01 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-10-27 23:06:34 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-27 23:06:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-27 23:09:02 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-27 23:12:45 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:beb:c91d:f90b:4897:5a56:f166) (Ping timeout: 276 seconds) |
2024-10-27 23:13:00 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) |
2024-10-27 23:13:47 +0100 | Vq | (~vq@90-226-100-90-no600.tbcn.telia.com) (Ping timeout: 252 seconds) |
2024-10-27 23:14:03 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-10-27 23:15:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 23:15:27 +0100 | guestycute | (~guestycut@67-134-33-194.dia.static.qwest.net) |
2024-10-27 23:17:28 +0100 | <guestycute> | does anyone know some nice resources for learning about doing more like.. type-level stuff? i am kindof messing around with kinds and GADTs and stuff, but im wondering if there is something cohesiv |
2024-10-27 23:18:24 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-10-27 23:18:29 +0100 | <guestycute> | sorry if that sounds silly lol |
2024-10-27 23:19:00 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) (Read error: Connection reset by peer) |
2024-10-27 23:21:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-27 23:21:22 +0100 | sadmax | (~user@64.130.91.66) (Remote host closed the connection) |
2024-10-27 23:21:35 +0100 | <geekosaur> | https://thinkingwithtypes.com/ ? |
2024-10-27 23:21:46 +0100 | guestycute | (~guestycut@67-134-33-194.dia.static.qwest.net) (Quit: Client closed) |
2024-10-27 23:21:47 +0100 | sadmax | (~user@64.130.91.66) |
2024-10-27 23:22:08 +0100 | <geekosaur> | that's a book site but it links to the author's blog which is about type level programming |
2024-10-27 23:22:25 +0100 | <geekosaur> | (https://reasonablypolymorphic.com/) |
2024-10-27 23:22:39 +0100 | guestycute | (~guestycut@75.149.164.102) |
2024-10-27 23:22:49 +0100 | <guestycute> | hmm that seems cool! i will look into it ^_^ |
2024-10-27 23:24:22 +0100 | guestycute | (~guestycut@75.149.164.102) (Client Quit) |
2024-10-27 23:25:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 23:25:12 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) |
2024-10-27 23:25:32 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) (Read error: Connection reset by peer) |
2024-10-27 23:26:33 +0100 | Everything | (~Everythin@178-133-204-231.mobile.vf-ua.net) (Ping timeout: 252 seconds) |
2024-10-27 23:28:34 +0100 | Everything | (~Everythin@195.138.86.118) |
2024-10-27 23:30:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-27 23:36:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 23:36:33 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) |
2024-10-27 23:36:45 +0100 | <monochrom> | Blogs are not cohesive. Books are. |
2024-10-27 23:37:08 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:1062:5352:f812:6d08:b2a3:fb5d) (Read error: Connection reset by peer) |
2024-10-27 23:37:47 +0100 | <monochrom> | Sure, blogs are cheap, books are expensive. You get what you pay for. |
2024-10-27 23:40:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 23:47:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:aed9:931d:949:6711) (Ping timeout: 264 seconds) |
2024-10-27 23:48:37 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-27 23:49:06 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-27 23:50:14 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:74e1:c8a:7c82:4a6e:f6bc:e938) |
2024-10-27 23:50:30 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8be3:6384:4679:8a68) |
2024-10-27 23:51:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-27 23:51:33 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
2024-10-27 23:55:35 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:74e1:c8a:7c82:4a6e:f6bc:e938) (Ping timeout: 252 seconds) |
2024-10-27 23:55:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-27 23:57:07 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
2024-10-27 23:57:58 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22e6:c94f:1c0:b044:1c91:65be) |
2024-10-27 23:58:01 +0100 | JeremyB99 | (~JeremyB99@2607:fb91:22e6:c94f:1c0:b044:1c91:65be) (Read error: Connection reset by peer) |
2024-10-27 23:59:55 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |