I like to remind people that nobody else will ever know how good the thing you WANTED to publish was, so all of those flaws that stand out to you are invisible to them

(And you just posted them all here for everyone to see, with screenshots!)

My favorite advice for blogging remains that you should hit publish while you are still actively unhappy with what you have written, because the only alternative is a huge folder full of drafts and never publishing anything at all

Yesterday I spent way too long wondering why my VPS didn't have an IP address before realising that I didn't read the wiki well enough and missed the part where it clearly says that IPv6 needs to be configured statically on NixOS 🤝

I think that's about when I started using NixOS too, except I've gotten by without really bothering to sit down and properly clean up my dotfiles ever since 😬

I lied, I am crying

It's all still pretty barebones and drab though, need to add some colour to make it look nicer.

I've tried hyprland and river previously but both of them felt like too much work and I couldn't quite get myself to learn how to operate inside this new UX. Niri feels really intuitive already after just a few hours of use, and I'm already fairly fluent with the navigation.

Maybe it's like that sitcom bit where one person tries really hard to open a jar, then the next person pops it open almost immediately, to which the first person says that they "must have loosened it up already".

All good for me

stop worrying about others sniping your ideas
stop rushing to claim to be the first
just do it better

Yeah, figured as much. Got kinda worried for a second and had to go check the news 😅

oh wow, Maple Mono is so cool! Using ligatures to turn [TODO] into a tag is very clever.

Our focus is specifically on getting *CS* people into formal verification, hence the name, "Logic for Systems" (as opposed to "Logic for philosophical syllogisms", say). There's a book accompanied by a verification tool specifically designed for education (not a lot are!).
forge-fm.github.io/book/