Jacob Kim
@iamjacobkim.bsky.social
PhD in ICS @ UC Irvine.
Made cool stuff at Continue.dev. UofM alum.
Made cool stuff at Continue.dev. UofM alum.
Trying to be more PL-headed this fall. I'm starting off by reading through Types and Programming Languages by Pierce in the two or so weeks I have between my internship and the start of the quarter🔥
September 8, 2025 at 4:50 AM
Trying to be more PL-headed this fall. I'm starting off by reading through Types and Programming Languages by Pierce in the two or so weeks I have between my internship and the start of the quarter🔥