style: format with typstyle

.helix/languages.toml

@@ -1,3 +1,8 @@
 [[language]]
 name = "nix"
 formatter = { command = "nixfmt" }
+
+[[language]]
+name = "typst"
+formatter = { command = "typstyle" }
+auto-format = true

flake.nix

@@ -84,7 +84,7 @@
           inherit (commonArgs) fontPaths virtualPaths;
           packages = [
             watch-script
-            pkgs.typstfmt
+            pkgs.typstyle
             pkgs.tinymist
 
             pkgs.nixfmt-rfc-style

main.typ

@@ -29,7 +29,7 @@
   company: "upsquared GmbH",
   dates: dates-helper(start-date: "Jun 2024", end-date: "Present"),
 )
-- Technical Lead for Cloud-native Development, Infrastructure & DevOps solutions
+- Leading Cloud-native Development, Infrastructure & DevOps solutions
 - Main technologies: Rust, Nix, Kubernetes, OpenTofu, TypeScript, React, Next.js, MongoDB, GitLab CI, GCP
 - Onboarding, mentorship & technical leadership of new team of engineers
 
@@ -93,7 +93,7 @@
   dates: dates-helper(start-date: "May 2024", end-date: "Present"),
   degree: "Master of Science in Computer Science",
 )
-- Relevant Coursework: Data Structures and Algorithms, Network Systems, Software Architecture for Big Data
+- Relevant Coursework: Data Structures and Algorithms, Software Architecture for Big Data, Network Systems
 
 #edu(
   institution: "Berufsbildende Schulen I Lüneburg",
@@ -124,7 +124,7 @@
 
 #project(
   name: "pgp2ssh",
-  dates: dates-helper(start-date: "Jan 2022", end-date: "Jun 2024"),
+  dates: dates-helper(start-date: "Mar 2024", end-date: "Mar 2024"),
   url: "github.com/pinpox/pgp2ssh",
 )
 - Derive private ed25519 SSH key from private PGP key
@@ -139,7 +139,7 @@
   dates: dates-helper(start-date: "Oct 2019", end-date: "Present"),
   url: "github.com/NixOS/nixpkgs",
 )
-- Contribute to the largest open source package repository Nixpkgs, which is among the most active GitHub projects
+- Contribute to the largest open source package repository and one of the most active GitHub projects
 - Maintain a few packages & NixOS modules including Tor Browser & Mullvad Browser
 - Nixpkgs Maintainer since Dec 2020
 - Nixpkgs Committer since Aug 2024 with permissions to merge pull requests
@@ -154,13 +154,13 @@
 - Main technologies: TypeScript, Node.js, React, AWS Lambda, Serverless framework, DynamoDB
 
 #project(
-  name: "Plastikpost",
+  name: "Stoppt die Plastikpost",
   role: "Lead Software Engineer",
   dates: dates-helper(start-date: "May 2019", end-date: "Aug 2019"),
   // url: "web.archive.org/web/20220710170444/https://www.plastikpost.de/",
 )
 - Every week, up to 20.7 million issues of "Einkauf Aktuell" land in German mailboxes
-- Allowed users to object very easily: over 70 000 objections have been recorded
+- Allowed users to object very easily: over 79 000 objections have been recorded
 - Main technologies: TypeScript, Node.js, React, AWS Lambda, Serverless framework, DynamoDB
 
 == Certifications