Switching to 5Ghz WiFi made the Raspberry Pi fly again

Oh that's clever - not disabling/forcing it outright, but preferring one frequency over the other(s).

If the app leverages the page size in some way you can get into very subtle crashes - app is built on M1 (with 16k page size), page size is stored in a constant in the binary because it's a macro, then you trt to access the entire range of a page in a pi (4k pages) - and things break.

Cross compiling is really defined as different platforms, not limiting it to instruction sets. Also, the M1 is an ARM, but the instruction sets aren't exactly the same.

Cross-compilling from MacOS to Linux. By default OCaml does dynamic linking of all C dependencies. Even with static linking there is a dependency on libc (or the MacOS equivalent) as far as I remember. I had some success so far with Rust, Nim and Go using a musl toolchain[1], but no luck for OCaml. At the moment I'm just using a docker container which mirrors the Debian distribution running on the Pi.

[1] https://github.com/messense/homebrew-macos-cross-toolchains

Of course wired network is almost always faster, more reliable, and easier (no selecting ssid, no password, just plug in and it works), but it's not always an option; in an apartment you may not be able to do wired, or placement of the machine can render it impractical.

The website uses http, not https