Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
@augustebaum
augustebaum
Follow

Auguste Baum augustebaum

Block or report augustebaum

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
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

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /