Skip to content
View mtrsk's full-sized avatar
🛠️
Tinkering
🛠️
Tinkering
118 followers · 280 following

Achievements

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

Achievements

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

Organizations

@NixOS @pug-ma @Lambda-MA @levi-ufma @lambdakorp @schonfinkel
Block or Report

Block or report mtrsk

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
mtrsk/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 | 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 = [ FSharp; Nix; Python; Shell; SQL ]
    Tooling = [ Docker; Git; Kafka; Make ]
    Infra = [ Kubernetes; Linux; Terraform ]
    CloudProviders = [ AWS; Azure ] }
Btw, I use NixOS!

Pinned

  1. nixos-config nixos-config Public

    🛠️ My NixOS configuration & dotfiles dumpster fire 🔥

    Nix 17 1

  2. Proof-Plaza Proof-Plaza Public

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

    Coq 1

  3. mtrsk.github.io mtrsk.github.io Public

    My new blog, built with Org, Elisp, Emacs & Github Actions

    Emacs Lisp 3

  4. Dr-Nekoma/spatula Dr-Nekoma/spatula Public

    An interpreter for the Silverware+ programming language written in Haskell

    Haskell 1 1

  5. servers servers Public

    My personal servers in different cloud providers, configured declaratively with Terraform + NixOS

    HCL

  6. interval.fs interval.fs Public

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

    F# 2