Kevin Boos

Sure, feel free to open a PR; I'd be happy to help guide it. It'd certainly be nice to have, as would support for unicode, which I assume would also...

Thanks for the report! I do agree that we need a timeout there. I believe that @Ramla-I is working on a series of formally-verified device drivers for the NICs in...

Hi @kjetilkjeka , any possibility of merging this PR? Let me know if you have any qualms or concerns.

Hmm, we could do that I suppose, but wouldn't conditional compilation be better? That way you get compiler errors instead of a panic at runtime. Could you point me to...

Thanks for the links. I'm definitely down with the principle of least surprise, and in my opinion, compile-time errors are precisely that. > When writing binaries for a specific target...

Speaking as someone who needs a cell-like `Volatile` wrapper, we don't require a direct interface like `x.field = 2;` -- the older style interface with explicit `.read()` and `.write(val)` methods...

Sounds good! I have no experience with Nix but I'd always love to support more host build systems. Would definitely appreciate your contribution!

Sorry for the delay (wrapped up in other projects right now), but I haven't tested live evolution functionality in quite a while -- I _hope_ it still works on the...

well sure, I wrote it over 11 years ago 😄 Unfortunately I haven't touched Clang static analysis in roughly a decade, so I'm not really qualified to update it, nor...

@andodeki we just changed the default directories used by Moxin to be more canonical (by using the standardized OS-preferred dirs for app data, preferences, etc). Hopefully everything works now, give...