Newest at the top
2024-05-30 08:20:52 +0200 | ak-1 | (~ak-1@149.50.189.92) |
2024-05-30 08:20:37 +0200 | ak-1 | (~ak-1@149.50.189.92) (Quit: ak-1) |
2024-05-30 08:18:13 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:728b:dc6e:a428:192b) (Remote host closed the connection) |
2024-05-30 08:14:43 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-30 08:12:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-30 08:11:05 +0200 | zetef | (~quassel@95.77.17.251) |
2024-05-30 08:09:18 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-30 08:08:25 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-30 07:58:27 +0200 | acidjnk | (~acidjnk@p200300d6e714dc096149684c9083de71.dip0.t-ipconnect.de) |
2024-05-30 07:54:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-30 07:50:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
2024-05-30 07:37:56 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-30 07:35:07 +0200 | euleritian | (~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de) |
2024-05-30 07:34:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-05-30 07:30:02 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-30 07:29:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-30 07:29:38 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-05-30 07:25:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
2024-05-30 07:21:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-30 07:12:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-30 07:10:13 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:837c:2c1d:c5e2:53d8) (Remote host closed the connection) |
2024-05-30 06:59:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-30 06:59:20 +0200 | euleritian | (~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-30 06:59:14 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
2024-05-30 06:58:57 +0200 | euleritian | (~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de) |
2024-05-30 06:58:11 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
2024-05-30 06:56:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2024-05-30 06:55:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-30 06:32:35 +0200 | hueso | (~root@user/hueso) |
2024-05-30 06:31:55 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:837c:2c1d:c5e2:53d8) |
2024-05-30 06:28:45 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-05-30 06:20:06 +0200 | hueso | (~root@user/hueso) (Ping timeout: 255 seconds) |
2024-05-30 06:14:50 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
2024-05-30 06:13:35 +0200 | Square | (~Square@user/square) |
2024-05-30 06:12:40 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
2024-05-30 06:02:50 +0200 | <probie> | mjrosenb: the problem is that GHC doesn't _stop_ simplifying it |
2024-05-30 05:56:36 +0200 | <mjrosenb> | gotcha. I was going to say, you can simplify it any amount and it'll still be valid. |
2024-05-30 05:54:42 +0200 | <Leary> | mjrosenb: `Y f` "simplifies" to `f (Y f)`, which "simplifies" to `f (f (Y f))`, ad infinitum. |
2024-05-30 05:52:29 +0200 | <mjrosenb> | Leary: what does it simplify it to? |
2024-05-30 05:26:21 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Quit: Konversation terminated!) |
2024-05-30 05:23:23 +0200 | aforemny_ | (~aforemny@i59F516FB.versanet.de) (Ping timeout: 264 seconds) |
2024-05-30 05:21:56 +0200 | aforemny | (~aforemny@i59F516CD.versanet.de) |
2024-05-30 05:08:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-30 04:56:13 +0200 | td_ | (~td@i5387090B.versanet.de) |
2024-05-30 04:54:36 +0200 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 255 seconds) |
2024-05-30 04:53:46 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-30 04:49:14 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-30 04:48:48 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
2024-05-30 04:44:06 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-05-30 04:43:49 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |