-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
65 lines (65 loc) · 4 KB
/
index.html
File metadata and controls
65 lines (65 loc) · 4 KB
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
<!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 · <a href="https://github.com/pithlessly">github</a> · λ</p>
<h1>pithlessly's blog</h1>
<table class="article-list">
<tr><td class="article-date">2025-12-25</td><td><a href="1ml-intro">1ML for non-specialists: 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 & 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>
I want to start with the things programmers already need to do
and give them a solid foundation and make them composable.
</p>
<p>
In the past I've worked a lot with Rust and Haskell;
most recently I've been using Nix and writing a lot of Zig and Scheme.
My current research interests include
staged computation, intensional computation, algebraic effects, and partial evaluation.
</p>
<p>
I'm white/taiwanese and speak some Mandarin.
<span style="float: right;">
🏳️‍🌈 <!-- pride -->
🇹🇼 <!-- TW -->
🇵🇸 <!-- PS -->
</span>
</p>
</article>
<footer></footer>
</main>
</body>
</html>