<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"><channel><link>https://bsky.app/profile/smangla.bsky.social</link><title>@smangla.bsky.social</title><item><link>https://bsky.app/profile/smangla.bsky.social/post/3my7kqffy4s2q</link><description>A lot of my favorite songs from the BW Hindi era are from movies literally no one cares about anymore, but the songs are still fairly popular. For example,&#xA;&#xA;https://www.youtube.com/watch?v=yIzCBU0_LyY&amp;list=RDyIzCBU0_LyY&amp;start_radio=1</description><pubDate>19 Oct 2026 07:08 +0000</pubDate><guid isPermaLink="false">at://did:plc:cbrixcab3jn3wmqxcfzjstd7/app.bsky.feed.post/3my7kqffy4s2q</guid></item><item><link>https://bsky.app/profile/smangla.bsky.social/post/3mvegrhqxv22m</link><description>Dr. Maruki did nothing wrong</description><pubDate>13 Sep 2026 01:24 +0000</pubDate><guid isPermaLink="false">at://did:plc:cbrixcab3jn3wmqxcfzjstd7/app.bsky.feed.post/3mvegrhqxv22m</guid></item><item><link>https://bsky.app/profile/smangla.bsky.social/post/3mvcn7qhqjs2f</link><description>Read &#34;Propositions as Types&#34; by Wadler today, fun read, would recommend, excited to check out more Curry-Howard isomorphism stuff, maybe I&#39;ll read about dependent types next</description><pubDate>12 Sep 2026 08:14 +0000</pubDate><guid isPermaLink="false">at://did:plc:cbrixcab3jn3wmqxcfzjstd7/app.bsky.feed.post/3mvcn7qhqjs2f</guid></item><item><link>https://bsky.app/profile/smangla.bsky.social/post/3muaexhawj224</link><description>Can no one who works for the Spectator read. Article talks about how In Xanadu is now considered offensive + how Dalrymple is supposedly a latecomer to the Palestinian cause. I wonder what In Xanadu says about it.  spectator.com/article/why-dont-you-agree-with-william-dalrymple/?edition=us&#xA;https://spectator.com/article/why-dont-you-agree-with-william-dalrymple/?edition=us</description><pubDate>29 Aug 2026 17:16 +0000</pubDate><guid isPermaLink="false">at://did:plc:cbrixcab3jn3wmqxcfzjstd7/app.bsky.feed.post/3muaexhawj224</guid></item></channel></rss>