æʃliŋ, ring racers purropawgandist @aescling@cat.family

@vaporeon_ it's shell syntax, so yes

@vaporeon_ @onfy

I think it'd be unfair to call someone incompetent who is still learning.

vaporeon… please take your own advice…

@vaporeon_ fur using multiple arguments in the same command you just add a + after the {}, e.g., find . -type f -exec grep pattern '{}' +

@vaporeon_ do you know find? purrticularly -exec?

@vaporeon_ @onfy better late than never ig

@vaporeon_ @onfy good

@vaporeon_ @onfy except now it’s not POSIX ;3

@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’ve mentioned it

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

@onfy @vaporeon_ this succinctly raises so many questions lol, i love it

@vaporeon_ this is not a criticism just an observation

@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_ 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_ 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_ the infamous ls | xargs [...] is not safe

@vaporeon_ exactly

@vaporeon_ oh wow, posix xargs doesn’t suppurrt using null characters as a sepurrator

@vaporeon_ @Breakfast the original tweet this image was drawn in response to was asserting that the ideal PMD OC, instead of some unique character with uniquely identifiable features and lore, is just an umbreon named shadow