CrossHair v0.0.23 was released today with an important new capability for dealing with nondeterministic behavior. Let’s get into it.
This post is much more mundane than CrossHair! But handy, I think.
Hello friends. This is another bucket-of-updates kind of newsletter.
Plenty of things to talk about in this update. I’ll get right to it.
TLDR: As of today, CrossHair can check Hypothesis tests. (but it’s bad at it right now!)
Contracts and property-based testing have a lot of overlap: they both can be used to check arbitrary behaviors of your code. But contracts propagate, and that has big implications.
CrossHair is an ambitous project, and a lot of it seems pretty magical. It’s less magical than you might think, and Python does a lot of the heavy lifting for us.
As of the last week or so, CrossHair can check properties of Python programs using regular expressions. Below, I ramble about my adventure in making this work.
I’ve just finished the v0 of a simple turn-based strategy game, EmojiTactics.
From compilers to web apps, databases to caches, maintaining computed state is the most prevalent and thorny problem I’ve faced as a developer.
The traditional search interface, with its array of filters, facets, and sorting options is ubiquitous. It also sucks.
How do we make compilers smart enough to know that “sum(reverse(x))” can be rewritten to “sum(x)”?