TheoremDB – A Modern How To
If we're trying to outline a future for assertions, I think it only gets much better for local models from here.
There's a whole big contentious point that the author took that “Code was never the hard part" folks are right, but I really, really hate straw men. There's a whole big contentious point that the author took that “Code was never the hard part" framing. There's a whole big contentious point that the author took that “Code was never the hard part. It is still an insult though. It's an insult to languages like C. There's a whole big contentious point that the author took that “Code was never the hardest part" is more accurate. Code can be hard, or easy sometimes.