Newest at the top
| 2025-10-31 12:04:38 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-10-31 12:04:21 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Client Quit) |
| 2025-10-31 12:03:59 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-10-31 12:03:39 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2025-10-31 11:48:26 +0100 | halloy8008 | (~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef) (Quit: halloy8008) |
| 2025-10-31 11:47:08 +0100 | halloy8008 | (~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef) |
| 2025-10-31 11:46:31 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 264 seconds) |
| 2025-10-31 11:45:10 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-31 11:38:50 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:38:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-10-31 11:37:15 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:34:25 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:34:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-31 11:32:22 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:25:37 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:25:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-10-31 11:23:39 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:19:22 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:19:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-31 11:18:00 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:16:36 +0100 | Googulator54 | Googulator |
| 2025-10-31 11:09:28 +0100 | omentic | jj |
| 2025-10-31 10:52:51 +0100 | trickard_ | trickard |
| 2025-10-31 10:43:35 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-10-31 10:41:08 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 10:41:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-31 10:39:21 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 10:38:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-31 10:35:14 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-31 10:31:48 +0100 | Googulator54 | (~Googulato@team.broadbit.hu) |
| 2025-10-31 10:28:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 10:25:33 +0100 | <lambdabot> | Consider it noted. |
| 2025-10-31 10:25:33 +0100 | <tomsmeding> | @tell kuribas Sure, free monads end up as a bunch of uninspectable closures, but that's because (>>=)'s typing does that: there are monad operation calls inside a closure argument to (>>=). With applicatives, there are no (<*>) or pure calls inside a closure, so there is still black-box computation, but the Applicative structure is all visible |
| 2025-10-31 10:19:55 +0100 | bggd | (~bgg@2a01:e0a:819:1510:aa28:625d:5af8:625b) |
| 2025-10-31 10:08:33 +0100 | acidjnk | (~acidjnk@p200300d6e71719308df0744f2dc6c30e.dip0.t-ipconnect.de) acidjnk |
| 2025-10-31 10:07:52 +0100 | chele | (~chele@user/chele) chele |
| 2025-10-31 10:05:23 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-31 10:05:09 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-31 10:01:10 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-31 10:00:29 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-31 09:55:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-31 09:54:38 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Ping timeout: 244 seconds) |
| 2025-10-31 09:54:24 +0100 | remedan_ | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2025-10-31 09:53:40 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 09:53:28 +0100 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 09:46:12 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-10-31 09:45:46 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-31 09:42:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-10-31 09:39:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 09:39:45 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058) (Ping timeout: 244 seconds) |