The blog post is typed char-by-char by a real human™. I tried my best so my blog does not contain anything work related. Then it would be a sad work blog. But I do need a place to host this piece. So it goes. Some background. My day job is software engineer / research engineer / ml engineer / member of technical staff, whatever you call it. Basically, I train model and I also work on things…
Solving a global optimization problem greedily. Planning trip is, fundamentally, a global optimization problem. You want to maximize your experience with constraints, e.g. with limited time and money. There’s also the regularization factor: if you spend too much effort on planning the trip and make sure you’ve got a plan for everything, you become more stressful and the trip itself…
In my previous post I mentioned that I need to store my DNS provider’s credentials into my git repository, managed by Nix. How is it done in practice? First, I use agenex, a Nix library based on age. The benefit here is that it uses your SSH key pairs as encryption key, and no GPG involved. One pain point I had with similar tool is that whenever GPG is involved, I got super confused and…
It took me quite a while to understand how to do the whole thing. So I’d share it here. The problem I’ve go quite some services scattering in my local network. That OctoPrint instance is at 192.168.xx.yy:1234, that TP-Link ethernet switch has a web UI at 192.168.ww.zz:5678. It’s impossible to remebber these IP:ports. So we need some easier to remember aliases. A bookmark system…
Following our journey on Nix, this blog covers some pitfalls and gotchas when trying to put it on a Raspberry Pi 4B. Initial installing is pretty straight forward. Follow official Wiki to copy the pre-built image to SD card, boot Pi, wait and you got a TTY. Cache Pi is not the beefest machine for compiling stuff. Before you copy your config over or write some in place, the first thing is to set up…
Some Introduction First, what’s Nix? Nix is: a programming language a program manager related to NixOS, an operating system a new way to package and build things. ??? Very confusing. I know. Read my intro blog for more intro! Darwin is Mac. Why it’s darwin? Search yourself. So nix-darwin is basically a way to configure your Mac just like NixOS. What can actually be configured?…
We need flake-first, up-to-date and deep tutorials. Zero to Nix First, start with Zero to Nix. It’s a new guide provided by Determinate System. When it published, there’s quite some controversies around it. The doc would teach you “how do I use a pre-made nix-flake”, but not “how do I make one”. It’s basically a glorified cli --help. nix.dev This one is…