118 karma · joined April 23, 2023
Disagree all you like, but the UX here makes perfect sense for what this is.
Uh... bold claim. What's your evidence?
How does that overlook the farmers? They're alluded to right there in the prior sentence. I don't get this.
It seems like you think that pointing out that I'm sharing my attitude is some sort of gotcha, but I'm confused. Sharing one's attitude is the whole point of posting an internet comment, isn't it?
Along similar lines, I also don't know what we're calling tools like T3 or Superset. They're basically harnesses for harnesses.
So you're saying it goes up to 11x?
I mean, this article doesn't mention 1984 at all.
[0] https://press.princeton.edu/books/hardcover/9780691217529/wh...
What makes you think that? A huge part of After Virtue (basically the whole part, after the initial diagnosis of where we are now and how we got here) is about how to construct and understand communities that might provide a shared idea of human good without simply going back to an Athenian idea of what that looks like. In fact if I were to summarize the book in a nutshell I would argue its an attempt to rehabilitate Aristotelian ethics without simply accepting Aristotle's own moral percepts.
> Without complex input spaces, there's no explosion of edge cases, which minimizes the actual benefit of PBT. The real benefits come when you have complex input spaces. Unfortunately, you need to be good at PBT to write complex input strategies. I wrote a bit about it here...
Here's the link: https://www.hillelwayne.com/post/property-testing-complex-in...
I'm satisfied with Mypy but curious to someday try other type checkers. Pyright is on the list.