I'm an undergrad at Stanford studying computer science, physics, and English. I enjoy writing, playing jazz, and cooking with friends. I spend most of my time learning as much as I can about the brilliant, strange, confusing, mystifying, and yet endlessly marvelous world around me. I collect words sometimes.
I care about computer science education. I helped develop Snap!, the visual language Berkeley uses to teach its introductory CS class, and Scratch, a program designed by the MIT Media Lab to teach children to code. I’ve used them to run small workshops for middle-schoolers since 2014. Nowadays I help run Splash, a program where Stanford community members teach local high-school students about whatever they wish. I also lead a CS106 section.
I'm interested in programming languages, both in theory and in practice. I work on designing solver-aided verification tools at the University of Washington’s PLSE lab. I helped design and implement Ergo, a type-safe DSL for lawyers to specify the behavior of smart contracts. In my spare time, I maintain nearley, a popular parsing library.
Here at Stanford, I work on the Stanford Student Space Initiative, building (and breaking) things that try to go to space.
I love asking questions about the world around me. Words like why? and how? and what if? keep me going. In lieu of a portfolio, below are some of my favorite questions, in no particular order. Each one links to my attempt at finding an answer: in the form of a blog post or a computer program or an image. The links are color-coded based on how satisfied I am with the results of my inquiry.
If you have answers, please get in touch. If you have more questions, please, please get in touch.
(* What are you * * looking for? *) match goal with | email => kach@********.edu | resume => cv.pdf | words => blog | code => github | art => scratch | jazz => falling-grace.mp3, windows.mp3 (* oct ’16 *) coho-1.m4a (* dec ’17 *) tedx2018.yt (* jan ’18 *) coho-2.m4a (* mar ’18 *) coho-3.m4a (* jun ’18 *) end.