42,213 karma · joined May 26, 2015
On the philosophy side, I'm chiefly interested in metaphysics (ontology and mathematics/formal systems & semantics) and deontological ethics (praise and blame, moral education, honesty & bad faith).
On the computational side, I'm chiefly interested in program analysis (compilers), security (compilers), and systems (compilers). I do a decent amount of professional open source work on projects that encompass some of those.
My opinions are my own and do not reflect those of any employer, institutions, affiliates, lovers or haters past, present, or future. They might not even be mine anymore!
Sites: https://yossarian.net / https://blog.yossarian.net / @yossarian@infosec.exchange
(To my understanding, giving the god(s) only the "undesirable" parts of the animal is popularly associated with the Greek gods, not Abrahamic faiths.)
(Note that the attestation does not appear to cover the shell script either, it only covers the script's final payload. The shell script is also referenced via `main`, so it's mutable even if the underlying payload is properly attested. That's not good!)
Or in other words: I often struggle to see the security value of a VM that I’m just going to load all of my sensitive credentials into anyways (since the agent needs them). The usability argument seems strong, but the security argument seems to hinge on me treating my local machine as a sort of bastion host, which I don’t think is generally true.
(This isn’t to denigrate the work itself: it seems very good. But it also seems like we’re still groping around a very weak definition of “security” for agentic workflows.)
Nothing I've ever seen or experienced with FAA indicates a lack of care; the parsimonious explanation is almost always that people who care a great deal are working within complex systems that don't always have a consistent or externally legible set of priorities. Or more intuitively, the failures we see are the "acceptable" ones versus the unacceptable ones (like planes falling out of the sky).
[1]: https://alexgaynor.net/2025/apr/08/putting-a-price-tag-on-op...
Having open indices charge money is the “easy” part, relatively speaking. The author is correct that most companies will grumble a bit and then fork over the nominal amount of money needed to preserve their existing assumptions.
I think the rest of this don’t really work in practice though: it’s actually incredibly hard to distribute money to open source maintainers across hundreds of jurisdictions, and it’s not immediately obvious how a service like PyPI (which is barely funded to maintain and sustain itself) would shoulder such a burden without diverting a very large fraction of that money for things that would make people upset (read: lawyers and tax professionals).
(NPM would appear to be the exception to this since it has - at least on paper - the legal resources of Microsoft behind it. But I think it’s largely a quirk of history that the JavaScript packaging ecosystem ended up with a single corporate owner, and no ecosystem I’ve worked with seems eager to pursue a similar relationship.)
(The problem with “alumni” is that it means very little in mandatory systems. Unit 8200 is where Israel parks its dorks, and it stands to reason that dorks are the ones who tend to start tech firms.)
What?
> If you're convicted of hacking in Israel, Unit 8200 will probably send a recruiter.
To the best of my understanding, Unit 8200 is filled with military conscripts, i.e. is primarily 18-somethings doing their mandatory service. You get assigned to it based on an aptitude test. The widely held idea that it’s a uniformly elite entity rather than the IDF’s space camp is a triumph of propaganda.
If you have concrete concerns, please bring them to us. Vague concerns and hand-waving about “people getting hurt” isn’t appropriate or productive.
A more sensible null hypothesis would be that cyclist and bus traffic follow the same rough pattern as car and pedestrian traffic, i.e. economics is always the leader for whether people show up in a given public space. That would explain why NYC and most European cities haven’t seen any real negative consequences to aggressively pedestrianizing and re-allocating their streets away from single-occupant car traffic.
(I have to admit a bias when it comes to Frankfurt: I don’t think On Bullshit is that convincing. In particular, I think Frankfurt doesn’t do a good job of motivating the connection between bull sessions and bullshit in his strong sense, and many of his examples - like the Pascal/Wittgenstein one - don’t demonstrate misrepresentation either.)
(Frankfurt’s characterization of the bullshitter rests on not just the truth value being absent, but also on the bullshitter’s misrepresentation of what he’s “up to.” I don’t feel that either Zitron or Altman is misrepresenting what they’re getting up to.)
Both Altman and Zitron are the opposite of Frankfurt’s bullshitter, because they both appear to evince genuine care for the truth value of their position.
(Frankfurt is very subtle about this, in that he distinguishes the kind of performative lying you’re suggesting as distinct in moral and rhetorical content from bullshitting. The liar wants you to believe a specific thing; the bullshitter wants to regale you.)
(Compare ARM’s TrustZone, etc.)