Forwarded from Feed-Master
GitHub
GitHub - formal-land/rocq-of-rust: Formal verification tool for Rust: check 100% of execution cases of your programs to make safer…
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications. - formal-land/rocq-of-rust
doing something
https://motherduck.com/blog/search-using-duckdb-part-1/ #duckdb
Also, I have changed search on https://ua-lawyer.com/uk/ from LanceDB to DuckDB.
It is simpler for me.
#product
It is simpler for me.
#product