Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
woodruffw
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
31.
▲
by
woodruffw
2mo ago
I think the very short version of Kant’s view is that “good” is not impinged upon by any particular desire or action. What makes the good will “good” is that it operates in conformity with duty, and duty in turn is derived from reason (and
32.
▲
by
woodruffw
2mo ago
(4) is not actually co-extensive with any of Kant's four formulations of the CI. To break them down: 1. The "universal law" formulation (GMS 4:421) states that an action if permissible if and only if we can will that maxim of
33.
▲
by
woodruffw
2mo ago
> Even in the Metaphysics of Morals, the whole concept of duty would be arbitrary if not in reference to rational beings. In what sense? There's a sense in which there's no moral law without rational agents, but Kant himself is
34.
▲
by
woodruffw
2mo ago
The entire point is that they have no control! That’s what makes it not nullification. Edit: to be clear, the essential quality of nullification is that it’s the product of a contradiction between two unassailable principles in our legal
35.
▲
by
woodruffw
2mo ago
It doesn’t fit the spirit, because it doesn’t have the legal qualities of nullification. In particular, the prosecutor can choose to empanel a new grand jury and seek a new indictment on the exact same charge.
36.
▲
by
woodruffw
2mo ago
Nullification is based on a contradiction in terms: juries cannot be punished for the judgments they render, and prosecutors may not re-try a case to obtain their preferred outcome (“double jeopardy”). With a grand jury, the second term d
37.
▲
by
woodruffw
2mo ago
I don’t know anything about this particular tool. But I’ll note that comparing package counts often doesn’t make sense between ecosystems, since some ecosystems (like Rust) lean heavily towards workspace patterns where several “physical” pa
38.
▲
by
woodruffw
2mo ago
Yes :-)
39.
▲
by
woodruffw
2mo ago
zizmor wouldn’t catch that condition at the moment, although it does have similar checks for other unsound conditions and incorrect/vulnerable bot actor checks. This one wouldn’t be too hard to add, though. (Source: I am zizmor’s maint
40.
▲
by
woodruffw
2mo ago
Wait until you hear how many people drive a car every day. But less facetiously: there are large demographics that might ride bicycles more if it was slightly easier for them, including older people and people with mobility issues. I don’
41.
▲
by
woodruffw
2mo ago
Independent reporting on the treatment of detained immigrants might reasonably lead one to believe that expenses are not scaling linearly with increased revenue.
42.
▲
by
woodruffw
2mo ago
> What is the actual concern with McDonalds having this data about you? I have no idea if it’s realistic, but I could see people being reasonably concerned about insurance companies, etc. making actuarial decisions based on a partial und
43.
▲
PyPI: The HTML representation of the index API is frozen
(blog.pypi.org)
4 points
by
woodruffw
2mo ago
|
1 comments
44.
▲
GitHub Actions needs OIDC audience constraints
(blog.yossarian.net)
2 points
by
woodruffw
2mo ago
|
0 comments
45.
▲
by
woodruffw
2mo ago
I think the advice at the end of this post is essentially sound: you should pre-filter your evaluation of others’ opinions through their understanding of related topics. But that isn’t elitist, and I think we shouldn’t call it that! It’s a
46.
▲
by
woodruffw
2mo ago
From a very quick look online, “Grade II” means that the building is of historic or architectural interest. I think it’s reasonable to infer that cleaning graffiti off of a building like that might require materials or consultations that a
47.
▲
by
woodruffw
2mo ago
The author of that page appears to be a Holocaust denier[1]. Not exactly the example I would put forwards, especially if I want to make an unannealed appeal against Israeli war crimes. [1]: A search for that name mostly brings up links to p
48.
▲
by
woodruffw
2mo ago
I left out the code on medical devices for a reason! And similarly for avionics software. (The distinction I’m making is between the code that operates the medical device and the code that operates the app I make doctors’ appointments in.
49.
▲
by
woodruffw
2mo ago
What does this mean? NIST and NSA are not even in the same federal department.
50.
▲
by
woodruffw
2mo ago
It might be an unpopular option, but I think the regulatory regimes that control medical and financial privacy as they interact with software are significantly lighter touch than e.g. the regimes that control material quality for bridges
51.
▲
by
woodruffw
2mo ago
It seems to me like two things can be (and are) true: programming can be hard in absolute terms, and is also the easy part of the thing that we call “software engineering.”
52.
▲
by
woodruffw
2mo ago
How many programmers operate under that kind of regulatory and operational constraint regime? I think most don’t. (In interesting ways this is programming’s greatest boon and curse: if we treated it more like building bridges or cars, the w
53.
▲
by
woodruffw
2mo ago
“Ultraviolet baths” for vitamin D. https://www.nationalgeographic.com/photo-of-the-day/photo/ul...
54.
▲
by
woodruffw
2mo ago
I meant shedding of legitimate base load, not retries. I think we can safely assume they do the latter.
55.
▲
by
woodruffw
2mo ago
I think they kind of have to operate that way if you want a control plane/access to GitHub’s own layered services like caching and artifact storage. There are plenty of things to blame GitHub for, but this one doesn’t seem sinister a
56.
▲
by
woodruffw
2mo ago
Why not both? Higher base load combined with insufficient internal controls for ratelimiting/load-shedding (as in, they don’t know who to shed) would be explanatory.
57.
▲
by
woodruffw
2mo ago
I don’t think the impact of these recent malware campaigns is below the threshold for federal interest.
58.
▲
by
woodruffw
2mo ago
I don’t think npm itself is measurably bad in ways that are useful to index on. Like others, I think that JS as an ecosystem has a culture that encourages both dependency sprawl and living at the edge, both of which contribute to the end pr
59.
▲
by
woodruffw
2mo ago
I would consider 2FA and signing to be strong layers, when applied well. I think everybody agrees we shouldn’t add layers just for the sake of it.
60.
▲
by
woodruffw
2mo ago
Yep. That remains the norm with Python source distributions as well. It’s a hard thing to overcome when it’s baked deeply into packaging assumptions.
More ›