Links to this page
  • Thinkpad X1 Carbon Gen 7 review

    My next computer, if I choose to buy one in ~3 years, would likely be similar to the X1C7 but with a bit more performance (assuming battery life does not suffer); i.e., if I were to make this decision again, I’d consider Thinkpad X1E or P1

    - but with integrated graphics (nvidia has poor support on Linux). That said, I still use the Carbon as my primary computer, and use VSCode remote to shift much of the develoment heavylifting to the P71 workstation at home.

  • X1C7 - satisfactory performance, not for heavy use

    The carbon does suffer a bit with heavy workloads, such as some long compilation (eg: GHCJS) tasks, IDE heavylifting (haskell-language-server) or when using complex (bloated) web apps. However, for the bulk of them I can offload them to my P71 workstation at home (via manual ssh, VSCode remote ssh or distributed build), and then use its binary cache.

  • Apps I use
  • Creating a new Haskell project with IDE support using Nix

    I create new Haskell libraries and applications using Nix, along with IDE support in VSCode as follows.

  • Recording screencasts

    GNOME runs on NixOS by default using Wayland, however Peek works only in X. For the Ema demo, I recorded a short screencast spawning two windows, VSCode and web browser, as follows:

  • Nix-ifying Rust projects
    The .vscode folder contains all the settings necessary to open the project with full IDE support in VSCode, for Rust and Nix (including auto format).