pithlessly.github.io/index.html at main · pithlessly/pithlessly.github.io · GitHub

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
<!DOCTYPE html>
<html>
<head>
  <meta charset="utf-8">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <link rel="stylesheet" href="/style.css">
  <title>pithlessly's blog</title>
</head>
<body>
  <main>
    <article>
      <p id="author">@pithlessly &middot; <a href="https://github.com/pithlessly">github</a> &middot; &lambda;</p>
      <h1><img src="favicon.png" style="height: 0.7lh;"> pithlessly's blog<span style="font-size: 12pt; font-weight: normal; float: right;">(<a href="feed.xml">atom</a>)</span></h1>
      <table class="article-list">
        <tr><td class="article-date">2025-12-25</td><td><a href="1ml-intro">Dissecting Andreas Rossberg's 1ML: introduction</a></td></tr>
        <tr><td class="article-date">2025-11-09</td><td><a href="ocaml-type-injectivity">Newtypes vs. abstract types, and the limitations of type inference</a></td></tr>
        <tr><td class="article-date">2025-06-08</td><td><a href="species">Notes on combinatorial species (Méndez 2015)</a></td></tr>
        <tr><td class="article-date">2025-06-03</td><td><a href="comptime-calculus">The comptime calculus</a></td></tr>
        <tr><td class="article-date">2025-02-13</td><td><a href="ord-stref.html">Issues with <code>instance Ord (STRef s a)</code></a></td></tr>
        <tr><td class="article-date">2025-02-11</td><td><a href="intensionaljoy.html">Intensional Joy (a concatenative account of internal structure)</a></td></tr>
        <tr><td class="article-date">2024-11-28</td><td><a href="tree-edge-triage">My solution to "Tree-edge Triage"</a></td></tr>
        <tr><td class="article-date">2023-12-03</td><td><a href="donotation.html">Against <code>do</code> notation</a></td></tr>
        <tr><td class="article-date">2022-12-06</td><td><a href="correctness">There is room for imperfect fault isolation</a></td></tr>
        <tr><td class="article-date">2022-10-25</td><td><a href="semantics">Semantics and Psychology</a></td></tr>
        <tr><td class="article-date">2022-07-31</td><td><a href="alife">Artificial life: resources &amp; links</a></td></tr>
        <tr><td class="article-date">2022-03-17</td><td><a href="bf-nops">There are no odd-length no-ops in brainfuck</a></td></tr>
        <tr><td class="article-date">2021-12-16</td><td><a href="callcc">CallCC: a classic operator that defies intuition</a></td></tr>
        <tr><td class="article-date">2021-12-15</td><td><a href="allocgate.html">Allocgate is coming in Zig 0.9, and you will have to change your code</a></td></tr>
      </table>
      <br>
      <h2>About me</h2>
      <p>
        Hi! I'm an undergraduate student at Oregon State University, double majoring in
        <a href="https://catalog.oregonstate.edu/college-departments/engineering/school-electrical-engineering-computer-science/computer-science-ba-bs-hba-hbs/computer-systems-option/">computer systems</a>
        and
        <a href="https://catalog.oregonstate.edu/college-departments/science/mathematics/mathematics-bs-hbs/">mathematics</a>.
        My primary research interest is theoretical and applied programming languages (PL):
        compilers, functional programming, type systems, etc.
        I help maintain the <a href="https://github.com/lambda-land/lambda-group">programming language reading group</a> here at OSU
        under <a href="https://web.engr.oregonstate.edu/~erwig/">Martin Erwig</a>.
      </p>
      <p>
        <strong>I believe the goal of PL is to empower users.</strong>
        This comes in two forms.
        The first is to push the boundaries of what is possible in our programming languages.
        The second is to take what is already possible and make it safer, more principled, and more composable.
      </p>
      <p>
        I have extensive experience with Rust, Haskell, Nix, Zig, and Scheme.
        I have written <a href="https://github.com/pithlessly/chemic">a Scheme compiler and runtime</a>
        and <a href="https://github.com/pithlessly/miniml">a self-hosted OCaml compiler</a>.
        My current research interests include
        algebraic effects, module systems, and metaprogramming (particularly partial evaluation).
      </p>
      <p>
        I'm white/taiwanese and speak some Mandarin.
        <span style="float: right;">
          &#x1F3F3;&#xFE0F;&#x200D;&#x1F308; <!-- pride -->
          &#x1F1F9;&#x1F1FC; <!-- TW -->
          &#x1F1F5;&#x1F1F8; <!-- PS -->
        </span>
      </p>
    </article>
    <footer></footer>
  </main>
</body>
</html>