IRCBrowse

2025/01/22

Newest at the top

2025-01-22 05:28:38 +0100 <geekosaur> ghc was done with its delay when the first line came out
2025-01-22 05:28:18 +0100 <geekosaur> most of the slowdown there, though, was lambdabot throttling so it didn't get kicked for flooding…
2025-01-22 05:28:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-22 05:27:45 +0100 <monochrom> But yeah it's exponential length output so exponential time so we're cool. :)
2025-01-22 05:23:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 05:20:36 +0100aforemny_(~aforemny@2001:9e8:6cc6:4600:1315:1249:75e2:82ec) (Ping timeout: 276 seconds)
2025-01-22 05:19:58 +0100 <jle`> oh sorry i didn't realize that would actually evaluate
2025-01-22 05:19:54 +0100 <lambdabot> b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))))))
2025-01-22 05:19:52 +0100 <lambdabot> (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))), (((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b,
2025-01-22 05:19:50 +0100 <lambdabot> b))))), (((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))))), ((((((b, b), (b, b)), ((b, b),
2025-01-22 05:19:50 +0100 <lambdabot> b))), (((b, b), (b, b)), ((b, b), (b, b))))))), (((((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b,
2025-01-22 05:19:50 +0100 <lambdabot> b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))), (((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b,
2025-01-22 05:19:50 +0100 <lambdabot> b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))))), ((((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b,
2025-01-22 05:19:50 +0100 <lambdabot> b -> ((((((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))), (((((b, b), (b, b)), ((b, b), (b,
2025-01-22 05:19:49 +0100 <jle`> :t let f x = (x, x) in f . f . f . f . f . f . f . f
2025-01-22 05:19:45 +0100aforemny(~aforemny@2001:9e8:6ce4:b500:6e75:95aa:3ce2:b258) aforemny
2025-01-22 05:19:01 +0100homo(~homo@user/homo) homo
2025-01-22 05:18:47 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-22 05:18:43 +0100 <jle`> tuple trees are basically type-level trees -- there's that common trick that you can use them to easily overload/timeout typechecking
2025-01-22 05:15:17 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-01-22 05:12:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-22 05:10:59 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-22 05:08:34 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-01-22 05:08:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 05:05:52 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-01-22 05:05:37 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-01-22 04:57:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-22 04:52:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 04:48:59 +0100AbueloAtrofiado(~AbueloAtr@2806:106e:1b:2d3:3915:1723:c558:3f6b) (Client Quit)
2025-01-22 04:48:22 +0100AbueloAtrofiado(~AbueloAtr@2806:106e:1b:2d3:3915:1723:c558:3f6b)
2025-01-22 04:46:49 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-22 04:43:15 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-22 04:41:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-22 04:37:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 04:32:38 +0100weary-traveler(~user@user/user363627) user363627
2025-01-22 04:28:40 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-22 04:26:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-22 04:25:41 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-01-22 04:23:34 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-22 04:23:17 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-01-22 04:23:14 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-22 04:22:56 +0100euleritian(~euleritia@77.23.250.232) (Remote host closed the connection)
2025-01-22 04:22:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 04:21:15 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-22 04:21:06 +0100ystael(~ystael@user/ystael) (Ping timeout: 265 seconds)
2025-01-22 04:20:56 +0100euleritian(~euleritia@77.23.250.232)
2025-01-22 04:20:48 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-22 04:20:41 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-01-22 04:17:30 +0100weary-traveler(~user@user/user363627) user363627
2025-01-22 04:16:50 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)