diff --git a/.helix/languages.toml b/.helix/languages.toml index e5e9271..e9b85ff 100644 --- a/.helix/languages.toml +++ b/.helix/languages.toml @@ -1,3 +1,8 @@ [[language]] name = "nix" formatter = { command = "nixfmt" } + +[[language]] +name = "typst" +formatter = { command = "typstyle" } +auto-format = true diff --git a/flake.nix b/flake.nix index e3e3928..b32f6b2 100644 --- a/flake.nix +++ b/flake.nix @@ -84,7 +84,7 @@ inherit (commonArgs) fontPaths virtualPaths; packages = [ watch-script - pkgs.typstfmt + pkgs.typstyle pkgs.tinymist pkgs.nixfmt-rfc-style diff --git a/main.typ b/main.typ index 3a4633e..15ad7cc 100644 --- a/main.typ +++ b/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