<MichaelRaskin>
Bavaria probably qualifies for this description even relative to EU, but here there is at least some hope that testing increase would allow targeted lockdowns instead of stop-the-world lockdown that cannot be lifted without going to square one.
<gchristensen>
hm not what I expected of Bavaria
<MichaelRaskin>
Good question whether entire Germany now has restrictions on leaving buildings
<MichaelRaskin>
I think Bavaria was in the first wave of federal states to introduce such restrictions state-wide
waleee-cl has quit [Quit: Connection closed for inactivity]
<colemickens>
gchristensen: I saw some of your comments (and a patch, I believe) about multiple different nixpkgs being used in a single nixops deployment. is that a patch you still carry, did you adopt another technique, or just stop trying to do the thing that hurts?
drakonis has quit [Quit: WeeChat 2.7.1]
<cole-h>
infinisil: Is there a difference between "ZFS encryption" and luks{,2} encryption?
<danderson>
ZFS encryption is native to ZFS, happens within the filesystem structure instead of at the block level
<danderson>
has various tradeoffs. One big benefit is that you can have a ZFS pool with encrypted and unencrypted datasets, and you can still access the unencrypted stuff if you don't have keys to unlock the encrypted ones
<danderson>
you can also stream encrypted ZFS datasets to another ZFS pool without having the keys - ZFS still gets to see the filesystem "skeleton", so it can still do efficient deduplication of the encrypted content
<danderson>
means you can stream your encrypted datasets to an offsite backup system that doesn't have the decryption keys, and it just lands on disk as an encrypted ZFS dataset
<ottidmes>
ldlework: building a personal knowledge base within emacs?
<ldlework>
ottidmes: yeah, I'm building an sql-backed org-brain alternative, but i was writing a bunch of SQL CRUD boilerplate and I was losing my mind
<ldlework>
so I'm writing an EIEIO/EmacSQL ORM first :P
<ldlework>
ottidmes: so annoying how negative the main channel can be
<gchristensen>
:o
<ldlework>
why would you try to convince someone to stop trying to write an elisp version of a library-type that is popular across languages/ecosystems that elisp lacks?
<ldlework>
i almost got de-motivated, but i decided to make it nice and prove them wrong :)
<ldlework>
gchristensen: oops forgot we're not in #nixos-emacs again lol, by "main channel", I mean #emacs, not #nixos :)
<gchristensen>
this is cool
<ottidmes>
ldlework: Cool stuff :) I am working on my own PKB too, but outside emacs
<ldlework>
right on
<ottidmes>
It has its own lightweight markup language targeted at knowledge base systems, editable in its raw form but also in a rich text editor, although still a work in progress
<ottidmes>
I underestimated how easy it would be to implement a parser for a mixed-content language, so many edge cases, even for a simple language
<ldlework>
you mean overestimated?
<ottidmes>
yep :P
<ottidmes>
wrote a verifier to test the language, and it kept on giving me edge cases I had not considered yet
<ottidmes>
some requiring me to go back to the drawing borad
<ottidmes>
nice, and in the end I doubt you will need a too complicated ORM for this purpose, right?
<ldlework>
ottidmes: yeah not at all
<srk>
ottidmes: I wrote a lang for symbolic algebra recently but quickcheck quickly gave me cases that broke the concept completely like - eval (0 * 1/0) /= eval . simpl (0 * 1/0) and other thing like (-2)**(-1.6)
<srk>
got recommendations to use Agda :D
<ottidmes>
Ah, Agda, the only time I use Emacs... I did not had a great time with it, but it does work well when your problem is math based
<srk>
hehe, same, with evil! my problem is mixed as it is math but a lots of floats and sin/cos
<cole-h>
gchristensen: Is that the systemd unit you wanted me to try and create yesterday?
<gchristensen>
related to it, certainylly
<ashkitten>
infinisil: could the nixoses secrets module be made to allow namespacing of secrets so i could do for instance `secrets.mastodon.otpSecret`?
<colemickens>
hi gchristensen, I don't want to bother, hopefully, but do you use multiple nixpkgs within a single nixops network still, or do you not try to do that anymore?
<gchristensen>
I try not to do thaht
<gchristensen>
:/
<gchristensen>
maybe nixops 2:)
<gchristensen>
(maybe not)
* colemickens
continues the quest for the perfect tool
* colemickens
is sure this is going to end in another ~50 lines of bash