Utah PLT: Utah PLT https://utahplt.github.io/blog/index.html Tue, 14 Jul 2026 19:19:41 UT Tue, 14 Jul 2026 19:19:41 UT 1800 https://utahplt.github.io/blog/2026/07/curry-festschrift-book-on-internet-archive.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2026-07-curry-festschrift-book-on-internet-archive-html Tue, 14 Jul 2026 19:19:41 UT Utah PLT <a href="https://utahplt.github.io/blog/2026/07/curry-festschrift-book-on-internet-archive.html?utm_source=all&amp;utm_medium=RSS"><em>More&hellip;</em></a> https://utahplt.github.io/blog/2025/12/nice-to-meet-you-synthesizing-practical-mlir-abstract-transformers.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2025-12-nice-to-meet-you-synthesizing-practical-mlir-abstract-transformers-html Wed, 10 Dec 2025 22:18:27 UT Utah PLT <a href="https://utahplt.github.io/blog/2025/12/nice-to-meet-you-synthesizing-practical-mlir-abstract-transformers.html?utm_source=all&amp;utm_medium=RSS"><em>More&hellip;</em></a> https://utahplt.github.io/blog/2025/06/-lightweight-diagramming-for-lightweight-formal-methods-https-blog-brownplt-org-2025-06-09-copeanddrag-html.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2025-06-lightweight-diagramming-for-lightweight-formal-methods-https-blog-brownplt-org-2025-06-09-copeanddrag-html-html Mon, 09 Jun 2025 05:11:11 UT Utah PLT https://utahplt.github.io/blog/2024/12/-toward-a-corpus-study-of-the-dynamic-gradual-type-https-dibrinsofor-github-io-logs-chasing-anys.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2024-12-toward-a-corpus-study-of-the-dynamic-gradual-type-https-dibrinsofor-github-io-logs-chasing-anys-html Mon, 02 Dec 2024 17:56:01 UT Utah PLT https://utahplt.github.io/blog/2024/10/-forge-has-got-my-goat-https-www-dominicmkennedy-com-blog-forge-has-got-my-goat.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2024-10-forge-has-got-my-goat-https-www-dominicmkennedy-com-blog-forge-has-got-my-goat-html Thu, 17 Oct 2024 17:29:22 UT Utah PLT https://utahplt.github.io/blog/2024/08/-ltl-tutor-https-blog-brownplt-org-2024-08-08-ltltutor-html.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2024-08-ltl-tutor-https-blog-brownplt-org-2024-08-08-ltltutor-html-html Thu, 08 Aug 2024 05:11:11 UT Utah PLT https://utahplt.github.io/blog/2024/07/-evolving-languages-faster-with-type-tailoring-https-lambdaland-org-posts-2024-07-15-type-tailoring.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2024-07-evolving-languages-faster-with-type-tailoring-https-lambdaland-org-posts-2024-07-15-type-tailoring-html Fri, 26 Jul 2024 18:07:34 UT Utah PLT https://utahplt.github.io/blog/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&utm_medium=RSS urn:https-utahplt-github-io:-blog-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 Sun, 07 Jul 2024 05:11:11 UT Utah PLT https://utahplt.github.io/blog/2024/06/-chorex-guaranteeing-deadlock-freedom-in-elixir-https-lambdaland-org-posts-2024-06-03-chorex-0-1.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2024-06-chorex-guaranteeing-deadlock-freedom-in-elixir-https-lambdaland-org-posts-2024-06-03-chorex-0-1-html Mon, 03 Jun 2024 18:29:25 UT Utah PLT https://utahplt.github.io/blog/2024/04/-forge-a-tool-to-teach-formal-methods-https-blog-brownplt-org-2024-04-21-forge-html.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2024-04-forge-a-tool-to-teach-formal-methods-https-blog-brownplt-org-2024-04-21-forge-html-html Sun, 21 Apr 2024 05:11:11 UT Utah PLT https://utahplt.github.io/blog/2024/02/-privacy-respecting-type-error-telemetry-at-scale-https-blog-brownplt-org-2024-02-02-privacy-telemetry-html.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2024-02-privacy-respecting-type-error-telemetry-at-scale-https-blog-brownplt-org-2024-02-02-privacy-telemetry-html-html Fri, 02 Feb 2024 06:11:11 UT Utah PLT https://utahplt.github.io/blog/2023/10/-conceptual-mutation-testing-https-blog-brownplt-org-2023-10-31-conceptual-mutation-testing-html.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2023-10-conceptual-mutation-testing-https-blog-brownplt-org-2023-10-31-conceptual-mutation-testing-html-html Tue, 31 Oct 2023 05:11:11 UT Utah PLT https://utahplt.github.io/blog/2023/09/-generating-programs-trivially-student-use-of-large-language-models-https-blog-brownplt-org-2023-09-19-generating-programs-trivially-html.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2023-09-generating-programs-trivially-student-use-of-large-language-models-https-blog-brownplt-org-2023-09-19-generating-programs-trivially-html-html Tue, 19 Sep 2023 05:11:11 UT Utah PLT https://utahplt.github.io/blog/2023/06/gtp-benchmarks-for-gradual-typing-performance.html?utm_source=all&utm_medium=RSS urn:https-utahplt-github-io:-blog-2023-06-gtp-benchmarks-for-gradual-typing-performance-html Wed, 28 Jun 2023 21:18:44 UT Utah PLT <p>Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.</p><a href="https://utahplt.github.io/blog/2023/06/gtp-benchmarks-for-gradual-typing-performance.html?utm_source=all&amp;utm_medium=RSS"><em>More&hellip;</em></a> https://utahplt.github.io/blog/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&utm_medium=RSS urn:https-utahplt-github-io:-blog-2023-06-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-https-lambdaland-org-flowfpx-nimble-tools-for-debugging-floating-point-exceptions-juliacon-2023-html Mon, 26 Jun 2023 05:11:11 UT Utah PLT