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