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 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

@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

@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...

Follow

@vaporeon_ i’ve mentioned it

i notice now i never mentioned Lean 4 in that list. i kinda know that

Sign in to participate in the conversation
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.