redate flowfpx

utahplt · Jul 13, 2024 · d4a81f9 · d4a81f9
1 parent bb29737
commit d4a81f9
Show file tree

Hide file tree

Showing 9 changed files with 35 additions and 35 deletions.
diff --git a/.frog/build b/.frog/build
diff --git a/...ating-point-exceptions-juliacon-2023.html → ...ating-point-exceptions-juliacon-2023.html b/...ating-point-exceptions-juliacon-2023.html → ...ating-point-exceptions-juliacon-2023.html
@@ -8,9 +8,9 @@
     <meta name="keywords"    content="">
     <meta name="viewport"    content="width=device-width, initial-scale=1.0">
     <link rel="icon"      href="/favicon.ico">
-    <link rel="canonical" href="https://www-old.cs.utah.edu/plt//2024/07/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html">
-    <link rel="next" href="/2024/07/-misconceptions-in-finite-trace-and-infinite-trace-linear-temporal-logic-https-blog-brownplt-org-2024-07-07-little-tricky-logics-2-html.html">
+    <link rel="canonical" href="https://www-old.cs.utah.edu/plt//2023/06/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html">
 
+    <link rel="prev" href="/2023/06/gtp-benchmarks-for-gradual-typing-performance.html">
     <!-- CSS -->
     <link rel="stylesheet" type="text/css" href="/css/bootstrap.min.css">
     <link rel="stylesheet" type="text/css" href="/css/pygments.css">
@@ -33,7 +33,7 @@ <H1>
   <header>
     <h2><a href="https://lambdaland.org/#flowfpx-nimble-tools-for-debugging-floating-point-exceptions--juliacon-2023">FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions</a></h2>
     <p class='date-and-tags'>
-<time datetime="2024-07-07" pubdate="true">2024-07-07</time> :: <span class="tags"></span></p>
+<time datetime="2023-06-26" pubdate="true">2023-06-26</time> :: <span class="tags"></span></p>
   </header>
 
   <footer>

diff --git a/2023/06/gtp-benchmarks-for-gradual-typing-performance.html b/2023/06/gtp-benchmarks-for-gradual-typing-performance.html
@@ -9,7 +9,7 @@
     <meta name="viewport"    content="width=device-width, initial-scale=1.0">
     <link rel="icon"      href="/favicon.ico">
     <link rel="canonical" href="https://www-old.cs.utah.edu/plt//2023/06/gtp-benchmarks-for-gradual-typing-performance.html">
-
+    <link rel="next" href="/2023/06/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html">
     <link rel="prev" href="/2023/09/-generating-programs-trivially-student-use-of-large-language-models-https-blog-brownplt-org-2023-09-19-generating-programs-trivially-html.html">
     <!-- CSS -->
     <link rel="stylesheet" type="text/css" href="/css/bootstrap.min.css">

diff --git a/...linear-temporal-logic-https-blog-brownplt-org-2024-07-07-little-tricky-logics-2-html.html b/...linear-temporal-logic-https-blog-brownplt-org-2024-07-07-little-tricky-logics-2-html.html
@@ -10,7 +10,7 @@
     <link rel="icon"      href="/favicon.ico">
     <link rel="canonical" href="https://www-old.cs.utah.edu/plt//2024/07/-misconceptions-in-finite-trace-and-infinite-trace-linear-temporal-logic-https-blog-brownplt-org-2024-07-07-little-tricky-logics-2-html.html">
     <link rel="next" href="/2024/04/-forge-a-tool-to-teach-formal-methods-https-blog-brownplt-org-2024-04-21-forge-html.html">
-    <link rel="prev" href="/2024/07/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html">
+
     <!-- CSS -->
     <link rel="stylesheet" type="text/css" href="/css/bootstrap.min.css">
     <link rel="stylesheet" type="text/css" href="/css/pygments.css">

