IRCBrowse

2025/01/04

2025-01-04 00:00:21 +0100 <monochrom> If you have an unboxed vector and it's mutable and you are in ST/IO modifying it in-place, there should not be that much allocation, at least not allocation a whole new copy of the whole vector.
2025-01-04 00:01:36 +0100 <haskellbridge> <magic_rb> Yes but im pulling out the Int from it, doing some compressions and then returning a Bool to the calling code saying "yep exists" and doing that hundreds of times per frame
2025-01-04 00:01:40 +0100 <haskellbridge> <magic_rb> Which adds up
2025-01-04 00:01:41 +0100 <monochrom> or rather, s/there should not be/that should not be the cause of/
2025-01-04 00:02:21 +0100 <haskellbridge> <magic_rb> The exists function does nothing else, it takes a Int, accesses the vectors from behind a STRef and then returns a Bool
2025-01-04 00:03:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 00:13:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 00:14:46 +0100michalz(~michalz@185.246.207.201) (Remote host closed the connection)
2025-01-04 00:15:52 +0100foul_owl(~kerry@193.42.0.124) (Ping timeout: 252 seconds)
2025-01-04 00:17:57 +0100xal(~xal@mx1.xal.systems) (Quit: bye)
2025-01-04 00:18:32 +0100xal(~xal@mx1.xal.systems) xal
2025-01-04 00:18:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-04 00:20:31 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2025-01-04 00:23:26 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2025-01-04 00:23:26 +0100ChanServ+v haskellbridge
2025-01-04 00:25:58 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.40) Jeanne-Kamikaze
2025-01-04 00:26:14 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.40) (Remote host closed the connection)
2025-01-04 00:28:07 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.40) Jeanne-Kamikaze
2025-01-04 00:29:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 00:33:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 00:41:19 +0100foul_owl(~kerry@185.203.219.80) foul_owl
2025-01-04 00:42:55 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2025-01-04 00:44:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 00:46:55 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 264 seconds)
2025-01-04 00:47:40 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 272 seconds)
2025-01-04 00:49:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 00:50:16 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 00:50:18 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-01-04 00:51:01 +0100 <sm> lambdabot's where db contains enlightenment: https://ifdb.org/viewgame?id=fn8r65rg7upfff0o , but I see no Haskell connection - will clean it out unless you know otherwise
2025-01-04 00:52:27 +0100Everything(~Everythin@195.138.86.118) (Quit: leaving)
2025-01-04 00:54:25 +0100 <sm> @where+ enlightenment
2025-01-04 00:54:25 +0100 <lambdabot> It is forgotten.
2025-01-04 00:55:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 00:55:31 +0100 <sm> @where+ nikki https://github.com/nikki-and-the-robots/nikki
2025-01-04 00:55:31 +0100 <lambdabot> Done.
2025-01-04 00:58:01 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-04 00:59:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 01:02:03 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2025-01-04 01:04:19 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-01-04 01:04:38 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-01-04 01:06:57 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-01-04 01:10:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 01:10:57 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-01-04 01:10:57 +0100ljdarj1ljdarj
2025-01-04 01:16:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 01:21:02 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-01-04 01:21:12 +0100sprotte24(~sprotte24@p200300d16f1ef200acc092aad64c3103.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-01-04 01:24:36 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 276 seconds)
2025-01-04 01:26:37 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.40) (Quit: Leaving)
2025-01-04 01:27:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 01:34:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-04 01:41:32 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-01-04 01:43:06 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving)
2025-01-04 01:45:33 +0100OftenFaded(~OftenFade@user/tisktisk) (Quit: Client closed)
2025-01-04 01:45:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 01:46:04 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-01-04 01:46:14 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 01:48:02 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-01-04 01:50:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 01:51:21 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 01:52:35 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2025-01-04 01:55:39 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-04 01:56:15 +0100notzmv(~umar@user/notzmv) notzmv
2025-01-04 01:59:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 02:02:14 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-04 02:04:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 02:09:35 +0100acidjnk_new3(~acidjnk@p200300d6e7283f650d9e6e69048fea1c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-04 02:10:41 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-01-04 02:11:55 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-04 02:15:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 02:18:55 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 244 seconds)
2025-01-04 02:19:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 02:30:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 02:32:26 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-01-04 02:32:41 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 02:35:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-04 02:35:32 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-01-04 02:43:21 +0100califax(~califax@user/califx) califx
2025-01-04 02:44:14 +0100otto_s(~user@p4ff27e6d.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-01-04 02:45:37 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-01-04 02:45:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 02:46:04 +0100otto_s(~user@p5de2fd3f.dip0.t-ipconnect.de)
2025-01-04 02:50:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 02:50:37 +0100talismanick(~user@2601:644:937c:ed10::ae5) talismanick
2025-01-04 02:53:21 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 248 seconds)
2025-01-04 02:53:26 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) Jeanne-Kamikaze
2025-01-04 03:00:15 +0100harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca
2025-01-04 03:00:59 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 03:01:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 03:02:45 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
2025-01-04 03:06:02 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-04 03:06:05 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 260 seconds)
2025-01-04 03:07:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-04 03:14:39 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 03:19:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 03:19:22 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 244 seconds)
2025-01-04 03:23:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 03:24:57 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: pillow time)
2025-01-04 03:28:31 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 03:33:08 +0100talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2025-01-04 03:34:09 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 246 seconds)
2025-01-04 03:34:30 +0100dabs(~Owner@2600:1700:69cf:9000:cdd4:bc4b:f69f:7dcd) (Read error: Connection reset by peer)
2025-01-04 03:34:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 03:38:06 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-04 03:38:28 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-04 03:39:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 03:41:38 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 03:46:35 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 03:48:02 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2025-01-04 03:50:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 03:54:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 03:55:06 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 04:00:07 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 04:05:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 04:08:41 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 04:10:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 04:13:39 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 04:15:01 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-01-04 04:19:27 +0100remexre(~remexre@user/remexre) (Ping timeout: 276 seconds)
2025-01-04 04:20:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 04:22:13 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 04:22:27 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2025-01-04 04:25:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 04:27:11 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 04:32:14 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-04 04:33:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 04:33:59 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 04:38:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-04 04:42:55 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-04 04:48:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 04:49:25 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 04:55:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 04:55:21 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2025-01-04 04:56:18 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:01:19 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 252 seconds)
2025-01-04 05:05:05 +0100Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-01-04 05:06:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 05:07:25 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:10:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 05:12:05 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 248 seconds)
2025-01-04 05:15:31 +0100xff0x(~xff0x@2405:6580:b080:900:6592:e8c3:c948:25b2) (Ping timeout: 265 seconds)
2025-01-04 05:17:03 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 246 seconds)
2025-01-04 05:18:41 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:22:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 05:23:17 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 248 seconds)
2025-01-04 05:26:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 05:30:44 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:35:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-04 05:35:49 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 05:36:48 +0100xff0x(~xff0x@2405:6580:b080:900:9eea:e9b7:c052:2e2b)
2025-01-04 05:37:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 05:38:36 +0100dysthesis(~dysthesis@user/dysthesis) (Ping timeout: 264 seconds)
2025-01-04 05:39:52 +0100gawen(~gawen@user/gawen) (Quit: cya)
2025-01-04 05:41:13 +0100Guest44(~Guest44@2405:201:6023:f02f:10c6:5052:ce4a:df9e)
2025-01-04 05:41:16 +0100gawen(~gawen@user/gawen) gawen
2025-01-04 05:42:03 +0100Guest44(~Guest44@2405:201:6023:f02f:10c6:5052:ce4a:df9e) (Client Quit)
2025-01-04 05:42:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 05:42:20 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:46:25 +0100fun-safe-math(~fun-safe-@2601:1c2:1b7f:801f:ece:4698:cd8b:41e1) (Quit: No Ping reply in 180 seconds.)
2025-01-04 05:47:40 +0100fun-safe-math(~fun-safe-@2601:1c2:1b7f:801f:25c5:ab3d:d3f4:6796) fun-safe-math
2025-01-04 05:51:16 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 244 seconds)
2025-01-04 05:52:17 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-04 05:52:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 05:57:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 05:57:58 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:58:54 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-04 06:02:48 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 252 seconds)
2025-01-04 06:07:01 +0100harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2025-01-04 06:08:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 06:12:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 06:15:15 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 06:19:49 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 248 seconds)
2025-01-04 06:23:18 +0100olivial(~benjaminl@user/benjaminl) (Remote host closed the connection)
2025-01-04 06:23:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 06:24:31 +0100 <Leary> magic_rb: I suggest writing these functions directly in `ST s`; they can always be generalised with `stToPrim` anyway. Being monad-polymorphic interferes with optimisation. The other option is to litter your code with `SPECIALISE` pragmata.
2025-01-04 06:25:10 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-04 06:26:45 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 06:30:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-04 06:31:53 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 06:34:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 06:38:29 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 06:39:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 06:43:08 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 252 seconds)
2025-01-04 06:43:21 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-01-04 06:49:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 06:50:33 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 06:54:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 06:55:20 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 244 seconds)
2025-01-04 06:57:13 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-04 07:02:34 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 07:07:17 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 248 seconds)
2025-01-04 07:10:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 07:11:52 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) (Quit: Leaving)
2025-01-04 07:14:18 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 07:14:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 07:19:06 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 244 seconds)
2025-01-04 07:25:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 07:26:28 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 07:30:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-04 07:31:30 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 260 seconds)
2025-01-04 07:35:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 07:36:41 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-01-04 07:37:54 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 07:38:33 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-04 07:39:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-04 07:40:52 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-04 07:48:50 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 272 seconds)
2025-01-04 07:50:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 07:53:18 +0100mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2025-01-04 07:53:23 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-04 07:54:49 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-04 07:54:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-04 07:55:40 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 07:57:43 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-01-04 08:00:15 +0100JamesMowery439(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-01-04 08:00:32 +0100JamesMowery439(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-01-04 08:01:17 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2025-01-04 08:04:28 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-04 08:05:19 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-04 08:06:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 08:06:07 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 244 seconds)
2025-01-04 08:06:47 +0100CiaoSen(~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) CiaoSen
2025-01-04 08:10:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-04 08:12:20 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-04 08:13:38 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 08:13:48 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-04 08:13:49 +0100tnt2tnt1
2025-01-04 08:18:42 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 08:21:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 08:26:40 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 08:28:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 08:43:01 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 252 seconds)
2025-01-04 08:43:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 08:45:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-01-04 08:48:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 08:57:06 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 08:59:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 09:00:03 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-04 09:00:43 +0100caconym(~caconym@user/caconym) caconym
2025-01-04 09:01:04 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-04 09:01:04 +0100homo(~homo@user/homo) homo
2025-01-04 09:02:55 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-04 09:04:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-04 09:08:03 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 246 seconds)
2025-01-04 09:08:32 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2025-01-04 09:11:43 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-04 09:15:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 09:18:55 +0100olivial(~benjaminl@user/benjaminl) (Remote host closed the connection)
2025-01-04 09:20:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 09:20:07 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-04 09:20:31 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 244 seconds)
2025-01-04 09:20:43 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-04 09:21:29 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-04 09:25:45 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-04 09:30:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 09:32:29 +0100housemate(~housemate@pa49-183-77-28.pa.vic.optusnet.com.au) housemate
2025-01-04 09:32:49 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 09:34:21 +0100dtman34(~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) (Ping timeout: 252 seconds)
2025-01-04 09:35:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-04 09:37:51 +0100housemate(~housemate@pa49-183-77-28.pa.vic.optusnet.com.au) (Remote host closed the connection)
2025-01-04 09:38:08 +0100dtman34(~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34
2025-01-04 09:39:52 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 252 seconds)
2025-01-04 09:46:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 09:46:58 +0100xdminsy(~xdminsy@117.147.71.240) (Read error: Connection reset by peer)
2025-01-04 09:48:02 +0100xdminsy(~xdminsy@117.147.71.240) xdminsy
2025-01-04 09:50:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 10:01:47 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-04 10:03:16 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-04 10:04:54 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 10:07:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 10:07:33 +0100AlexZenon(~alzenon@5.139.233.96) (Read error: Connection reset by peer)
2025-01-04 10:10:22 +0100AlexNoo(~AlexNoo@5.139.233.96) (Quit: Leaving)
2025-01-04 10:10:57 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-04 10:11:41 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-04 10:16:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 10:22:43 +0100__monty__(~toonn@user/toonn) toonn
2025-01-04 10:27:08 +0100AlexNoo(~AlexNoo@5.139.233.96)
2025-01-04 10:28:14 +0100ash3en(~Thunderbi@146.70.124.222) (Ping timeout: 265 seconds)
2025-01-04 10:32:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 10:33:28 +0100notzmv(~umar@user/notzmv) notzmv
2025-01-04 10:37:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-04 10:40:53 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 10:42:45 +0100notzmv(~umar@user/notzmv) (Ping timeout: 248 seconds)
2025-01-04 10:47:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-04 10:48:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 10:57:45 +0100sroso(~sroso@user/SrOso) SrOso
2025-01-04 10:57:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-04 11:01:37 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-01-04 11:08:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 11:08:49 +0100acidjnk_new3(~acidjnk@p200300d6e7283f76a14a9c782d5dbd43.dip0.t-ipconnect.de) acidjnk
2025-01-04 11:12:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 11:13:24 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-01-04 11:20:49 +0100CiaoSen(~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds)
2025-01-04 11:23:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 11:27:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-04 11:36:55 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-01-04 11:38:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 11:43:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 11:50:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-04 11:54:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 11:55:31 +0100remexre(~remexre@user/remexre) remexre
2025-01-04 11:56:12 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-01-04 11:59:36 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2)
2025-01-04 11:59:50 +0100housemate(~housemate@180.150.20.155) housemate
2025-01-04 12:01:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 12:03:27 +0100remexre(~remexre@user/remexre) (Ping timeout: 265 seconds)
2025-01-04 12:06:27 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-01-04 12:08:48 +0100housemate(~housemate@180.150.20.155) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.)
2025-01-04 12:15:40 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-04 12:21:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 12:21:38 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-04 12:26:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 12:27:47 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-04 12:32:54 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-01-04 12:35:24 +0100Everything(~Everythin@195.138.86.118) Everything
2025-01-04 12:36:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 12:41:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 12:43:55 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-04 12:51:58 +0100notzmv(~umar@user/notzmv) notzmv
2025-01-04 12:51:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 12:52:57 +0100euphores(~SASL_euph@user/euphores) (Ping timeout: 276 seconds)
2025-01-04 12:56:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 12:59:20 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-04 13:00:04 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-04 13:02:14 +0100caconym(~caconym@user/caconym) caconym
2025-01-04 13:04:14 +0100sroso(~sroso@user/SrOso) (Quit: Leaving :))
2025-01-04 13:06:59 +0100xdminsy(~xdminsy@117.147.71.240) (Read error: Connection reset by peer)
2025-01-04 13:07:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 13:07:29 +0100xdminsy(~xdminsy@117.147.71.240) xdminsy
2025-01-04 13:14:04 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-01-04 13:14:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-04 13:14:34 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-01-04 13:16:52 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-01-04 13:20:05 +0100acidjnk_new3(~acidjnk@p200300d6e7283f76a14a9c782d5dbd43.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-01-04 13:24:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 13:26:41 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-01-04 13:29:10 +0100CiaoSen(~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) CiaoSen
2025-01-04 13:29:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-04 13:37:36 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-01-04 13:39:09 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2025-01-04 13:40:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 13:46:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 13:53:50 +0100eL_Bart0(eL_Bart0@dietunichtguten.org) (Ping timeout: 244 seconds)
2025-01-04 13:58:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 13:58:22 +0100acidjnk_new3(~acidjnk@p200300d6e7283f76a14a9c782d5dbd43.dip0.t-ipconnect.de)
2025-01-04 14:00:11 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-01-04 14:01:34 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2025-01-04 14:03:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-04 14:05:50 +0100CiaoSen(~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds)
2025-01-04 14:06:32 +0100ubert(~Thunderbi@p200300ecdf117c0e0996fc53182b6276.dip0.t-ipconnect.de) ubert
2025-01-04 14:10:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 14:14:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 14:15:29 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-01-04 14:25:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 14:30:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 14:39:02 +0100paul_j(~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection)
2025-01-04 14:41:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 14:47:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 14:51:37 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-01-04 14:56:25 +0100ubert(~Thunderbi@p200300ecdf117c0e0996fc53182b6276.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-04 14:57:00 +0100xdminsy(~xdminsy@117.147.71.240) (Read error: Connection reset by peer)
2025-01-04 14:58:13 +0100xdminsy(~xdminsy@117.147.71.240) xdminsy
2025-01-04 14:58:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 15:02:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 15:08:12 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-04 15:13:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 15:13:55 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-04 15:20:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-04 15:21:35 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-04 15:21:41 +0100xdminsy(~xdminsy@117.147.71.240) (Ping timeout: 248 seconds)
2025-01-04 15:21:53 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2025-01-04 15:22:29 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-04 15:22:32 +0100xdminsy(~xdminsy@117.147.71.240) xdminsy
2025-01-04 15:31:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 15:31:52 +0100Square(~Square@user/square) Square
2025-01-04 15:36:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 15:47:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 15:47:58 +0100dequbed(~dequbed@banana-new.kilobyte22.de) (Quit: bye!)
2025-01-04 15:51:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-04 15:54:28 +0100nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2025-01-04 16:02:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 16:07:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-04 16:09:40 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-04 16:17:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 16:22:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 16:24:30 +0100nadja(~dequbed@banana-new.kilobyte22.de) (Ping timeout: 246 seconds)
2025-01-04 16:26:21 +0100nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2025-01-04 16:26:41 +0100nadja(~dequbed@banana-new.kilobyte22.de) (Client Quit)
2025-01-04 16:28:01 +0100 <hellwolf> I still find it challenging to support tupleN and Solo seemlessly with one typeclass function. It may need both overlappable and undecidable instances. My strategy is to have two distinct functions always, one for Solo without the Solo tag, one for N-tuple.
2025-01-04 16:28:12 +0100 <hellwolf> Does anyone have experience with such trite ?
2025-01-04 16:28:54 +0100housemate(~housemate@pa49-184-1-177.pa.vic.optusnet.com.au) housemate
2025-01-04 16:30:46 +0100weary-traveler(~user@user/user363627) user363627
2025-01-04 16:31:22 +0100nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2025-01-04 16:33:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 16:36:55 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-04 16:37:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 16:39:44 +0100acidjnk_new(~acidjnk@p200300d6e7283f7668d37e9a63f3942c.dip0.t-ipconnect.de) acidjnk
2025-01-04 16:40:19 +0100acidjnk_new3(~acidjnk@p200300d6e7283f76a14a9c782d5dbd43.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2025-01-04 16:44:32 +0100 <geekosaur> https://github.com/haskell/cabal/pull/10270 might give you something to work from? (it changes how Cabal's structured hashes work with tuples/Solo, which code might be useful for you?)
2025-01-04 16:48:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 16:49:31 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-04 16:51:58 +0100 <hellwolf> let me see
2025-01-04 16:55:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-04 16:55:25 +0100 <hellwolf> in fairness, I think it is because I defined TupleN as type family, which prompts the usage of undecidableinstances if used in conjunction with type classes.
2025-01-04 16:55:45 +0100 <hellwolf> maybe I should just learn to live with UndecidableInstances in certain places
2025-01-04 16:57:11 +0100 <hellwolf> Actually, there is also a default method trick, which will check constraint without resorting to UncecidableInstances
2025-01-04 16:57:41 +0100 <hellwolf> So that I can make that work for all tupleN, and override it for MkSolo-less solo values.
2025-01-04 16:58:21 +0100 <hellwolf> hmmm, no, then that instance will be for all types, since its instance head is simply "a"
2025-01-04 16:58:37 +0100 <hellwolf> will try more another day...
2025-01-04 16:59:26 +0100 <hellwolf> fwiw, this is example of the type signatures I have in a few places: https://paste.tomsmeding.com/hE4h3Qs3
2025-01-04 16:59:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 17:02:28 +0100housemate_(~housemate@180.150.20.155) housemate
2025-01-04 17:02:54 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds)
2025-01-04 17:04:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-04 17:04:59 +0100housemate(~housemate@pa49-184-1-177.pa.vic.optusnet.com.au) (Ping timeout: 245 seconds)
2025-01-04 17:07:09 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-04 17:08:30 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-01-04 17:12:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-04 17:15:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 17:19:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 17:27:32 +0100frankenstein__(~housemate@pa49-185-180-246.pa.vic.optusnet.com.au) housemate
2025-01-04 17:29:56 +0100housemate_(~housemate@180.150.20.155) (Ping timeout: 252 seconds)
2025-01-04 17:30:58 +0100ft(~ft@p508db62f.dip0.t-ipconnect.de) ft
2025-01-04 17:34:24 +0100Everything(~Everythin@195.138.86.118) (Quit: leaving)
2025-01-04 17:34:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 17:39:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 17:41:14 +0100frankenstein__(~housemate@pa49-185-180-246.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.)
2025-01-04 17:46:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 17:48:30 +0100acidjnk_new(~acidjnk@p200300d6e7283f7668d37e9a63f3942c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-01-04 17:54:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 17:59:16 +0100mjrosenb(~mjrosenb@70.18.10.118)
2025-01-04 18:00:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 18:04:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 18:04:58 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-04 18:10:11 +0100spew(~spew@135.233.119.40) (Remote host closed the connection)
2025-01-04 18:10:26 +0100spew(~spew@135.233.119.40) spew
2025-01-04 18:16:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 18:20:13 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.40) Jeanne-Kamikaze
2025-01-04 18:20:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 18:22:36 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
2025-01-04 18:25:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 18:29:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 18:38:41 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-01-04 18:40:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 18:42:32 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-01-04 18:42:52 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-01-04 18:43:28 +0100weary-traveler(~user@user/user363627) (Read error: Connection reset by peer)
2025-01-04 18:45:56 +0100weary-traveler(~user@user/user363627) user363627
2025-01-04 18:47:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-04 18:48:08 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-01-04 18:51:37 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2025-01-04 18:58:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 18:58:43 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-01-04 19:02:59 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2025-01-04 19:04:08 +0100pie_(~pie_bnc@user/pie/x-2818909) ()
2025-01-04 19:06:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 19:06:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-04 19:06:25 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.40) (Quit: Leaving)
2025-01-04 19:09:01 +0100pie_(~pie_bnc@user/pie/x-2818909) __
2025-01-04 19:09:11 +0100 <hellwolf> is defining operator (.:=) (.<-) future proof for the overloadded dot worlds?
2025-01-04 19:12:10 +0100acidjnk_new(~acidjnk@p200300d6e7283f7668d37e9a63f3942c.dip0.t-ipconnect.de) acidjnk
2025-01-04 19:15:01 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-04 19:15:06 +0100 <monochrom> Let us take a look at the GHC user's guide on that.
2025-01-04 19:15:48 +0100 <monochrom> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/overloaded_record_dot.html
2025-01-04 19:16:21 +0100 <monochrom> Ugh OK that doesn't say anything about how the lexer and parser works.
2025-01-04 19:16:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 19:17:05 +0100 <hellwolf> :p
2025-01-04 19:17:23 +0100 <monochrom> I'm going to guess that only <alphabetical_name>.<alphabetical_name> is recognized as record dot, so foo.:= will not be affected.
2025-01-04 19:17:59 +0100 <hellwolf> a quick search on hoogle suggests that there are plenty of (.***) operators exist in the wild
2025-01-04 19:18:16 +0100 <monochrom> Yeah that's also a goo assurance.
2025-01-04 19:18:48 +0100 <hellwolf> you just need to disregard the possibility of the likes of GHC 9.0 deep subsumption saga would not happen again.
2025-01-04 19:18:52 +0100 <monochrom> Like how NP-completeness allows you to tell your boss "I can't make it fast but all of CS can't either" >:)
2025-01-04 19:19:40 +0100 <monochrom> Oh that one is easily solved by being less pointfree.
2025-01-04 19:19:49 +0100 <hellwolf> but I think it could be a sick tradition, say, at 10.0, we introduce a ecosystem wide breaking change that would have to be rolled back by 10.2
2025-01-04 19:20:29 +0100nshepperd27(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2025-01-04 19:20:55 +0100 <hellwolf> > solved by being less pointfree
2025-01-04 19:20:55 +0100 <hellwolf> gosh, we just had this conversation yesterday. I was coerced to be more pointfree by hlint.
2025-01-04 19:21:08 +0100 <lambdabot> error:
2025-01-04 19:21:08 +0100 <lambdabot> • Variable not in scope: solved :: t0 -> t1 -> t2 -> t3 -> t
2025-01-04 19:21:08 +0100 <lambdabot> • Perhaps you meant ‘folded’ (imported from Control.Lens)error:
2025-01-04 19:21:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-04 19:22:16 +0100monochromran into it, but quickly discovered that eta expansion solves it, it's annoying but merely annoying, don't understand why other people make it sound like apocalypical.
2025-01-04 19:22:18 +0100nshepperd2(~nshepperd@static.117.72.21.65.clients.your-server.de) (Ping timeout: 276 seconds)
2025-01-04 19:22:18 +0100nshepperd27nshepperd2
2025-01-04 19:22:34 +0100 <monochrom> Oh I don't even use hlint.
2025-01-04 19:23:12 +0100 <int-e> but do you :set -Wno-x-partial in your .ghci
2025-01-04 19:24:28 +0100 <monochrom> I teach Haskell as part of a course, I am supposed to write elementary code because students are new to Haskell so "f x = g (h x)" and "(\x -> x + 5)" are more appropriate, I don't need a linter that tells me to write code beginners don't understand.
2025-01-04 19:24:51 +0100 <monochrom> Also Haskell is only part of the course, not going to waste time on cute (+ 5) syntax.
2025-01-04 19:25:38 +0100 <monochrom> I don't even have time to teach ($), I write "m <*> n = liftA2 (\f x -> f x) m n" explicitly.
2025-01-04 19:26:25 +0100 <hellwolf> also, there is people saying hlint is for beginners :D
2025-01-04 19:26:27 +0100 <hellwolf> so confusing
2025-01-04 19:26:35 +0100 <monochrom> What does -Wno-x-partial do?
2025-01-04 19:26:58 +0100 <int-e> it silences the warnings about head and tail and a few more functions like that
2025-01-04 19:26:58 +0100 <geekosaur> stops recent ghc from warning about things like `head`
2025-01-04 19:27:14 +0100 <monochrom> To be fair, some hlint advices are for beginners and code smells. But not the majority.
2025-01-04 19:27:33 +0100 <geekosaur> hlint is trying to get beginners to write more mature code. monochrom's course is not about that
2025-01-04 19:27:34 +0100 <monochrom> The majority is about pretending to be an expert.
2025-01-04 19:27:43 +0100Guest78(~Guest78@37.228.251.150)
2025-01-04 19:28:06 +0100 <monochrom> Ah, what is "x" doing there? :)
2025-01-04 19:28:20 +0100 <geekosaur> "x-" prefix is for user defined warnings
2025-01-04 19:28:34 +0100 <geekosaur> x-partial isn't built into ghc; it's defined by base
2025-01-04 19:28:56 +0100 <monochrom> Oh like email headers have X-Spamassassin: ...
2025-01-04 19:29:04 +0100 <geekosaur> exactly
2025-01-04 19:29:23 +0100 <monochrom> Haha you missed the opportunity for "X-actly"
2025-01-04 19:29:35 +0100 <monochrom> Sorry! I love bad puns and dad jokes.
2025-01-04 19:29:41 +0100 <geekosaur> I'm not defining a new word 😛
2025-01-04 19:30:58 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-01-04 19:32:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 19:32:42 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2025-01-04 19:33:53 +0100Lord_of_Life_Lord_of_Life
2025-01-04 19:34:37 +0100 <monochrom> There is also a difference between "you wrote f x = g 4 x, why not f = g 4" and "you wrote f x = g 4 x, it can be simplified to f = g 4 because ..."
2025-01-04 19:35:19 +0100 <monochrom> A reminder tool for experts can do the former (as is supposed to). That is not for beginner unless you want to foster cargo culting.
2025-01-04 19:35:44 +0100 <monochrom> For beginner, you want to foster learning, curiosity, growth. You are supposed to do the latter.
2025-01-04 19:36:17 +0100 <monochrom> hlint does the former so it is not for beginner unless you encourage cargo culting.
2025-01-04 19:37:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-04 19:43:25 +0100 <haskellbridge> <maerwald> They are not the same
2025-01-04 19:44:23 +0100 <haskellbridge> <maerwald> https://github.com/quchen/articles/blob/master/fbut.md#f-x---is-not-f--x---
2025-01-04 19:44:36 +0100 <haskellbridge> <maerwald> Hlint is not an expert tool
2025-01-04 19:45:05 +0100 <haskellbridge> <maerwald> An expert tool would suggest what actually makes sense in the context
2025-01-04 19:45:22 +0100 <haskellbridge> <maerwald> Not just simplistic conversion rules
2025-01-04 19:45:59 +0100 <haskellbridge> <sm> One of these days someone will train an LLM on Haskell specifically and it will be pretty good
2025-01-04 19:46:21 +0100 <monochrom> I will be happy enough to just get people to agree that hlint is not for beginners. I don't really mind if it is not for experts either, or anyone at all!
2025-01-04 19:47:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 19:52:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-04 19:53:13 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-04 19:59:07 +0100CiaoSen(~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) CiaoSen
2025-01-04 20:01:41 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-04 20:02:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 20:07:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 20:12:06 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-04 20:18:14 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds)
2025-01-04 20:18:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 20:19:32 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-01-04 20:19:51 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-01-04 20:21:56 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish)
2025-01-04 20:22:20 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2025-01-04 20:23:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 20:32:41 +0100 <hellwolf> https://paste.tomsmeding.com/k2Mfmo9N which syntax is more palatable to you
2025-01-04 20:33:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 20:34:34 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-01-04 20:34:37 +0100 <hellwolf> shoot, I should use list (:) for the 2nd form: https://paste.tomsmeding.com/ZI361mZo
2025-01-04 20:35:18 +0100 <monochrom> Is :| the constructor for NonEmpty?
2025-01-04 20:35:29 +0100 <hellwolf> yes
2025-01-04 20:35:32 +0100 <hellwolf> I needed a NomEmpty
2025-01-04 20:36:36 +0100 <monochrom> Is it always 2 assignments? Is it always only known to be at least 1 assignment?
2025-01-04 20:36:44 +0100 <hellwolf> 1 or more
2025-01-04 20:36:56 +0100 <hellwolf> x1 :| x2 ... : []
2025-01-04 20:37:02 +0100 <monochrom> Then definitely non-empty list.
2025-01-04 20:37:15 +0100 <hellwolf> yea, getting obvious.
2025-01-04 20:37:22 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-01-04 20:37:22 +0100 <monochrom> Each assignment in the long term is better off as x:=y rather than (x,y).
2025-01-04 20:37:35 +0100 <hellwolf> yea, but := is data constructor, darn it
2025-01-04 20:37:43 +0100 <hellwolf> I banged my head against the wall for this
2025-01-04 20:37:49 +0100 <monochrom> In general, your own type and well-thought name rather than generic (,) and Either.
2025-01-04 20:37:49 +0100 <hellwolf> *is for
2025-01-04 20:38:17 +0100michalz(~michalz@185.246.207.197)
2025-01-04 20:38:29 +0100 <monochrom> But only for long term benefit! I just use (,) and Either for short-term toy throw-away code.
2025-01-04 20:39:28 +0100 <tomsmeding> what's the problem with (:=) being a data constructor?
2025-01-04 20:39:39 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-01-04 20:40:10 +0100 <hellwolf> it's the "silly" rule of Haskell
2025-01-04 20:40:18 +0100 <hellwolf> ah, you mean why the problem
2025-01-04 20:40:23 +0100 <tomsmeding> yes :)
2025-01-04 20:40:27 +0100 <monochrom> I think this "darn it" is the pleasant surprise kind, "darn it, didn't know this is perfect!"
2025-01-04 20:40:33 +0100 <hellwolf> hmm, well, that's harder to explain without the context
2025-01-04 20:40:39 +0100 <tomsmeding> data a := b = a := b
2025-01-04 20:40:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-04 20:40:57 +0100 <monochrom> too many equals =_=
2025-01-04 20:41:02 +0100 <monochrom> I mean haha
2025-01-04 20:41:14 +0100 <tomsmeding> data Asg a b = a := b -- monochrom's version
2025-01-04 20:41:18 +0100 <hellwolf> i need something return my monad
2025-01-04 20:41:20 +0100 <hellwolf> := wouldn't help
2025-01-04 20:41:34 +0100 <hellwolf> though it would look nice and more familiar to people.
2025-01-04 20:41:55 +0100 <hellwolf> */familiar/intuitive/
2025-01-04 20:42:14 +0100sprotte24(~sprotte24@p200300d16f44f900dcc58d79fe1b895a.dip0.t-ipconnect.de)
2025-01-04 20:43:08 +0100 <monochrom> I wonder if @= works
2025-01-04 20:43:20 +0100tomsmeding. o O ( =: )
2025-01-04 20:44:04 +0100 <monochrom> I'm a rebel so I would also consider != haha
2025-01-04 20:45:11 +0100 <tomsmeding> <~
2025-01-04 20:45:52 +0100 <monochrom> Also, did you know that you had an accidental pun? Some people explain monads as contexts, so "hard to explain without the context... there is a monad..." haha
2025-01-04 20:46:01 +0100 <int-e> . o O ( I kind of like this stupid piece of code (a generic implementation of properFraction) https://paste.debian.net/1342452/ )
2025-01-04 20:46:28 +0100remexre(~remexre@user/remexre) remexre
2025-01-04 20:49:47 +0100 <monochrom> Yeah that is interesting.
2025-01-04 20:51:03 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-04 20:51:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 20:52:00 +0100remexre(~remexre@user/remexre) (Ping timeout: 276 seconds)
2025-01-04 20:52:03 +0100sprotte24(~sprotte24@p200300d16f44f900dcc58d79fe1b895a.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-04 20:53:05 +0100 <monochrom> This is using long division!
2025-01-04 20:53:21 +0100sprotte24(~sprotte24@p200300d16f44f900dcc58d79fe1b895a.dip0.t-ipconnect.de)
2025-01-04 20:53:39 +0100 <int-e> yeah, kind of :)
2025-01-04 20:53:58 +0100eL_Bart0(eL_Bart0@dietunichtguten.org)
2025-01-04 20:56:19 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
2025-01-04 20:56:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-04 20:58:16 +0100 <hellwolf> reversed operation, that is =: could be considered
2025-01-04 20:58:51 +0100 <hellwolf> probably for people reading from right to left is rather an accidental bless.
2025-01-04 21:00:00 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-04 21:00:39 +0100caconym(~caconym@user/caconym) caconym
2025-01-04 21:01:07 +0100 <hellwolf> anyways, if you are curious, this is the final point of the raw syntax I am settled with for the first release: https://paste.tomsmeding.com/hreFdlHK . Plenty work can still be done for syntactic sugar improvements, but I am gonna take it easy on that and gather more feedback before more opinionated designs.
2025-01-04 21:03:56 +0100homo(~homo@user/homo) (Quit: Leaving)
2025-01-04 21:05:45 +0100welterde1welterde
2025-01-04 21:06:00 +0100welterde(~welterde@thinkbase.srv.welterde.de) (Quit: WeeChat 3.8)
2025-01-04 21:06:13 +0100welterde(welterde@thinkbase.srv.welterde.de) welterde
2025-01-04 21:06:34 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-04 21:12:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 21:16:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 21:17:23 +0100homo(~homo@user/homo) homo
2025-01-04 21:27:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 21:30:16 +0100Everything(~Everythin@195.138.86.118) Everything
2025-01-04 21:32:17 +0100Guest78(~Guest78@37.228.251.150) (Quit: Client closed)
2025-01-04 21:33:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 21:36:45 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-01-04 21:38:23 +0100Guest78(~Guest78@37.228.251.150)
2025-01-04 21:42:14 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-01-04 21:44:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 21:46:51 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds)
2025-01-04 21:48:15 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-04 21:48:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 21:55:25 +0100 <sshine> in order to understand monads, one must first understand monads.
2025-01-04 22:01:24 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-04 22:04:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 22:08:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-04 22:19:01 +0100michalz(~michalz@185.246.207.197) (Remote host closed the connection)
2025-01-04 22:19:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 22:20:02 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-04 22:22:29 +0100 <haskellbridge> <Bowuigi> Does that mean that in order to understand comonads, one must first counderstand comonads?
2025-01-04 22:23:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-04 22:27:00 +0100Guest78(~Guest78@37.228.251.150) (Quit: Client closed)
2025-01-04 22:29:15 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-04 22:32:15 +0100iteratee(~kyle@162.218.222.207) iteratee
2025-01-04 22:34:33 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-01-04 22:34:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 22:38:47 +0100 <monochrom> In the opposite category, monads understand you!
2025-01-04 22:39:26 +0100 <monochrom> Also:
2025-01-04 22:39:31 +0100 <monochrom> @quote monochrom cccpy
2025-01-04 22:39:31 +0100 <lambdabot> No quotes match.
2025-01-04 22:39:32 +0100 <monochrom> @quote monochrom cccp
2025-01-04 22:39:33 +0100 <lambdabot> monochrom says: in Soviet Russia, you have current-continuation-calls-procedure (CCCP)
2025-01-04 22:40:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-04 22:41:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 22:43:04 +0100 <haskellbridge> <Bowuigi> How "deep" do you have to dualize in Category Theory to get the extra theorems? Which arrows exactly do you have to reverse?
2025-01-04 22:43:27 +0100orangeFlu(~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu
2025-01-04 22:44:47 +0100 <haskellbridge> <Bowuigi> Is it all the arrows, even those inside definitions?
2025-01-04 22:52:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 22:54:15 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-01-04 22:57:05 +0100CiaoSen(~Jura@2a05:5800:217:2700:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds)
2025-01-04 22:57:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 23:00:28 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-04 23:02:07 +0100gvg(~dcd@user/gvg) (Ping timeout: 252 seconds)
2025-01-04 23:08:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 23:13:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-04 23:15:39 +0100prasad(~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 276 seconds)
2025-01-04 23:17:59 +0100ponup(~santiago@user/ponup) ponup
2025-01-04 23:18:00 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-01-04 23:18:01 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection)
2025-01-04 23:20:34 +0100homo_(~homo@user/homo) homo
2025-01-04 23:23:17 +0100homo(~homo@user/homo) (Ping timeout: 248 seconds)
2025-01-04 23:23:33 +0100homo_homo
2025-01-04 23:23:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 23:28:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 23:34:58 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se)
2025-01-04 23:39:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 23:43:23 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-04 23:43:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 23:48:13 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-04 23:49:39 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2025-01-04 23:50:45 +0100homo(~homo@user/homo) (Ping timeout: 276 seconds)
2025-01-04 23:54:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 23:58:41 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2)
2025-01-04 23:59:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)