Newest at the top
| 2025-02-04 21:44:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 21:42:50 +0100 | AlexZenon | (~alzenon@5.139.233.186) |
| 2025-02-04 21:41:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:40:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 21:38:51 +0100 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-02-04 21:37:33 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2025-02-04 21:35:35 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-04 21:31:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-04 21:26:40 +0100 | AlexNoo_ | AlexNoo |
| 2025-02-04 21:26:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:25:39 +0100 | AlexNoo | (~AlexNoo@5.139.233.186) (Ping timeout: 260 seconds) |
| 2025-02-04 21:25:03 +0100 | AlexNoo_ | (~AlexNoo@5.139.233.186) |
| 2025-02-04 21:24:28 +0100 | honk | (~honk@209.60-130-109.adsl-dyn.isp.belgacom.be) () |
| 2025-02-04 21:24:13 +0100 | honk | (~honk@209.60-130-109.adsl-dyn.isp.belgacom.be) |
| 2025-02-04 21:24:04 +0100 | AlexZenon | (~alzenon@5.139.233.186) (Ping timeout: 252 seconds) |
| 2025-02-04 21:20:46 +0100 | Guest0 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) (Client Quit) |
| 2025-02-04 21:20:33 +0100 | Guest8 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) (Client Quit) |
| 2025-02-04 21:19:47 +0100 | Guest8 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) |
| 2025-02-04 21:19:14 +0100 | Guest0 | (~Guest0@2409:40f2:1046:f02e:c0e8:84ff:fef8:e7a7) |
| 2025-02-04 21:18:54 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-02-04 21:15:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 21:12:08 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-04 21:11:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-04 21:11:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 21:08:58 +0100 | <ncf> | (i meant (r,) ⊣ (r →)) |
| 2025-02-04 21:06:30 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-02-04 21:02:04 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-02-04 21:00:44 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-04 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-04 20:58:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 20:56:58 +0100 | _ht | (~huub@62.250.52.179) _ht |
| 2025-02-04 20:56:25 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-04 20:54:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-04 20:51:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:51:30 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2025-02-04 20:50:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-04 20:46:51 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-02-04 20:45:44 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07d9acb33bf68493bd.dip0.t-ipconnect.de) acidjnk |
| 2025-02-04 20:45:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 20:44:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-02-04 20:41:57 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-04 20:40:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 20:36:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-04 20:33:50 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-04 20:33:34 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-04 20:32:29 +0100 | <monochrom> | Ah OK right, (s,) is Writer if we just need the functor part. OK I'm happy now, sorry for all the disagreements! |
| 2025-02-04 20:27:01 +0100 | <ncf> | (and let's not forget the comonad that comes from the (r →) ⊣ (r, ) adjunction, the store comonad) |
| 2025-02-04 20:26:26 +0100 | <ncf> | ...on reader or writer. in a sense you could say that state is more fundamental than the reader/writer monads/comonads |
| 2025-02-04 20:25:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-04 20:25:22 +0100 | <ncf> | yes the adjunction comes before any monad or comonad structure |