diff options
Diffstat (limited to 'users/aspen/web/index.org')
| -rw-r--r-- | users/aspen/web/index.org | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/users/aspen/web/index.org b/users/aspen/web/index.org new file mode 100644 index 0000000000..4be79fd797 --- /dev/null +++ b/users/aspen/web/index.org @@ -0,0 +1,40 @@ +#+OPTIONS: title:nil toc:nil num:nil +#+HTML_HEAD: <title>aspen smith</title> +#+HTML_HEAD: <link rel="stylesheet" href="./main.css"> + +my name is aspen smith and i'm a software engineer and musician. + +* code + +- [[https://github.com/glittershark/][github]] +- [[https://cs.tvl.fyi/depot/-/tree/users/aspen][my directory in the tvl monorepo]] + +* work + +most recently, i worked on database internals at [[https://readyset.io/][readyset]], an incrementally +maintained, partially stateful materialized view maintenance system for sql +that's wire-compatible with postgresql and mysql, based on [[https://github.com/mit-pdos/noria][noria]]. + +* projects + +- [[https://windtunnel.ci/][windtunnel]], a continuous benchmarking software-as-a-service currently accepting early alpha users (send me an email if you want to try it out!) +- [[https://cs.tvl.fyi/depot/-/tree/users/aspen/achilles][achilles]], a compiler for (what I plan to become) a dependently typed, low-level functional programming language targeting LLVM +- [[https://github.com/glittershark/org-clubhouse][org-clubhouse]], an emacs package for lightweight integration between [[https://orgmode.org/][org-mode]] and [[https://clubhouse.io/][the clubhouse project management tool]] +- [[https://cs.tvl.fyi/depot/-/tree/users/aspen/xanthous][xanthous]], a terminal roguelike in haskell that I work on intermittently and exclusively for fun + +* music + +- https://sacrosanct.bandcamp.com/, a post-rock project with a [[https://bandcamp.com/h34rken][friend of mine]] +- [[https://soundcloud.com/missingggg][my current soundcloud]], releasing instrumental music under the name *missing* +- i play bass in [[https://goodcry.band][good cry]], a rock band based in brooklyn +- you can also find a log of all the music I listen to [[https://www.last.fm/user/wildgriffin45][on last.fm]] + +* contact + +- [[mailto:web@gws.fyi][web@gws.fyi]] +- [[https://twitter.com/glittershark1][twitter]] +- [[https://bsky.app/profile/gws.fyi][bluesky]] +- https://keybase.io/glittershark +- aspen on IRC (hackint or libera.chat) +- [[https://gws.fyi/pubkey.gpg][gpg key: 0F11A989879E8BBBFDC1E23644EF5B5E861C09A7]] +- signal / telegram / discord available upon request |