Remix clone Hacker News

new | show | ask | jobs Github

▲

skydhash 12 hours ago

Not really. A quick git blame (or alternative) will give you the required information about the validity of such proof.

▲

dullcrisp 11 hours ago | parent [-]

You must have some git plugin I haven’t heard about.

▲

skydhash 10 hours ago | parent [-]

Git blame will show the commit and the date for each line. It’s easy to verify if the snippet has changed since the comment. i use Emacs and it’s builtin vc package that color code each block.

▲

AnimalMuppet 9 hours ago | parent [-]

But you need the snippet and, potentially, the entire call tree (both up and down).

	▲	dullcrisp 9 hours ago \| parent [-]
		And anything that can affect relevant state, any dependencies that may have changed, validations to input that may have been modified; it’s hard to know without knowing what assumptions the assertion is based on.