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

@coriander the cool thing about video games is that if you’re not having fun you can just Not

@onfy @vaporeon_ The Autism Spectrum

@vaporeon_ @onfy sarah was using metaphorical language

@vaporeon_ god i keep furgetting when the final semicolon is necessary

{} runs the commands in the current shell; () runs them in a subshell

if you can spare the extra purrocess,

(
    cd dir
    [...]
)

is a convenient pattern

@vaporeon_ really? i’m pretty sure that should be a syntax error. huh

@vaporeon_

{ echo hi; cat file } >file2

@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