Hide Idle (>14 d.) Chans


← 2023-03-24 | 2023-03-26 →
asciilifeform: !!ticker btc usd
jonsykkel[asciilifeform]: wat about doing like this:
jonsykkel[asciilifeform]: u sign a part (line of code, function, library, prog, os, etc) along with formal english lang spec that says wat it dose.
jonsykkel[asciilifeform]: the signature means "i promis that this here piece of code does wat the attached spec says"
jonsykkel[asciilifeform]: if ur thing has dependencys, u include the specs for these in the ball that u sign, making the statment "i promis that my code does wat the atached spec for it says, ASSUMING the implementations of dependencys also follow attached specs for these"
jonsykkel[asciilifeform]: a prototipe that dosnt fully conform to an alredy existing spec could have spec+adendum atached and signed. "i promis that code does as atached spec says EXEPt blabla.."
jonsykkel[asciilifeform]: solves to some extent problem of "wtf does signture mean", and gives the option of decoupling dependency implementations from descriptions of their semantics
jonsykkel[asciilifeform]: any changes to the prog, prog spec or dependency specs will be in the vpatch diffs
← 2023-03-24 | 2023-03-26 →