Conformance checking at MongoDB: Testing that our code matches our TLA+ specs(mongodb.com)103 points by todsacerdoti 1 year ago | 58 comments
PostgresML raises $4.7M to launch serverless AI app databases based on Postgres(postgresml.org)36 points by kiyanwang 3 years ago | 14 comments
All-in-one embedding model for interleaved text, images, and screenshots(blog.voyageai.com)246 points by fzliu 1 year ago | 26 comments
Show HN: EloqKV – Scalable distributed ACID key-value database with Redis API(eloqdata.com)27 points by hubertzhang 2 years ago | 25 comments
DeepSeek peak/off-peak pricing update(api-docs.deepseek.com)235 points by fagnerbrack 2 months ago | 124 comments