• 1 Post
  • 21 Comments
Joined 1 year ago
cake
Cake day: June 7th, 2023

help-circle
  • I am not an Arch-user, but I would say so. At least Nix itself claims that their unstable channel is the largest and most up-to-date package repository currently followed by AUR. So yes, I think you can have best of both worlds - a rock solid base system with the newest software via Nix. It even gets better with Home Manager.






  • Actually there’s an idea sparking up on me.

    When I was a junior programmer there were some business guys coming up with the requirement to implement their own validation language (similar to regex). I always thought it is totally stupid to invent your own instead of using something that already exists. But it turned out to be great fun implementing it. I had no prior knowledge in implementing parsers and interpreters. But man I was so proud after I came up with my own solution for the problem. It was such fun, that I even was doing over hours. At the end I create my own tokenizer, a parser and an interpreter. Even something similar to what I now know most people would call an AST (abstract syntax tree).

    However, I know I have bought the Crafting Interpreters book without having read it. I really should start digging into it.







  • Creating a snapshot is not the backup itself. It is basically freezing the current state of your files from this point on and then remembering what has chanced compared to the snapshot. So yes, it is normal that this takes no time since nothing is copied on your hard drive. If you want to backup the snapshot you need to make an actual backup of it. This is possible with btrfs. But since I haven’t done it yet, I can’t tell you the exact command.





  • Yes, that limited number of included searches is my only criticism I have with Kagi. They are aware of this, and are trying to offer customers more searches for the same price by improving their costs. I am glad they decided to do this by reducing their costs and have decided to not go the road of monetizing their users by selling ads and customer data.

    However, I try to use Kagi only for serious search requests. For other very trivial searches, I use Startpage. For me, works OK. But I hope that one day Kagi offers enough searches, so I can just use it everywhere as my default search engine without having to thinking about it.