Post #3722202
2026-07-10 18:10 UTC
@Gankra@toot.cat @slava@mathstodon.xyz @joe@f.duriansoftware.com I’d even be okay with the IDs if I could easily get rid of the bounds checks (while still using a natural coding style).
Replies (2)
-
@joe@f.duriansoftware.com 2026-07-10 18:13
@zwarich@hachyderm.io @Gankra@toot.cat @slava@mathstodon.xyz kyren had a cool blog post abusing rust features to almost do this https://kyju.org/blog/tokioconf-2026/
-
@slava@mathstodon.xyz 2026-07-10 18:12
@zwarich@hachyderm.io @Gankra@toot.cat @joe@f.duriansoftware.com just add a magic compiler flag to turn assertions into assumptions and flip it on once you’ve exercised all code paths via tests.