2026-10-26T22:14:57Z https://nostr.now Colin the Mathmo https://nostr.now/npub1s4hqf67dr73p05v6nmff3c0yws920attdwjzyqjglyvcprzyu5rsp2qs84 https://media.mathstodon.xyz/accounts/avatars/000/000/013/original/d3bb832f7c670bec.png https://media.mathstodon.xyz/accounts/avatars/000/000/013/original/d3bb832f7c670bec.png https://nostr.now/nevent1qqsp9st2y982xgcanaelwgx5pmayx2az27pxvv5mz5dgsl6uw306q6czyzzkup8te506y973n20d9x8pu36q4fl4dd46ggszfru3nqyvgnjswenc780 In reply to <a href='/nevent1qqsv0597qj77fzx4669p4k35e8phdfvpavrc7gwds034vtx8wg42vlq7rdqhs'>nevent1q…dqhs</a><br/>_________________________<br/><br/>I figured you would know about it... it&#39;s *so* not my area, but I read and nod along sagely. I can fake it to total non-mathematicians, but that&#39;s easy.<br/><br/>I&#39;d like to know more, but life is short, and the work is long.<br/><br/>But if toposes are even *epsilon* scary then ∞-toposes still will be! So if he&#39;s claiming that ∞-toposes aren&#39;t scary, then than means toposes are at most infinitesimally so ...<br/><br/>Not sure I believe it. 2026-10-20T13:13:29Z https://nostr.now/nevent1qqs0tftrq84k2dnuk4qsl0cxv9nt8ha7544cyqvrglvchvhavt4wm3qzyzzkup8te506y973n20d9x8pu36q4fl4dd46ggszfru3nqyvgnjsw85lql4 In reply to <a href='/nevent1qqs86a9zl6mttn52fuygnmd5e2glgp5gnxqt2asj30v9tz0fvu25hmsq3h8n2'>nevent1q…h8n2</a><br/>_________________________<br/><br/>The original said:<br/><br/>&#34;Programming is only &#39;free&#39; if your time is worthless.&#34;<br/><br/>We agree that one&#39;s time is not worthless, so applying the propositional calculus (there is a fancy Latin name for this particular rule of deduction[0]) we can take the contra-positive and get:<br/><br/>Your time is not worthless, therefore programming is not &#34;free&#34;.<br/><br/>So ... regardless of whether we have to pay for compilers or compute time or anything else, programming is not free. <br/><br/>Ever.<br/><br/>In the context of the original thread this isn&#39;t necessarily helpful, or even necessarily relevant, but it is certainly true.<br/><br/>[0] Modus Tollens<br/><br/>2/n<br/><br/>CC: <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1kglgmj6v32ekpj348tjhh97gs7uexh5tyaygvfej93u9ufwxcpjq3upskh" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Σ(i³) = (Σi)²</span> (<span class="italic">npub1kgl…pskh</span>)</a></span> 2026-07-09T10:25:52Z