Simão Gomes Viana

Software Engineer, halogenOS Founder & Technical Lead, DIY & Automation Enthusiast

German: "Si-mow" • English: "Simon" • Portuguese: /siˈmɐ̃w̃ ˈɡomɨʃ viˈɐ̃nɐ/

Nix/NixOS Kotlin Rust Android/AOSP Systems Programming

Senior Software Developer at Toowoxx specializing in reproducible systems and cloud architecture. Free software, open source, privacy and freedom advocate. Founder and Technical Lead of the halogenOS Project.

About Me

Background

  • • Born in 2000, living in Germany
  • • Languages: German (native), English (professional), Portuguese (limited)
  • • Free software, open source, privacy and freedom advocate
  • • DIY & automation enthusiast

Current Focus

  • • Software development & systems engineering
  • • Reproducible systems with NixOS
  • • The halogenOS Project
  • • Cloud architecture and deployment
  • • IT security and infrastructure

Professional Experience

Toowoxx IT GmbH

2016 - Present (9+ years)

Senior Software Developer

January 2024 - Present • Deisenhausen, Bavaria, Germany

Work Areas

  • • Full-Stack software development
  • • Cloud Architecture and Deployment
  • • Linux system administration
  • • Reproducible systems using NixOS
  • • IT Security (Vice IT Security Officer)
  • • Open Source development & management

Core Technologies

Vue 3 Tailwind Kotlin Rust Nix/NixOS Python Terraform Android

Key Projects

halogenOS 2016 - Present

Custom Android operating system based on AOSP. Co-founded with Neil Agarwal, with focus on system stability and security.

AOSP Android C++ Kotlin
Positronium Kernel 2024 - Present

A complete rewrite of the Unnamed OS kernel in Rust. Operating system development from scratch with focus on modern systems programming practices.

Rust OS Dev GPL-3.0
Linux Nitrous 2019 - Present

Custom Linux kernel for Arch Linux and personal NixOS systems. Focus on performance optimizations and custom configurations.

Linux Kernel NixOS C

Open Source Contributions

Contributions

  • • ClangBuiltLinux (member)
  • • Go language project
  • • Caddy web server
  • • Gradle build system
  • • LBRY Desktop / Odysee
  • • Android Password Store
  • • NixOS/nixpkgs
  • • JetBrains Compose

Technologies

  • • Rust systems programming
  • • Android/AOSP development
  • • Linux kernel development
  • • Nix/NixOS packaging
  • • Infrastructure automation
  • • Web development
  • • Mobile applications

Platforms

  • • GitHub repositories
  • • GitLab projects
  • • Package repositories
  • • Issue trackers
  • • Community forums
  • • Code reviews
  • • Bug reports

Professional Open Source Work

Toowoxx Projects

  • • terraform-provider-packer (most popular)
  • • fuse-azure-key-vault
  • • Multiple Go utility libraries

Technologies Used

  • • Terraform providers
  • • Caddy server plugins
  • • Azure integrations
  • • Go libraries
  • • Docker solutions
  • • Infrastructure tools
  • • Security utilities

Get In Touch

Find me on these platforms for professional networking and collaboration.