has been formally verified for its robust security properties.
How do they formally verify these?
has been formally verified for its robust security properties.
How do they formally verify these?
ikr? these news come out every month.
I hope they did and start driving down costs but if it isn’t mass produced and easily accessible, the news means fuck all for everyone but the CCP.
I’m hearing a few mentions about ReactOS recently. What do people mostly use it for? It seems it’s trying to be a Windows XP clone, can it run latest browsers, which do not support old Windows versions?
Ad about an ad.
Combustion engine car makers are hurtling towards their Kodak moment
If EV companies can collectively work on a proper open standards like the digital world, it would come a lot sooner and more people would benefit. It’s not just about the price, there needs to be reliable access to charging stations, support, maintenance, easy/affordable access to repair parts, and recycling. But everyone wants to please their own shareholders, so we have things like EV graveyards. So it still remains to be seen how quickly we can phase out ICE cars.
Every EV with their own proprietary systems just adds to the dilemma for people who want to switch.
Well, Android runs over JVM which runs over Linux. There’s overhead and Android needs to compensate. Add in poor memory management and OEMs that happily kill apps in the background for no good reason (even if you tell them not too), and marketing guys trying to out RAM competitors just so they can release a phone with an “upgrade” every year, you get current Android RAMathon.
Mishaal is on Mastodon too. He mirrors all his posts there. we should stop posting Xitter links.
https://mastodon.social/@MishaalRahman@androiddev.social/111727019696038011
I’d rather not use iOS at all. Android is infinitely more customizable, powerful, and privacy friendly (with the right OS).
On the topic of your braindead take in this. Make iOS open source first. It’s almost like opensource breeds interoperability and closed source breed cultists who think they’re better by default.
deleted by creator
Advertising privacy does fuck all when Apple has been allowing the government to read push notifications. Where does that promise fit in, while they knowingly supply what the government wants and then still market itself as a privacy friendly company?
If people aren’t savvy enough to bypass the TPM requirement, I don’t see them being savvy enough to install a whole new OS on their system.
If you use on android apps from the playstore, most apps are built to relay their notifications through Google’s Firebase Cloud Messaging (FCM), so they don’t have to have a background notification listeners running 24/7. It also means less overhead from multiple notification listeners from every app having its own. So yes, if an app is built on top of google play services, it requires “google play services”
https://en.wikipedia.org/wiki/Firebase_Cloud_Messaging
If an app says it doesn’t rely on google play services, it uses an alternative notification listener or websockets, which might not be as effective, because Google is inbuilt and won’t kill its own apps, the scale of its infrastructure, and its habit of listening on people’s activity.
Add in Androids habit of killing background services, and you don’t always get your notification when the app isn’t in the foreground.
Even Signal from Playstore uses Google Play Services for notifications.
https://old.reddit.com/r/signal/comments/g217a6/what_can_google_glean_from_signal_using_fcmgcm/
They kinda have to make some bold claims to stay relevant as Apple Vision might bankrupt them into oblivion when it releases.
maybe because Beeper devs were upfront about it and their bridges are opensource and self-hostable?
yes, they did, but the actual pruning starts from december.
Begun the silicon wars have (again)
yaayy!!
the article is from 2018. is it still relevant?
Too many cuts in that video to trust it.
You’d need to get a GPU with drivers for ARM macOS.
I don’t really know much about this topic but didn’t asahi linux reverse engineer them already?
https://rosenzweig.io/blog/first-conformant-m1-gpu-driver.html
what does this mean?