lyphyser

There's also the option of including all detection code in libcore, using raw system calls in assembly if OS interaction is needed. It makes libcore OS-specific, but I think that...

> Apart from Linux most OSes don't allow direct syscalls. Go tried, but had to revert back to using libc on most platforms after macOS changed the ABI of one...

This still seems asymptotically inefficient and thus not acceptable for actual computation. For instance: - (decodePi f x) has runtime linear in n. Instead it should be sublinear by keeping...

> Most functions don't have the ability to do precomputation, writing let x := precomputed; fun y => f x y doesn't do what you think it does What do...

> [let x := precomputed; fun y => f x y] will be eta-expanded to fun y => (let x := precomputed; fun y => f x y) y and...

I think this can and should be fixed without having to redesign or rewrite the compiler; a completely naive and unoptimized compiler does not have this bug, so it's only...

This is a terrible idea. Non-poisoning locks that provide &mut to their data are UNSOUND relatively to preserving program invariants. Consider the classic case of the bank account transfer: ```...

> You’d also need to remove scoped threads: > > fn main() { > let mut x = 0; > std::thread::scope(|s| { > _ = s.spawn(|| { > x +=...

In fact, the whole point of having panics vs Result and ? is not having to worry about exception safety everywhere like in C++, which is a source of program...

I think it should really be implemented so that you need BOTH a crates.io API token AND the OpenID Connect identity token. Otherwise, if there is a bug in the...