Newest at the top
| 2025-02-06 05:56:52 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 05:52:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:46:45 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 05:41:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 05:36:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:32:04 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-02-06 05:29:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-06 05:25:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 05:24:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 05:20:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:16:10 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 05:09:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-06 05:08:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-06 05:04:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 05:03:22 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 05:02:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2025-02-06 04:59:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 04:58:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-02-06 04:54:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 04:53:56 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-02-06 04:53:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-06 04:48:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:45:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-06 04:42:15 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 246 seconds) |
| 2025-02-06 04:42:05 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 04:39:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-06 04:37:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 04:37:00 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2025-02-06 04:36:44 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 04:35:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 04:34:32 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-02-06 04:33:18 +0100 | agent314 | (~quassel@79.127.222.205) agent314 |
| 2025-02-06 04:33:12 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-06 04:32:58 +0100 | <haskellbridge> | <Bowuigi> The HoTT book (chapter 9) has something really similar to this "type-theoretic category theory book" idea I'm looking for, any other recommendations? |
| 2025-02-06 04:32:28 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 04:30:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:29:10 +0100 | <haskellbridge> | <Bowuigi> I assume the syntax is the issue here, because the standard one has somewhat odd conventions and syntax sugar. I think that having a typechecker to play with the concepts would make a difference too (I've been looking into Cubical stuff and cooltt is probably what I'm looking for in that regard) |
| 2025-02-06 04:25:39 +0100 | <haskellbridge> | <Bowuigi> Anyway, any books on category theory using type-theoretic syntax? I got through a ton of introductions and books and still couldn't wrap my head around anything more complex than a limit/colimit |
| 2025-02-06 04:24:14 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 04:24:09 +0100 | <haskellbridge> | <Bowuigi> r-sta didn't give enough context, but I guess a zipper kinda fixes the issues. I don't really know what they were referring to |
| 2025-02-06 04:23:18 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-02-06 04:22:46 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-06 04:19:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-06 04:19:38 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-02-06 04:18:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-06 04:18:28 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 04:13:31 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-06 04:11:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 04:08:55 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-06 04:05:14 +0100 | anpad | (~pandeyan@user/anpad) anpad |