Newest at the top
| 2025-01-22 05:35:58 +0100 | <homo> | exciting good news https://github.com/augustss/MicroHs/tree/hugs |
| 2025-01-22 05:34:01 +0100 | halloy1022 | (~halloy102@111.65.75.121) (Remote host closed the connection) |
| 2025-01-22 05:33:47 +0100 | halloy1022 | (~halloy102@111.65.75.121) |
| 2025-01-22 05:33:15 +0100 | agent314 | (~quassel@208.131.130.69) agent314 |
| 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 +0100 | merijn | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 05:20:36 +0100 | aforemny_ | (~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 +0100 | aforemny | (~aforemny@2001:9e8:6ce4:b500:6e75:95aa:3ce2:b258) aforemny |
| 2025-01-22 05:19:01 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-22 05:18:47 +0100 | dysthesis | (~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 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 05:12:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 05:10:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 05:08:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-22 05:08:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 05:05:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-22 05:05:37 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-22 04:57:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 04:52:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:48:59 +0100 | AbueloAtrofiado | (~AbueloAtr@2806:106e:1b:2d3:3915:1723:c558:3f6b) (Client Quit) |
| 2025-01-22 04:48:22 +0100 | AbueloAtrofiado | (~AbueloAtr@2806:106e:1b:2d3:3915:1723:c558:3f6b) |
| 2025-01-22 04:46:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-22 04:43:15 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-22 04:41:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 04:37:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:32:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-22 04:28:40 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-22 04:26:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 04:25:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 04:23:34 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-22 04:23:17 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-22 04:23:14 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-22 04:22:56 +0100 | euleritian | (~euleritia@77.23.250.232) (Remote host closed the connection) |
| 2025-01-22 04:22:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:21:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 04:21:06 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-01-22 04:20:56 +0100 | euleritian | (~euleritia@77.23.250.232) |