mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(aspen/web): freshen up, mention tvix in projects list

Browse source 
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
This commit is contained in:
Aspen Smith 2024-08-07 20:52:40 -04:00 committed by clbot
parent d33fd78202
commit 6bd2760aa7
1 changed files with 12 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
users/aspen/web/index.org
View file

@ -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