Kaspar Schleiser

bikeshedding: you'd "flush" output, "drain" input?

There are `required_vars` now, which might solve some use-cases.

Thanks! It's actually the shell that prints the commands, laze '-v' adds '-x' to the sh commandline (enabling the shell's own tracing). I'll look into printing within laze!

I think we just hit this and were directed here to upvote: ``` error[HAX0001]: (CfIntoMonads) something is not implemented yet.This is discussed in issue https://github.com/hacspec/hax/issues/96. Please upvote or comment this...

I can confirm that pinning `hax_reference` to d10f891a19f96bcafa9e31b1d78763e4f3cf30b4 makes our CI work again, we'll be temporary [doing that](https://github.com/future-proof-iot/RIOT-rs/pull/325).

We've pinned a much newer version now, so this has been fixed. Thanks!

> `ld` also doesn't support a `-specs` argument, only GCC. I haven't actually looked into it, but I would assume that GCC would use the specs file to read how...

I'm all for a fixed clist sort, but the benchmark seems misleading, the worst case is actually not the worst case for this insertion sort. > The performance benefit of...

Nice! Somehow on the nrf52840dk, it seems this implementation gets slower a bit quicker with larger inputs. like, master sorts 16k nodes 150000us whereas this pr needs 500000us per call...

I'm observing this on a current Arch linux with Gnome / Wayland. ... unfortunately makes the editor unusable. :( vim:  zed:  (Themes are different it seems, but the...