From 1027754b866e9489b6db0ed18a5c736f128aadcc Mon Sep 17 00:00:00 2001 From: Aspen Smith Date: Mon, 6 Nov 2023 10:41:10 -0500 Subject: refactor(users/grfn): Rename gws.fyi -> web Change-Id: Icdee0caa3a053958750d4b81853dbc3eee5b193a Reviewed-on: https://cl.tvl.fyi/c/depot/+/9973 Tested-by: BuildkiteCI Reviewed-by: grfn Autosubmit: grfn --- users/grfn/gws.fyi/.envrc | 1 - users/grfn/gws.fyi/.gitignore | 3 - users/grfn/gws.fyi/Makefile | 31 ------- users/grfn/gws.fyi/config.el | 6 -- users/grfn/gws.fyi/default.nix | 37 -------- users/grfn/gws.fyi/index.org | 42 --------- users/grfn/gws.fyi/main.css | 139 ---------------------------- users/grfn/gws.fyi/orgExportHTML.nix | 67 -------------- users/grfn/gws.fyi/recipes/tomato-sauce.org | 102 -------------------- users/grfn/gws.fyi/shell.nix | 9 -- users/grfn/gws.fyi/site.nix | 12 --- users/grfn/web/.envrc | 1 + users/grfn/web/.gitignore | 3 + users/grfn/web/Makefile | 31 +++++++ users/grfn/web/config.el | 6 ++ users/grfn/web/default.nix | 37 ++++++++ users/grfn/web/index.org | 40 ++++++++ users/grfn/web/main.css | 139 ++++++++++++++++++++++++++++ users/grfn/web/orgExportHTML.nix | 67 ++++++++++++++ users/grfn/web/recipes/tomato-sauce.org | 102 ++++++++++++++++++++ users/grfn/web/shell.nix | 9 ++ users/grfn/web/site.nix | 12 +++ 22 files changed, 447 insertions(+), 449 deletions(-) delete mode 100644 users/grfn/gws.fyi/.envrc delete mode 100644 users/grfn/gws.fyi/.gitignore delete mode 100644 users/grfn/gws.fyi/Makefile delete mode 100644 users/grfn/gws.fyi/config.el delete mode 100644 users/grfn/gws.fyi/default.nix delete mode 100644 users/grfn/gws.fyi/index.org delete mode 100644 users/grfn/gws.fyi/main.css delete mode 100644 users/grfn/gws.fyi/orgExportHTML.nix delete mode 100644 users/grfn/gws.fyi/recipes/tomato-sauce.org delete mode 100644 users/grfn/gws.fyi/shell.nix delete mode 100644 users/grfn/gws.fyi/site.nix create mode 100644 users/grfn/web/.envrc create mode 100644 users/grfn/web/.gitignore create mode 100644 users/grfn/web/Makefile create mode 100644 users/grfn/web/config.el create mode 100644 users/grfn/web/default.nix create mode 100644 users/grfn/web/index.org create mode 100644 users/grfn/web/main.css create mode 100644 users/grfn/web/orgExportHTML.nix create mode 100644 users/grfn/web/recipes/tomato-sauce.org create mode 100644 users/grfn/web/shell.nix create mode 100644 users/grfn/web/site.nix (limited to 'users') diff --git a/users/grfn/gws.fyi/.envrc b/users/grfn/gws.fyi/.envrc deleted file mode 100644 index be81feddb1a5..000000000000 --- a/users/grfn/gws.fyi/.envrc +++ /dev/null @@ -1 +0,0 @@ -eval "$(lorri direnv)" \ No newline at end of file diff --git a/users/grfn/gws.fyi/.gitignore b/users/grfn/gws.fyi/.gitignore deleted file mode 100644 index 2b72eaed2988..000000000000 --- a/users/grfn/gws.fyi/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -result -letsencrypt -index.html diff --git a/users/grfn/gws.fyi/Makefile b/users/grfn/gws.fyi/Makefile deleted file mode 100644 index d6c9f40c9536..000000000000 --- a/users/grfn/gws.fyi/Makefile +++ /dev/null @@ -1,31 +0,0 @@ -.PHONY: deploy - -deploy: - @$(shell nix-build `git rev-parse --show-toplevel` -A 'users.grfn."gws.fyi"') - -renew: - @echo Renewing... - @certbot certonly \ - --manual \ - --domain www.gws.fyi \ - --preferred-challenges dns \ - --server https://acme-v02.api.letsencrypt.org/directory \ - --agree-tos \ - --work-dir $(shell pwd)/letsencrypt/work \ - --logs-dir $(shell pwd)/letsencrypt/logs \ - --config-dir $(shell pwd)/letsencrypt/config - @echo "Reimporting certificate" - @aws acm import-certificate \ - --profile personal \ - --certificate file://letsencrypt/config/live/www.gws.fyi/cert.pem \ - --certificate-chain file://letsencrypt/config/live/www.gws.fyi/fullchain.pem \ - --private-key file://letsencrypt/config/live/www.gws.fyi/privkey.pem \ - --certificate-arn arn:aws:acm:us-east-1:797089351721:certificate/628e54f3-55f9-49c0-811a-eba516b68e30 \ - --region us-east-1 - -backup: - @tarsnap -cf $(shell uname -n)-letsencrypt-$(shell date +%Y-%m-%d_%H-%M-%S) \ - letsencrypt/ - -open: - $$BROWSER "https://www.gws.fyi" diff --git a/users/grfn/gws.fyi/config.el b/users/grfn/gws.fyi/config.el deleted file mode 100644 index b05d897d3ddb..000000000000 --- a/users/grfn/gws.fyi/config.el +++ /dev/null @@ -1,6 +0,0 @@ -(require 'org) - -(setq org-html-postamble nil) - -(defadvice org-export-grab-title-from-buffer - (around org-export-grab-title-from-buffer-disable activate)) diff --git a/users/grfn/gws.fyi/default.nix b/users/grfn/gws.fyi/default.nix deleted file mode 100644 index 5ab3614d7902..000000000000 --- a/users/grfn/gws.fyi/default.nix +++ /dev/null @@ -1,37 +0,0 @@ -args@{ pkgs, depot, ... }: -with pkgs; -let - site = import ./site.nix args; - resume = import ../resume args; - bucket = "s3://gws.fyi"; - distributionID = "E2ST43JNBH8C64"; - - css = runCommand "main.css" - { - buildInputs = [ pkgs.minify ]; - } '' - minify --type css < ${./main.css} > $out - ''; - - keys = runCommand "ssh-keys" { } '' - touch $out - echo "${depot.users.grfn.keys.main}" >> $out - ''; - - website = - runCommand "gws.fyi" { } '' - mkdir -p $out - cp ${css} $out/main.css - cp ${site.index} $out/index.html - cp -r ${site.recipes} $out/recipes - cp ${resume} $out/resume.pdf - cp ${keys} $out/keys - ''; - -in -(writeShellScript "deploy.sh" '' - ${awscli2}/bin/aws --profile personal s3 sync ${website}/ ${bucket} - echo "Deployed to http://gws.fyi" -'') // { - inherit website site; -} diff --git a/users/grfn/gws.fyi/index.org b/users/grfn/gws.fyi/index.org deleted file mode 100644 index 5dade68a98e4..000000000000 --- a/users/grfn/gws.fyi/index.org +++ /dev/null @@ -1,42 +0,0 @@ -#+OPTIONS: title:nil toc:nil num:nil -#+HTML_HEAD: griffin smith -#+HTML_HEAD: - -my name is griffin ward smith (they/them) and i'm a software engineer and musician. - -you might know me from elsewhere as grfn, glittershark, or gws - -* code - -- [[https://github.com/glittershark/][github]] -- [[https://cs.tvl.fyi/depot/-/tree/users/grfn][my directory in the tvl monorepo]] - -* work - -i work 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]]. readyset is hiring - if you're -interested, send me an email - -* 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/grfn/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/grfn/xanthous][xanthous]], a terminal roguelike in haskell that I work on intermittently and exclusively for fun \\ - you can now try xanthous out over ssh by running ~ssh -p 2222 xanthous.gws.fyi~. if you do so I'd love if you send me an email about it - -* 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://bsky.app/profile/gws.fyi][bluesky]] -- https://keybase.io/glittershark -- grfn on IRC (hackint or libera.chat) -- [[http://keys.gnupg.net/pks/lookup?op=get&search=0x44EF5B5E861C09A7][gpg key: 0F11A989879E8BBBFDC1E23644EF5B5E861C09A7]] diff --git a/users/grfn/gws.fyi/main.css b/users/grfn/gws.fyi/main.css deleted file mode 100644 index cdcd440766ca..000000000000 --- a/users/grfn/gws.fyi/main.css +++ /dev/null @@ -1,139 +0,0 @@ -@import url(https://fonts.googleapis.com/css?family=Inconsolata|Inter&display=swap); - -body { - margin-top: 40px; - max-width: 900px; - line-height: 1.6; - font-size: 16px; - background: #f8f3ff; - color: #3a1616; - padding: 0 10px; - font-family: Inter, sans-serif; -} - -@media (min-width: 1050px) { - body { - margin-left: 150px; - } -} - -@media (min-width: 2000px) { - body { - margin-left: 300px; - } -} - -input { - padding: 10px 16px; - margin: 2px 0; - box-sizing: border-box; - border: 2px solid #dabebe; - border-radius: 6px; - background: #f8f3ff; - color: #3a1616; - font-size: 16px; - -webkit-transition: 0.5s; - transition: 0.5s; - outline: 0; -} - -input:focus { - border: 2px solid #3a1616; -} - -.button { - background-color: #f8f3ff; - border: none; - color: #000; - padding: 6px 14px; - text-align: center; - text-decoration: none; - display: inline-block; - font-size: 16px; - margin: 4px 2px; - transition-duration: 0.4s; - cursor: pointer; - border: 2px solid #3a1616; - border-radius: 6px; -} - -.button:hover { - background-color: #3a1616; - color: #fff; -} - -.isa_error, -.isa_info, -.isa_success, -.isa_warning { - width: 90%; - margin: 10px 0; - padding: 12px; -} - -.isa_info { - color: #00529b; - background-color: #bde5f8; -} - -.isa_success { - color: #4f8a10; - background-color: #dff2bf; -} - -.isa_warning { - color: #9f6000; - background-color: #feefb3; -} - -.isa_error { - color: #d8000c; - background-color: #ffd2d2; -} - -h1, -h2, -h3 { - line-height: 1.2; - font-family: Inter, sans-serif; -} - -h1.title, -h2.title, -h3.title { - text-align: left; - margin-bottom: 1.5em; -} - -h2 { - font-size: 18px; -} - -img { - max-width: 750px; - border-radius: 10px; -} - -a { - cursor: pointer; - color: #217ab7; - line-height: inherit; -} - -a:hover { - background-color: #e3d6ff; -} - -a:visited { - color: #43458b; - border-color: #43458b; -} - -pre { - font-family: Inconsolata, monospace; -} - -::selection { - color: #fff; - background: #ff4081; -} diff --git a/users/grfn/gws.fyi/orgExportHTML.nix b/users/grfn/gws.fyi/orgExportHTML.nix deleted file mode 100644 index aac4e32e7ac5..000000000000 --- a/users/grfn/gws.fyi/orgExportHTML.nix +++ /dev/null @@ -1,67 +0,0 @@ -{ pkgs, depot, ... }: - -with pkgs; -with lib; - -let - - emacs = pkgs.emacs28; - -in - -opts: - -let - src = if isAttrs opts then opts.src else opts; - headline = if isAttrs opts then opts.headline else null; - - bn = builtins.baseNameOf src; - filename = elemAt (splitString "." bn) 0; - - outName = - if isNull headline - then - let - bn = builtins.baseNameOf src; - filename = elemAt (splitString "." bn) 0; - in - if depot.nix.utils.isDirectory src - then filename - else filename + ".html" - else "${filename}-${replaceStrings [" "] ["-"] filename}.html"; - - escapeDoubleQuotes = replaceStrings [ "\"" ] [ "\\\"" ]; - - navToHeadline = optionalString (! isNull headline) '' - (search-forward "${escapeDoubleQuotes headline}") - (org-narrow-to-subtree) - ''; - -in - -runCommand outName { inherit src; } '' - buildFile() { - cp "$1" file.org - ${emacs}/bin/emacs --batch \ - --load ${./config.el} \ - --visit file.org \ - --eval "(progn - ${escapeDoubleQuotes navToHeadline} - (org-html-export-to-html))" \ - --kill - rm file.org - substitute file.html "$2" \ - --replace '‎' "" - rm file.html - } - - if [ -d $src ]; then - for file in $src/*; do - result=''${file/$src/$out} - mkdir -p $(dirname $result) - buildFile $file ''${result/.org/.html} - done - else - buildFile $src $out - fi -'' diff --git a/users/grfn/gws.fyi/recipes/tomato-sauce.org b/users/grfn/gws.fyi/recipes/tomato-sauce.org deleted file mode 100644 index 74e9b103c670..000000000000 --- a/users/grfn/gws.fyi/recipes/tomato-sauce.org +++ /dev/null @@ -1,102 +0,0 @@ -#+TITLE: Tomato Sauce -#+OPTIONS: toc:nil num:nil -#+HTML_HEAD: - -This is a general, all-purpose framework for turning some form of tomatoes into -some form of sauce. You can use fresh tomatoes or canned (the latter are really -quite surprisingly good sometimes), and include or omit garlic, basil, or other -add-ins. The only real non-negotiable ingredients are tomatoes (duh), onion, and -some kind of fat (I prefer butter). - -* Sauce - -1. *Prep*. If starting with canned tomatoes, skip this step. if starting with - whole tomatoes (which you should really only ever do if you grew them - yourself or got them fresh at a farmers market, grocery store tomatoes are - kinda sad), first, peel the tomatoes. The easiest way to do this is to score - them with an X pattern cut as shallow as possible while still breaking the - skin, trying to cover the whole surface area of the tomato, blanch them - briefly in boiling water, then dunk into an ice bath. After this, the skins - will slip right off. After peeling, cut out the stem, core, and any green or - brown bits, and go to the next step - -2. *Base layer*. Couple of variables here, though a perfectly good (in fact, my - usual go-to) tomato sauce can also skip this entire step: - - If you want meat with your sauce (pancetta/guanciale/bacon for an - amatriciana, ground beef or pork for a bolognese) you'll start out by - sautéing that in some sort of fat (probably olive oil), less fat for meat - with a lot of fat already in it, to brown and render out fat from the meat - - If you want onion in the final sauce, you'll chop them finely and sauté - them with whatever fat you've got (either from the meat, or olive oil or - butter if you're not making a meat sauce). Remember to always add a *bit* - of salt when sautéing onion like this, not for flavor but to draw out the - moisture. If you just want onion flavor but not bits of onion in the final - sauce, it's added whole later (so ignore this bullet point). - - If you feel like it (sometimes I do, usually I don't) you can also mince - garlic here and sauté that in with everything else. Add a little after the - onion, as garlic cooks slower than onion unless you want something roastier - (usually you don't for tomato sauce) - - The traditional (so I'm told) thing to do with amatriciana, but also nice - with all variations, is to add in a little crushed red pepper with the - fat to flavor it slightly, but do this late so it doesn't burn - - If you have tomato paste on hand and feel like using it, it's also nice to - fry that in the oil for a little bit - usually I'd do that around the same - time as the garlic - - If you're making tomato *paste* from your sauce, skip all of this - paste is - an ingredient, not a sauce on its own, so imo should be as neutral as - possible (i.e. just tomato). - -3. *Tomato layer*. Not a whole lot to do here, just add all of your tomatoes - - either your peeled and de-cored tomatoes from step 1 if you're using whole - tomatoes, or an entire can of whole, peeled san marzano tomatoes, including - the juice in the can - to a pot over medium-high heat. If you need more fat - or if you skipped step 2, this is where you'd add it - a classic and my - personal favorite is like 2/3rds to 3/4ths of a stick of butter, but you can - also go with olive oil. If you skipped the onion in step 2, add that here - too - usually that'd just be a fist-sized amount of onion or so peeled but - left with the stem on so you can fish it out from your final sauce later (and - snack on it!). Also salt here, again not to taste but primarily to draw out - moisture from the various ingredients. - -4. You can cook that for a wide variety of times, especially depending on how - hot you make your stove - there ends up being *lot* of liquid in there, so - you can go (in my experience) a reasonable amount hotter than you expect - without burning the sauce, though obviously your mileage may vary. The main - thing you're looking for is the whole chunks of tomato to break down, and the - whole sauce to get a texture that looks like it'll end up sticking to pasta - nicely. In all versions of this, stir pretty regularly with a wooden spoon, - and use the spoon to crush the big chunks of tomato occasionally. - -5. *Final layer*. Usually I don't do anything here - but if you feel - like it, usually right as you take stuff off the heat is where you'd add - basil, if you're using it. You can also add sugar to balance out too much - acidity from an especially acidic tomato here - I'm not going to tell anyone. - Also salt, but make sure to account for the extra salt you're gonna get from - the pasta water (see step 6) - -6. *Pasta*. You know how to cook pasta, I'm not going to tell you that. But, - like, salt your water until it tastes too salty, and remember to move the - pasta itself *directly* into the sauce pot from the pasta pot before it's - completely done cooking and without straining, bringing along some of the - pasta water (and a little extra for good measure) then finishing the pasta in - the sauce. You know, the thing you do for pasta. Remember the pasta water - will have salt in it, so adjust for that when salting the sauce overall (I - have made this mistake and ended up with too-salty pasta sauce). - -* Paste - -Start with the above recipe for tomato sauce, noting especially that (in my -opinion) you should skip step 2 entirely. Keep cooking the sauce until it's -*too* thick for pasta sauce (but don't burn it!), then spread it out across some -sort of lined sheet pan (like a silpat, if you've got one) and bake in the oven -at like 250-300 degrees for a *hell* of a long time - I've seen this take like -10 hours, for an especially juicy batch of tomatoes, but obviously keep a close -eye on it because it *definitely will burn* eventually. You're looking for the -end result to be the texture of tomato paste, because that's what the recipe is -for. Especially if you're using garden-grown or otherwise fresh tomatoes, -you'll notice quite a few seeds in the final product - don't worry too much -about those, they've never bothered me. Once everything's done and cooled down, -store in a jar in a fridge, topped with olive oil to seal things off and prevent -oxidation. Use in all your future endeavors, including the tomato sauce recipe -above itself. Tomato sauce is a beautiful oroborous. diff --git a/users/grfn/gws.fyi/shell.nix b/users/grfn/gws.fyi/shell.nix deleted file mode 100644 index 846bdb6677a3..000000000000 --- a/users/grfn/gws.fyi/shell.nix +++ /dev/null @@ -1,9 +0,0 @@ -with import { config.allowUnfree = true; }; -mkShell { - buildInputs = [ - awscli - gnumake - letsencrypt - tarsnap - ]; -} diff --git a/users/grfn/gws.fyi/site.nix b/users/grfn/gws.fyi/site.nix deleted file mode 100644 index 057c4d3ee698..000000000000 --- a/users/grfn/gws.fyi/site.nix +++ /dev/null @@ -1,12 +0,0 @@ -args@{ pkgs ? import { }, ... }: - -let - - orgExportHTML = import ./orgExportHTML.nix args; - -in - -{ - index = orgExportHTML ./index.org; - recipes = orgExportHTML ./recipes; -} diff --git a/users/grfn/web/.envrc b/users/grfn/web/.envrc new file mode 100644 index 000000000000..be81feddb1a5 --- /dev/null +++ b/users/grfn/web/.envrc @@ -0,0 +1 @@ +eval "$(lorri direnv)" \ No newline at end of file diff --git a/users/grfn/web/.gitignore b/users/grfn/web/.gitignore new file mode 100644 index 000000000000..2b72eaed2988 --- /dev/null +++ b/users/grfn/web/.gitignore @@ -0,0 +1,3 @@ +result +letsencrypt +index.html diff --git a/users/grfn/web/Makefile b/users/grfn/web/Makefile new file mode 100644 index 000000000000..9da503fa26a4 --- /dev/null +++ b/users/grfn/web/Makefile @@ -0,0 +1,31 @@ +.PHONY: deploy + +deploy: + @$(shell nix-build `git rev-parse --show-toplevel` -A 'users.grfn.web') + +renew: + @echo Renewing... + @certbot certonly \ + --manual \ + --domain www.gws.fyi \ + --preferred-challenges dns \ + --server https://acme-v02.api.letsencrypt.org/directory \ + --agree-tos \ + --work-dir $(shell pwd)/letsencrypt/work \ + --logs-dir $(shell pwd)/letsencrypt/logs \ + --config-dir $(shell pwd)/letsencrypt/config + @echo "Reimporting certificate" + @aws acm import-certificate \ + --profile personal \ + --certificate file://letsencrypt/config/live/www.gws.fyi/cert.pem \ + --certificate-chain file://letsencrypt/config/live/www.gws.fyi/fullchain.pem \ + --private-key file://letsencrypt/config/live/www.gws.fyi/privkey.pem \ + --certificate-arn arn:aws:acm:us-east-1:797089351721:certificate/628e54f3-55f9-49c0-811a-eba516b68e30 \ + --region us-east-1 + +backup: + @tarsnap -cf $(shell uname -n)-letsencrypt-$(shell date +%Y-%m-%d_%H-%M-%S) \ + letsencrypt/ + +open: + $$BROWSER "https://www.gws.fyi" diff --git a/users/grfn/web/config.el b/users/grfn/web/config.el new file mode 100644 index 000000000000..b05d897d3ddb --- /dev/null +++ b/users/grfn/web/config.el @@ -0,0 +1,6 @@ +(require 'org) + +(setq org-html-postamble nil) + +(defadvice org-export-grab-title-from-buffer + (around org-export-grab-title-from-buffer-disable activate)) diff --git a/users/grfn/web/default.nix b/users/grfn/web/default.nix new file mode 100644 index 000000000000..5ab3614d7902 --- /dev/null +++ b/users/grfn/web/default.nix @@ -0,0 +1,37 @@ +args@{ pkgs, depot, ... }: +with pkgs; +let + site = import ./site.nix args; + resume = import ../resume args; + bucket = "s3://gws.fyi"; + distributionID = "E2ST43JNBH8C64"; + + css = runCommand "main.css" + { + buildInputs = [ pkgs.minify ]; + } '' + minify --type css < ${./main.css} > $out + ''; + + keys = runCommand "ssh-keys" { } '' + touch $out + echo "${depot.users.grfn.keys.main}" >> $out + ''; + + website = + runCommand "gws.fyi" { } '' + mkdir -p $out + cp ${css} $out/main.css + cp ${site.index} $out/index.html + cp -r ${site.recipes} $out/recipes + cp ${resume} $out/resume.pdf + cp ${keys} $out/keys + ''; + +in +(writeShellScript "deploy.sh" '' + ${awscli2}/bin/aws --profile personal s3 sync ${website}/ ${bucket} + echo "Deployed to http://gws.fyi" +'') // { + inherit website site; +} diff --git a/users/grfn/web/index.org b/users/grfn/web/index.org new file mode 100644 index 000000000000..b595ef5cc99e --- /dev/null +++ b/users/grfn/web/index.org @@ -0,0 +1,40 @@ +#+OPTIONS: title:nil toc:nil num:nil +#+HTML_HEAD: aspen smith +#+HTML_HEAD: + +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/grfn][my directory in the tvl monorepo]] + +* work + +i work 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]]. readyset is currently looking for +early users - if you're interested, check out the ~README~ or send me an email + +* 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/grfn/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/grfn/xanthous][xanthous]], a terminal roguelike in haskell that I work on intermittently and exclusively for fun \\ + you can now try xanthous out over ssh by running ~ssh -p 2222 xanthous.gws.fyi~. if you do so I'd love if you send me an email about it + +* 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://bsky.app/profile/gws.fyi][bluesky]] +- https://keybase.io/glittershark +- grfn on IRC (hackint or libera.chat) +- [[http://keys.gnupg.net/pks/lookup?op=get&search=0x44EF5B5E861C09A7][gpg key: 0F11A989879E8BBBFDC1E23644EF5B5E861C09A7]] diff --git a/users/grfn/web/main.css b/users/grfn/web/main.css new file mode 100644 index 000000000000..cdcd440766ca --- /dev/null +++ b/users/grfn/web/main.css @@ -0,0 +1,139 @@ +@import url(https://fonts.googleapis.com/css?family=Inconsolata|Inter&display=swap); + +body { + margin-top: 40px; + max-width: 900px; + line-height: 1.6; + font-size: 16px; + background: #f8f3ff; + color: #3a1616; + padding: 0 10px; + font-family: Inter, sans-serif; +} + +@media (min-width: 1050px) { + body { + margin-left: 150px; + } +} + +@media (min-width: 2000px) { + body { + margin-left: 300px; + } +} + +input { + padding: 10px 16px; + margin: 2px 0; + box-sizing: border-box; + border: 2px solid #dabebe; + border-radius: 6px; + background: #f8f3ff; + color: #3a1616; + font-size: 16px; + -webkit-transition: 0.5s; + transition: 0.5s; + outline: 0; +} + +input:focus { + border: 2px solid #3a1616; +} + +.button { + background-color: #f8f3ff; + border: none; + color: #000; + padding: 6px 14px; + text-align: center; + text-decoration: none; + display: inline-block; + font-size: 16px; + margin: 4px 2px; + transition-duration: 0.4s; + cursor: pointer; + border: 2px solid #3a1616; + border-radius: 6px; +} + +.button:hover { + background-color: #3a1616; + color: #fff; +} + +.isa_error, +.isa_info, +.isa_success, +.isa_warning { + width: 90%; + margin: 10px 0; + padding: 12px; +} + +.isa_info { + color: #00529b; + background-color: #bde5f8; +} + +.isa_success { + color: #4f8a10; + background-color: #dff2bf; +} + +.isa_warning { + color: #9f6000; + background-color: #feefb3; +} + +.isa_error { + color: #d8000c; + background-color: #ffd2d2; +} + +h1, +h2, +h3 { + line-height: 1.2; + font-family: Inter, sans-serif; +} + +h1.title, +h2.title, +h3.title { + text-align: left; + margin-bottom: 1.5em; +} + +h2 { + font-size: 18px; +} + +img { + max-width: 750px; + border-radius: 10px; +} + +a { + cursor: pointer; + color: #217ab7; + line-height: inherit; +} + +a:hover { + background-color: #e3d6ff; +} + +a:visited { + color: #43458b; + border-color: #43458b; +} + +pre { + font-family: Inconsolata, monospace; +} + +::selection { + color: #fff; + background: #ff4081; +} diff --git a/users/grfn/web/orgExportHTML.nix b/users/grfn/web/orgExportHTML.nix new file mode 100644 index 000000000000..aac4e32e7ac5 --- /dev/null +++ b/users/grfn/web/orgExportHTML.nix @@ -0,0 +1,67 @@ +{ pkgs, depot, ... }: + +with pkgs; +with lib; + +let + + emacs = pkgs.emacs28; + +in + +opts: + +let + src = if isAttrs opts then opts.src else opts; + headline = if isAttrs opts then opts.headline else null; + + bn = builtins.baseNameOf src; + filename = elemAt (splitString "." bn) 0; + + outName = + if isNull headline + then + let + bn = builtins.baseNameOf src; + filename = elemAt (splitString "." bn) 0; + in + if depot.nix.utils.isDirectory src + then filename + else filename + ".html" + else "${filename}-${replaceStrings [" "] ["-"] filename}.html"; + + escapeDoubleQuotes = replaceStrings [ "\"" ] [ "\\\"" ]; + + navToHeadline = optionalString (! isNull headline) '' + (search-forward "${escapeDoubleQuotes headline}") + (org-narrow-to-subtree) + ''; + +in + +runCommand outName { inherit src; } '' + buildFile() { + cp "$1" file.org + ${emacs}/bin/emacs --batch \ + --load ${./config.el} \ + --visit file.org \ + --eval "(progn + ${escapeDoubleQuotes navToHeadline} + (org-html-export-to-html))" \ + --kill + rm file.org + substitute file.html "$2" \ + --replace '‎' "" + rm file.html + } + + if [ -d $src ]; then + for file in $src/*; do + result=''${file/$src/$out} + mkdir -p $(dirname $result) + buildFile $file ''${result/.org/.html} + done + else + buildFile $src $out + fi +'' diff --git a/users/grfn/web/recipes/tomato-sauce.org b/users/grfn/web/recipes/tomato-sauce.org new file mode 100644 index 000000000000..dec7468ac271 --- /dev/null +++ b/users/grfn/web/recipes/tomato-sauce.org @@ -0,0 +1,102 @@ +#+TITLE: Tomato Sauce +#+OPTIONS: toc:nil num:nil +#+HTML_HEAD: + +This is a general, all-purpose framework for turning some form of tomatoes into +some form of sauce. You can use fresh tomatoes or canned (the latter are really +quite surprisingly good sometimes), and include or omit garlic, basil, or other +add-ins. The only real non-negotiable ingredients are tomatoes (duh), onion, and +some kind of fat (I prefer butter). + +* Sauce + +1. *Prep*. If starting with canned tomatoes, skip this step. if starting with + whole tomatoes (which you should really only ever do if you grew them + yourself or got them fresh at a farmers market, grocery store tomatoes are + kinda sad), first, peel the tomatoes. The easiest way to do this is to score + them with an X pattern cut as shallow as possible while still breaking the + skin, trying to cover the whole surface area of the tomato, blanch them + briefly in boiling water, then dunk into an ice bath. After this, the skins + will slip right off. After peeling, cut out the stem, core, and any green or + brown bits, and go to the next step + +2. *Base layer*. Couple of variables here, though a perfectly good (in fact, my + usual go-to) tomato sauce can also skip this entire step: + - If you want meat with your sauce (pancetta/guanciale/bacon for an + amatriciana, ground beef or pork for a bolognese) you'll start out by + sautéing that in some sort of fat (probably olive oil), less fat for meat + with a lot of fat already in it, to brown and render out fat from the meat + - If you want onion in the final sauce, you'll chop them finely and sauté + them with whatever fat you've got (either from the meat, or olive oil or + butter if you're not making a meat sauce). Remember to always add a *bit* + of salt when sautéing onion like this, not for flavor but to draw out the + moisture. If you just want onion flavor but not bits of onion in the final + sauce, it's added whole later (so ignore this bullet point). + - If you feel like it (sometimes I do, usually I don't) you can also mince + garlic here and sauté that in with everything else. Add a little after the + onion, as garlic cooks faster than onion, unless you want something + roastier (usually you don't for tomato sauce) + - The traditional (so I'm told) thing to do with amatriciana, but also nice + with all variations, is to add in a little crushed red pepper with the + fat to flavor it slightly, but do this late so it doesn't burn + - If you have tomato paste on hand and feel like using it, it's also nice to + fry that in the oil for a little bit - usually I'd do that around the same + time as the garlic + + If you're making tomato *paste* from your sauce, skip all of this - paste is + an ingredient, not a sauce on its own, so imo should be as neutral as + possible (i.e. just tomato). + +3. *Tomato layer*. Not a whole lot to do here, just add all of your tomatoes - + either your peeled and de-cored tomatoes from step 1 if you're using whole + tomatoes, or an entire can of whole, peeled san marzano tomatoes, including + the juice in the can - to a pot over medium-high heat. If you need more fat + or if you skipped step 2, this is where you'd add it - a classic and my + personal favorite is like 2/3rds to 3/4ths of a stick of butter, but you can + also go with olive oil. If you skipped the onion in step 2, add that here + too - usually that'd just be a fist-sized amount of onion or so peeled but + left with the stem on so you can fish it out from your final sauce later (and + snack on it!). Also salt here, again not to taste but primarily to draw out + moisture from the various ingredients. + +4. You can cook that for a wide variety of times, especially depending on how + hot you make your stove - there ends up being *lot* of liquid in there, so + you can go (in my experience) a reasonable amount hotter than you expect + without burning the sauce, though obviously your mileage may vary. The main + thing you're looking for is the whole chunks of tomato to break down, and the + whole sauce to get a texture that looks like it'll end up sticking to pasta + nicely. In all versions of this, stir pretty regularly with a wooden spoon, + and use the spoon to crush the big chunks of tomato occasionally. + +5. *Final layer*. Usually I don't do anything here - but if you feel + like it, usually right as you take stuff off the heat is where you'd add + basil, if you're using it. You can also add sugar to balance out too much + acidity from an especially acidic tomato here - I'm not going to tell anyone. + Also salt, but make sure to account for the extra salt you're gonna get from + the pasta water (see step 6) + +6. *Pasta*. You know how to cook pasta, I'm not going to tell you that. But, + like, salt your water until it tastes too salty, and remember to move the + pasta itself *directly* into the sauce pot from the pasta pot before it's + completely done cooking and without straining, bringing along some of the + pasta water (and a little extra for good measure) then finishing the pasta in + the sauce. You know, the thing you do for pasta. Remember the pasta water + will have salt in it, so adjust for that when salting the sauce overall (I + have made this mistake and ended up with too-salty pasta sauce). + +* Paste + +Start with the above recipe for tomato sauce, noting especially that (in my +opinion) you should skip step 2 entirely. Keep cooking the sauce until it's +*too* thick for pasta sauce (but don't burn it!), then spread it out across some +sort of lined sheet pan (like a silpat, if you've got one) and bake in the oven +at like 250-300 degrees for a *hell* of a long time - I've seen this take like +10 hours, for an especially juicy batch of tomatoes, but obviously keep a close +eye on it because it *definitely will burn* eventually. You're looking for the +end result to be the texture of tomato paste, because that's what the recipe is +for. Especially if you're using garden-grown or otherwise fresh tomatoes, +you'll notice quite a few seeds in the final product - don't worry too much +about those, they've never bothered me. Once everything's done and cooled down, +store in a jar in a fridge, topped with olive oil to seal things off and prevent +oxidation. Use in all your future endeavors, including the tomato sauce recipe +above itself. Tomato sauce is a beautiful oroborous. diff --git a/users/grfn/web/shell.nix b/users/grfn/web/shell.nix new file mode 100644 index 000000000000..846bdb6677a3 --- /dev/null +++ b/users/grfn/web/shell.nix @@ -0,0 +1,9 @@ +with import { config.allowUnfree = true; }; +mkShell { + buildInputs = [ + awscli + gnumake + letsencrypt + tarsnap + ]; +} diff --git a/users/grfn/web/site.nix b/users/grfn/web/site.nix new file mode 100644 index 000000000000..057c4d3ee698 --- /dev/null +++ b/users/grfn/web/site.nix @@ -0,0 +1,12 @@ +args@{ pkgs ? import { }, ... }: + +let + + orgExportHTML = import ./orgExportHTML.nix args; + +in + +{ + index = orgExportHTML ./index.org; + recipes = orgExportHTML ./recipes; +} -- cgit 1.4.1