Zed AI(zed.dev)

297 points by dahjelle 2 years ago | 202 comments

Topological Naming Problem(wiki.freecad.org)

61 points by tripdout 8 months ago | 23 comments

Modeling CRDTs in Alloy – the importance of idempotence(bytes.zone)

106 points by brianhicks 3 years ago | 5 comments

Xanadu was waiting for agents(zed.dev)

141 points by nsm 1 month ago | 57 comments

Zed 1.0(zed.dev)

2028 points by salkahfi 6 months ago | 659 comments

Zed blog post by Nathan Sobo announcing the 1.0 release of the Zed code editor and recounting its origins after Atom and Electron.

Typechecker Zoo(sdiehl.github.io)

161 points by todsacerdoti 1 year ago | 24 comments