Fangyi Zhou

Bisimulation: add a note about requirements of bisimulation

2

Two simulations only form a bisimulation when the underlying relation are inverses of each other: https://cs.stackexchange.com/questions/541/when-are-two-simulations-not-a-bisimulation This commits adds clarification over the matter, by emphasising the inverse requirement. Signed-off-by: Fangyi...

- [ ] Write a changelog - [ ] Merge in latest nested protocol / Go generation - [ ] Check package version bounds

Add i32/u32 suffix for numeric literals in 04_traits/01_trait

1

Without an explicit suffix, the compiler is able to use the i32 implementation without the need for an u32 implementation.

feat: retrieve embeddings from database only when necessary

3

When performing a similarity search without using maximal marginal relevance, the database query includes the embeddings by default, whereas the retrived embeddings are discarded without use. This can be very...