Newest at the top
| 2024-05-23 07:44:45 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-05-23 07:44:10 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-23 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-23 07:29:07 +0200 | mei | (~mei@user/mei) |
| 2024-05-23 07:26:41 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-23 07:26:27 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 272 seconds) |
| 2024-05-23 07:22:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-23 07:20:49 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-05-23 07:20:45 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) |
| 2024-05-23 07:20:29 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 240 seconds) |
| 2024-05-23 07:20:23 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-05-23 07:18:39 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-05-23 07:14:06 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-23 07:13:47 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-05-23 07:13:35 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-05-23 07:08:03 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-05-23 07:06:58 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-23 07:06:27 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-23 07:03:48 +0200 | <cheater> | right makes sense |
| 2024-05-23 07:03:33 +0200 | <cheater> | yeah, i know the relation between ap and <*> |
| 2024-05-23 07:03:08 +0200 | <Leary> | cheater: FWiW, you probably want the pointy version: `\x -> maybe x (min x)`. I was mostly just following up on geekosaur's @pl usage. Re `ap`, `ap = (<*>) = K` (of SKI combinator fame), which is part of lambdabot's pl algorithm. |
| 2024-05-23 07:02:41 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) |
| 2024-05-23 07:02:17 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 252 seconds) |
| 2024-05-23 07:01:58 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-05-23 06:55:02 +0200 | <cheater> | geekosaur: how did it go from that to using ap? |
| 2024-05-23 06:55:00 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-23 06:54:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-23 06:54:43 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-23 06:54:16 +0200 | <cheater> | thank you |
| 2024-05-23 06:54:14 +0200 | <cheater> | Leary: unexpected |
| 2024-05-23 06:52:32 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) |
| 2024-05-23 06:52:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-05-23 06:35:44 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:2cbb:c785:5cd5:2dbc) (Quit: Leaving) |
| 2024-05-23 06:30:15 +0200 | phma | (~phma@host-67-44-208-125.hnremote.net) |
| 2024-05-23 06:27:42 +0200 | phma | (phma@2001:5b0:215d:8488:607:5b39:4ab0:6f8a) (Read error: Connection reset by peer) |
| 2024-05-23 06:25:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-23 06:25:11 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-05-23 06:08:34 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-05-23 06:05:38 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-05-23 06:03:21 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-05-23 06:00:38 +0200 | michalz | (~michalz@185.246.207.221) (Client Quit) |
| 2024-05-23 05:59:14 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-05-23 05:50:23 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-05-23 05:30:59 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-05-23 05:19:14 +0200 | aforemny | (~aforemny@i59F516C7.versanet.de) |
| 2024-05-23 05:18:52 +0200 | aforemny_ | (~aforemny@2001:9e8:6cef:9700:508f:3b86:8bf2:fa) (Ping timeout: 260 seconds) |
| 2024-05-23 05:17:02 +0200 | mei | (~mei@user/mei) |
| 2024-05-23 05:16:58 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) |
| 2024-05-23 05:16:32 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2024-05-23 05:16:17 +0200 | yaroot | (~yaroot@p2987138-ipngn7501souka.saitama.ocn.ne.jp) (Remote host closed the connection) |