Newest at the top
| 2025-09-24 23:09:20 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-09-24 23:01:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-24 22:57:09 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-24 22:56:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-24 22:55:43 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 22:55:39 +0200 | Googulator6 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 22:45:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-24 22:41:18 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2025-09-24 22:41:00 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-24 22:40:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-24 22:38:29 +0200 | Googulator81 | Googulator |
| 2025-09-24 22:37:51 +0200 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-09-24 22:36:27 +0200 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-09-24 22:35:43 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 22:35:40 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 22:35:22 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-24 22:32:30 +0200 | Googulator43 | Googulator |
| 2025-09-24 22:32:04 +0200 | shachaf | (~shachaf@user/shachaf) shachaf |
| 2025-09-24 22:32:04 +0200 | shachaf | (~shachaf@li227-219.members.linode.com) (Changing host) |
| 2025-09-24 22:31:37 +0200 | shachaf_ | shachaf |
| 2025-09-24 22:30:38 +0200 | Googulator43 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 22:30:28 +0200 | Googulator43 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 22:29:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-24 22:29:28 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-09-24 22:26:12 +0200 | Googulator | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 22:25:32 +0200 | Googulator43 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 22:24:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-24 22:17:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-24 22:15:12 +0200 | <tomsmeding> | :) |
| 2025-09-24 22:14:41 +0200 | <haskellbridge> | <magic_rb> Goodnight |
| 2025-09-24 22:13:46 +0200 | tomsmeding | shall retire for the night, thanks for the fun |
| 2025-09-24 22:13:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-24 22:13:04 +0200 | <monochrom> | s/could/couldn't/ |
| 2025-09-24 22:12:39 +0200 | Googulator98 | Googulator |
| 2025-09-24 22:12:18 +0200 | <monochrom> | It happened this way if you want to know. Gordon Plotkin accepted an invitation to our university to give a lecture. He casually gave examples of "generic effects" e.g. "(M a)^2 -> M a" becomes "M Bool". I could see that intuitively it's right but I could put my finger on a math reason. Then it dawned on me "I'm a moron, I'm supposed to know the Yoneda lemma!" |
| 2025-09-24 22:11:05 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-24 22:10:19 +0200 | [exa] | observes it's time to open a beverage |
| 2025-09-24 22:08:32 +0200 | <[exa]> | monochrom: a slight indoctrination with categories is never wrong |
| 2025-09-24 22:07:25 +0200 | <monochrom> | It was the last straw that converted me, to be sure. :) |
| 2025-09-24 22:06:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-24 22:06:35 +0200 | <[exa]> | we assumed she banned the internet locally and has no way to respond |
| 2025-09-24 22:05:49 +0200 | <tomsmeding> | [exa]: that meme history is unsatisfying, I expected a response from Pohlová herself |
| 2025-09-24 22:05:39 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 22:05:36 +0200 | Googulator20 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 22:05:18 +0200 | <[exa]> | like, even if you spent 3 minutes on each just showing the intuition, you convert a few people from "omg yoneda is too much categories to understand" to "ok wow yoneda again" |
| 2025-09-24 22:04:37 +0200 | <[exa]> | tbh you should |
| 2025-09-24 22:03:51 +0200 | <monochrom> | I'm now very afraid (haha). Maybe I should teach free monads and algebraic effects and Yoneda lemma to keep up. |
| 2025-09-24 22:02:38 +0200 | <monochrom> | commuting diagram |
| 2025-09-24 22:02:19 +0200 | dhil | (~dhil@5.151.29.141) (Ping timeout: 250 seconds) |
| 2025-09-24 22:02:05 +0200 | <monochrom> | Also it looks like he characterizes lcm as a categorical product. (This I haven't verified. I just saw, on blackboards in our math aid room, a commuting showing 60->6, 6->2, 6->3" |