This is incredible <| sep |> Cool . My only further concern is about the request type GET , POST , HEAD being clearly available along with the URL for logging purposes . If so , a simple filter when searching logged information would defeat this , assuming they ' d even log HEAD requests . <| sep |> Could I ask , if you wanted someone with basic familiarity with Linux , what would you expect as a bare minimum ? <| sep |> That ' s how I interpret their mention of lambda calculus otherwise , it ' s just replacing one formal foundation with another , which doesn ' t help with notation . I don ' t think that ' s what was meant because the author doesn ' t sound like a logician , and their explicit motivation is knowing how to compute things esp . definitions , not how to formally deduce theorems . Even when things can be defined as computations , doing so may make things far more complicated e . g . real numbers and calculus .