adsharma
adsharma
Support for indexed tables where a flatbuffer table is annotated with "key" and "value" annotations. This sounded like a niche use case - but I believe it's an important one...
> @adsharma We already have this? You can annotate a field as `key` (and the other fields are effectively the value) and then use it with binary search lookups if...
If I were to use flatbuffers instead of SQL DDL to represent a database, we would have one flatbuffer for the primary key + data and one flatbuffer for each...
Right - the cases I was optimizing for were non-streaming, typical database use cases, where the key is specially constructed in such a way that the tuple sort and a...
I was looking to implement dqlite.io in rust.
How about the same license as async-raft? MIT license. async-raft also offers Apache 2.0 as a choice.
Cross linking fstar syntax, just for comparison: https://www.fstar-lang.org/tutorial/book/part1/part1_getting_off_the_ground.html#boolean-refinement-types Dafny is kind of similar: ``` type u8 = x: int | 0
https://github.com/golang/go/issues/9367 is related. We could be using: https://golang.org/pkg/runtime/?m=all#bool2int
``` assert((std::vector{std::string{"false"}, std::string{"true"}})[int(true)] == std::string{"true"}); ``` works for cpp. Two fixes needed: * Parens around the vector * int(true) cast
More debug output at that line: ``` (Pdb) p node.scopes [, , ] (Pdb) p node.scopes[1].vars [, ] (Pdb) p node.scopes[1].vars[0].name 'bar' ``` There are a few problems here: *...