2025/01/04

Newest at the top

2025-01-04 06:26:45 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 06:25:10 +0100olivial(~benjaminl@user/benjaminl) benjaminl
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:23:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 06:23:18 +0100olivial(~benjaminl@user/benjaminl) (Remote host closed the connection)
2025-01-04 06:19:49 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 248 seconds)
2025-01-04 06:15:15 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 06:12:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 06:08:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 06:07:01 +0100harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2025-01-04 06:02:48 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 252 seconds)
2025-01-04 05:58:54 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-04 05:57:58 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:57:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 05:52:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 05:52:17 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-04 05:51:16 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 244 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: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:42:20 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:42:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 05:42:03 +0100Guest44(~Guest44@2405:201:6023:f02f:10c6:5052:ce4a:df9e) (Client Quit)
2025-01-04 05:41:16 +0100gawen(~gawen@user/gawen) gawen
2025-01-04 05:41:13 +0100Guest44(~Guest44@2405:201:6023:f02f:10c6:5052:ce4a:df9e)
2025-01-04 05:39:52 +0100gawen(~gawen@user/gawen) (Quit: cya)
2025-01-04 05:38:36 +0100dysthesis(~dysthesis@user/dysthesis) (Ping timeout: 264 seconds)
2025-01-04 05:37:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 05:36:48 +0100xff0x(~xff0x@2405:6580:b080:900:9eea:e9b7:c052:2e2b)
2025-01-04 05:35:49 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 05:35:35 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-04 05:30:44 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:26:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-04 05:23:17 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 248 seconds)
2025-01-04 05:22:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 05:18:41 +0100AlexZenon(~alzenon@5.139.233.96)
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:15:31 +0100xff0x(~xff0x@2405:6580:b080:900:6592:e8c3:c948:25b2) (Ping timeout: 265 seconds)
2025-01-04 05:12:05 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 248 seconds)
2025-01-04 05:10:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-04 05:07:25 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 05:06:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 05:05:05 +0100Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-01-04 05:01:19 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 252 seconds)
2025-01-04 04:56:18 +0100AlexZenon(~alzenon@5.139.233.96)
2025-01-04 04:55:21 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2025-01-04 04:55:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-04 04:49:25 +0100AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 265 seconds)
2025-01-04 04:48:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-04 04:42:55 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-04 04:38:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)