Newest at the top
2024-06-26 09:44:40 +0200 | euleritian | (~euleritia@dynamic-176-007-144-132.176.7.pool.telefonica.de) |
2024-06-26 09:43:53 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
2024-06-26 09:40:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-06-26 09:38:25 +0200 | poscat | (~poscat@user/poscat) |
2024-06-26 09:36:07 +0200 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
2024-06-26 09:33:07 +0200 | johnny54 | (~johnny@2401:e180:8d50:3483:9060:7f14:5c50:80ae) (Quit: Client closed) |
2024-06-26 09:25:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-26 09:23:56 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-06-26 09:23:38 +0200 | euleritian | (~euleritia@dynamic-176-007-144-132.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-26 09:11:34 +0200 | johnny54 | (~johnny@2401:e180:8d50:3483:9060:7f14:5c50:80ae) |
2024-06-26 09:11:19 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-06-26 09:09:39 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
2024-06-26 09:09:15 +0200 | generalbigm | (~generalbi@2001:250:3c0f:2000::e751) (Ping timeout: 264 seconds) |
2024-06-26 09:09:01 +0200 | generalbigm1 | (~generalbi@2001:250:3c0f:2000::e751) |
2024-06-26 09:08:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-06-26 09:03:19 +0200 | euleritian | (~euleritia@dynamic-176-007-144-132.176.7.pool.telefonica.de) |
2024-06-26 09:03:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-26 09:03:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-06-26 08:42:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-06-26 08:40:05 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-26 08:28:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-26 08:27:29 +0200 | michalz | (~michalz@185.246.207.205) |
2024-06-26 08:26:21 +0200 | killy | (~killy@staticline-31-183-185-9.toya.net.pl) |
2024-06-26 08:20:34 +0200 | raym | (~ray@user/raym) (Quit: rebooting...) |
2024-06-26 08:18:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-26 08:13:45 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:c630:9087:3a08:eaac) |
2024-06-26 08:08:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-26 08:05:42 +0200 | generalbigm | (~generalbi@2001:250:3c0f:2000::e751) |
2024-06-26 07:54:52 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-26 07:54:28 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
2024-06-26 07:48:15 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
2024-06-26 07:45:28 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 246 seconds) |
2024-06-26 07:45:21 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc96bd88011075acd305.dip0.t-ipconnect.de) |
2024-06-26 07:33:23 +0200 | <haskellbridge> | <iqubic (she/her)> Where does that come from? |
2024-06-26 07:30:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-06-26 07:30:02 +0200 | <EvanR> | oof at all that quadraticness of large records |
2024-06-26 07:23:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-06-26 07:08:10 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-26 07:00:37 +0200 | <haskellbridge> | <iqubic (she/her)> Erm... "Applicative f => (a -> b -> c -> ...) -> f a -> f b -> f c -> ..." |
2024-06-26 07:00:12 +0200 | <haskellbridge> | <iqubic (she/her)> "pure f <_> x <_> y <_> z <_>..." is of type "Applicative f => a (a -> b -> c -> ...) -> f a -> f b -> f c -> ..." |
2024-06-26 06:59:42 +0200 | <monochrom> | Well, yes if s/just// |
2024-06-26 06:59:35 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-06-26 06:59:23 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-26 06:59:22 +0200 | <monochrom> | Yes. |
2024-06-26 06:58:23 +0200 | <haskellbridge> | <iqubic (she/her)> Isn't that second one just "lift2A" but expanded to many more args? |
2024-06-26 06:58:20 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
2024-06-26 06:54:34 +0200 | <monochrom> | For example when explaining "map (map f)" and "pure f <*> x <*> y <*> z <*> ..." |
2024-06-26 06:53:35 +0200 | <monochrom> | I have been using ASCII art to show the equiv of that kind of underbrace diagrams. |
2024-06-26 06:43:58 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-06-26 06:34:01 +0200 | zzz | (~yin@user/zero) |