Bringing structurally typed functions to Rust via LabelledGeneric... (more…)

After thinking about the async fn in traits problem for a while, I've come to the conclusion that the syntax Rust chose for async fn is the wrong one. Specifically, the fact that the returned future type is hidden is quite limiting. Here's how we can fix ... (more…)

Bellman is a Rust-language library for building zk-SNARKs — small, cheap-to-verify zero-knowledge proofs of arbitrary computations. The goal of bellman is to make it easier for the general public to use and experiment with zk-SNARKs, and also as a step fo... (more…)

A blazing fast inference solution for text embeddings models - GitHub - huggingface/text-embeddings-inference: A blazing fast inference solution for text embeddings models... (more…)

Holds various things for proximity contact tracing. - mitsuhiko/proximity-tracing... (more…)