Replies (39)
im really sorry that you need to hear this from me but android is dead,
are you planning to create a linux phone os with a temporary android layer or this is quantum science fiction and i dunno shit about nothing
like linux on phone missing drivers and a poper UX/UI
altho we can run android apps on linux, i guess we have some drivers as well, is it really impossible to make it? like literally everybody in the whole world wants this i see the difficulties altho i dont see why it is impossible other than agents agenting internationally
terminal app?
More things like Messaging, Keyboard, Gallery, Dialer, the prebuilt apps. Terminal is something we can look at as well but there's a lot of user experience improvements we want to make with the everyday apps.
fuck yes. I have been dreaming of this.
Yugely big
Cmon man. Who is the oem you are going to support after google?
FYI you can write apps in Haskell these days.
@SimpleX Chat is mostly Haskell.
This is great!
I would like to see better media manipulation tools, which currently are an abomination.
It was literally impossible to trim a video so had to create this:

Zapstore
App Details — Zapstore
Discover apps on Nostr. Open source, decentralized app store.
Yes, keyboard and gallery 🙏🙏.
Almost went back to iPhone because of the current ones.
update: application denied, but it was worth a shot! 😂
@Soda tell me your thoughts lol
the android app is not written in Haskell...
interesting, I thought it was Kotlin only
Kotlin is the other 20%. It doesn't have to be. You can instrument the JVM from Haskell via JNI for all the JNI stuff like the UI, only needing a few shims.

GitHub
inline-java/jni at master · tweag/inline-java
Haskell/Java interop via inline Java code in Haskell modules. - tweag/inline-java
The app could be 99% Haskell if it wanted to.
Don't hire US 🇺🇸 based coders 👨💻, they can be legally hired for CIA 🕵️ without announcing it 🕴️
while i would love it if linux became a good phone platform, it needs some real work. and grapheneos removes almost all the bad from android anyway. so i just disagree that android is dead
fair point i just find it shady that somehow it is 'so impossible' to not get your hand dirty with what you are against
and somehow graphene os is the oh we are so victims *give you googlephone and lenovo motorola*
ahh naurr we did not have enough supporters just a trillion people guess they just dont want linux phones but google on google against google
too late brother
The CIA could definitely hire anyone from any country they wanted to lol. Devs aren't able to commit their own code to our repos regardless and it must be peer reviewed through PRs anyone can see.
i would love to help out, but unfortunately, i don't have the time for this as a full time job; if you wauld like me to help out, i would love to though!
@Vitor Pamplona maybe you know someone
i mean i get it, i feel like we're not too many years off more phone os options but it really isn't easy to make a hardened OS that still WORKS lol, and it just couldn't be sustainable unless it was usable enough and everything
happy to hear that 🥰
I don't want to believe you 🫠
hello the cia just came to my house to hire me to hire these graphene devs for the cia sorry we just love money too much, we know that you will understand this: shalom
We are an AOSP distribution because of all the security properties it already comes with like the mandatory sandboxing of apps, permission controls, file-based disk encryption, verified boot and more. It compliments what we want out of GrapheneOS. It's an entirely reproducible free and open source project. We don't want to make an operating system using the traditional desktop Linux OS stack which sets us back on all of these things.
There's a lot of things we are against when it comes to big companies like Google but we aren't forcing people to see black and white. A lot of things of AOSP and Pixels we like, but we don't want Google to be the only company producing those things either. We don't call ourselves a degoogling project because people can use what they want on GrapheneOS. Influencing you to create an opposition is politician behavior.
thank you for the answer
looking forward to it
Haskell isn't bootstrappable so bad for security
What's an example for something that's bootstrappable?
A program that doesn't rely on binaries to be built, i.e can be built from source all the way down, versus requiring a compiler binary somewhere along the way. Look at Core's guix builds
wtf how they messed that up?
I don't know guix but if it's source all the way down, what builds the source. At one point you'd be poking machine instructions into memory I guess if that's what you call "source".
Your website from the profile link is down.
Well, the point is that it's a small enough compiler that it can be audited and known to not have been tampered with. Look up GNU Mes and bootstrappable.org
FUTO Keyboard is fantastic, and Fossify fills in many gaps.
Messages could use improvements!
The licensing for either makes it incompatible for bundling into GrapheneOS unfortunately. We are trying to keep the license consistent with AOSP. We do know some great apps that can fit, but we also may look to building our own apps for some. We already have two new devs working on improvements including Messages.
Aware! I'll put it up when I have a post or something. I hate leaving things empty