| 2024-12-15 00:01:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 00:04:17 +0100 | alp | (~alp@2001:861:8ca0:4940:4fb3:5817:7b93:c2b9) (Ping timeout: 248 seconds) |
| 2024-12-15 00:06:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 00:14:02 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-12-15 00:15:40 +0100 | defmanny | (~manny@12.185.206.131) |
| 2024-12-15 00:16:41 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-15 00:16:56 +0100 | defmanny | (~manny@12.185.206.131) (Remote host closed the connection) |
| 2024-12-15 00:17:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 00:17:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-15 00:21:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 00:23:02 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2024-12-15 00:26:09 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2024-12-15 00:32:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 00:33:38 +0100 | IamPyu | (~IamPyu@user/IamPyu) (Quit: IamPyu) |
| 2024-12-15 00:36:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 00:38:23 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-15 00:41:13 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: Lost terminal) |
| 2024-12-15 00:47:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 00:52:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 00:52:50 +0100 | <c_wraith> | Today's AoC wasn't one that needed optimization for large numbers. It sure was one that made me go "what?" when I read it, though. |
| 2024-12-15 00:57:43 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-15 00:58:25 +0100 | <Rembane> | I liked the first part, not the second part though. |
| 2024-12-15 01:00:06 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-15 01:00:18 +0100 | <c_wraith> | Turned out the second part was actually pretty friendly to just about any kind of uninformed approach as long as it was something reasonable. |
| 2024-12-15 01:02:27 +0100 | <Rembane> | Okay, then I'll get myself up from the unreasonable rabbit hole I've been spending the day in and see what happens. |
| 2024-12-15 01:03:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 01:07:14 +0100 | <c_wraith> | I had to change how I was thinking about it a bit. |
| 2024-12-15 01:07:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 01:14:09 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2024-12-15 01:14:09 +0100 | jmcantrell | Guest9888 |
| 2024-12-15 01:14:09 +0100 | Guest9888 | (644f1bed9a@user/jmcantrell) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2024-12-15 01:14:09 +0100 | __jmcantrell__ | jmcantrell |
| 2024-12-15 01:14:18 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-12-15 01:15:00 +0100 | <__monty__> | 4 |
| 2024-12-15 01:16:57 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-15 01:18:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 01:23:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 01:24:21 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2024-12-15 01:24:21 +0100 | jmcantrell_ | jmcantrell |
| 2024-12-15 01:34:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 01:38:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-15 01:42:42 +0100 | sindu | (~sindu@176.75.224.1) |
| 2024-12-15 01:43:22 +0100 | Guest77 | (~Guest77@98.97.167.43) |
| 2024-12-15 01:46:11 +0100 | Guest77 | (~Guest77@98.97.167.43) (Client Quit) |
| 2024-12-15 01:46:46 +0100 | trymeagain | (~trymeagai@98.97.167.43) |
| 2024-12-15 01:49:04 +0100 | trymeagain | (~trymeagai@98.97.167.43) (Client Quit) |
| 2024-12-15 01:49:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 01:52:38 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-15 01:52:41 +0100 | sprotte24 | (~sprotte24@p200300d16f0fee00a80355a94c46e799.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-15 01:54:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 01:55:48 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-15 01:56:48 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-15 01:58:23 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-15 02:02:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 02:07:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 02:08:36 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2024-12-15 02:18:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 02:20:45 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-15 02:22:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-15 02:24:45 +0100 | sindu | (~sindu@176.75.224.1) (Ping timeout: 246 seconds) |
| 2024-12-15 02:33:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 02:38:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 02:48:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-12-15 02:48:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 02:53:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 02:57:52 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-15 03:02:24 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-15 03:04:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 03:08:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 03:19:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 03:23:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 03:25:16 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2024-12-15 03:25:28 +0100 | jmcantrell | Guest4832 |
| 2024-12-15 03:25:28 +0100 | Guest4832 | (644f1bed9a@user/jmcantrell) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2024-12-15 03:25:28 +0100 | __jmcantrell__ | jmcantrell |
| 2024-12-15 03:25:37 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-12-15 03:30:55 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-15 03:31:44 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-12-15 03:32:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 03:36:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 03:40:19 +0100 | tv | (~tv@user/tv) tv |
| 2024-12-15 03:47:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 03:48:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-15 03:51:32 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-12-15 03:52:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 03:57:26 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-12-15 04:03:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 04:05:04 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-12-15 04:05:35 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2024-12-15 04:07:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 04:13:18 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-12-15 04:14:01 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Quit: leaving) |
| 2024-12-15 04:14:31 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2024-12-15 04:18:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 04:19:12 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-12-15 04:19:44 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-12-15 04:20:58 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2024-12-15 04:21:13 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-12-15 04:22:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 04:22:58 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-15 04:23:31 +0100 | iqubic- | (~sophia@2601:602:9201:9440:2703:74d2:8023:534f) iqubic |
| 2024-12-15 04:24:19 +0100 | iqubic | (~sophia@2601:602:9201:9440:8256:a3c7:42eb:597d) (Ping timeout: 260 seconds) |
| 2024-12-15 04:34:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 04:38:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-15 04:42:36 +0100 | cheater | (~Username@user/cheater) cheater |
| 2024-12-15 04:42:41 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-15 04:43:42 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 272 seconds) |
| 2024-12-15 04:44:11 +0100 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-12-15 04:44:25 +0100 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) terrorjack |
| 2024-12-15 04:49:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 04:51:46 +0100 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 252 seconds) |
| 2024-12-15 04:51:58 +0100 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2024-12-15 04:53:37 +0100 | td_ | (~td@i53870925.versanet.de) td_ |
| 2024-12-15 04:54:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 04:58:34 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers |
| 2024-12-15 05:00:03 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2024-12-15 05:01:29 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-15 05:04:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 05:06:07 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 05:09:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 05:17:14 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2024-12-15 05:20:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 05:24:00 +0100 | monochrom | (trebla@216.138.220.146) |
| 2024-12-15 05:24:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-15 05:26:57 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-12-15 05:28:28 +0100 | homo | (~homo@37-33-208-60.bb.dnainternet.fi) |
| 2024-12-15 05:29:05 +0100 | homo | (~homo@37-33-208-60.bb.dnainternet.fi) (Changing host) |
| 2024-12-15 05:29:05 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-15 05:29:38 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-15 05:35:28 +0100 | aforemny | (~aforemny@2001:9e8:6cf4:9b00:6c82:23a1:fd0e:a39) aforemny |
| 2024-12-15 05:35:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 05:36:12 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
| 2024-12-15 05:36:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-15 05:36:16 +0100 | aforemny_ | (~aforemny@2001:9e8:6cd2:7000:11a1:70a3:dbce:edf1) (Ping timeout: 272 seconds) |
| 2024-12-15 05:36:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-12-15 05:38:54 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-15 05:40:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 05:41:40 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) |
| 2024-12-15 05:51:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 05:53:16 +0100 | korrykatti | (~korrykatt@user/korrykatti) korrykatti |
| 2024-12-15 05:55:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 06:06:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 06:13:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 06:24:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 06:27:34 +0100 | iqubic- | (~sophia@2601:602:9201:9440:2703:74d2:8023:534f) (Remote host closed the connection) |
| 2024-12-15 06:29:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 06:39:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 06:43:59 +0100 | iqubic | (~sophia@2601:602:9201:9440:2703:74d2:8023:534f) iqubic |
| 2024-12-15 06:44:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-15 06:55:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 06:59:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 07:03:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-15 07:10:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 07:15:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 07:22:48 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) billchenchina |
| 2024-12-15 07:26:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 07:30:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-15 07:31:46 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-12-15 07:35:41 +0100 | <iqubic> | @quickcheck (\xs -> concatMap (:[]) xs == xs) |
| 2024-12-15 07:35:42 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-12-15 07:35:46 +0100 | <iqubic> | @list |
| 2024-12-15 07:35:46 +0100 | <lambdabot> | What module? Try @listmodules for some ideas. |
| 2024-12-15 07:36:27 +0100 | <iqubic> | /msg lambdabot @check (\xs -> concatMap (:[]) xs == xs) |
| 2024-12-15 07:36:44 +0100 | <iqubic> | /MSG lambdabot @check (\xs -> concatMap (:[]) xs == xs) |
| 2024-12-15 07:36:58 +0100 | <iqubic> | Clearly I don't know how this irc client works. |
| 2024-12-15 07:39:07 +0100 | <iqubic> | /MSG @lambdabot @check (\xs -> concatMap (:[]) xs == xs) |
| 2024-12-15 07:39:23 +0100 | <iqubic> | Welp... That's enough of me trying that. |
| 2024-12-15 07:41:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 07:42:52 +0100 | homo | (~homo@user/homo) (Quit: homo) |
| 2024-12-15 07:46:01 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-15 07:46:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 07:48:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-15 07:55:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 07:57:21 +0100 | korrykatti | (~korrykatt@user/korrykatti) (Remote host closed the connection) |
| 2024-12-15 07:57:51 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-15 07:59:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-15 08:08:09 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Ping timeout: 265 seconds) |
| 2024-12-15 08:10:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 08:11:30 +0100 | <mauke> | interesting, that should've worked according to https://github.com/emacs-circe/circe/wiki/Commands#msg-nick-text |
| 2024-12-15 08:12:00 +0100 | <iqubic> | Yes... I know. I'm using Circe and it doesn't want to work for me. |
| 2024-12-15 08:12:13 +0100 | billchenchina | (~billchenc@103.118.42.229) billchenchina |
| 2024-12-15 08:13:51 +0100 | iqubic | (~sophia@2601:602:9201:9440:2703:74d2:8023:534f) (Remote host closed the connection) |
| 2024-12-15 08:14:10 +0100 | iqubic | (~sophia@2601:602:9201:9440:2703:74d2:8023:534f) iqubic |
| 2024-12-15 08:14:42 +0100 | <probie> | > fmap (fmap (fmap (foldr1 (flip (fmap const negate)))) (drop 1)) inits [1..50] -- More fmap is more good |
| 2024-12-15 08:14:43 +0100 | <lambdabot> | [1,-2,3,-4,5,-6,7,-8,9,-10,11,-12,13,-14,15,-16,17,-18,19,-20,21,-22,23,-24,... |
| 2024-12-15 08:14:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 08:16:04 +0100 | <iqubic> | What the hell are you doing here? Surely there's an easier way to do that. |
| 2024-12-15 08:16:35 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-15 08:17:01 +0100 | <probie> | writing unreadable code that is also needlessly quadratic :p |
| 2024-12-15 08:17:08 +0100 | <mauke> | s/const/pure/ |
| 2024-12-15 08:17:31 +0100 | <probie> | > zipWith ($) (repeat [id, negate]) [1..50] |
| 2024-12-15 08:17:32 +0100 | <lambdabot> | error: |
| 2024-12-15 08:17:32 +0100 | <lambdabot> | • Couldn't match type ‘[a0 -> a0]’ with ‘a1 -> c’ |
| 2024-12-15 08:17:32 +0100 | <lambdabot> | Expected type: [a1 -> c] |
| 2024-12-15 08:17:48 +0100 | <probie> | > zipWith ($) (cycle [id, negate]) [1..50] |
| 2024-12-15 08:17:49 +0100 | <mauke> | cycle |
| 2024-12-15 08:17:50 +0100 | <lambdabot> | [1,-2,3,-4,5,-6,7,-8,9,-10,11,-12,13,-14,15,-16,17,-18,19,-20,21,-22,23,-24,... |
| 2024-12-15 08:20:44 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-15 08:22:01 +0100 | <iqubic> | mauke: How did you know that I was using Circe? I saw that Circe gave me mention of something about a CTCP version request, but I'm not sure what that actually means. |
| 2024-12-15 08:25:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 08:30:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 08:34:09 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 248 seconds) |
| 2024-12-15 08:35:54 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2024-12-15 08:37:25 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-15 08:40:18 +0100 | <mauke> | iqubic: CTCP VERSION reply from iqubic: Circe: Client for IRC in Emacs, version 2.13 |
| 2024-12-15 08:40:32 +0100 | <iqubic> | Ah. I see. That makes sense. |
| 2024-12-15 08:40:47 +0100 | <mauke> | it's /ver in irssi |
| 2024-12-15 08:41:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 08:46:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-15 08:51:33 +0100 | raym | (~ray@user/raym) (Ping timeout: 244 seconds) |
| 2024-12-15 08:55:38 +0100 | raym | (~ray@user/raym) raym |
| 2024-12-15 08:56:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-15 09:00:02 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-12-15 09:00:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-15 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-15 09:00:51 +0100 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 244 seconds) |
| 2024-12-15 09:03:48 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-12-15 09:03:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 09:04:04 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-12-15 09:05:23 +0100 | img | (~img@user/img) img |
| 2024-12-15 09:06:53 +0100 | homo | (~homo@37-33-208-60.bb.dnainternet.fi) |
| 2024-12-15 09:07:23 +0100 | homo | (~homo@37-33-208-60.bb.dnainternet.fi) (Changing host) |
| 2024-12-15 09:07:23 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-15 09:14:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 09:16:58 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-12-15 09:17:05 +0100 | briandaed | (~root@user/briandaed) briandaed |
| 2024-12-15 09:18:02 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2024-12-15 09:19:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 09:22:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-15 09:23:27 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-12-15 09:27:26 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-15 09:30:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 09:34:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 09:37:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-15 09:41:09 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2024-12-15 09:43:00 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2024-12-15 09:45:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 09:47:40 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-15 09:49:09 +0100 | CiaoSen | (~Jura@2a05:5800:208:7800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-15 09:49:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-15 09:56:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 09:59:32 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-15 10:01:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-15 10:01:05 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-15 10:11:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 10:16:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 10:18:41 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 248 seconds) |
| 2024-12-15 10:24:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2024-12-15 10:24:23 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-15 10:26:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 10:31:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 10:33:32 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-15 10:34:39 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-12-15 10:41:18 +0100 | CiaoSen | (~Jura@2a05:5800:208:7800:ca4b:d6ff:fec1:99da) (Ping timeout: 244 seconds) |
| 2024-12-15 10:42:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 10:48:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-15 10:49:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-15 10:53:53 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2024-12-15 10:56:53 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-15 10:57:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 11:01:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 11:03:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-15 11:07:47 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-15 11:07:52 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-15 11:08:41 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-15 11:12:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 11:16:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 11:20:45 +0100 | son0p | (~ff@186.119.81.227) son0p |
| 2024-12-15 11:21:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-15 11:27:14 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-12-15 11:27:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 11:28:07 +0100 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
| 2024-12-15 11:30:09 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-12-15 11:31:33 +0100 | son0p | (~ff@186.119.81.227) (Quit: Leaving) |
| 2024-12-15 11:32:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 11:37:19 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-15 11:38:46 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-15 11:43:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 11:49:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 11:58:53 +0100 | homo | (~homo@user/homo) (Quit: homo) |
| 2024-12-15 11:59:38 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-15 11:59:39 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2024-12-15 12:00:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 12:04:46 +0100 | son0p | (~ff@186.119.81.227) son0p |
| 2024-12-15 12:05:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-15 12:07:21 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-15 12:15:33 +0100 | AlexZenon | (~alzenon@5.139.233.0) (Ping timeout: 246 seconds) |
| 2024-12-15 12:15:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 12:20:05 +0100 | AlexZenon | (~alzenon@5.139.233.0) |
| 2024-12-15 12:22:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-15 12:23:54 +0100 | sprotte24 | (~sprotte24@p200300d16f1ba800a9c9867bbfc8fdf5.dip0.t-ipconnect.de) |
| 2024-12-15 12:24:48 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2024-12-15 12:24:48 +0100 | jmcantrell_ | jmcantrell |
| 2024-12-15 12:33:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 12:38:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-15 12:38:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-15 12:40:21 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-15 12:41:37 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2024-12-15 12:41:38 +0100 | tnt2 | tnt1 |
| 2024-12-15 12:49:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 12:49:25 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-12-15 12:50:12 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-15 12:53:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 12:55:21 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-15 12:57:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-15 13:04:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 13:07:19 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-12-15 13:08:00 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2024-12-15 13:08:05 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-15 13:08:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2024-12-15 13:08:47 +0100 | Square | (~Square@user/square) Square |
| 2024-12-15 13:09:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 13:10:36 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-15 13:11:15 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-12-15 13:20:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 13:24:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 13:27:04 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2024-12-15 13:29:24 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2024-12-15 13:32:04 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-12-15 13:34:04 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2024-12-15 13:35:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 13:38:12 +0100 | CiaoSen | (~Jura@2a05:5800:208:7800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-15 13:39:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 13:41:02 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-15 13:50:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 13:57:04 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-12-15 13:58:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 13:58:28 +0100 | CiaoSen | (~Jura@2a05:5800:208:7800:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-12-15 13:58:58 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-12-15 14:03:23 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: leaving) |
| 2024-12-15 14:04:29 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-15 14:06:01 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2024-12-15 14:08:00 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-12-15 14:08:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 14:08:55 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-15 14:09:54 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-12-15 14:11:35 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-15 14:13:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 14:24:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 14:28:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 14:39:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 14:44:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-15 14:44:39 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2024-12-15 14:48:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 14:52:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-15 14:56:37 +0100 | <hellwolf> | Reading Data.Coerce, while it is sensible that coerce Dict shouldn't work, but it is not clear that which of the coercible instances it violates. Since, in "Dict c" is almost like a phantom type to me. |
| 2024-12-15 15:02:18 +0100 | <hellwolf> | type role Dict nominal |
| 2024-12-15 15:02:24 +0100 | <hellwolf> | I guess this was the trick |
| 2024-12-15 15:02:41 +0100 | <hellwolf> | let me try a version without... |
| 2024-12-15 15:03:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 15:05:22 +0100 | <hellwolf> | hmm, no. it didn't matter. |
| 2024-12-15 15:07:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 15:08:43 +0100 | <probie> | Is the constructor for `Dict` exported? |
| 2024-12-15 15:10:34 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-15 15:10:47 +0100 | CiaoSen | (~Jura@2a05:5800:208:7800:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-12-15 15:11:04 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Remote host closed the connection) |
| 2024-12-15 15:11:28 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) housemate |
| 2024-12-15 15:13:12 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-15 15:18:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 15:19:43 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-15 15:19:59 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-12-15 15:20:31 +0100 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2024-12-15 15:20:33 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-12-15 15:20:57 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-12-15 15:21:36 +0100 | housemate | (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 2024-12-15 15:23:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-15 15:24:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-12-15 15:25:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-15 15:25:31 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2024-12-15 15:33:01 +0100 | <hellwolf> | yes |
| 2024-12-15 15:34:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 15:36:09 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-12-15 15:36:25 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-12-15 15:36:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-15 15:36:43 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-15 15:37:01 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-12-15 15:40:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 15:43:30 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-12-15 15:45:21 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-12-15 15:46:34 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) (Quit: Leaving) |
| 2024-12-15 15:46:50 +0100 | dostoevsky | (~dostoevsk@user/dostoevsky) dostoevsky |
| 2024-12-15 15:48:04 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-12-15 15:52:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 15:56:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 15:59:03 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-12-15 15:59:18 +0100 | CiaoSen | (~Jura@2a05:5800:208:7800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-12-15 16:02:14 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-12-15 16:04:13 +0100 | Digit | (~user@user/digit) Digit |
| 2024-12-15 16:06:19 +0100 | <tomsmeding> | hellwolf: it's not at all a phantom type, the c is a field |
| 2024-12-15 16:06:32 +0100 | <tomsmeding> | assuming you're talking about `data Dict c where Dict :: c => Dict c` (there's other variants floating around) |
| 2024-12-15 16:07:00 +0100 | <tomsmeding> | that Dict constructor has one field: a record containing the members of the `c` constraint |
| 2024-12-15 16:07:15 +0100 | <tomsmeding> | (an actual record if `c` is a type class; a tuple if it's a tuple, etc.) |
| 2024-12-15 16:07:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 16:08:13 +0100 | <tomsmeding> | if you write `coerce (Dict :: Dict (Eq Int)) :: Dict (Eq Float)`, then you're really asking to convert the two-field data type DictOfEq Int (the fields being (==) and (/=)) to one such for Float |
| 2024-12-15 16:08:17 +0100 | <tomsmeding> | that ain't gonna work |
| 2024-12-15 16:08:48 +0100 | <tomsmeding> | all this is just from the perspective of the implementation, not sure what happens with the roles |
| 2024-12-15 16:10:29 +0100 | <tomsmeding> | hellwolf: try looking at the Core for this: https://play.haskell.org/saved/m6SMYt3H |
| 2024-12-15 16:11:02 +0100 | <tomsmeding> | scroll to the bottom, you'll see the definition of 'foo', which applies the Dict constructor to one type argument (`Eq Int`) and one value argument (`GHC.Classes.$fEqInt`) |
| 2024-12-15 16:12:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 16:12:24 +0100 | <hellwolf> | how can I inspect the default "type role" of a type? |
| 2024-12-15 16:12:55 +0100 | <hellwolf> | I was wondering if that "c" is nominal, by default, or representational. If it is representational, is it actually carrying a "dictionary" around in run time. |
| 2024-12-15 16:13:25 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2024-12-15 16:14:44 +0100 | <tomsmeding> | hellwolf: hacky, but if you add `{-# OPTIONS -Wmissing-role-annotations #-}` and compile with ghc >=9.8, the warning will tell you what the inferred role is |
| 2024-12-15 16:15:03 +0100 | <tomsmeding> | and yes, it's really carrying around a dictionary at runtime |
| 2024-12-15 16:15:23 +0100 | <tomsmeding> | otherwise how would a function that receives typeclass "evidence" by pattern matching on a Dict value, know what functions to call? |
| 2024-12-15 16:15:36 +0100 | <hellwolf> | "Missing role annotation: type role Dict' representational" |
| 2024-12-15 16:15:54 +0100 | <hellwolf> | I wonder why the constraints library set it to nominal. |
| 2024-12-15 16:16:42 +0100 | <tomsmeding> | I think there's little point in it being representational |
| 2024-12-15 16:16:59 +0100 | <tomsmeding> | if you try `weird :: Dict (Eq Int) -> Dict (Eq (Identity Int)) ; weird = coerce`, that won't work |
| 2024-12-15 16:17:10 +0100 | <tomsmeding> | presumably because Eq has a nominal argument, because all type classes have |
| 2024-12-15 16:18:02 +0100 | <tomsmeding> | (because type classes can, by design, provide different instances for different types _by name_) |
| 2024-12-15 16:18:25 +0100 | <tomsmeding> | (so Eq Int could do something completely different from Eq (Identity Int); the fact that it doesn't is just sensibility by the writers of 'base') |
| 2024-12-15 16:22:51 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-15 16:23:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 16:24:47 +0100 | <hellwolf> | can I find a counter case where it makes no sense if I force "type role Dict' nominal" |
| 2024-12-15 16:25:01 +0100 | <hellwolf> | *representational |
| 2024-12-15 16:25:04 +0100 | <hellwolf> | execuse me |
| 2024-12-15 16:25:22 +0100 | <tomsmeding> | why would you want it? |
| 2024-12-15 16:25:45 +0100 | <hellwolf> | to understand what you just said |
| 2024-12-15 16:26:07 +0100 | <tomsmeding> | I'm not sure, I couldn't think of any such case |
| 2024-12-15 16:26:30 +0100 | <tomsmeding> | but even more, I can't think of a case where you could usefully _use_ the fact that it's representational |
| 2024-12-15 16:27:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 16:27:22 +0100 | <tomsmeding> | things that are constraints are either (), tuples of constraints, type class constraints, or equalities (if I'm not mistaken) |
| 2024-12-15 16:27:37 +0100 | <tomsmeding> | for none of these it makes any sense to coerce them |
| 2024-12-15 16:28:05 +0100 | <geekosaur> | hellwolf, I think the screw case here is a newtype that provides different instances. Let's say `Down a` (which reverses the `Ord` instance. Representationally `Dict a` and `Dict (Down a)` are the same, but coercing one to the other breaks `Ord` |
| 2024-12-15 16:28:33 +0100 | <tomsmeding> | geekosaur: that doesn't kind-check, Down :: Type -> Type but Dict :: Constraint -> Type |
| 2024-12-15 16:28:36 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-15 16:29:24 +0100 | <tomsmeding> | you'd need to coerce `Dict (Ord a)` to `Dict (Ord (Down a))` but that won't work already because Ord takes a nominal argument (presumably) |
| 2024-12-15 16:30:38 +0100 | <hellwolf> | what about typeclass without argument |
| 2024-12-15 16:30:58 +0100 | <tomsmeding> | such as? |
| 2024-12-15 16:31:19 +0100 | <tomsmeding> | oh |
| 2024-12-15 16:31:43 +0100 | <hellwolf> | class A; class A' |
| 2024-12-15 16:32:55 +0100 | <tomsmeding> | apparently two such classes are not representationally equivalent |
| 2024-12-15 16:32:59 +0100 | <tomsmeding> | https://play.haskell.org/saved/WBBWcisJ |
| 2024-12-15 16:33:09 +0100 | <tomsmeding> | (I had to check too) |
| 2024-12-15 16:33:27 +0100 | <tomsmeding> | the error is delightfully confusing |
| 2024-12-15 16:33:55 +0100 | <tomsmeding> | if you give Foo and Bar two members, the 'newtype' notice disappears |
| 2024-12-15 16:34:12 +0100 | <tomsmeding> | nice abstraction leaking here -- a dictionary with only one field is represented as a newtype instead of a data type :p |
| 2024-12-15 16:34:55 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-12-15 16:35:11 +0100 | <tomsmeding> | hellwolf: was a very good suggestion, kudos, but this is _also_ not a usecase for a representational Dict |
| 2024-12-15 16:35:26 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-15 16:35:56 +0100 | <mauke> | for AoC day 11, I didn't figure out the multiset representation. instead I came up with this: https://perl.bot/raw/wm6nxo |
| 2024-12-15 16:36:03 +0100 | <mauke> | it works, but does it make any sense? |
| 2024-12-15 16:38:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 16:38:28 +0100 | <hellwolf> | 12-15 17:35 <tomsmeding> hellwolf: was a very good suggestion, kudos, but this is _also_ not a usecase for a representational Dict |
| 2024-12-15 16:38:28 +0100 | <hellwolf> | Aha! That was a very interesting case! :D Is it even a fluke that it didn't type check?! |
| 2024-12-15 16:38:56 +0100 | <hellwolf> | Comparing to a explicitly nominal-role definition, the error message is: |
| 2024-12-15 16:39:00 +0100 | <hellwolf> | • Couldn't match type ‘Foo’ with ‘Bar’ |
| 2024-12-15 16:39:00 +0100 | <hellwolf> | arising from a use of ‘coerce’ |
| 2024-12-15 16:39:02 +0100 | <hellwolf> | which is more sensible. |
| 2024-12-15 16:39:21 +0100 | <hellwolf> | I guess that's a good enough reason to override the default "type role" designation. |
| 2024-12-15 16:39:31 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-15 16:42:41 +0100 | <hellwolf> | (unlikely a fluke, it's just not that easy to be representationally same) |
| 2024-12-15 16:42:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 16:44:23 +0100 | sindu | (~sindu@176.75.224.1) |
| 2024-12-15 16:44:32 +0100 | <hellwolf> | 12-15 17:36 <mauke> it works, but does it make any sense? |
| 2024-12-15 16:44:32 +0100 | <hellwolf> | Did you just made a perl EDSL in Haskell? |
| 2024-12-15 16:46:19 +0100 | <mauke> | no, it's just perl :-) |
| 2024-12-15 16:49:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 16:50:45 +0100 | michalz | (~michalz@185.246.207.217) |
| 2024-12-15 16:53:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 16:56:33 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-15 17:00:00 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-15 17:00:38 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-12-15 17:04:18 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-12-15 17:04:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 17:08:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 17:15:21 +0100 | sindu | (~sindu@176.75.224.1) (Ping timeout: 276 seconds) |
| 2024-12-15 17:19:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 17:21:55 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-15 17:22:51 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-12-15 17:26:15 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-15 17:26:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 17:27:12 +0100 | Digitteknohippie | Digit |
| 2024-12-15 17:29:19 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2024-12-15 17:37:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 17:42:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-15 17:42:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-15 17:53:02 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-15 17:53:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 17:55:29 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-15 17:57:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 18:03:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-15 18:06:18 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-12-15 18:08:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 18:12:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 18:20:02 +0100 | dsrt^ | (krt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-15 18:23:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 18:28:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 18:29:23 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-15 18:36:46 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-15 18:37:33 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-15 18:39:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 18:44:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 18:45:48 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-15 18:49:08 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-15 18:54:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 18:58:01 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Quit: cyanteeth) |
| 2024-12-15 19:01:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 19:03:52 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-15 19:04:25 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-12-15 19:06:09 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-15 19:07:59 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 252 seconds) |
| 2024-12-15 19:08:08 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2024-12-15 19:12:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 19:15:04 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Read error: Connection reset by peer) |
| 2024-12-15 19:16:07 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-12-15 19:16:25 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-12-15 19:17:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-15 19:19:04 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-12-15 19:22:04 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2024-12-15 19:23:24 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-12-15 19:28:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 19:31:13 +0100 | dsrt^ | (krt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-15 19:32:04 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-15 19:32:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 19:39:53 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-12-15 19:42:02 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-15 19:43:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 19:43:49 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-15 19:46:20 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-12-15 19:47:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-15 19:56:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-15 19:57:49 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-15 19:58:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 20:02:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 20:04:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-15 20:05:50 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) (Max SendQ exceeded) |
| 2024-12-15 20:06:04 +0100 | billchenchina | (~billchenc@103.118.42.229) (Remote host closed the connection) |
| 2024-12-15 20:11:56 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2024-12-15 20:13:01 +0100 | jero98772 | (~jero98772@178.66.157.129) |
| 2024-12-15 20:13:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 20:18:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 20:22:08 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-12-15 20:26:18 +0100 | homo | (~homo@user/homo) (Quit: homo) |
| 2024-12-15 20:29:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 20:29:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-15 20:31:05 +0100 | homo | (~homo@37-33-208-60.bb.dnainternet.fi) |
| 2024-12-15 20:31:30 +0100 | homo | (~homo@37-33-208-60.bb.dnainternet.fi) (Changing host) |
| 2024-12-15 20:31:30 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-15 20:31:48 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 272 seconds) |
| 2024-12-15 20:32:47 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-15 20:33:14 +0100 | jero98772 | (~jero98772@178.66.157.129) (Ping timeout: 260 seconds) |
| 2024-12-15 20:34:09 +0100 | Enviosity_ | (~Enviosity@2.219.56.221) (Ping timeout: 248 seconds) |
| 2024-12-15 20:35:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 20:44:23 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-12-15 20:46:34 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-15 20:47:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 20:48:27 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-15 20:49:02 +0100 | toch | (toch@user/toch) (Quit: WeeChat 4.3.4) |
| 2024-12-15 20:51:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 21:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-15 21:00:40 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-15 21:01:43 +0100 | toch | (toch@user/toch) toch |
| 2024-12-15 21:02:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 21:04:22 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-12-15 21:06:07 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-12-15 21:07:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 21:07:15 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-12-15 21:09:21 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 276 seconds) |
| 2024-12-15 21:13:33 +0100 | haver | (~Enviosity@2.219.56.221) |
| 2024-12-15 21:13:46 +0100 | haver | (~Enviosity@2.219.56.221) (Excess Flood) |
| 2024-12-15 21:14:36 +0100 | haver | (~Enviosity@2.219.56.221) |
| 2024-12-15 21:15:23 +0100 | jero98772 | (~jero98772@178.66.157.129) |
| 2024-12-15 21:15:34 +0100 | jero98772 | (~jero98772@178.66.157.129) (Remote host closed the connection) |
| 2024-12-15 21:15:38 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-15 21:17:14 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-15 21:18:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 21:20:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-15 21:20:20 +0100 | ljdarj1 | ljdarj |
| 2024-12-15 21:22:19 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-12-15 21:23:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 21:23:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-15 21:26:47 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-12-15 21:27:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-15 21:33:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 21:37:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 21:40:23 +0100 | <hellwolf> | I have a bit specific question, but perhaps common enough. Using Aeson, I have a string field in JSON, ""DeclarationError: Function \"__checked_add_t\" not found.\n --> main.yul:449:38:\n ...", something like this. How can I format it such that with real newlines? |
| 2024-12-15 21:40:50 +0100 | <tomsmeding> | get actual newlines in the JSON output? |
| 2024-12-15 21:40:54 +0100 | <tomsmeding> | is that even valid JSON |
| 2024-12-15 21:43:25 +0100 | <hellwolf> | I don't know what I am doing, perhaps. Since, I haven't really looked into Aeson doc that much: |
| 2024-12-15 21:43:25 +0100 | <hellwolf> | Left (decodeUtf8 . encode $ fmap (^? key "formattedMessage") errors))) |
| 2024-12-15 21:43:25 +0100 | <hellwolf> | I get: I just want to print that formmatedMessage to my screen without all those \N |
| 2024-12-15 21:43:37 +0100 | <hellwolf> | copy paste error, I get: https://paste.tomsmeding.com/ggsaEKdf |
| 2024-12-15 21:43:48 +0100 | <geekosaur> | you'll need to write your own function to interpret backslashes |
| 2024-12-15 21:44:05 +0100 | <tomsmeding> | this is a list of strings |
| 2024-12-15 21:44:06 +0100 | <geekosaur> | \n -> newline, \t -> tab, \r -> carriage return, etc. |
| 2024-12-15 21:44:12 +0100 | <tomsmeding> | who's printing this list of strings |
| 2024-12-15 21:44:32 +0100 | <hellwolf> | I know it's a list of strings. but let me see how can I concat them |
| 2024-12-15 21:44:46 +0100 | <tomsmeding> | who is doing the `print` on this :p |
| 2024-12-15 21:44:52 +0100 | <tomsmeding> | if it's you, then fix that code |
| 2024-12-15 21:45:09 +0100 | <tomsmeding> | if it's aeson, then call a lower-level function that doesn't do that for you |
| 2024-12-15 21:48:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 21:48:57 +0100 | <geekosaur> | I figured that was deliberate to get it wrapped in quotes or sth, not thinking about how things would also get escaped |
| 2024-12-15 21:49:37 +0100 | <geekosaur> | although then I wonder how manay levels of escaping, because `show` uses Haskell escapes which are emphatically not JSON-compatible escapes |
| 2024-12-15 21:50:34 +0100 | cyanteeth | (~cyanteeth@user/cyanteeth) cyanteeth |
| 2024-12-15 21:52:51 +0100 | <hellwolf> | one sec. I am dealing with some of my ancient code.... I might have a solution |
| 2024-12-15 21:53:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-15 21:53:42 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-15 22:02:34 +0100 | <hellwolf> | alright, I give up, I have to install aeson-pretty I guess |
| 2024-12-15 22:02:37 +0100 | <hellwolf> | reluctantly |
| 2024-12-15 22:04:14 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2024-12-15 22:04:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 22:11:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 22:12:56 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2024-12-15 22:12:56 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2024-12-15 22:12:56 +0100 | __jmcantrell__ | jmcantrell |
| 2024-12-15 22:13:06 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2024-12-15 22:22:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 22:25:58 +0100 | sindu | (~sindu@176.75.224.1) |
| 2024-12-15 22:27:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-15 22:28:42 +0100 | Digitteknohippie | Digit |
| 2024-12-15 22:33:38 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2024-12-15 22:33:47 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-12-15 22:35:52 +0100 | <hellwolf> | okay, I was wrong. but I found a workaround. Now it works. I will need to fix my old crappy code, really. |
| 2024-12-15 22:35:52 +0100 | <hellwolf> | The idea is that encode will convert Aeson.Value back to bytestring, and decode will decode it to the T.Text I wanted.. |
| 2024-12-15 22:35:52 +0100 | <hellwolf> | I should have not started with the opaque Aeson.Value in the first place, which I will fix. |
| 2024-12-15 22:36:43 +0100 | <hellwolf> | https://paste.tomsmeding.com/lN2UanCe |
| 2024-12-15 22:37:23 +0100 | fmira | (~user@user/fmira) fmira |
| 2024-12-15 22:37:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 22:38:00 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-12-15 22:39:42 +0100 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2024-12-15 22:40:10 +0100 | <hellwolf> | To avoid having opaque Aeson.Value, I would need to define ToJSON or FromJSON type classes. |
| 2024-12-15 22:41:16 +0100 | son0p | (~ff@186.119.81.227) (Killed (NickServ (GHOST command used by son0p-))) |
| 2024-12-15 22:42:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 22:42:23 +0100 | son0p | (~ff@186.119.81.227) son0p |
| 2024-12-15 22:43:41 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-15 22:45:08 +0100 | OftenFaded | (OftenFaded@user/tisktisk) OftenFaded |
| 2024-12-15 22:49:25 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-15 22:49:55 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-12-15 22:51:49 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-15 22:53:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 22:57:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-15 22:58:22 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
| 2024-12-15 23:03:01 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-12-15 23:08:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 23:12:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-15 23:18:09 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-15 23:23:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 23:28:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-15 23:32:29 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-12-15 23:35:49 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-15 23:39:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-15 23:42:17 +0100 | sindu | (~sindu@176.75.224.1) (Ping timeout: 244 seconds) |
| 2024-12-15 23:45:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-15 23:48:58 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-12-15 23:56:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |