blob: f4c45fd3aae0176c2e33841fda57957d577da31b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#+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
- we're playing [[https://www.eventbrite.com/e/skylar-pocket-w-leche-malo-good-cry-tickets-836634866407?aff=oddtdtcreator][a show on febuary 24th at the broadway 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
|
