Înapoi la articole →

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 12
  1. Terminal Setup

    Here’s how my terminal is setup and what it looks like these days1.

  2. Side-stepping philosophical discussions around whether or not using an LLM will make you more efficient or lead to skill-rot, and whether or not we ought to embrace these tools in education or reject them; one thing that’s become pretty clear to me is just

  3. Some personal websites I’ve visited have a “colophon” section, somewhat similar to a “share my setup” kind of thing.

  4. The Zed text editor

    Although Emacs will always have a special place in my heart (and computers), Zed has quickly become my text editor of choice.

  5. Some random Nix stuff

    Nix has a notorious learning curve with (in my opinion) a pretty solid reward.

  6. Reading List for 2023 (and beyond)

    I have been acquiring more textbooks on computer science and related topics.

  7. These are notes on an idea, there is no new text editor yet (or ever) The motivations for a new text editor came from antirez’s (original author of Redis) blog post on writing a text editor for fun.

  8. Configuration to install NixOS on a Hetzner bare metal server (EX62-NVMe) with UEFI (might need to contact support to enable).

  9. I’m setting up NixOS on my new Hetzner Dedicated server.

  10. Down the Self Hosting Rabbithole

    Update (2023): I am no longer using Hetzner and decommissioned my bare-metal server a while back.

  11. I started using Emacs again a few years ago when I had some downtime.

  12. Getting Started with OCaml

    NOTE: This post is not complete.