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