Jons Mostovojs @jonn@social.doma.dev

@virtulis hmm, I do that to be honest. I don't use nixos yet, even though @julienmalka is threatening to help switch my internal infra to #nixos.
I don't think it's a big deal though security-wise. Especially if you pull them once at server setup and let them diverge. (Don't forget to randomize PS1 colours!)

@virtulis "too lazy to set up on all the servers"

#nixos #deployRs

•hides•

@virtulis #atuin!

@evan I take the polls very seriously!

@evan oh no! I only just realised that when you say "Noun" you mean that types are sort of like nouns and terms of the types are sort of like names, whereas functions over types are sort of like verbs and interfaces are sort of like "verbers"!

I thought that we're taking about language processing related domain!

If we aren't, then I'm heavily in "it depends" camp. There is #ExpressionProblem, so while picking tools to encode your problem domain, you have to pick the closeness of extending "nouns" with more "verbs" or allowing a "verb" to work on more "nouns" based on the problem domain. There's no right answer and no reasonable way to prefer one over the other.

But from the standpoint of ease of understanding, facilitated the most by #DeclarativeProgramming, I would pick option 1 because it doesn't rely on traits, is explicit and separates "algorithms" (verb) and "data structures" (Noun) so that people can understand them independently.

@icon_of_computational_sin does #VSCode also choke? I can ask my company's GHC department what do they use to edit GHC.

@evan verber. part can be made implicit with trait / tyoeclass resolution, then it's strictly better than option 1, which is better in this case than option 2 because the notion of making verbs out of other language classes isn't limited to nouns and its subtypes!

@ChrisO_wiki there is no DNR, there's only "so-called DNR". Donetsk Oblast is part of a sovereign territory of Ukraine.

@WillRobinson nothing is too soon. Did he actually?

@virtulis better than "reverse draw groups" :D

Don't get me wrong, she posts good stuff there... It's just that the instance is ran by a russkie chauvinist from "ne vsyo tak odnoznachno" camp.

Context: https://social.doma.dev/@jonn/109582283625353670

Hmm, TIL that my personal hero @bookwar has an account on mastodon.ml.

I don't know how to consolidate this either.

Berlusconi died! Huge congratulations to Italian people! ❤