Dev

The default installation instructions for the Homebrew package manager do not run on Nushell. Instead, you can use: curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh | bash The installation script gives commands to configure the path on zsh (and probably other shells), but not Nushell. It took me some time to realize that the Nushell documentation actually has instructions specifically for Homebrew! The following will make brew work in your current session. # macOS ARM64 (Apple Silicon) $env....

I always struggle to write an indicator function in Latex. You know, the 1 with a double bar, for instance in 𝟙_A(x). For letters like N, a simple \mathbb{N} gives a nice ℕ, but \mathbb{1} gives a weird looking character that is definitely not a double-struck 1. The best way I found is to import the dsfont package and use \mathds{1}: \usepackage{dsfont} \mathds{1} It’s also possible to import the bbm package and use \mathbbm{1}, but I don’t recommend this option as it uses a bitmapped font for the 𝟙 character....

I have a remote machine in a network that I don’t manage, and one day the not-so-static IP changed. Without the new IP address I found myself unable to SSH back in. How do you find a computer in a subnet if you don’t know its address? I tried to ping around to look for the hostname of my machine, without much success. In the end, I could locate my lost IP with a simple nmap....

When you set up Home Assistant on Android, you sometimes get a notification showing up in the background saying something like “Updating sensors…”. It might be useful to retrieve my phone battery or location to automate some routines, but I don’t need it and I find it intrusive. After Googling around unsuccessfully, I stumbled on the solution in the settings: Open the mobile Home Assistant application Open the left menu and pick “App configuration”....

Mosh — the mobile shell — is a great alternative to SSH when you have a flimsy connection or when you are moving around with your laptop. The default installation needs sudo rights on the server side, but you can install it without privileges in a Conda environment. First, install Mosh on your server (the machine you want to SSH into): conda install -c conda-forge mosh -y You should be able to start the server executable from your environment:...

The easiest way is to add the keys when you create the machine. But if you forgot, it just takes 1 line. Before that, check if there are any keys associated with the machine: gcloud compute instances describe instance-1 If this is a new VM without keys, the metadata field should be empty. Then, add your keys: gcloud compute instances add-metadata instance-1 --metadata-from-file ssh-keys=./.ssh/id_ed25519.pub Now you can connect to the external IP of the machine:...

Network connections come with priority scores that determine in which order to connect. Sometimes, the default order is not satisfying, e.g. if you want to prioritize your mobile hotspot or home network over some public connection. In Ubuntu (tested on 20.04 with Gnome 3.36), the default settings don’t allow you to change the order. Luckily, there is a GUI accessible without installing anything. Open a terminal and type: nm-connection-editor This launches a window containing the list of your networks....

Sometimes you just need the list of the modules in your ResNet (number of blocks, parameters of the convolutions, number of trainable parameters, etc). I don’t need a Medium tutorial showing me how to build a ResNet and I don’t want to parse the PyTorch source code. So next time, instead of spinning a new terminal with print(torchvision.models.resnet18()), I can just check this plain old listing. Below is the architecture, i....

PyTorch’s profiler can produce pt.trace.json traces. By default, you can visualize these traces in Tensorboard. However, Tensorboard doesn’t work if you just have a trace file without any other Tensorboard logs. This can happen if you use PyTorch Lightning’s wrapper, or if you stored the profiling trace somewhere else such as a remote machine. In this case, you can open the pt.trace.json file directly in Chromium or a Chrome-based browser. Just open chrome://tracing, and drag-and-drop the JSON file....

Here is my cheat sheet to install Gurobi on a new Mac or Linux machine, using a free academic license: Install Gurobi, for instance with Conda: conda install -c gurobi gurobi -y Go to the Gurobi Academic License webpage. Log-in or sign-up – you can get multiple free academic licenses with a single account. Copy your key number and create your license with: grbgetkey aaaaaaa-7987-34aa-0974-23987498c07` Happy optimization!