fork-bomber

29 ms·

1. 451.▲
   RFC: Promote Rust's aarch64-unknown-Linux-gnu target to Tier-1(github.com)

   2 points by fork-bomber 6y ago|1 comments
2. 452.▲
   by fork-bomber 6y ago

   Engineers from Arm and the Rust language core team have been collaborating on improving Rust support on Arm AArch64 systems running Linux. This RFC submission is a key step to formal inclusion of this target triplet into Rust's extensi
3. 453.▲
   by fork-bomber 6y ago

   We haven't been very vocal about it just yet but all the bits to enable CI etc and the new t/compiler-arm Zulip stream are happening openly pretty much. I'll be pinging all the relevant folks soon-ish (we're pushing out
4. 454.▲
   by fork-bomber 6y ago

   There has been very good progress on filling in the gaps to officially get Rust's AArch64 Linux toolchain triple to Tier-1 this year. We have CI for the Rust compiler test suites on native AArch64 silicon in a joint collaboration betwe
5. 455.▲
   by fork-bomber 7y ago

   "No need to talk about Ada in the past, it is alive and doing well, with more deployments into production that Rust currently has" Of course. You may have misunderstood my intent - I'm not disputing Ada's strengths or it
6. 456.▲
   by fork-bomber 7y ago

   I think it's incorrect to state that Rust 'forgot about Ada'. Rust was designed to approach safety in a very different way. Ada's take on safety has an emphasis on strong semantic typing and run-time correctness. Rust&#x
7. 457.▲
   by fork-bomber 7y ago

   The 'any' in that person's comment was ridiculously absolutist, I agree. Looking at things from a more general standpoint, there are many examples of Rust being used in production already. Admittedly as previously stated wher
8. 458.▲
   by fork-bomber 7y ago

   I'm a seL4 fan. However I feel the need to play devil's advocate! :) seL4 may give you a formally verified kernel. However, formal verification is a dark art with very few high priests that actually understand it on the planet. Un
9. 459.▲
   by fork-bomber 7y ago

   "Google has immeasurable money..." True. In the context of this thread, note however that the risk of continued fragmentation when it comes to security enclave architecture has made Google open source a very good design in OpenTit
10. 460.▲
    by fork-bomber 7y ago

    The situation is no longer as dire as you imply. Cortex-M class processors have pretty robust tooling. Google chose TockOS - an RTOS written in Rust - as the foundation for their RISC-V based OpenTitan secure enclave after careful assessmen