franticuk

joined 2 years ago

Rosetta 2 creator leaves Apple to work on Lean full-time in c/hackernews@lemmy.bestiver.se

[–] franticuk@lemmy.world 2 points 1 month ago

https://lean-fro.org/about/ and https://lean-lang.org/ (I think).

E-Mail-App for Android with Exchange / Activesync in c/privacy@lemmy.ml

[–] franticuk@lemmy.world 3 points 8 months ago (1 children)

Would Bluemail be an option? https://bluemail.me/help/add-exchange-account/

Not Open Source and no idea about any privacy issues (but would be interested to know).