Skip to content
View augustebaum's full-sized avatar

Block or report augustebaum

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
augustebaum/README.md

Hi there 👋

I'm Auguste Baum! I'm a software engineer; talk to me about (in no particular order):

  • functional programming
    • Particularly the "effect handlers" approach to side-effects (e.g. koka and unison)
  • Nix (I run NixOS by the way)
  • Python, especially with Pydantic and Hypothesis; also Textual
  • Rust
  • RSS
  • Alternative Git workflows (as in, not GitHub)
    • Happy user of jj
  • free-and-open-source software.

My professional experience

  • 🔭 I am currently working as a software engineer at Probabl.
  • I am co-founder and former CTO of Resilio, a start-up promoting digital sobriety through ad-hoc consulting (life-cycle assessments) and solutions to empower consultants.
  • I got acquainted with Nix by working on ngipkgs, a collection of Nix packages for NGI-funded software.

Pinned Loading

  1. romodoro romodoro Public

    A Pomodoro timer web-app written in Rust

    Rust

  2. typst-moderncv typst-moderncv Public

    Forked from giovanniberti/moderncv.typst

    My CV in Typst

    Typst 1