
figuring out new ways for you to fight with your editor, hybridizing hazel with the smyth program synthesizer
i make and study programming languages as user interfaces. a recovering math-head, i now try to pull abstractions into the grass and muss them up a bit. here's what's going on with me lately:
figuring out new ways for you to fight with your editor, hybridizing hazel with the smyth program synthesizer
joined cyrus omar's fp lab as a phd student at the university of michigan, intent on helping ruin programming forever
finished sixteen months owning ownership at todaq; my last project involved making interfaces for reifying fake digital stuff
here are some other things i've worked on:
fructure is a prototype for an extensible structured editing engine, built around a ui for composing term-rewriting edit actions. editing abstractions like cursors and code-folding are reinterpreted as syntactic scaffolding in a meta-grammar of syntactic affordances
a library of custom pattern combinators for racket/match which generalize macro-by-example ellipses patterns. these use composable continuations to descend into arbitrary nested structures and capture both matches and their surrounding contexts
a simple cpu raymarcher parallelized with open MP, implementing constructive solid geometry, soft shadows, ambient occlusion, blinn-phong shading, and perlin noise