Newest at the top
| 2025-02-04 13:32:31 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-04 13:28:41 +0100 | AkechiShiro | (~licht@user/akechishiro) AkechiShiro |
| 2025-02-04 13:26:46 +0100 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 265 seconds) |
| 2025-02-04 13:26:17 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds) |
| 2025-02-04 13:19:52 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-04 13:19:22 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-04 13:06:50 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-02-04 13:02:09 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-04 13:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-04 12:54:18 +0100 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) jespada |
| 2025-02-04 12:54:02 +0100 | AkechiShiro | (~licht@user/akechishiro) AkechiShiro |
| 2025-02-04 12:53:36 +0100 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 244 seconds) |
| 2025-02-04 12:52:17 +0100 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) (Client Quit) |
| 2025-02-04 12:51:36 +0100 | jespada | (~jespada@2800:a4:22f0:2200:b8e3:83d:8441:5e36) jespada |
| 2025-02-04 12:51:35 +0100 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-04 12:49:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 12:47:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 12:45:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 12:45:02 +0100 | sprotte24 | (~sprotte24@p200300d16f057d00a8084c91cb892c8c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-04 12:40:02 +0100 | kuribas | (~user@2a02:1808:5:414d:44d8:7252:32c:9ed) (Ping timeout: 272 seconds) |
| 2025-02-04 12:37:41 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-02-04 12:35:46 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-04 12:35:03 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-02-04 12:33:04 +0100 | xff0x | (~xff0x@2404:7a85:a201:8600:8984:c3a1:4f28:41e4) (Ping timeout: 260 seconds) |
| 2025-02-04 12:29:42 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 246 seconds) |
| 2025-02-04 12:18:59 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0721e67d75908a2c07.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 12:01:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 11:57:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 11:55:38 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:c1a:8d45:26a8:2ec3) nschoe |
| 2025-02-04 11:55:21 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:15d4:9b4c:59c3:ed22) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-04 11:53:52 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 11:52:21 +0100 | akegalj | (~akegalj@11-81.dsl.iskon.hr) |
| 2025-02-04 11:41:34 +0100 | akegalj | (~akegalj@89-172-245-131.adsl.net.t-com.hr) (Ping timeout: 244 seconds) |
| 2025-02-04 11:34:26 +0100 | <Leary> | dminuoso: Since you were talking about adjunctions in offtopic: `Writer s : Hask <-> Hask : Reader s`, for which `State s` is the corresponding monad: `State s = Reader s . Writer s`. These facts guarantee that `State` composes (not left or right, but /adjunctionally/) with any other monad on `Hask`, giving us: `StateT s f = Reader s . f . Writer s`. |
| 2025-02-04 11:29:34 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-04 11:21:48 +0100 | CiaoSen | (~Jura@2a05:5800:21f:b100:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2025-02-04 11:20:19 +0100 | <dminuoso> | s/things/thinks. |
| 2025-02-04 11:20:15 +0100 | <dminuoso> | Mmm, I suppose if one things of State as just Reader and Writer combined, this becomes clear already. |
| 2025-02-04 11:14:53 +0100 | <dminuoso> | I may have to revisit my category theory days. |
| 2025-02-04 11:14:22 +0100 | <dminuoso> | I started to wonder what fundamental reason there is why State and Reader behave differently this way. |
| 2025-02-04 11:14:11 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-04 11:13:35 +0100 | <dminuoso> | 22:39:55 tomsmeding │ it really is more powerful |
| 2025-02-04 11:09:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 10:58:07 +0100 | forell | (~forell@user/forell) forell |
| 2025-02-04 10:55:19 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:750c:6caf:d1d1:1e90) ubert |
| 2025-02-04 10:51:35 +0100 | sprotte24 | (~sprotte24@p200300d16f057d00a8084c91cb892c8c.dip0.t-ipconnect.de) |
| 2025-02-04 10:49:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-04 10:43:11 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-04 10:36:44 +0100 | foul_owl | (~kerry@193.42.0.124) foul_owl |
| 2025-02-04 10:32:07 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07b0ea430b6086a678.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |