-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
151 lines (129 loc) · 6.21 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Utah PLT Blog</title>
<meta name="description" content="Utah PLT Blog">
<meta name="author" content="Utah PLT">
<meta name="keywords" content="by Ben Greenman, all">
<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//index.html">
<!-- CSS -->
<link rel="stylesheet" type="text/css" href="/css/bootstrap.min.css">
<link rel="stylesheet" type="text/css" href="/css/pygments.css">
<link rel="stylesheet" type="text/css" href="/css/scribble.css">
<link rel="stylesheet" type="text/css" href="/css/custom.css">
<!-- Feeds -->
<link rel="alternate" type="application/atom+xml" href="/feeds/all.atom.xml" title="Atom Feed">
<link rel="alternate" type="application/rss+xml" href="/feeds/all.rss.xml" title="RSS Feed">
</head>
<body>
<div class="container">
<div class="row">
<!-- Main column -->
<div id="content" class="col-md-9">
<a href="https://www-old.cs.utah.edu/plt/">
<H1>
<img src="/img/utahplt.svg" style="margin: -10px 0 -60px -40px;" width="40%" alt="[Utah PLT logo]">
</H1>
</a>
</div>
<div id="content" class="col-md-3">
</div>
<div class="col-md-3">
<a href="/feeds/all.rss.xml">
<img class="pt-3" style="height: 55px;" src="/img/rss.png" alt="rss feed">
</a>
</div>
</div>
<div class="row">
<div id="content" class="col-md-12">
<article>
<header>
<h4><a href='/2024/12/-toward-a-corpus-study-of-the-dynamic-gradual-type-https-dibrinsofor-github-io-logs-chasing-anys.html'><a href="https://dibrinsofor.github.io/logs/chasing-anys/">Toward a Corpus Study of the Dynamic Gradual Type</a></a></h4>
<p class='date-and-tags'>
<time datetime="2024-12-02" pubdate="true">2024-12-02</time></p>
</header>
</article>
<article>
<header>
<h4><a href='/2024/10/-forge-has-got-my-goat-https-www-dominicmkennedy-com-blog-forge-has-got-my-goat.html'><a href="https://www.dominicmkennedy.com/blog/forge-has-got-my-goat">Forge Has Got My Goat</a></a></h4>
<p class='date-and-tags'>
<time datetime="2024-10-17" pubdate="true">2024-10-17</time></p>
</header>
</article>
<article>
<header>
<h4><a href='/2024/07/-evolving-languages-faster-with-type-tailoring-https-lambdaland-org-posts-2024-07-15-type-tailoring.html'><a href="https://lambdaland.org/posts/2024-07-15_type_tailoring/">Evolving Languages Faster with Type Tailoring</a></a></h4>
<p class='date-and-tags'>
<time datetime="2024-07-26" pubdate="true">2024-07-26</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'>
<time datetime="2024-07-07" pubdate="true">2024-07-07</time></p>
</header>
</article>
<article>
<header>
<h4><a href='/2024/04/-forge-a-tool-to-teach-formal-methods-https-blog-brownplt-org-2024-04-21-forge-html.html'><a href="https://blog.brownplt.org/2024/04/21/forge.html">Forge: A Tool to Teach Formal Methods</a></a></h4>
<p class='date-and-tags'>
<time datetime="2024-04-21" pubdate="true">2024-04-21</time></p>
</header>
</article>
<article>
<header>
<h4><a href='/2024/02/-privacy-respecting-type-error-telemetry-at-scale-https-blog-brownplt-org-2024-02-02-privacy-telemetry-html.html'><a href="https://blog.brownplt.org/2024/02/02/privacy-telemetry.html">Privacy-Respecting Type Error Telemetry at Scale</a></a></h4>
<p class='date-and-tags'>
<time datetime="2024-02-02" pubdate="true">2024-02-02</time></p>
</header>
</article>
<article>
<header>
<h4><a href='/2023/10/-conceptual-mutation-testing-https-blog-brownplt-org-2023-10-31-conceptual-mutation-testing-html.html'><a href="https://blog.brownplt.org/2023/10/31/conceptual-mutation-testing.html">Conceptual Mutation Testing</a></a></h4>
<p class='date-and-tags'>
<time datetime="2023-10-31" pubdate="true">2023-10-31</time></p>
</header>
</article>
<article>
<header>
<h4><a href='/2023/09/-generating-programs-trivially-student-use-of-large-language-models-https-blog-brownplt-org-2023-09-19-generating-programs-trivially-html.html'><a href="https://blog.brownplt.org/2023/09/19/generating-programs-trivially.html">Generating Programs Trivially: Student Use of Large Language Models</a></a></h4>
<p class='date-and-tags'>
<time datetime="2023-09-19" pubdate="true">2023-09-19</time></p>
</header>
</article>
<article>
<header>
<h4><a href='/2023/06/gtp-benchmarks-for-gradual-typing-performance.html'>GTP Benchmarks for Gradual Typing Performance</a></h4>
<p class='date-and-tags'>
<time datetime="2023-06-28" pubdate="true">2023-06-28</time></p>
</header>
<p>Sound gradual types have runtime costs. The GTP Benchmarks have helped measure these costs since 2014.</p>
<footer>
<a href='/2023/06/gtp-benchmarks-for-gradual-typing-performance.html'>… more …</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>
<footer>
<hr />
<p>Site generated
by <a href="https://github.com/greghendershott/frog">Frog</a>,
the <strong>fr</strong>ozen bl<strong>og</strong> tool.</p>
<div class="col-md-12">
<img src="/img/logo.gif" width="10%" alt="[Utah PLT logo]"/>
</div>
</footer>
</div>
</body>
</html>