{"id":216,"date":"2026-06-02T14:48:00","date_gmt":"2026-06-02T14:48:00","guid":{"rendered":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/"},"modified":"2026-06-04T18:42:15","modified_gmt":"2026-06-04T18:42:15","slug":"logic-for-programmers-extra-credits","status":"publish","type":"post","link":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/","title":{"rendered":"Logic for Programmers additional credit \u2022 Buttondown"},"content":{"rendered":"<p><br \/>\n<\/p>\n<div>\n<p>So I stated there wasn\u2019t a correct e-newsletter this week, since I\u2019m in Budapest prepping for a convention. However I nonetheless received a factor for y\u2019all.<\/p>\n<p>There\u2019s a whole lot of attention-grabbing subjects I wished to cowl for Logic for Programmers, however the guide is dense sufficient as it&#8217;s and lots of of those have been too tangential or technical to slot in effectively. So I\u2019ve been writing some dietary supplements and importing them right here. I\u2019ve received 4 to this point:<\/p>\n<p>How we compute the variety of orderings of a number of concurrent processes<\/p>\n<p>How first-order logic can quantify over \u201ca set of features\u201d, what a \u201cset of features\u201d appears to be like like, and the way features may be outlined by way of units (plus a bit on currying and sort concept)<\/p>\n<p>Barbara Liskov\u2019s \u201chistorical past rule\u201d in subtyping<\/p>\n<p>Whole and partial orders on units.<\/p>\n<p>Now I\u2019m going to caveat that these have been written off the cuff and haven\u2019t gone via the obsessive enhancing of the guide itself, so they might be tough and there is perhaps errors in them. Nonetheless, it\u2019s like 2-3000 phrases of math content material, so hopefully covers not having a correct e-newsletter this time. Seeya subsequent week!<\/p>\n<\/div>\n<div>\n<p>If you happen to&#8217;re studying this on the net, you&#8217;ll be able to subscribe right here. Updates are as soon as every week. My most important web site is right here.<\/p>\n<p>My new guide, Logic for Programmers, is now in early entry! Get it right here.<\/p>\n<\/p><\/div>\n<p><br \/>\n<br \/><a href=\"https:\/\/buttondown.com\/hillelwayne\/archive\/logic-for-programmers-extra-credits\/\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>So I stated there wasn\u2019t a correct e-newsletter this week, since I\u2019m in Budapest prepping for a convention. However I nonetheless received a factor for y\u2019all. There\u2019s a whole lot of attention-grabbing subjects I wished to cowl for Logic for Programmers, however the guide is dense sufficient as it&#8217;s and lots of of those have [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":218,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"fifu_image_url":"https:\/\/static-assets.buttondown.com\/images\/icons\/icon-square%40400.png","fifu_image_alt":"","jnews-multi-image_gallery":[],"jnews_single_post":[],"jnews_primary_category":[],"jnews_override_bookmark_settings":[],"jnews_social_meta":[],"jnews_override_counter":[],"footnotes":""},"categories":[5],"tags":[331,329,328,274,327],"class_list":["post-216","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-developer-ai-open-source-ecosystem","tag-buttondown","tag-credits","tag-extra","tag-logic","tag-programmers"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.7 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Logic for Programmers additional credit \u2022 Buttondown - Future News 24<\/title>\n<meta name=\"description\" content=\"So I said there wasn\u2019t a proper newsletter this week, since I\u2019m in Budapest prepping for a conference. But I still got a thing for y\u2019all. There\u2019s a lot of...\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Logic for Programmers additional credit \u2022 Buttondown - Future News 24\" \/>\n<meta property=\"og:description\" content=\"So I said there wasn\u2019t a proper newsletter this week, since I\u2019m in Budapest prepping for a conference. But I still got a thing for y\u2019all. There\u2019s a lot of...\" \/>\n<meta property=\"og:url\" content=\"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/\" \/>\n<meta property=\"og:site_name\" content=\"Future News 24\" \/>\n<meta property=\"article:published_time\" content=\"2026-06-02T14:48:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-06-04T18:42:15+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/static-assets.buttondown.com\/images\/icons\/icon-square%40400.png\" \/>\n<meta name=\"author\" content=\"Future News 24\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/static-assets.buttondown.com\/images\/icons\/icon-square%40400.png\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Future News 24\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/\"},\"author\":{\"name\":\"Future News 24\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/person\\\/cecad1bde21cfc357cf70128144d6c83\"},\"headline\":\"Logic for Programmers additional credit \u2022 Buttondown\",\"datePublished\":\"2026-06-02T14:48:00+00:00\",\"dateModified\":\"2026-06-04T18:42:15+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/\"},\"wordCount\":273,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/static-assets.buttondown.com\\\/images\\\/icons\\\/icon-square%40400.png\",\"keywords\":[\"Buttondown\",\"credits\",\"extra\",\"Logic\",\"Programmers\"],\"articleSection\":[\"Developer AI &amp; Open-Source Ecosystem\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/\",\"name\":\"Logic for Programmers additional credit \u2022 Buttondown - Future News 24\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/static-assets.buttondown.com\\\/images\\\/icons\\\/icon-square%40400.png\",\"datePublished\":\"2026-06-02T14:48:00+00:00\",\"dateModified\":\"2026-06-04T18:42:15+00:00\",\"description\":\"So I said there wasn\u2019t a proper newsletter this week, since I\u2019m in Budapest prepping for a conference. But I still got a thing for y\u2019all. There\u2019s a lot of...\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/#primaryimage\",\"url\":\"https:\\\/\\\/static-assets.buttondown.com\\\/images\\\/icons\\\/icon-square%40400.png\",\"contentUrl\":\"https:\\\/\\\/static-assets.buttondown.com\\\/images\\\/icons\\\/icon-square%40400.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/06\\\/02\\\/logic-for-programmers-extra-credits\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/futurenews24.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Logic for Programmers additional credit \u2022 Buttondown\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#website\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/\",\"name\":\"Future News 24\",\"description\":\"The Smart Hub for AI and Next-Gen Innovation\",\"publisher\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/futurenews24.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\",\"name\":\"Future News 24\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/fn24-favicon.png\",\"contentUrl\":\"https:\\\/\\\/futurenews24.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/fn24-favicon.png\",\"width\":250,\"height\":250,\"caption\":\"Future News 24\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/person\\\/cecad1bde21cfc357cf70128144d6c83\",\"name\":\"Future News 24\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"caption\":\"Future News 24\"},\"sameAs\":[\"https:\\\/\\\/futurenews24.com\"],\"url\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/author\\\/mridulpahuja20\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Logic for Programmers additional credit \u2022 Buttondown - Future News 24","description":"So I said there wasn\u2019t a proper newsletter this week, since I\u2019m in Budapest prepping for a conference. But I still got a thing for y\u2019all. There\u2019s a lot of...","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/","og_locale":"en_US","og_type":"article","og_title":"Logic for Programmers additional credit \u2022 Buttondown - Future News 24","og_description":"So I said there wasn\u2019t a proper newsletter this week, since I\u2019m in Budapest prepping for a conference. But I still got a thing for y\u2019all. There\u2019s a lot of...","og_url":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/","og_site_name":"Future News 24","article_published_time":"2026-06-02T14:48:00+00:00","article_modified_time":"2026-06-04T18:42:15+00:00","og_image":[{"url":"https:\/\/static-assets.buttondown.com\/images\/icons\/icon-square%40400.png","type":"","width":"","height":""}],"author":"Future News 24","twitter_card":"summary_large_image","twitter_image":"https:\/\/static-assets.buttondown.com\/images\/icons\/icon-square%40400.png","twitter_misc":{"Written by":"Future News 24","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/#article","isPartOf":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/"},"author":{"name":"Future News 24","@id":"https:\/\/futurenews24.com\/#\/schema\/person\/cecad1bde21cfc357cf70128144d6c83"},"headline":"Logic for Programmers additional credit \u2022 Buttondown","datePublished":"2026-06-02T14:48:00+00:00","dateModified":"2026-06-04T18:42:15+00:00","mainEntityOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/"},"wordCount":273,"commentCount":0,"publisher":{"@id":"https:\/\/futurenews24.com\/#organization"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/#primaryimage"},"thumbnailUrl":"https:\/\/static-assets.buttondown.com\/images\/icons\/icon-square%40400.png","keywords":["Buttondown","credits","extra","Logic","Programmers"],"articleSection":["Developer AI &amp; Open-Source Ecosystem"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/","url":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/","name":"Logic for Programmers additional credit \u2022 Buttondown - Future News 24","isPartOf":{"@id":"https:\/\/futurenews24.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/#primaryimage"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/#primaryimage"},"thumbnailUrl":"https:\/\/static-assets.buttondown.com\/images\/icons\/icon-square%40400.png","datePublished":"2026-06-02T14:48:00+00:00","dateModified":"2026-06-04T18:42:15+00:00","description":"So I said there wasn\u2019t a proper newsletter this week, since I\u2019m in Budapest prepping for a conference. But I still got a thing for y\u2019all. There\u2019s a lot of...","breadcrumb":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/#primaryimage","url":"https:\/\/static-assets.buttondown.com\/images\/icons\/icon-square%40400.png","contentUrl":"https:\/\/static-assets.buttondown.com\/images\/icons\/icon-square%40400.png"},{"@type":"BreadcrumbList","@id":"https:\/\/futurenews24.com\/index.php\/2026\/06\/02\/logic-for-programmers-extra-credits\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/futurenews24.com\/"},{"@type":"ListItem","position":2,"name":"Logic for Programmers additional credit \u2022 Buttondown"}]},{"@type":"WebSite","@id":"https:\/\/futurenews24.com\/#website","url":"https:\/\/futurenews24.com\/","name":"Future News 24","description":"The Smart Hub for AI and Next-Gen Innovation","publisher":{"@id":"https:\/\/futurenews24.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/futurenews24.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/futurenews24.com\/#organization","name":"Future News 24","url":"https:\/\/futurenews24.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/futurenews24.com\/#\/schema\/logo\/image\/","url":"https:\/\/futurenews24.com\/wp-content\/uploads\/2026\/06\/fn24-favicon.png","contentUrl":"https:\/\/futurenews24.com\/wp-content\/uploads\/2026\/06\/fn24-favicon.png","width":250,"height":250,"caption":"Future News 24"},"image":{"@id":"https:\/\/futurenews24.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/futurenews24.com\/#\/schema\/person\/cecad1bde21cfc357cf70128144d6c83","name":"Future News 24","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","caption":"Future News 24"},"sameAs":["https:\/\/futurenews24.com"],"url":"https:\/\/futurenews24.com\/index.php\/author\/mridulpahuja20\/"}]}},"_links":{"self":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/216","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/comments?post=216"}],"version-history":[{"count":1,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/216\/revisions"}],"predecessor-version":[{"id":217,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/216\/revisions\/217"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media\/218"}],"wp:attachment":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media?parent=216"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/categories?post=216"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/tags?post=216"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}