I mean I get Oracle hate and stuff, but remember the great and lovely Sun Microsystems used all tricks in the bag against Microsoft with respect to Java late 90s/early 2000s.

So, is "X abuses IP law" hatred is out of principle or because folks seem to be in love with Sun and Google and hate Oracle and Microsoft.

Because Microsoft was trying to takeover and change Java, and Sun actually made Java. How is that in any way the same situation as this?

Specifically, this is why Internet Explorer had "JScript". Microsoft did bad things to Java and lost their trademark license.

https://packages.grpc.io is an XML page styled with XSLT updated by a bash script in CI

I hope this ends up superseding Cython

Same, and I literally started Cython. :-)

What's your current take on Cython vs other options? E.g. DSLs and I guess PyO3?

I think that's one of the real strong use cases I see coming up.

If they can make calling Mojo from Python smooth it would be a great replacement for Cython. You also then get easy access to your GPU etc.

TLS is one of the best success stories of widely applied security with great UX. It would be nowhere as successful with that attitude.

> Absent device trees, AOSP as of the Android 16 release is a subset of the utility of Android 15. If one sees the use of AOSP as mainly relying on the now absent functionality, then declaring "AOSP is dead" is not unreasonable.

There are a million devices out there that build on AOSP that are not Google Pixel. This is a Pixel news, not AOSP news.

And every single one of those devices is missing features of AOSP, notably secure boot.

Google pixels were until recently the only phones able to run AOSP with 1:1 feature parity. And now there are none.

> Pretty much no large companies except AWS (thank you Byron Cook!) use them at a large scale.

I don't think that's true at all. I suppose that depends on what you mean by formal methods and in what context you're concerned about those. Off the top of my head this comes to mind from Microsoft: https://learn.microsoft.com/en-us/windows-hardware/drivers/d...

Mm... AppStore and Gatekeeper?

I'm glad this will kill the Docker Desktop clone business on Mac. Friend company got hit by using one of the free ones and got rug pulled by them.

Not sure what result you are referring to but in my experience, many of the academic research papers use “students” as test subjects. This is especially fucked up when you want to get Software Engineering results. Outside Google et al where you can get corporate sanctioned software engineering data at scale, I would be wary most academic results in the area could be garbage.

Can method 4 be used by a security application to do liveness detection?

I think so. https://developer.apple.com/documentation/avfoundation/captu..., https://developer.apple.com/documentation/avfoundation/captu... show how to get a depth map.

That's what FaceID does.

Obviously -- that is not my question though. I was curious if that data is exposed via API or within the image for front camera as well, so a third party app can do it.

most kyc apps have you record live video, i'm assuming they can then infer those depth maps from the video source regardless of your phone capabilities?

I bet most of them are just dumb and video based as they work on both Android and iOS.