switching to a new embeddings model that's multilingual for search.chakany.systems hahahahaha

The rust nostr crate is fantastic

LEAN looks like an interesting language