Skip to content
GitHub 💧🧊
GitHub 💧🧊


  • Pro


@NixOS @MercuryTechnologies @rust-analyzer @ubc-carnap-team @jades-projects
Block or Report

Block or report lf-

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.

Add an optional note:
Report abuse

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

Report abuse



i am a systems programmer, with a particular interest in rust and hardware

i have a blog on my website, and i maintain a site with pleasant to use single page docs for GNU, zsh, and PostgreSQL here.

stuff i do for work

  • i am currently interning at Mercury writing financial/web code in Haskell (any views i express on here probably don't represent those of my employer)

stuff i do in my spare time

  • nix-doc, an abstract syntax tree based search tool for Nix documentation written in rust, supporting interactively reading nixpkgs documentation while using the Nix REPL
  • rust-analyzer work, focusing on completion and core components
  • mu, a work-in-progress kernel in rust
  • pwintln uwu, a rust hack that hooks standard output at runtime to rewrite it in uwu-speak
  • lesble, a wordle clone written in typescript
  • qr-stl, a rust program to make STL files for QR codes with a web/wasm front end
  • asm211 (private), a rust based assembler for the toy architecture used in CPEN 211 at UBC
  • aiobspwm/aiopanel, a top bar for the bspwm tiling window manager written in Python asyncio

~ pet a 🐈 ~


  1. nix-doc Public

    An interactive Nix documentation tool providing a CLI for function search, a Nix plugin for docs in the REPL, and a ctags implementation for Nix script

    Rust 120 5

  2. A Rust compiler front-end for IDEs

    Rust 10.6k 1.1k

  3. aiopanel Public

    An asyncio text-based panel

    Python 19 2

  4. aiobspwm Public

    An asyncio library for bspwm

    Python 2 1

  5. dotfiles Public

    Dotfiles, a monorepo, who is to know!!

    Python 18 2

  6. mu Public

    [in-progress] toy rust microkernel and operating system for riscv64

    Rust 18 2

1,248 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2022

Created 4 repositories

Created a pull request in NixOS/nixpkgs that received 5 comments

haskell.packages.ghc942: make it work

Description of changes Bring up ghc-9.4 enough that I can run hpack and the HLS dev shell, and HLS (with some limited overrides). It's still fairly…

+215 −2 5 comments
Opened 11 other pull requests in 8 repositories
MercuryTechnologies/slack-web 2 closed 1 open
yesodweb/persistent 2 merged
haskell-CI/haskell-ci 1 open
nvim-treesitter/nvim-treesitter-context 1 merged
nvim-treesitter/nvim-treesitter 1 merged
haskell/haskell-language-server 1 open
iand675/hs-opentelemetry 1 merged
NixOS/nixpkgs 1 merged
Reviewed 1 pull request in 1 repository
NixOS/nixpkgs 1 pull request

Created an issue in sol/hpack that received 9 comments

JSON schema

It would be super cool if there was a JSON schema for hpack, which would automatically enable IDE tools to provide autocompletion and checking of h…

106 contributions in private repositories Sep 1 – Sep 28

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