Skip to content
View schonfinkel's full-sized avatar
🛠️
Tinkering
🛠️
Tinkering
130 followers · 295 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@NixOS @pug-ma @Lambda-MA @levi-ufma @lambdakorp @schonfinkel-labs @dont-rely-on-nulls

Block or report schonfinkel

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
schonfinkel/README.md

你好, digital citizen! Welcome to Cyberspace.

I'm a software developer and infrastructure engineer, I like my philosophy UNIX Emacs Emacs (with EVIL) and my programming Functional.

My Online Presence

My Blog My Linkedin profile My SE profile

My toolbox

type Language = Coq | Erlang | FSharp | Haskell | Nix | Python | Rust | Shell | SQL
type Tooling = Docker | Git | Kafka | Make
type Infra = Kubernetes | Linux | Nomad | Terraform
type CloudProvider = AWS | Azure | GCP | OnPremise

type Experience =
  { Languages: Language list
    Tooling: Tooling list
    Infrastructure: Infra list
    CloudProviders: CloudProvider list }

let workedWith =
  { Languages = [ Erlang; FSharp; Nix; Python; Shell; SQL ]
    Tooling = [ Docker; Git; Kafka; Make ]
    Infra = [ Kubernetes; Linux; Terraform ]
    CloudProviders = [ AWS; Azure ] }
Btw, I use NixOS!

Pinned Loading

  1. nixos-config nixos-config Public

    🛠️ My NixOS configuration & dotfiles dumpster fire 🔥

    Nix 18 1

  2. Dr-Nekoma/lyceum Dr-Nekoma/lyceum Public

    An MMO game written in Erlang (+ PostgreSQL) + Zig (+ Raylib)

    Zig 244 8

  3. schonfinkel.github.io schonfinkel.github.io Public

    My new blog + note taking bucket, built with Org, Elisp, Emacs, Nix, Just & Github Actions

    TeX 4 1

  4. interval.fs interval.fs Public

    An implementation of Allen's Interval Algebra, for .Net

    F# 2

  5. Proof-Plaza Proof-Plaza Public

    Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.

    Coq 1

  6. Dr-Nekoma/trashcan Dr-Nekoma/trashcan Public

    A multi-purpose server written in Nix/NixOS❄️

    Nix 2 1