deploy: 4713698

tlaplus · Dec 17, 2024 · 10d24f4 · 10d24f4
1 parent 0a95668
commit 10d24f4
Show file tree

Hide file tree

Showing 12 changed files with 56 additions and 13 deletions.
diff --git a/CNAME b/CNAME
diff --git a/blog/2024-12-dev-update/index.html b/blog/2024-12-dev-update/index.html
diff --git a/blog/index.html b/blog/index.html
diff --git a/blog/index.xml b/blog/index.xml
@@ -1 +1 @@
-<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>TLA+ Blog :: TLA+ Foundation</title><link>https://foundation.tlapl.us/blog/index.html</link><description/><generator>Hugo</generator><language>en-us</language><atom:link href="https://foundation.tlapl.us/blog/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
+<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>TLA+ Blog :: TLA+ Foundation</title><link>https://foundation.tlapl.us/blog/index.html</link><description>December 2024 Monthly Development UpdateHello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update. Here I’ll summarize the past month of development for the benefit of Foundation patrons and interested members of the community. These posts are authored by Andrew Helwer and while I’ll focus a fair bit on my own work (as a way of providing a monthly status update to the Foundation, really), I will also provide a rundown of other happenings in the community! If I missed your contribution or there was some important part of it I didn’t capture in the summary, worry not! These newsletters will be published monthly so it’s easy to hop on the next train; try opening an issue here.</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Sun, 01 Dec 2024 00:00:00 +0000</lastBuildDate><atom:link href="https://foundation.tlapl.us/blog/index.xml" rel="self" type="application/rss+xml"/><item><title>December 2024 Monthly Development Update</title><link>https://foundation.tlapl.us/blog/2024-12-dev-update/index.html</link><pubDate>Sun, 01 Dec 2024 00:00:00 +0000</pubDate><guid>https://foundation.tlapl.us/blog/2024-12-dev-update/index.html</guid><description>Hello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update. Here I’ll summarize the past month of development for the benefit of Foundation patrons and interested members of the community. These posts are authored by Andrew Helwer and while I’ll focus a fair bit on my own work (as a way of providing a monthly status update to the Foundation, really), I will also provide a rundown of other happenings in the community! If I missed your contribution or there was some important part of it I didn’t capture in the summary, worry not! These newsletters will be published monthly so it’s easy to hop on the next train; try opening an issue here.</description></item></channel></rss>
diff --git a/categories/index.html b/categories/index.html
@@ -1,4 +1,4 @@
-<!doctype html><html lang=en-us dir=ltr itemscope itemtype=http://schema.org/Article><head><meta charset=utf-8><meta name=viewport content="height=device-height,width=device-width,initial-scale=1,minimum-scale=1"><meta name=generator content="Hugo 0.139.0"><meta name=generator content="Relearn 7.1.1+b48b344b6d6d58cbd5cb32879db41fcc0cd5df9a"><meta name=description content><meta name=author content="TLA+ Foundation"><meta name=twitter:card content="summary"><meta name=twitter:title content="Categories :: TLA+ Foundation"><meta property="og:url" content="https://foundation.tlapl.us/categories/"><meta property="og:site_name" content="TLA+ Foundation"><meta property="og:title" content="Categories"><meta property="og:locale" content="en-us"><meta property="og:type" content="website"><meta itemprop=name content="Categories :: TLA+ Foundation"><title>Categories :: TLA+ Foundation</title><link href=/categories/index.xml rel=alternate type=application/rss+xml title="Categories :: TLA+ Foundation"><link href=/css/fontawesome-all.min.css rel=stylesheet media=print onload='this.media="all",this.onload=null'><noscript><link href=/css/fontawesome-all.min.css rel=stylesheet></noscript><link href=/css/nucleus.css rel=stylesheet><link href=/css/auto-complete.css rel=stylesheet media=print onload='this.media="all",this.onload=null'><noscript><link href=/css/auto-complete.css rel=stylesheet></noscript><link href=/css/perfect-scrollbar.min.css rel=stylesheet><link href=/css/fonts.css rel=stylesheet media=print onload='this.media="all",this.onload=null'><noscript><link href=/css/fonts.css rel=stylesheet></noscript><link href=/css/theme.css rel=stylesheet><link href=/css/theme-tlaplus.css rel=stylesheet id=R-variant-style><link href=/css/chroma-relearn-light.css rel=stylesheet id=R-variant-chroma-style><link href=/css/print.css rel=stylesheet media=print><script src=/js/variant.js></script><script>window.relearn=window.relearn||{},window.relearn.relBasePath="..",window.relearn.relBaseUri="..",window.relearn.absBaseUri="https://foundation.tlapl.us",window.relearn.disableAnchorCopy=!1,window.relearn.disableAnchorScrolling=!1,window.variants&&variants.init(["tlaplus"]),window.T_Copy_to_clipboard=`Copy to clipboard`,window.T_Copied_to_clipboard=`Copied to clipboard!`,window.T_Copy_link_to_clipboard=`Copy link to clipboard`,window.T_Link_copied_to_clipboard=`Copied link to clipboard!`,window.T_Reset_view=`Reset view`,window.T_View_reset=`View reset!`,window.T_No_results_found=`No results found for "{0}"`,window.T_N_results_found=`{1} results found for "{0}"`</script></head><body class="mobile-support html" data-url=/categories/index.html><div id=R-body class=default-animation><div id=R-body-overlay></div><nav id=R-topbar><div class=topbar-wrapper><div class=topbar-sidebar-divider></div><div class="topbar-area topbar-area-start" data-area=start><div class="topbar-button topbar-button-sidebar" data-content-empty=disable data-width-s=show data-width-m=hide data-width-l=hide><button class=topbar-control onclick=toggleNav() type=button title="Menu (CTRL+ALT+n)"><i class="fa-fw fas fa-bars"></i></button></div><div class="topbar-button topbar-button-toc" data-content-empty=hide data-width-s=show data-width-m=show data-width-l=show><button class=topbar-control onclick=toggleTopbarFlyout(this) type=button title="Table of Contents (CTRL+ALT+t)"><i class="fa-fw fas fa-list-alt"></i></button><div class=topbar-content><div class=topbar-content-wrapper></div></div></div></div><ol class="topbar-breadcrumbs breadcrumbs highlightable" itemscope itemtype=http://schema.org/BreadcrumbList><li itemscope itemtype=https://schema.org/ListItem itemprop=itemListElement><a itemprop=item href=/index.html><span itemprop=name>TLA+ Foundation</span></a><meta itemprop=position content="1">&nbsp;>&nbsp;</li><li itemscope itemtype=https://schema.org/ListItem itemprop=itemListElement><span itemprop=name>Categories</span><meta itemprop=position content="2"></li></ol><div class="topbar-area topbar-area-end" data-area=end><div class="topbar-button topbar-button-more" data-content-empty=hide data-width-s=show data-width-m=show data-width-l=show><button class=topbar-control onclick=toggleTopbarFlyout(this) type=button title=More><i class="fa-fw fas fa-ellipsis-v"></i></button><div class=topbar-content><div class=topbar-content-wrapper><div class="topbar-area topbar-area-more" data-area=more></div></div></div></div></div></div></nav><div id=R-main-overlay></div><main id=R-body-inner class="highlightable categories" tabindex=-1><div class=flex-block-wrapper><article><header class=headline></header><h1 id=categories>Categories</h1><footer class=footline></footer></article></div></main></div><aside id=R-sidebar class=default-animation><div id=R-header-topbar class=default-animation></div><div id=R-header-wrapper class=default-animation><div id=R-header class=default-animation><img src=https://foundation.tlapl.us/logos/tla.jpg alt="The TLA+ logo"></div></div><div id=R-homelinks class="default-animation homelinks"><ul><li><a class=padding href=/index.html><i class="fa-fw fas fa-home"></i> Home</a></li></ul><hr class=padding></div><div id=R-content-wrapper class=highlightable><div id=R-shortcutmenu-home class=R-sidebarmenu><ul class="enlarge morespace collapsible-menu"><li class=alwaysopen data-nav-id=/grants/index.html><a class=padding href=/grants/index.html><i class='fa-fw fas fa-building-columns'></i> TLA+ Foundation Grants</a><ul id=R-subsections-bf83bdd8d2bc462bc2b67f31343a1032 class=collapsible-menu><li data-nav-id=/grants/2024-grant-program/index.html><a class=padding href=/grants/2024-grant-program/index.html><i class='fa-fw fas fa-scroll'></i> TLA+ Foundation Grant Program Call for Proposals</a></li></ul></li></ul></div><div id=R-shortcutmenu-shortcuts class=R-sidebarmenu><div class="nav-title padding">More</div><ul class="space collapsible-menu"><li data-nav-id=https://github.com/tlaplus/><a class=padding href=https://github.com/tlaplus/ target=_blank><i class="fa-fw fab fa-github"></i> GitHub</a></li><li data-nav-id=https://groups.google.com/g/tlaplus/><a class=padding href=https://groups.google.com/g/tlaplus/ target=_blank><i class="fa-fw fas fa-at"></i> Mailing List</a></li><li data-nav-id=https://discuss.tlapl.us/><a class=padding href=https://discuss.tlapl.us/ target=_blank><i class="fa-fw fas fa-inbox"></i> Mailing List Archive</a></li><li data-nav-id=https://conf.tlapl.us/home/><a class=padding href=https://conf.tlapl.us/home/ target=_blank><i class="fa-fw fas fa-calendar-day"></i> Conferences and Events</a></li></ul></div><div class="padding footermargin footerLangSwitch footerVariantSwitch footerVisitedLinks footerFooter"></div><div id=R-menu-footer><hr class="padding default-animation footerLangSwitch footerVariantSwitch footerVisitedLinks footerFooter"><div id=R-prefooter class="footerLangSwitch footerVariantSwitch footerVisitedLinks"><ul><li id=R-select-language-container class=footerLangSwitch><div class="padding menu-control"><i class="fa-fw fas fa-language"></i>
+<!doctype html><html lang=en-us dir=ltr itemscope itemtype=http://schema.org/Article><head><meta charset=utf-8><meta name=viewport content="height=device-height,width=device-width,initial-scale=1,minimum-scale=1"><meta name=generator content="Hugo 0.139.0"><meta name=generator content="Relearn 7.1.1+b48b344b6d6d58cbd5cb32879db41fcc0cd5df9a"><meta name=description content><meta name=author content="TLA+ Foundation"><meta name=twitter:card content="summary"><meta name=twitter:title content="Categories :: TLA+ Foundation"><meta property="og:url" content="https://foundation.tlapl.us/categories/"><meta property="og:site_name" content="TLA+ Foundation"><meta property="og:title" content="Categories"><meta property="og:locale" content="en-us"><meta property="og:type" content="website"><meta itemprop=name content="Categories :: TLA+ Foundation"><title>Categories :: TLA+ Foundation</title><link href=/categories/index.xml rel=alternate type=application/rss+xml title="Categories :: TLA+ Foundation"><link href=/css/fontawesome-all.min.css rel=stylesheet media=print onload='this.media="all",this.onload=null'><noscript><link href=/css/fontawesome-all.min.css rel=stylesheet></noscript><link href=/css/nucleus.css rel=stylesheet><link href=/css/auto-complete.css rel=stylesheet media=print onload='this.media="all",this.onload=null'><noscript><link href=/css/auto-complete.css rel=stylesheet></noscript><link href=/css/perfect-scrollbar.min.css rel=stylesheet><link href=/css/fonts.css rel=stylesheet media=print onload='this.media="all",this.onload=null'><noscript><link href=/css/fonts.css rel=stylesheet></noscript><link href=/css/theme.css rel=stylesheet><link href=/css/theme-tlaplus.css rel=stylesheet id=R-variant-style><link href=/css/chroma-relearn-light.css rel=stylesheet id=R-variant-chroma-style><link href=/css/print.css rel=stylesheet media=print><script src=/js/variant.js></script><script>window.relearn=window.relearn||{},window.relearn.relBasePath="..",window.relearn.relBaseUri="..",window.relearn.absBaseUri="https://foundation.tlapl.us",window.relearn.disableAnchorCopy=!1,window.relearn.disableAnchorScrolling=!1,window.variants&&variants.init(["tlaplus"]),window.T_Copy_to_clipboard=`Copy to clipboard`,window.T_Copied_to_clipboard=`Copied to clipboard!`,window.T_Copy_link_to_clipboard=`Copy link to clipboard`,window.T_Link_copied_to_clipboard=`Copied link to clipboard!`,window.T_Reset_view=`Reset view`,window.T_View_reset=`View reset!`,window.T_No_results_found=`No results found for "{0}"`,window.T_N_results_found=`{1} results found for "{0}"`</script></head><body class="mobile-support html" data-url=/categories/index.html><div id=R-body class=default-animation><div id=R-body-overlay></div><nav id=R-topbar><div class=topbar-wrapper><div class=topbar-sidebar-divider></div><div class="topbar-area topbar-area-start" data-area=start><div class="topbar-button topbar-button-sidebar" data-content-empty=disable data-width-s=show data-width-m=hide data-width-l=hide><button class=topbar-control onclick=toggleNav() type=button title="Menu (CTRL+ALT+n)"><i class="fa-fw fas fa-bars"></i></button></div><div class="topbar-button topbar-button-toc" data-content-empty=hide data-width-s=show data-width-m=show data-width-l=show><button class=topbar-control onclick=toggleTopbarFlyout(this) type=button title="Table of Contents (CTRL+ALT+t)"><i class="fa-fw fas fa-list-alt"></i></button><div class=topbar-content><div class=topbar-content-wrapper></div></div></div></div><ol class="topbar-breadcrumbs breadcrumbs highlightable" itemscope itemtype=http://schema.org/BreadcrumbList><li itemscope itemtype=https://schema.org/ListItem itemprop=itemListElement><a itemprop=item href=/index.html><span itemprop=name>TLA+ Foundation</span></a><meta itemprop=position content="1">&nbsp;>&nbsp;</li><li itemscope itemtype=https://schema.org/ListItem itemprop=itemListElement><span itemprop=name>Categories</span><meta itemprop=position content="2"></li></ol><div class="topbar-area topbar-area-end" data-area=end><div class="topbar-button topbar-button-more" data-content-empty=hide data-width-s=show data-width-m=show data-width-l=show><button class=topbar-control onclick=toggleTopbarFlyout(this) type=button title=More><i class="fa-fw fas fa-ellipsis-v"></i></button><div class=topbar-content><div class=topbar-content-wrapper><div class="topbar-area topbar-area-more" data-area=more></div></div></div></div></div></div></nav><div id=R-main-overlay></div><main id=R-body-inner class="highlightable categories" tabindex=-1><div class=flex-block-wrapper><article><header class=headline></header><h1 id=categories>Categories</h1><footer class=footline></footer></article></div></main></div><aside id=R-sidebar class=default-animation><div id=R-header-topbar class=default-animation></div><div id=R-header-wrapper class=default-animation><div id=R-header class=default-animation><img src=https://foundation.tlapl.us/logos/tla.jpg alt="The TLA+ logo"></div></div><div id=R-homelinks class="default-animation homelinks"><ul><li><a class=padding href=/index.html><i class="fa-fw fas fa-home"></i> Home</a></li></ul><hr class=padding></div><div id=R-content-wrapper class=highlightable><div id=R-shortcutmenu-home class=R-sidebarmenu><ul class="enlarge morespace collapsible-menu"><li data-nav-id=/blog/index.html><a class=padding href=/blog/index.html><i class='fa-fw fas fa-blog'></i> TLA+ Blog</a><ul id=R-subsections-c061e150208a7ab43c1b0b723b79816b class=collapsible-menu><li data-nav-id=/blog/2024-12-dev-update/index.html><a class=padding href=/blog/2024-12-dev-update/index.html>December 2024 Monthly Development Update</a></li></ul></li><li class=alwaysopen data-nav-id=/grants/index.html><a class=padding href=/grants/index.html><i class='fa-fw fas fa-building-columns'></i> TLA+ Foundation Grants</a><ul id=R-subsections-bf83bdd8d2bc462bc2b67f31343a1032 class=collapsible-menu><li data-nav-id=/grants/2024-grant-program/index.html><a class=padding href=/grants/2024-grant-program/index.html><i class='fa-fw fas fa-scroll'></i> TLA+ Foundation Grant Program Call for Proposals</a></li></ul></li></ul></div><div id=R-shortcutmenu-shortcuts class=R-sidebarmenu><div class="nav-title padding">More</div><ul class="space collapsible-menu"><li data-nav-id=https://github.com/tlaplus/><a class=padding href=https://github.com/tlaplus/ target=_blank><i class="fa-fw fab fa-github"></i> GitHub</a></li><li data-nav-id=https://groups.google.com/g/tlaplus/><a class=padding href=https://groups.google.com/g/tlaplus/ target=_blank><i class="fa-fw fas fa-at"></i> Mailing List</a></li><li data-nav-id=https://discuss.tlapl.us/><a class=padding href=https://discuss.tlapl.us/ target=_blank><i class="fa-fw fas fa-inbox"></i> Mailing List Archive</a></li><li data-nav-id=https://conf.tlapl.us/home/><a class=padding href=https://conf.tlapl.us/home/ target=_blank><i class="fa-fw fas fa-calendar-day"></i> Conferences and Events</a></li></ul></div><div class="padding footermargin footerLangSwitch footerVariantSwitch footerVisitedLinks footerFooter"></div><div id=R-menu-footer><hr class="padding default-animation footerLangSwitch footerVariantSwitch footerVisitedLinks footerFooter"><div id=R-prefooter class="footerLangSwitch footerVariantSwitch footerVisitedLinks"><ul><li id=R-select-language-container class=footerLangSwitch><div class="padding menu-control"><i class="fa-fw fas fa-language"></i>
 <span>&nbsp;</span><div class=control-style><label class=a11y-only for=R-select-language>Language</label>
 <select id=R-select-language onchange="location=this.querySelector(this.value).dataset.url"><option id=R-select-language-en value=#R-select-language-en data-url=/categories/index.html lang=en-us selected></option></select></div><div class=clear></div></div></li><li id=R-select-variant-container class=footerVariantSwitch><div class="padding menu-control"><i class="fa-fw fas fa-paint-brush"></i>
 <span>&nbsp;</span><div class=control-style><label class=a11y-only for=R-select-variant>Theme</label>
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>TLA+ Blog :: TLA+ Foundation</title><link>https://foundation.tlapl.us/blog/index.html</link><description/><generator>Hugo</generator><language>en-us</language><atom:link href="https://foundation.tlapl.us/blog/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
		<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>TLA+ Blog :: TLA+ Foundation</title><link>https://foundation.tlapl.us/blog/index.html</link><description>December 2024 Monthly Development UpdateHello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update. Here I’ll summarize the past month of development for the benefit of Foundation patrons and interested members of the community. These posts are authored by Andrew Helwer and while I’ll focus a fair bit on my own work (as a way of providing a monthly status update to the Foundation, really), I will also provide a rundown of other happenings in the community! If I missed your contribution or there was some important part of it I didn’t capture in the summary, worry not! These newsletters will be published monthly so it’s easy to hop on the next train; try opening an issue here.</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Sun, 01 Dec 2024 00:00:00 +0000</lastBuildDate><atom:link href="https://foundation.tlapl.us/blog/index.xml" rel="self" type="application/rss+xml"/><item><title>December 2024 Monthly Development Update</title><link>https://foundation.tlapl.us/blog/2024-12-dev-update/index.html</link><pubDate>Sun, 01 Dec 2024 00:00:00 +0000</pubDate><guid>https://foundation.tlapl.us/blog/2024-12-dev-update/index.html</guid><description>Hello! You’re reading the inaugural edition of the TLA⁺ Foundation monthly development update. Here I’ll summarize the past month of development for the benefit of Foundation patrons and interested members of the community. These posts are authored by Andrew Helwer and while I’ll focus a fair bit on my own work (as a way of providing a monthly status update to the Foundation, really), I will also provide a rundown of other happenings in the community! If I missed your contribution or there was some important part of it I didn’t capture in the summary, worry not! These newsletters will be published monthly so it’s easy to hop on the next train; try opening an issue here.</description></item></channel></rss>