2025/09/24

Newest at the top

2025-09-24 23:12:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-24 23:11:16 +0200califax(~califax@user/califx) califx
2025-09-24 23:11:14 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 272 seconds)
2025-09-24 23:10:18 +0200mulk(~mulk@pd95144c3.dip0.t-ipconnect.de) mulk
2025-09-24 23:09:49 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-09-24 23:09:20 +0200califax(~califax@user/califx) (Ping timeout: 272 seconds)
2025-09-24 23:01:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-24 22:57:09 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 265 seconds)
2025-09-24 22:56:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-24 22:55:43 +0200Googulator(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 22:55:39 +0200Googulator6(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 22:45:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-24 22:41:18 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds)
2025-09-24 22:41:00 +0200petrichor(~jez@user/petrichor) petrichor
2025-09-24 22:40:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-24 22:38:29 +0200Googulator81Googulator
2025-09-24 22:37:51 +0200petrichor(~jez@user/petrichor) (Read error: Connection reset by peer)
2025-09-24 22:36:27 +0200karenw_(~karenw@user/karenw) karenw
2025-09-24 22:35:43 +0200Googulator81(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 22:35:40 +0200Googulator(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 22:35:22 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-09-24 22:32:30 +0200Googulator43Googulator
2025-09-24 22:32:04 +0200shachaf(~shachaf@user/shachaf) shachaf
2025-09-24 22:32:04 +0200shachaf(~shachaf@li227-219.members.linode.com) (Changing host)
2025-09-24 22:31:37 +0200shachaf_shachaf
2025-09-24 22:30:38 +0200Googulator43(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 22:30:28 +0200Googulator43(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 22:29:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-24 22:29:28 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds)
2025-09-24 22:26:12 +0200Googulator(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 22:25:32 +0200Googulator43(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 22:24:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-24 22:17:43 +0200wootehfoot(~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 +0200tomsmedingshall retire for the night, thanks for the fun
2025-09-24 22:13:39 +0200merijn(~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 +0200Googulator98Googulator
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 +0200peterbecich(~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 +0200merijn(~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 +0200Googulator98(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 22:05:36 +0200Googulator20(~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"