News for hackers. Stuff that matters.
Re:Make formal verification and provably correct software pr... by 88913527 on Saturday May 28, 2022 @06:47PM (#31544550)
For functional stuff, sure, but I don't think this is achievable within the UI domain. CSS rules have implementation details that change how you write it (some problems have workarounds), for example there's a documented set of issues in flex implementations maintained here: https://github.com/philipwalton/flexbugs

It might be practical and possible to become mainstream for some domains, but it's doubtful for others. The most practical solution for UI is visual regression testing across browsers.

Re:Make formal verification and provably correct software pr... by blainehansen on Saturday June 04, 2022 @12:52AM (#31617114)