diff --git a/_src/posts/2023-06-26-flowfpx-juliacon.md b/_src/posts/2023-06-26-flowfpx-juliacon.md
@@ -1,4 +1,4 @@
     Title: [FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions](https://lambdaland.org/#flowfpx-nimble-tools-for-debugging-floating-point-exceptions--juliacon-2023)
-    Date: 2024-07-07T01:11:11
+    Date: 2023-06-26T01:11:11
     Tags: 
 
diff --git a/feeds/all.atom.xml b/feeds/all.atom.xml
@@ -5,15 +5,6 @@
  <link href="https://www-old.cs.utah.edu/plt//index.html" />
  <id>urn:https-www-old-cs-utah-edu-plt:-index-html</id>
  <updated>2024-07-07T05:11:11Z</updated>
- <entry>
-  <title type="text">[FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions](https://lambdaland.org/#flowfpx-nimble-tools-for-debugging-floating-point-exceptions--juliacon-2023)</title>
-  <link rel="alternate" href="https://www-old.cs.utah.edu/plt//2024/07/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html?utm_source=all&amp;utm_medium=Atom" />
-  <id>urn:https-www-old-cs-utah-edu-plt:-2024-07-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023-html</id>
-  <published>2024-07-07T05:11:11Z</published>
-  <updated>2024-07-07T05:11:11Z</updated>
-  <author>
-   <name>Utah PLT</name></author>
-  <content type="html"></content></entry>
  <entry>
   <title type="text">[Misconceptions In Finite-Trace and Infinite-Trace Linear Temporal Logic](https://blog.brownplt.org/2024/07/07/little-tricky-logics-2.html)</title>
   <link rel="alternate" href="https://www-old.cs.utah.edu/plt//2024/07/-misconceptions-in-finite-trace-and-infinite-trace-linear-temporal-logic-https-blog-brownplt-org-2024-07-07-little-tricky-logics-2-html.html?utm_source=all&amp;utm_medium=Atom" />
@@ -68,4 +59,13 @@
   <author>
    <name>Utah PLT</name></author>
   <content type="html">
-&lt;p&gt;Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.&lt;/p&gt;&lt;a href="https://www-old.cs.utah.edu/plt//2023/06/gtp-benchmarks-for-gradual-typing-performance.html?utm_source=all&amp;amp;utm_medium=Atom"&gt;&lt;em&gt;More&amp;hellip;&lt;/em&gt;&lt;/a&gt;</content></entry></feed>
+&lt;p&gt;Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.&lt;/p&gt;&lt;a href="https://www-old.cs.utah.edu/plt//2023/06/gtp-benchmarks-for-gradual-typing-performance.html?utm_source=all&amp;amp;utm_medium=Atom"&gt;&lt;em&gt;More&amp;hellip;&lt;/em&gt;&lt;/a&gt;</content></entry>
+ <entry>
+  <title type="text">[FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions](https://lambdaland.org/#flowfpx-nimble-tools-for-debugging-floating-point-exceptions--juliacon-2023)</title>
+  <link rel="alternate" href="https://www-old.cs.utah.edu/plt//2023/06/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html?utm_source=all&amp;utm_medium=Atom" />
+  <id>urn:https-www-old-cs-utah-edu-plt:-2023-06-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023-html</id>
+  <published>2023-06-26T05:11:11Z</published>
+  <updated>2023-06-26T05:11:11Z</updated>
+  <author>
+   <name>Utah PLT</name></author>
+  <content type="html"></content></entry></feed>
diff --git a/feeds/all.rss.xml b/feeds/all.rss.xml
@@ -7,13 +7,6 @@
   <lastBuildDate>Sun, 07 Jul 2024 05:11:11 UT</lastBuildDate>
   <pubDate>Sun, 07 Jul 2024 05:11:11 UT</pubDate>
   <ttl>1800</ttl>
-  <item>
-   <title>[FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions](https://lambdaland.org/#flowfpx-nimble-tools-for-debugging-floating-point-exceptions--juliacon-2023)</title>
-   <link>https://www-old.cs.utah.edu/plt//2024/07/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html?utm_source=all&amp;utm_medium=RSS</link>
-   <guid isPermaLink="false">urn:https-www-old-cs-utah-edu-plt:-2024-07-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023-html</guid>
-   <pubDate>Sun, 07 Jul 2024 05:11:11 UT</pubDate>
-   <author>Utah PLT</author>
-   <description></description></item>
   <item>
    <title>[Misconceptions In Finite-Trace and Infinite-Trace Linear Temporal Logic](https://blog.brownplt.org/2024/07/07/little-tricky-logics-2.html)</title>
    <link>https://www-old.cs.utah.edu/plt//2024/07/-misconceptions-in-finite-trace-and-infinite-trace-linear-temporal-logic-https-blog-brownplt-org-2024-07-07-little-tricky-logics-2-html.html?utm_source=all&amp;utm_medium=RSS</link>
@@ -56,4 +49,11 @@
    <pubDate>Wed, 28 Jun 2023 21:18:44 UT</pubDate>
    <author>Utah PLT</author>
    <description>
-&lt;p&gt;Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.&lt;/p&gt;&lt;a href="https://www-old.cs.utah.edu/plt//2023/06/gtp-benchmarks-for-gradual-typing-performance.html?utm_source=all&amp;amp;utm_medium=RSS"&gt;&lt;em&gt;More&amp;hellip;&lt;/em&gt;&lt;/a&gt;</description></item></channel></rss>
+&lt;p&gt;Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.&lt;/p&gt;&lt;a href="https://www-old.cs.utah.edu/plt//2023/06/gtp-benchmarks-for-gradual-typing-performance.html?utm_source=all&amp;amp;utm_medium=RSS"&gt;&lt;em&gt;More&amp;hellip;&lt;/em&gt;&lt;/a&gt;</description></item>
+  <item>
+   <title>[FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions](https://lambdaland.org/#flowfpx-nimble-tools-for-debugging-floating-point-exceptions--juliacon-2023)</title>
+   <link>https://www-old.cs.utah.edu/plt//2023/06/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html?utm_source=all&amp;utm_medium=RSS</link>
+   <guid isPermaLink="false">urn:https-www-old-cs-utah-edu-plt:-2023-06-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023-html</guid>
+   <pubDate>Mon, 26 Jun 2023 05:11:11 UT</pubDate>
+   <author>Utah PLT</author>
+   <description></description></item></channel></rss>
diff --git a/index.html b/index.html
@@ -30,15 +30,6 @@ <H1>
           <IMG SRC="/img/logo.gif" ALIGN=center ALT="[PLT logo]">&nbsp;Utah PLT Blog
           </H1>
           <article>
-  <header>
-    <h4><a href='/2024/07/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html'><a href="https://lambdaland.org/#flowfpx-nimble-tools-for-debugging-floating-point-exceptions--juliacon-2023">FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions</a></a></h4>
-    <p class='date-and-tags'>
-<time datetime="2024-07-07" pubdate="true">2024-07-07</time></p>
-  </header>
-
-
-</article>
-<article>
   <header>
     <h4><a href='/2024/07/-misconceptions-in-finite-trace-and-infinite-trace-linear-temporal-logic-https-blog-brownplt-org-2024-07-07-little-tricky-logics-2-html.html'><a href="https://blog.brownplt.org/2024/07/07/little-tricky-logics-2.html">Misconceptions In Finite-Trace and Infinite-Trace Linear Temporal Logic</a></a></h4>
     <p class='date-and-tags'>
@@ -94,6 +85,15 @@ <h4><a href='/2023/06/gtp-benchmarks-for-gradual-typing-performance.html'>GTP Be
   <footer>
     <a href='/2023/06/gtp-benchmarks-for-gradual-typing-performance.html'>&hellip; more &hellip;</a>
   </footer>
+</article>
+<article>
+  <header>
+    <h4><a href='/2023/06/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html'><a href="https://lambdaland.org/#flowfpx-nimble-tools-for-debugging-floating-point-exceptions--juliacon-2023">FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions</a></a></h4>
+    <p class='date-and-tags'>
+<time datetime="2023-06-26" pubdate="true">2023-06-26</time></p>
+  </header>
+
+
 </article>
         </div>
       </div>

diff --git a/sitemap.txt b/sitemap.txt
@@ -1,7 +1,7 @@
 https://www-old.cs.utah.edu/plt//2024/04/-forge-a-tool-to-teach-formal-methods-https-blog-brownplt-org-2024-04-21-forge-html.html
 https://www-old.cs.utah.edu/plt//2023/06/gtp-benchmarks-for-gradual-typing-performance.html
 https://www-old.cs.utah.edu/plt//2024/02/-privacy-respecting-type-error-telemetry-at-scale-https-blog-brownplt-org-2024-02-02-privacy-telemetry-html.html
-https://www-old.cs.utah.edu/plt//2024/07/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html
+https://www-old.cs.utah.edu/plt//2023/06/-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023.html
 https://www-old.cs.utah.edu/plt//2024/07/-misconceptions-in-finite-trace-and-infinite-trace-linear-temporal-logic-https-blog-brownplt-org-2024-07-07-little-tricky-logics-2-html.html
 https://www-old.cs.utah.edu/plt//2023/10/-conceptual-mutation-testing-https-blog-brownplt-org-2023-10-31-conceptual-mutation-testing-html.html
 https://www-old.cs.utah.edu/plt//2023/09/-generating-programs-trivially-student-use-of-large-language-models-https-blog-brownplt-org-2023-09-19-generating-programs-trivially-html.html