Conformance checking at MongoDB: Testing that our code matches our TLA+ specs(mongodb.com)103 points by todsacerdoti 1 year ago | 58 comments
LLM codegen go brrr – Parallelization with Git worktrees and tmux(skeptrune.com)144 points by skeptrune 1 year ago | 66 comments
Going down the rabbit hole of Git's new bundle-URI(blog.gitbutler.com)278 points by chmaynard 1 year ago | 87 comments
MongoDB Server Security Update, December 2025(mongodb.com)102 points by plorkyeran 10 months ago | 41 comments