Compare commits

...

5 commits

3 changed files with 12 additions and 7 deletions

View file

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

View file

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

View file

@ -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