Safe & Verifiable Computing

Safe Computing

embedcache vs Redis vs GPTCache: Caching for Embedding Computations

A practical comparison of embedcache, Redis vector cache, and GPTCache for eliminating redundant embedding recomputation in RAG pipelines.

cachingembeddingsRedis
Safe Computing

memista vs Pinecone vs Qdrant vs Chroma: Do You Need a Vector Database?

A practical comparison of memista, Pinecone, Qdrant, Weaviate, Milvus, and Chroma for vector search — and why the answer is usually 'no, you need SQLite'.

vector-searchPineconeQdrant
Safe Computing

polymathy vs Haystack vs LangChain: Building RAG Pipelines in Rust

A practical comparison of polymathy, Haystack, and LangChain for building RAG pipelines — when you want a Rust-native async chunking + embedding service, and when the Python frameworks are still the right answer.

RAGHaystackLangChain
Safe Computing

zviz vs gVisor vs Firecracker: Choosing a Sandbox for AI-Generated Code

A practical comparison of zviz, gVisor, and Firecracker for sandboxing untrusted AI-generated code — performance, security, and operational trade-offs.

sandboxinggVisorFirecracker
Safe Computing

Programmable Databases: Why We Built liath Twice

The story of building a Lua-native database in Lua, then rewriting it in Rust with RocksDB — and what the performance tells us.

databaseluarust
Safe Computing

Vector Search Without the Cloud: memista's SQLite-Backed ANN

Building approximate nearest-neighbour search on SQLite in pure Rust — and why you might not need a dedicated vector database.

vector-searchSQLiteANN
Safe Computing

Sandboxing Untrusted Code in Zig: The zviz Architecture

How zviz uses Zig's comptime capabilities to build gVisor-inspired sandboxing with near-zero runtime cost.

zigsandboxinggVisor
Safe Computing

Why We Write AI Infrastructure in Rust (and Zig, and Go)

Language choice as research methodology — how memory-safe, deterministic-performance languages produce falsifiable systems claims.

rustziggo