Jacob Lifshay

minetest.net still uses the wrong cert.

one thing to maybe add to the list of stuff MMIO pointers should be able to do: use the MMIO address space as backing memory for a memory allocator...e.g. some...

you started a FCP, but it is not obvious which option you are proposing should be selected: > The RFC part of this PR is about which behavior should `rustc`...

imho this api has the issue addressed in https://github.com/rust-lang/libs-team/issues/65 -- it's missing a way to retrieve the original buffer reference -- admittedly that is less necessary with this API but...

> I think with this API it is fine just to use the original reference because that buffer in the BorrowBuf cannot be swapped out yes, but what if you...

> > yes, but what if you don't have the original reference for some reason? > > Do you have a use case in mind? yes, 2 use cases: 1....

another library you might be interested in is https://crates.io/crates/algebraics it implements real algebraic numbers (e.g. it can represent `3^(4/7) + sqrt(5)`), and can represent exactly the value of the real...

> Apologies for the (very) late response; you've probably already figured out that this library doesn't get as frequently maintained as it should, and moved on. No problem, I ended...

maybe `mpfr_get_pyint_2exp`? `mpfr_get_pi_2exp` seems confusing due to confusing `pi` with the mathematical constant π.

We at Libre-SOC encountered this bug before, when trying to build [microwatt](https://github.com/antonblanchard/microwatt), a workaround is to tell yosys to not generate CARRY4 at all with `synth_xilinx -nocarry`. cc @toshywoshy