70d4f6dd5d
I no longer work at ReadySet. Change-Id: Idc19e2d68846551b6cd94f84594712692ebe35a9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9976 Tested-by: BuildkiteCI Autosubmit: grfn <grfn@gws.fyi> Reviewed-by: grfn <grfn@gws.fyi>
2.5 KiB
2.5 KiB
my name is aspen smith and i'm a software engineer and musician.
work
i am currently looking for a job! ideally i'd like to do something involving compilers or database query planners, or other low-level systems work. i'm pretty language-agnostic generally, but i'm quite fond of rust and prefer not to work in go. if you're interested, send me an email.
most recently, i worked on database internals at readyset, an incrementally maintained, partially stateful materialized view maintenance system for sql that's wire-compatible with postgresql and mysql, based on noria.
projects
- windtunnel, a continuous benchmarking software-as-a-service currently accepting early alpha users (send me an email if you want to try it out!)
- achilles, a compiler for (what I plan to become) a dependently typed, low-level functional programming language targeting LLVM
- org-clubhouse, an emacs package for lightweight integration between org-mode and the clubhouse project management tool
- xanthous, a terminal roguelike in haskell that I work on intermittently and exclusively for fun
you can now try xanthous out over ssh by runningssh -p 2222 xanthous.gws.fyi
. if you do so I'd love if you send me an email about it
music
- https://sacrosanct.bandcamp.com/, a post-rock project with a friend of mine
- my current soundcloud, releasing instrumental hip-hop under the name missing
- you can also find a log of all the music I listen to on last.fm
contact
- web@gws.fyi
- bluesky
- https://keybase.io/glittershark
- grfn on IRC (hackint or libera.chat)
- gpg key: 0F11A989879E8BBBFDC1E23644EF5B5E861C09A7