OK, I read through the xargs documentation, pretty cool!
@vaporeon_ oh wow, posix xargs doesn’t suppurrt using null characters as a sepurrator
@aescling What would be the use-case for null characters as separators? Processing files that have a newline in the name?
@aescling Personally my opinion is that if you put a newline inside a filename, you deserve whatever troubles this causes you... It's just a wrong thing to do, even if it's technically allowed...
But I understand that not everyone may agree with that.
@vaporeon_ if POSIX allows newlines in filenames i’m either going to not assume they don’t have any, or make very clear that i am expecting a certain convention to be followed to not break my script lol
@vaporeon_ i have taken a lot of influence from my time learning such languages and i have noticed you do not seem to share that way of thinking lol
@vaporeon_ this is not a criticism just an observation
@aescling Aescling is Haskell programmer? Why did you never tell me?
I never got deeply into Haskell, but the superficial course that I took on it years ago was pretty fun
And also it introduced me to concepts like higher-order functions, which has been very useful for my understanding of programming in general even if I never got to seriously program Haskell...
i notice now i never mentioned Lean 4 in that list. i kinda know that
@vaporeon_ anyway i learned functional programming through OCaml and learned Haskell later on my own, which imo is purrobably the better way to teach functional purrogramming, OCaml makes much better choices, pedagogically speaking, of when and how to cheat your away out of pure FP
@vaporeon_ i have a feeling you would have some strong disagreements with the strictly typed functional programmer types if you got deep enough into learning languages like haskell. or especially a dependently typed language like idris or lean or something. you know, the kind of people who get really up their own ass about correctness