Viewing profile — johnmcd3

> * Waymo vehicle entering a dedicated bike lane. In California, California Vehicle Code § 21209(a)(3) expressly permits a motor vehicle to enter a bicycle lane “to prepare for a t…

In a way, DeepSeek Prover's subgoal decomposition is a partial-step towards error/proof-state feedback. (DS Prover breaks down a proof into subgoals and attacks each subgoal separa…

> All iPhone 15 models support 4K60 from their USB-C port. Do you mean just the iPhone 15 Pro models? I understood the base models are USB2 and wouldn't have the bandwidth for 4K60…

Had the same experience. The solution is just to use a family member's phone number. The phone number isn't ever used again and is just used to limit automated signups as far as I …

I believe Elon said they were targeting SN8 for a high altitude flight with 3 raptor engines, hopefully later this year. Various parts are already under construction.

The comparison to early acupuncture studies makes sense and is a good one. Thanks.

My takeaway from your comment is that studies like [14] and [15] are very likely poorly done (like another comment describes early studies of acupuncture). In any case, I'd expect …

I've often heard people say that we know that these radio waves are 100% safe because the heating effects of non-ionizing radiation at these doses is not a significant risk. Howeve…

There's a big difference between personally trying to fund the US government (which doesn't scale) and his saying that people in or near his position should have to pay higher taxe…

US Bank took away next day transfers to a bank account via routing/account number (ACH) as they are pushing Zelle more. They also dropped the (previously higher) transaction limits…

The mistakes I see made most are: (1) Not concretely listing the candidate's contribution (vs the team or project description), and (2) Not focused on the most impressive and relev…

> For many applications, making a transcription seems like an unnecessary step and source of errors. Skipping transcription when the user doesn't need it (most cases where I use it…

We agree about it being not JUST old Windows versions being affected. I replied to your comment because the "old" Windows XP having no patch available was significant here, and I r…

> It's not "old Windows machines," it's XP to Server 2012. This is incorrect or at least misleading. Any machine still running Windows XP, is by any reasonable definition, an "old …