pthariensflame

Yay!

Yes, it can; it's intended to!

See also their Introduction to Apple Silicon for alternative OSes: https://github.com/AsahiLinux/docs/wiki/Introduction-to-Appl...

There’s at least one Armv8 supercomputer out there today, and it’s a beast too: https://en.m.wikipedia.org/wiki/Fugaku_(supercomputer)

Minor aside: Arm does, in fact, have a recent CPU family with 2-way SMT: Cortex-A65(AE)/Neoverse E1.

It’s not a standard ARM register; it’s implementation-defined and nobody gave it a meaningful name. It appears to do nothing much.

I think that was the point. XD

That’s more or less what they currently do: https://opensource.apple.com/

Yes, but some of them are, and some are even worse.

The latter, definitely.

You can! Just not through `const fn`. Rust has macros, which at their limit are capable of running arbitrary Rust code that manipulates syntax and communicates with the compilation process, just like in a good old Lisp.

Why isn’t `const fn` like this too? One word answer: determinism. Rust takes type/memory/access/temporal safety very seriously, and consequentially you can’t use anything in a `const fn` that isn’t fully deterministic and doesn’t depend in any way on platform-specific behavior. This includes, for example, any floating-point computation, or any random number generation, or any form of I/O, or handling file paths in an OS-specific way, or certain kinds of memory allocation. The span of things possible in `const fn`s has been expanding over time, and will in the nearish future largely overtake C++’s direct counterpart of it (`constexpr` functions) in capability. But some things will intentionally never be possible in `const fn`s, for the reasons given above.

If you’re looking for a higher-level interface to SAT, SMT, and general constraint solvers, I can recommend MiniZinc: https://www.minizinc.org/index.html