diff options
| author | Aspen Smith <root@gws.fyi> | 2024-08-08T00·52-0400 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-08-08T00·59+0000 |
| commit | 6bd2760aa7fbdbbf8b801f5737409f1a7aa3e72f (patch) | |
| tree | e45e53039bd2891c901d80359f67e4c4dbcdfcc1 /users/aspen/web | |
| parent | d33fd782025b03112a03bcef381c8c0020e81c84 (diff) | |
feat(aspen/web): freshen up, mention tvix in projects list r/8458
Change-Id: I34d1c3efd32882271ca553f180deb6249014fb32 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12165 Autosubmit: aspen <root@gws.fyi> Reviewed-by: aspen <root@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'users/aspen/web')
| -rw-r--r-- | users/aspen/web/index.org | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/users/aspen/web/index.org b/users/aspen/web/index.org index 4be79fd79772..7f224fcb563e 100644 --- a/users/aspen/web/index.org +++ b/users/aspen/web/index.org @@ -11,16 +11,23 @@ my name is aspen smith and i'm a software engineer and musician. * work -most recently, i worked on database internals at [[https://readyset.io/][readyset]], an incrementally +i'm currently a software engineer at jane street. + +before that, 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 +- [[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://tvix.dev/][tvix]], a project to reimplement nix in rust with a focus on better performance, + maintainability, and extensibility. i'm a committer to the project, and mostly + focus on the implementation of the language evaluator. +- [[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://cs.tvl.fyi/depot/-/tree/users/aspen/xanthous][xanthous]], a terminal roguelike in haskell that I work on intermittently and + exclusively for fun * music |