diff options
Diffstat (limited to 'users/glittershark/gws.fyi/index.org')
| -rw-r--r-- | users/glittershark/gws.fyi/index.org | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/users/glittershark/gws.fyi/index.org b/users/glittershark/gws.fyi/index.org deleted file mode 100644 index 0886192abf28..000000000000 --- a/users/glittershark/gws.fyi/index.org +++ /dev/null @@ -1,38 +0,0 @@ -#+OPTIONS: title:nil toc:nil num:nil -#+HTML_HEAD: <title>griffin smith</title> -#+HTML_HEAD: <link rel="stylesheet" href="./main.css"> - -my name is griffin ward smith (aka grfn, glittershark, gws) and i'm a software -engineer and musician - -* code - -- [[https://github.com/glittershark/][github]] -- [[https://cs.tvl.fyi/depot/-/tree/users/glittershark][my directory in the tvl monorepo]] - -* work - -i'm currently working for a relatively new stealth-mode startup. i can't talk much -about it yet, but if you're interested in rust, distributed systems, and -databases please reach out - -* 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/glittershark/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/glittershark/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 hip-hop under the name *missing* -- 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://keybase.io/glittershark -- grfn on freenode -- [[http://keys.gnupg.net/pks/lookup?op=get&search=0x44EF5B5E861C09A7][gpg key: 0F11A989879E8BBBFDC1E23644EF5B5E861C09A7]] |