Henrik Böving
Henrik Böving
It would be nice if rust finally had a go to nmea parser that is used by as many people as possible. Considering NMEA is a kinda easy data format...
The code should have as many test / as high test coverage as possible, maybe even fuzzing.
I tried this code: ```rust fn zeroize(buffer: &mut [u8]) { for i in 0..buffer.len() { buffer[i] = 0; } } #[cfg(kani)] #[kani::proof] fn check_zeroize() { let size: usize = kani::any();...
As discussed in #316 we would like a few improvements: - [ ] being able to type unicode in the prompt. This requires hooking into the abbreviation framework - [x]...
In programs with very deep recursion `samply` begins producing flamegraphs that are "chopped apart" like in the below picture:  (Link to profile: https://share.firefox.dev/49aeiVw) The majority of these calls are...
Sadly I was only able to get the API for the user to this form ``` let mut flash: Flash = Flash::init(spi, cs).unwrap(); ``` If rust would not explicitly require...
I wrote the following .cargo/config file for an arm-none-eabi target ``` [target.arm-none-eabi] linker = "arm-none-eabi-gcc" rustflags = [ "-C", "target-cpu=cortex-a8", ] ``` When i run cargo xbuild --target=arm-none-eabi.json it fails...
I recently stumbled upon this lib while writing a little bot for mumble in rust (it turned out to be a little client framework actually [take a look](https://github.com/hargonix/mumble-rs) if you...
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/open.20Nat.20doesn't.20work.20for.20Init/near/432929999
https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/doc-gen.20ClosureOperator.20issue/near/386707884