Newest at the top
| 2024-10-25 01:20:34 +0200 | motherfsck | (~motherfsc@user/motherfsck) motherfsck |
| 2024-10-25 01:18:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c) |
| 2024-10-25 01:17:41 +0200 | euleritian | (~euleritia@dynamic-176-006-128-175.176.6.pool.telefonica.de) |
| 2024-10-25 01:17:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-25 01:17:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-10-25 01:13:09 +0200 | <zero> | i see it now. ty |
| 2024-10-25 01:12:59 +0200 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2024-10-25 01:12:58 +0200 | <int-e> | :t (.)(.)(.) |
| 2024-10-25 01:12:33 +0200 | <dibblego> | -- (done without a type checker) |
| 2024-10-25 01:12:25 +0200 | <dibblego> | quotRem = (join bimap toEnum .) . on quotRem fromEnum |
| 2024-10-25 01:12:12 +0200 | <dibblego> | quotRem x = join bimap toEnum . on quotRem fromEnum x |
| 2024-10-25 01:12:08 +0200 | <Leary> | `\f g x -> f (g x)` and `\f g x y -> f (g x y)` are not the same. You want the latter and are using the former. |
| 2024-10-25 01:11:45 +0200 | <zero> | dibblego: they're not? |
| 2024-10-25 01:11:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e0cc:218e:37fe:3b0c) (Ping timeout: 244 seconds) |
| 2024-10-25 01:10:34 +0200 | <zero> | cause a type mismatch in bimap? |
| 2024-10-25 01:10:04 +0200 | <dibblego> | those two expressions are not equivalent |
| 2024-10-25 01:09:49 +0200 | <zero> | quotRem = join bimap toEnum . on quotRem fromEnum |
| 2024-10-25 01:09:39 +0200 | <zero> | why does eta reducing this to |
| 2024-10-25 01:08:44 +0200 | <zero> | quotRem x y = join bimap toEnum $ on quotRem fromEnum x y |
| 2024-10-25 01:08:43 +0200 | <zero> | i have the following line: |
| 2024-10-25 01:08:33 +0200 | <zero> | help |
| 2024-10-25 01:06:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-25 01:04:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-25 01:04:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-25 01:03:26 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Read error: Connection reset by peer) |
| 2024-10-25 01:01:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-25 00:58:28 +0200 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-10-25 00:52:33 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb1760fc46cbba529b10.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-25 00:51:07 +0200 | Everything | (~Everythin@178-133-200-119.mobile.vf-ua.net) (Quit: leaving) |
| 2024-10-25 00:50:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-25 00:46:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-25 00:45:51 +0200 | <zero> | that's a shame |
| 2024-10-25 00:45:39 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-25 00:45:38 +0200 | <zero> | i also just found out that you can't use lazy annotations without StrictData :( |
| 2024-10-25 00:41:37 +0200 | <monochrom> | haha |
| 2024-10-25 00:36:49 +0200 | vglfr | (~vglfr@2607:fb91:845:141a:ad2:e57:b1d0:dd1d) (Read error: Connection reset by peer) |
| 2024-10-25 00:35:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-25 00:32:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2024-10-25 00:32:01 +0200 | <zero> | this message brought to you by NordVPN |
| 2024-10-25 00:30:59 +0200 | <zero> | create the problem, sell the solution |
| 2024-10-25 00:30:41 +0200 | <Rembane> | The circle of life |
| 2024-10-25 00:30:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-25 00:29:56 +0200 | <geekosaur> | to be shortly followed by apps that will defeat it |
| 2024-10-25 00:26:23 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-25 00:24:23 +0200 | <EvanR> | probably something that will be on phones first |
| 2024-10-25 00:23:48 +0200 | ljdarj1 | ljdarj |
| 2024-10-25 00:23:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-10-25 00:21:43 +0200 | <zero> | You have reached your daily limit for the Enter key. Please wait XX seconds. TIRED OF WAITING? CLICK [HERE] FOR ENTER PREMIUM* |
| 2024-10-25 00:20:51 +0200 | <tomsmeding> | the keys will have small embedded LEDs that make crude pictures, and you should press the keys that look like traffic lights |
| 2024-10-25 00:20:31 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |