Posts by mgeisler@ohai.social
 (DIR) Post #AclSyCT2f2dL5HDxLs by mgeisler@ohai.social
       2023-12-13T10:55:44Z
       
       0 likes, 1 repeats
       
       My teammake Chris published a blog post describing how the #Android #Rust toolchain on Android has become **24% faster** thanks to use of a single codegen unit, link-time optimization (#LTO), profile-guided optimization (#PGO), and the #BOLT tool. See https://android-developers.googleblog.com/2023/12/faster-rust-toolchains-for-android.html.The `rustc` you get via `rustup` is optimized similarly, Chris writes that the main difference is the compilation targets supported by the Android Rust toolchain.
       
 (DIR) Post #AnCrA2MXnKEaEFRf4C by mgeisler@ohai.social
       2024-10-20T18:48:09Z
       
       0 likes, 0 repeats
       
       @LordWoolamaloo @baldur I'm from Denmark and some years ago a show in TV had a cop from Detroit visit one of the Nordic countries to meet a fellow cop. They quickly started talking about guns and when they had last fired them. The US cop fired his gun at a suspect the week before — the other cop had never fired his gun outside the shooting range 😄 The look on the face of the US cop was hilarious, he could not believe his ears.
       
 (DIR) Post #Ayf5q8mJ0ZTnXSvEPY by mgeisler@ohai.social
       2025-09-28T10:17:21Z
       
       0 likes, 0 repeats
       
       @musicmatze Just in case you didn't know: this feature was introduced with the Rust 2018 edition: https://doc.rust-lang.org/edition-guide/rust-2018/path-changes.htmlBefore that, every Rust project was basically a huge pile of `mod.rs` files, spread out over multiple directories. People were seriously annoyed by seeing all their editor buffers (tabs) be named the same 😄I agree that that it's annoying that there are two styles for this now. For your own projects, you might want to look into this Clippy lint: https://rust-lang.github.io/rust-clippy/master/index.html#mod_module_files.
       
 (DIR) Post #AzLcH1gGrT5kWAHQxs by mgeisler@ohai.social
       2025-10-18T22:38:17Z
       
       0 likes, 0 repeats
       
       @alrs @aria I work at Proton, though not on Mail. I agree it's a shame that there isn't an IMAP service which could give you access to the encrypted mails. From talking to our crypto team, I believe we're sending/receiving completely normal #OpenPGP encrypted emails.Are there alternative Android email clients which can decrypt such emails?
       
 (DIR) Post #AzNPLMEJUZjIJtrGoy by mgeisler@ohai.social
       2025-10-19T19:22:55Z
       
       0 likes, 0 repeats
       
       @alrs @aria The #PGP private key is encrypted with your (hashed) password: https://proton.me/support/how-is-the-private-key-stored before being uploaded to Proton's server. This is how you bootstrap on a new machine!You can export (https://proton.me/support/download-public-private-key) or import (https://proton.me/support/importing-openpgp-private-key) the keypair as you like.#Proton is "just" doing what people have been doing for decades with things like #Enigmail. I used #Gnus for #Emacs some 20 years ago for the same thing 😄 The achievement of Proton is to make this seem easy!
       
 (DIR) Post #B0TeaIr7uTVM3SlI7U by mgeisler@ohai.social
       2025-11-21T12:41:28Z
       
       0 likes, 0 repeats
       
       Thanks to everyone who helped spread the news last time. Now I'm testing the waters on Reddit... We are still looking for great Rust engineers across several business units at @protonprivacy: https://www.reddit.com/r/rust/comments/1ow6s90/comment/nq0f9tq/Please upvote and tell your friends about it 🦀#rust #rustlang #hiring #fedihire #privacy #europe