I'm a mechanical engineer turned Senior Software Engineer, focused on Linux. I have many years of experience in C++ and Go, a growing command of Rust, and a strong background in build systems, CI/CD, infrastructure, engineering best practices, and developer enablement.
Nix is at the heart of it all. I've used Nix and NixOS for years, and today it's an essential part of everything I build. If you're trying to bring Nix into your company, I'd be happy to help, so feel free to reach out.
I believe infrastructure, build, and tooling code deserve the same care as product code. If you think so too, we probably have a lot to talk about. Strongly typed languages only + single-layer of abstraction at the heart.
-
Githooks: 🦎 Githooks: per-repo and shared Git hooks with version control and auto - update.
-
Vim Motions In A Nutshell: What you really need to know when learning Vim motions.
-
Best Practices at SDSC: Contributions to developer enablement, development practices, documentation tooling and CI setup.
-
Nix Workshop: A small workshop aiming to get you started with a modern flake-based Nix configuration setup, exploring Nix, Flakes, NixOS. Slides
-
NAT Traversal Exercises: The nice article from Tailscale intrigued me into wondering if I can test that with some Rust code + NixOS VM tests to simulate such NAT Traversal. 🐙
-
Rust Workshop: Part 1: A 4 days workshop in 2024 about learning the latest basic foundation of the Rust programming language (with small focus on coming from python).
-
ExecutionGraph: Execution graph with a GUI frontend. Unfortunately unfinished and not maintained anymore. It was more a study framework than a serious project.
-
RsFluid: Rust learning project implementing a fluid simulation.
-
Markdown2PDF: Rust learning project implementing a full-stack micro-service (kubernetes) architectured web-app which converts Markdown files/projects into PDF in the backend, using all best tools available so far in 2024.
-
Ki-Kist: Rust learning project implementing a REST client & server architecture (kubernetes) to store asymmetric encryption keys for signing documents.
-
Quitsh: A component-based build tool which aims at treating build tooling code as normal code with typed, fast-compilable language
go. -
RsBuckPlayground: Building a Rust project with Buck2. Nix acts as a toolchain provider before
buckis involved.
-
Technical-Markdown: Pandoc tooling framework to generate technical documentation and even whole theses ([PDF], [HTML]).
-
technical-presentation-sdsc: Fork of
reveal.jsfork with tooling to generate presentations in HTML/PDF output. See demo presentation and C++ presentation.
- ApproxMVBB: Fast algorithms to compute approximation of 3d minimal bounding boxes.
- GRSFramework: Granular rigid body simulation framework.
- Woodpecker: Non-smooth mechanics
benchmark problem computed in a
pythonnotebook converted to a SVG animation.