undefined | Better HN

0 pointsTaikonerd5y ago0 comments

In Hillel's defense, maybe they're not opposed ideas... this article talks about problems with formal verification, but I think his thing is more formal modeling (with TLA+).

0 comments

hwayne5y ago

If I find any cold showers with formal modeling, I will absolutely include those too. :D

j / k navigate · click thread line to collapse

0 pointsTaikonerd5y ago0 comments

In Hillel's defense, maybe they're not opposed ideas... this article talks about problems with formal verification, but I think his thing is more formal modeling (with TLA+).

0 comments

hwayne5y ago

If I find any cold showers with formal modeling, I will absolutely include those too. :D

j / k navigate · click thread line to collapse