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