Twitter | Search | |
Kris Nuttycombe
Quixotic Haskeller, climber, go player, blacksmith. Member of the Zcash "core protocol" team at , spend my evenings working on . He/him.
31,891
Tweets
903
Following
3,299
Followers
Tweets
Kris Nuttycombe Oct 22
I'm getting some Great Leap Forward / Four Pests Campaign vibes here.
Reply Retweet Like
Kris Nuttycombe retweeted
Andrew Brandt Oct 22
This is a full, cold reboot on democracy. Not a transition of power but a power-cycling. We're turning government off and on again and hoping it will run better, but I have a bad feeling we're going to need to run scandisk and defrag after we bring the OS back up, to clear cruft.
Reply Retweet Like
Kris Nuttycombe Oct 22
Replying to @reason
Henry George has an answer. A good answer.
Reply Retweet Like
Kris Nuttycombe Oct 22
And that convention is the piece which didn't have any laws to recommend it!
Reply Retweet Like
Kris Nuttycombe Oct 22
If we are going to give that program meaning, there are exactly two possible meanings, and a conventional reason for choosing one of them. I happen to think that in this example, it's the "convention" that leads us astray - we shouldn't have given it a meaning in the first place.
Reply Retweet Like
Kris Nuttycombe Oct 22
This I agree with. And now I understand your argument better, thank you.
Reply Retweet Like
Kris Nuttycombe Oct 22
I must be missing the point you're trying to make here.
Reply Retweet Like
Kris Nuttycombe Oct 22
So this is an example of exactly the kind of mathematical reasoning that you were trying to claim didn't apply?
Reply Retweet Like
Kris Nuttycombe Oct 22
I think this is a really poor example - the type of `length` is `Foldable l => l a -> Int`; the only way `(1, "a")` can be understood as an instantiation of a type constructor of one argument is to fix one of the arguments to `(,)`. There's only one possible interpretation.
Reply Retweet Like
Kris Nuttycombe Oct 22
As an example, the preponderance of uses of implementation inheritance when applied to domain classes in "OOP" languages. It's essentially always wrong.
Reply Retweet Like
Kris Nuttycombe Oct 22
I think that this conversation is *always* muddied by terminology. I draw a distinction between "abstraction" as "generalization." I might be making up terminology here, but I think there are lots of bad attempts at generalization, whereas abstractions have laws.
Reply Retweet Like
Kris Nuttycombe Oct 22
Replying to @jessitron
Funny thought: if you asked an evangelical Christian what the over/under was on the sun rising tomorrow, what answer would they give you? What's the chance that their Rapture happens today?
Reply Retweet Like
Kris Nuttycombe retweeted
Kathy, The M4A Bro🌹 19 Jun 19
Here's one for you. Ice doesn't need a warrant to break into your home, 100 miles away from the northern border because there just might be an immigrant there, right?
Reply Retweet Like
Kris Nuttycombe retweeted
beguiling bug Jul 17
going off of this, people think *donald trump* is the reason federal cops can operate with impunity. bush made it legal for DHS/ICE to do this, obama didn't stop it.
Reply Retweet Like
Kris Nuttycombe Oct 22
Replying to @TheRaDR
This is a setup for a Supreme Court case, with the plan that the R-packed court will get to rule to permit state-sponsored discrimination on the basis of gender identity.
Reply Retweet Like
Kris Nuttycombe Oct 22
Reply Retweet Like
Kris Nuttycombe retweeted
zooko Oct 21
You got to pick the hill you're willing to die on. Mine is: whether a Magic the Gathering creature has flying or not is determined by the art, not the rules text.
Reply Retweet Like
Kris Nuttycombe Oct 21
Replying to @pyradius @koaleszenz
Right. And the "judicial redress" part is just as fractally naive as the rest.
Reply Retweet Like
Kris Nuttycombe retweeted
Pinboard Oct 21
Replying to @Pinboard
The current VC ecosystem amounts to central planning—you have a small, socially incestuous coterie of people directing a fortune to pet projects and ideas, hiring their friends, and in general doing all the stuff the flames of a competitive free market are supposed to incinerate
Reply Retweet Like
Kris Nuttycombe retweeted
SwiftOnSecurity Oct 21
Again, the only possible platform abuse policy is, "You can't be a dick and that means whatever I decide it is." We need to dispense with this objectivity bullshit, which is continually shown to be puerile. "Find another club for this shit" is the greatest transparency feasible
Reply Retweet Like