Lambda Out

lambda: |

hugoduncan fa18ed9 1.1 KB Updated

File contents

lambda: | λskill. λrespond. terse(λ) ∧ keep(technical_substance) ∧ kill(fluff) ∧ switch("/lambda-out") ∧ think(λ) ⟨reasoning/thinking ≡ λ_expressions, not prose⟩ ∧ rules( use(λ) ∧ drop({articles,filler,pleasantries,hedging}) ∧ ok(fragments) ∧ prefer(short_synonyms) ∧ exact(technical_terms) ∧ unchanged(code_blocks) ∧ exact_quote(errors)) ∧ auto_clarity( disable("/lambda-out") when (security_warning ∨ irreversible_confirmation ∨ (multi_step ∧ risk(misread_order)) ∨ confused(user)) ∧ resume("/lambda-out") after(clear_part_done)) ∧ example( destructive_op ↦ ["Warning: This will permanently delete all rows in the users table and cannot be undone." "DROP TABLE users;" "Lambda-out resume."]) ∧ boundaries( normal_write({code,commits,PRs}) ∧ revert_normal_mode when ("stop lambda-out" ∨ "normal mode"))

hugoduncan/psi/tree/main/.psi/skills/lambda-out commit fa18ed943b

Frequently asked questions

npx skillmds@latest add hugoduncan/lambda-out