Skip to content
  • Machine Intelligence Research Institute
  • Berkeley, CA


  • Arctic Code Vault Contributor




  1. My Nix system configs!

    Nix 36 5

  2. WIP rewrite of article-to-audio-cloud-function and generate-podcast-rss-cloud-function

    TypeScript 6 1

  3. WIP tool for managing macOS defaults.

    Haskell 2

  4. A Simple Hammerspoon Spoon that creates a new task in Asana with a given name in a given workspace.


  5. Hammerspoon Spoon to connect, disconnect, or toggle connection to/from a personal hotspot. Optionally kills/opens a list of apps on connect/disconnect respectively.

    Lua 1

  6. A Hammerspoon Spoon that opens/closes apps or runs an arbitrary function when a USB device is connected/disconnected.

    Lua 2

450 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri
Activity overview
Contributed to malob/nixpkgs, LnL7/nix-darwin, malob/prefmanager and 5 other repositories

Contribution activity

February 2021

Created 26 commits in 1 repository

Created an issue in fabrizioschiavi/pragmatapro that received 2 comments

∈ (U+2208, element of) and ∉ (U+2209, not an element of) don't match

In PragmataPro ∉ (U+2209, not an element of) is the same style and size as ∊ (U+220A, small element of).

Answered 1 discussion in 1 repository
2 contributions in private repositories Feb 4

Seeing something unexpected? Take a look at the GitHub profile guide.