Daniel Alp

I wanted to learn about the internals of FreeBSD and was recommended The Design and Implementation of the FreeBSD Operating System, but as I was working through that tome I realised it might make more sense to first understand a much smaller operating sys…

Thank you Nikos and Joseph for providing feedback :) A couple of months ago, I learned about regex crosswords from the blog post Solving Regex Crosswords With Z3, and writing my own solver joined the (already very long) list of “things I want to do, but p…