minus-squarelobsters__danlamanna@crustaceanson.theshelf.topMtoLobsters - all tags@crustaceanson.theshelf.top•[job] Who's hiring? Q4 2026linkfedilinkarrow-up1·13 days ago Experience with object-oriented programming - we use Go. This one threw me for a LoopManagerFactory. score 1 · canonical linkfedilink
lobsters__danlamanna@crustaceanson.theshelf.topM to Lobsters - all tags@crustaceanson.theshelf.topEnglish · 14 days ago[formalmethods] Specifying serializability in TLA+plus-squaresurfingcomplexity.blogexternal-linkmessage-square1linkfedilinkarrow-up10
arrow-up10external-link[formalmethods] Specifying serializability in TLA+plus-squaresurfingcomplexity.bloglobsters__danlamanna@crustaceanson.theshelf.topM to Lobsters - all tags@crustaceanson.theshelf.topEnglish · 14 days agomessage-square1linkfedilink
This one threw me for a LoopManagerFactory.
score 1 · canonical