<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <updated>2026-06-01T01:26:25Z</updated>
  <generator>https://yabu.me</generator>

  <title>Nostr notes by Zanzi @ Monoidal Cafe</title>
  <author>
    <name>Zanzi @ Monoidal Cafe</name>
  </author>
  <link rel="self" type="application/atom+xml" href="https://yabu.me/npub1d0dtnmdfvth60mxf4efuarzek5e9jw5yww6kfam248gtgjrz5dwq7x5zz4.rss" />
  <link href="https://yabu.me/npub1d0dtnmdfvth60mxf4efuarzek5e9jw5yww6kfam248gtgjrz5dwq7x5zz4" />
  <id>https://yabu.me/npub1d0dtnmdfvth60mxf4efuarzek5e9jw5yww6kfam248gtgjrz5dwq7x5zz4</id>
  <icon>https://media.mathstodon.xyz/accounts/avatars/110/849/155/887/622/527/original/780575cab98b0ce9.jpeg</icon>
  <logo>https://media.mathstodon.xyz/accounts/avatars/110/849/155/887/622/527/original/780575cab98b0ce9.jpeg</logo>




  <entry>
    <id>https://yabu.me/nevent1qqs9rgdrell44cxja90s88w4xdfvfwhfwq70u9v8wphafeqnq74l4rqzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cfl5g8m</id>
    
      <title type="html">Where are the nuanced left-wing takes on modern AI and LLMs? So ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs9rgdrell44cxja90s88w4xdfvfwhfwq70u9v8wphafeqnq74l4rqzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cfl5g8m" />
    <content type="html">
      Where are the nuanced left-wing takes on modern AI and LLMs?&lt;br/&gt;&lt;br/&gt;So much of the discourse around this tech is centered on rejecting it because of who currently owns it. But like all tech, it can be used for both oppression and liberation.&lt;br/&gt;&lt;br/&gt;Who is focusing on the latter?
    </content>
    <updated>2026-03-26T17:14:37Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsg3t45gtmagd66adp3paqnmf2ffc0ak3crekm4mmwmrsdfd7fzrtgzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cz3e3w4</id>
    
      <title type="html">Maybe it&amp;#39;s less about advice and more about encouraging other ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsg3t45gtmagd66adp3paqnmf2ffc0ak3crekm4mmwmrsdfd7fzrtgzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cz3e3w4" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsqquhqp6g9fxcputykpmuy22dgsswuvhy8zg0m9ejnq0dl8t78f0cqr8d3u&#39;&gt;nevent1q…8d3u&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Maybe it&amp;#39;s less about advice and more about encouraging other people to do more of it by showing them that it&amp;#39;s possible
    </content>
    <updated>2025-12-21T21:34:54Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsregtsgn3lf02mn4y3sshffq5rfqx9hvvrpwmzjzlvqjphrepz3agzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cpmuq3y</id>
    
      <title type="html">I remember watching this Dexter&amp;#39;s Lab episode!</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsregtsgn3lf02mn4y3sshffq5rfqx9hvvrpwmzjzlvqjphrepz3agzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cpmuq3y" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs2m7cf894uhkyauew5ypamwrr5x625ffh5v55aqr3h7w340uj8mhgnmr5dn&#39;&gt;nevent1q…r5dn&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I remember watching this Dexter&amp;#39;s Lab episode!
    </content>
    <updated>2025-05-23T12:19:54Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsr6n32n7denfgpsp3n29cgmcnye2ufyd3l9c2c9akmvu9csd60crszyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cymhha0</id>
    
      <title type="html">Yep, the guy is a scumbag. Though he&amp;#39;s also part of ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsr6n32n7denfgpsp3n29cgmcnye2ufyd3l9c2c9akmvu9csd60crszyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cymhha0" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs28appqwehvfrxaach6pd8z4j9j9zxwehkc8egdxjppt5e8mazyjqnukv9h&#39;&gt;nevent1q…kv9h&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Yep, the guy is a scumbag. Though he&amp;#39;s also part of Musk&amp;#39;s inner circle, so I&amp;#39;d say it&amp;#39;s less &amp;#34;prescience&amp;#34; and more &amp;#34;directly influencing the agenda&amp;#34;.
    </content>
    <updated>2025-02-26T18:52:07Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsxffzwvm28g4vxj39u9nwemnxfh3rlym959wc4fq27exf2n869w5szyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cydn0hj</id>
    
      <title type="html">I miss the days when these people weren&amp;#39;t mainstream. This ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsxffzwvm28g4vxj39u9nwemnxfh3rlym959wc4fq27exf2n869w5szyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cydn0hj" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsw72vq4ct5h7y88pnljwd008yeytezcepkknapj068s3ukfuafqwswkdqss&#39;&gt;nevent1q…dqss&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I miss the days when these people weren&amp;#39;t mainstream. This stuff started around similar circles as the rationalist/Less Wrong crowd, that whole community has always been enmeshed with some extreme-right undercurrents, and Yarvin himself was an active poster on lesswrong in the early days.
    </content>
    <updated>2025-02-26T00:45:32Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsfau6ppdrmexsnyjmph2xyhau5wn0x0clj7j0qky8yfsy4w4qxh7czyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cep0hcu</id>
    
      <title type="html">Ahh, that&amp;#39;s exciting :D Is it the climate stuff? Let me or ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsfau6ppdrmexsnyjmph2xyhau5wn0x0clj7j0qky8yfsy4w4qxh7czyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cep0hcu" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsgda5nfeffywr46emng88pvpeemdmt6rr92x8d0pq89452tmj0apq672tv9&#39;&gt;nevent1q…2tv9&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Ahh, that&amp;#39;s exciting :D Is it the climate stuff? &lt;br/&gt;&lt;br/&gt;Let me or &lt;span itemprop=&#34;mentions&#34; itemscope itemtype=&#34;https://schema.org/Person&#34;&gt;&lt;a itemprop=&#34;url&#34; href=&#34;/npub1vlp5j2mcgzckz3gadkd46u53xqvc5dy6aqlp2wechttrehxyl3cqzutswa&#34; class=&#34;bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1&#34;&gt;&lt;span&gt;Jade Master&lt;/span&gt; (&lt;span class=&#34;italic&#34;&gt;npub1vlp…tswa&lt;/span&gt;)&lt;/a&gt;&lt;/span&gt; know when you find out what your schedule is like and we can plan something!
    </content>
    <updated>2025-02-21T23:57:08Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs8vvhxcgmjcg9m3vylf7wv4l0hsj2ry279qycguu9t9uejg82n4fczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cc2le0h</id>
    
      <title type="html">Hmm, we do have an informal seminar going, you could come and ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs8vvhxcgmjcg9m3vylf7wv4l0hsj2ry279qycguu9t9uejg82n4fczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cc2le0h" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsq79a3xlrhj6xmuvja0d5aun7akcl3xg30kxcktdy4cdxx9auxlfqj8jme5&#39;&gt;nevent1q…jme5&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Hmm, we do have an informal seminar going, you could come and talk about some of the more Applied-applied category theory you&amp;#39;re doing! (and we can take you for dinner after :D)
    </content>
    <updated>2025-02-21T23:46:33Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsr2gq3s6ja77p4kt23e6cgtxq25zgjp0549deuphwme9xc882vxsczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234ccct7ja</id>
    
      <title type="html">Ah, @npub1whr…qc2t and I missed you last spring, but we should ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsr2gq3s6ja77p4kt23e6cgtxq25zgjp0549deuphwme9xc882vxsczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234ccct7ja" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqstq25lxrgaaada7r7mlshd8n2cv20l89adzrw0cm6jc6savdrwl0g3aw8l8&#39;&gt;nevent1q…w8l8&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Ah, &lt;span itemprop=&#34;mentions&#34; itemscope itemtype=&#34;https://schema.org/Person&#34;&gt;&lt;a itemprop=&#34;url&#34; href=&#34;/npub1whrara5n38jvwcnkhwz346nl2sn969zu0guk0pvfeltzecn2axesdzqc2t&#34; class=&#34;bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1&#34;&gt;&lt;span&gt;julesh&lt;/span&gt; (&lt;span class=&#34;italic&#34;&gt;npub1whr…qc2t&lt;/span&gt;)&lt;/a&gt;&lt;/span&gt; and I missed you last spring, but we should meet when you&amp;#39;re back in Edinburgh again!
    </content>
    <updated>2025-02-21T23:41:01Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs8ch60flstzem2h3q26z4pt87g0gdjvv5syyzkavm42x066utqpcgzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234clzm4x7</id>
    
      <title type="html">yep! there&amp;#39;s basically a major hack that I&amp;#39;m using in the ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs8ch60flstzem2h3q26z4pt87g0gdjvv5syyzkavm42x066utqpcgzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234clzm4x7" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsdlgy7xkhfp9hp64dcrsutm32tyygjt2k4k9q5eqx42sya8x3frycuxddc0&#39;&gt;nevent1q…ddc0&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;yep! there&amp;#39;s basically a major hack that I&amp;#39;m using in the implementation of jermaine, and I&amp;#39;m trying to find a more principled solution
    </content>
    <updated>2025-02-03T18:29:02Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsre4wnyt8h3njnkggq7yywyxehakv3pf82m703k29sjpqpgllk9tczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cah0a6p</id>
    
      <title type="html">Hmmm, yes, that would work but would introduce some green slime! ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsre4wnyt8h3njnkggq7yywyxehakv3pf82m703k29sjpqpgllk9tczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cah0a6p" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsxzqpr53ptxc5rh7n6cl4cddpfjms6f74mh4wglv8s7rqes4stsucz4h5fk&#39;&gt;nevent1q…h5fk&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Hmmm, yes, that would work but would introduce some green slime! Ideally I&amp;#39;d like it to be a no-op
    </content>
    <updated>2025-02-03T17:58:26Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs0dek49j0ecfjs3zdvn8hchjp8ytatu7z5cyrnr0rxdgvg28nwlcqzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cksclvd</id>
    
      <title type="html">aha, this works, but it runs into a problem when i try to use it ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs0dek49j0ecfjs3zdvn8hchjp8ytatu7z5cyrnr0rxdgvg28nwlcqzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cksclvd" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqspfrczue5xjj735dsscgpdyl2ttlmd45kv0z05al044jjuummgdmqu8mfpx&#39;&gt;nevent1q…mfpx&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;aha, this works, but it runs into a problem when i try to use it for my use-case&lt;br/&gt; &lt;img src=&#34;https://media.mathstodon.xyz/media_attachments/files/113/941/177/912/511/828/original/e69ac12143cd9d55.png&#34;&gt; &lt;br/&gt;
    </content>
    <updated>2025-02-03T17:40:02Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs2n675eevp5hn4c9umknhujgq0td4zu8cte7vj2fs806nwej5wz0szyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cnaasym</id>
    
      <title type="html">is there a nice inductive definition of &amp;#34;lists indexed by an ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs2n675eevp5hn4c9umknhujgq0td4zu8cte7vj2fs806nwej5wz0szyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cnaasym" />
    <content type="html">
      is there a nice inductive definition of &amp;#34;lists indexed by an upper-bound on their length&amp;#34;?
    </content>
    <updated>2025-02-03T15:57:49Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsdxkr5357ysg838pngfljr4eyq2cc9dmgu4s47kgzp5eve596vweczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cfaw7dn</id>
    
      <title type="html">:D are you making progress?</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsdxkr5357ysg838pngfljr4eyq2cc9dmgu4s47kgzp5eve596vweczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cfaw7dn" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqswc4fqepzw27pcqvra6qyxdnc966vq46nva87ulnrte5swa8yckpc8yssfw&#39;&gt;nevent1q…ssfw&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;:D are you making progress?
    </content>
    <updated>2025-01-25T19:11:10Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsvv6haagr0gtqez70wlv7t5afdf2h0jzdyj6kkq3k7t2pnqhwcp8szyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234c8e00ka</id>
    
      <title type="html">The core syntax is starting to shape up. Sums are dual to ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsvv6haagr0gtqez70wlv7t5afdf2h0jzdyj6kkq3k7t2pnqhwcp8szyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234c8e00ka" />
    <content type="html">
      The core syntax is starting to shape up. &lt;br/&gt;&lt;br/&gt;Sums are dual to products, tensor is dual to par.&lt;br/&gt; &lt;img src=&#34;https://media.mathstodon.xyz/media_attachments/files/113/613/840/869/806/114/original/90b96bd6c10c28e7.png&#34;&gt; &lt;br/&gt;
    </content>
    <updated>2024-12-07T22:13:56Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsqyevgq76llc3dxufm9n8s6dtdcygmur7yms2x4fxcky8dug8xstczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cgttan3</id>
    
      <title type="html">it&amp;#39;s fine calling them garbage so long as you&amp;#39;re not ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsqyevgq76llc3dxufm9n8s6dtdcygmur7yms2x4fxcky8dug8xstczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cgttan3" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsr2u0ye74d7za8d7f8mce8qkmdhhzpuj3qrkzygcyygnrj90jv46q4e45eg&#39;&gt;nevent1q…45eg&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;it&amp;#39;s fine calling them garbage so long as you&amp;#39;re not relying on their votes. But then you need to make up the difference by getting the votes from somewhere else. And the dems, every time, simply assume that those other votes will materialize from people falling in line to avoid the bigger evil from being elected
    </content>
    <updated>2024-11-06T19:08:20Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsxdur42yxg6tsp7v86j76r4nkj9cukeqljxeffxqnxkcjzkf9crmczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cpcxctu</id>
    
      <title type="html">that&amp;#39;s *very* interesting. It would certainly simplify a lot ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsxdur42yxg6tsp7v86j76r4nkj9cukeqljxeffxqnxkcjzkf9crmczyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234cpcxctu" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs0vqs3d96x062yrqpulr488sf06gqzmy576u4ujvwxvqw6e2uxn6sz45r9r&#39;&gt;nevent1q…5r9r&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;that&amp;#39;s *very* interesting. It would certainly simplify a lot of the implementation details, I suppose. But how does this view of patterns connect to ie the work of &lt;span itemprop=&#34;mentions&#34; itemscope itemtype=&#34;https://schema.org/Person&#34;&gt;&lt;a itemprop=&#34;url&#34; href=&#34;/npub1jztze6yjxdhf9ey0v56x5axnm2ycs6hrypguyxfavh9lazdeylxs4fhqa3&#34; class=&#34;bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1&#34;&gt;&lt;span&gt;Noam Zeilberger&lt;/span&gt; (&lt;span class=&#34;italic&#34;&gt;npub1jzt…hqa3&lt;/span&gt;)&lt;/a&gt;&lt;/span&gt; on patterns and computational duality?
    </content>
    <updated>2024-09-19T18:38:09Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs8psygadspqjttt89lw3w9hdmq4pffe9sc9jyl9xfwgxttw0x450gzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234ctfu2zl</id>
    
      <title type="html">I did not see that paper, what does it mean to put a pattern in a ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs8psygadspqjttt89lw3w9hdmq4pffe9sc9jyl9xfwgxttw0x450gzyp4a4w0d493wlflvexh98n5vtx6nykf6s3em2e8hd25apdzgv234ctfu2zl" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsd7lqee5ds4m8h5grpzdc9kxwqc0glygluzgq3mqh2as9cz3wu9ms5k3t5p&#39;&gt;nevent1q…3t5p&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I did not see that paper, what does it mean to put a pattern in a context?
    </content>
    <updated>2024-09-19T10:49:00Z</updated>
  </entry>

</feed>