I don't disagree with your points about connected cars, but at least for CarPlay (I don't know about Android Auto), it's entirely an orthogonal concern. CarPlay is a standard for, basically, connecting an external display to your iPhone - it doesn't need to connect to anything other than the iPhone itself, and doesn't grant the car any access to the internet or anything, and IIRC the phone can't read anything meaningful from the car either.
EXACTLY. This lazy, backwards approach to tooling and workflow is why I jumped ship from logic design to software despite having an EE degree. VHDL/Verilog tooling is heinously terrible and everyone in the industry seems to be actively opposed to doing anything about it.
Oh yeah, that paragraph really nailed it. Every place I've worked that's started to go downhill, it always started with executives, who never acknowledged their role in the problem or did anything to fix it.
I'm increasingly convinced that a large portion of our problems as a society is our absolute refusal to hold anyone in power accountable for anything.
My concerns about toxicity on Twitter are less about what I want to see (I don’t use Twitter anymore myself, even), and more about the incitement to violence we’ve clearly seen is possible on the platform. Twitter should not be a platform for organizing a mob to invade the capitol and attempt to execute the Vice President, for example.
That’s a disgustingly prejudiced statement. While I don’t like Mr. Musk very much myself, I’ve known plenty of autistic folks who do a great job managing communities.
If being forced to compete fairly requires them to drop their prices by 60%, I think that’s a pretty good argument that they’re not competing fairly at the moment.
The author of that article is overly focused on the Linux (or similar) deployment model, which most definitely does not cover all uses of SQLite. The argument against 2) also depends on a feature available in specific versions of specific compilers, which again, a piece of software that supports as many use cases as SQLite can’t depend on.
Even in that model, I’ve long found that the arguments against 1) are weak in practice (especially with a well-designed and maintained lib like SQLite) versus the additional complexity added by depending on dynamically linked libraries.
Well, she went to a different doctor later who helped her diagnose & treat her allergies. Which made exercising easier too, turns out. Who’d have thought? (Her. One of the reasons she’d sought treatment is that the difficulty breathing through the nose was making it unpleasant to exercise.)
This is a great question! In my experience, the differences come down to:
- The doctor is going off a very short explanation you gave in a 30-minute appointment. If you have a serious medical problem, you can dump days, weeks, or months into finding information that matches your experience down to the fine details, which can very much matter - especially if you have an unusual case of something.
- There may be new information since your doctor was trained. Medicine has advanced a lot, and while doctors do their best to keep up, there’s more new research than any one person can digest.
- You will always believe yourself, never dismiss your experiences as “exaggerated” or “drug seeking”, and never blame your conditions on obviously unrelated causes.
That last one is especially relevant to people who aren’t cis white dudes. I’ve witnessed, with my own eyes, a woman talk to a doctor about chronic nasal congestion, and his response was to tell her to lose weight. Doctors habitually not believing the experiences of their patients has done incredible harm over the years.
That’s exactly why I used the phrase “source-available”, not “open source” - because those licenses aren’t recognized by the OSI. I’m actually of the opinion that if AGPL is open source, SSPL is too, no matter what some dorkwads as the OSI say. But I’m employed by a company that uses the SSPL, so I try to use the generally accepted phrasing to avoid being accused of “sowing confusion”.
Even if you’re worried about this, there are source-available licenses like SSPL or Elastic License v2 explicitly designed to prevent this, and which have seemingly been successful at doing so. The exact choice of license would depend on the kind of thing you’re worried about.
Grandparent wasn't talking about the games, they were talking about the systems. If you can find one, a PS5 or XSX cost about $500. You can't buy very much gaming computer for $500.
I think you mean exwm, which is the window manager that runs in emacs. StumpWM is written in Common Lisp and is stand-alone, although folks often interact with it via emacs.
The shortcut to implementing this technique is buy a gaming console. Gaming companies seem very committed to their desire to root your box, so might as well just get one pre-rooted and use it for nothing else.
1. Assuming that a property is true for N, prove that it is true for N+1.
2. Prove that the property is true for some concrete N where the proof for step 1 holds.
The trick is that you need to be sure to pick your concrete N correctly, as the article demonstrates. In particular, the problem with the "solution" in the article is that the proof given for step 1 doesn't hold for N=1, because N+1=2, and then just follow the rest of the argument from the article.
I agree that this is a great book, but I think it fails the "impractical" test - DDIA is an immensely practical book that's basically required background reading if you work with distributed data systems.
By people who would get angry if they could definitively prove their stuff was in OpenAI's training set.