Update resume

resume.typ

@@ -32,7 +32,7 @@ set text(font: "Fira Sans", size: 2.5em)
   [
     #icon-item("location-dot.svg", [Oakland, California])
     #h(1em)
-    #icon-item("square-envelope.svg", link("mailto:greg.shuflin@protonmail.com")[greg.shuflin\@protonmail.com]) 
+    #icon-item("square-envelope.svg", link("mailto:greg@everydayimshuflin.com")[greg\@everydayimshuflin.com]) 
     #h(1em)
     #icon-item("phone.svg")[510-332-6344]\
     #icon-item("house.svg", link("https://greg.everydayimshuflin.com")[greg.everydayimshuflin.com])
@@ -47,7 +47,7 @@ set text(font: "Fira Sans", size: 2.5em)
 Motivated, professional computer scientist with broad expertise in industry and open-source
 software development:
 
-- Programming language theory, type theory, strongly-typed functional programming languages. Haskell, Elm, Scala. I've been using Rust since before its 1.0 release in 2015.
+- Programming language theory, type theory, strongly-typed functional programming languages. Haskell, Lean, Scala. I've been using Rust since before its 1.0 release in 2015.
 
 - Linux system administration for production cloud environments, Docker containerization, AWS/Terraform, Nix/NixOS. I run a 4U VM server in a rack in my kitchen for personal projects.
 
@@ -57,6 +57,9 @@ software development:
 
 #section-header([Professional Experience])
 
+#job-entry([Meta (formerly Facebook)], [Production Engineer], [Mar 2025 - ])
+- Responsible for writing and maintaining internal tooling for monetization-related generative AI software
+
 #job-entry([Knox Networks], [Senior Software Engineer], [Apr 2023 - Aug 2024])
 - Rust and Nix developer for experimental digital payments infrastructure software stack. AWS/Terraform, microservice deployment model.
 - Heavy use of asynchronous Rust microservices, gRPC, modern encryption primitives including cloud hardware signing modules and Rust/C integration.