Arash Sahebolamri

Summary from discord conversation (https://discord.com/channels/976380008299917365/1015156984007381033/1362824784458678362): - The TLS client is OpenSSL 3.0.11. In our case, it includes square brackets in the SNI (e.g. `"[foo.com]"`) - The maintainers (@ctz and @cpu)...

Thanks for opening the issue. Can you tell me what command CTRL-SHIFT-A -> A executes?

Given the limitations of Rust macros mentioned by @StarGazerM, and the fact that Datalog composability is challenging in general as mentioned by @kmicinski , the best thing that I think...

I did a bit of research. Unfortunately, there is currently no stable API for getting the file path of input tokens to macros, which is crucial to implementing `include!`. The...

Very intriguing @StarGazerM, thanks! I'll try to play around with the concept a bit when I find some time.

I've started prototyping an approach similar to what @StarGazerM suggested. Here is the WIP PR: https://github.com/s-arash/ascent/pull/63

I'm also seeing errors related to submodules. I think running custom commands can help either clean up the submodule dir, or to checkout submodules between runs. Exmaple of failed run:...

Will this be accompanied with a `0.24` release (and not a `0.23.x` release)? Otherwise, I think this change breaks FFDHE support for third party crypto providers like https://github.com/fortanix/rustls-mbedtls-provider.

My concern is that since a new `0.23.13` release is sem-ver compatible with current `0.23.12`, there will be users who consider it safe to (or automatically) switch to `0.23.13` while...

I think we can add that. But I'm curious, wouldn't that be isomorphic to pulling out the `Map` key into a new column of the ascent `lattice`? What I mean...