News for hackers. Stuff that matters.

A comment on Git: Malicious repositories can execute remote code while cloning. Parent comment

Re:Git: Malicious repositories can execute remote code while... by waheoo on Wednesday March 10, 2021 @07:47AM (#26410668)
I really have to disagree, why can't you devise a formal method?

- a good name should be descriptive

- avoid being overly clever, call a spade a spade

- don't optimise for generalisation, naming things is a time to be specific

- aim for short but not at the expense of losing context

- avoid redundancy in naming of things nearby, leverage spatial context

- avoid qualifiers or type information where possible - type should be obvious from context and use, if it's not qualify or refactor

Anything else?

[ Parent | on HN ]
Re:Git: Malicious repositories can execute remote code while... by layer8 on Wednesday March 10, 2021 @07:55PM (#26418746)
Those aren’t formal definitions. “Formal” means, at the very least, that the specification is done in a formal language, and usually that conformance to the specification can be checked mechanically, that is, by a computer.

https://en.m.wikipedia.org/wiki/Formal_methods

[ Parent | on HN ]