| | The role of AI companies in large formalisation projects (zulipchat.com) |
| 3 points by mti 37 days ago | past |
|
| | Things that Janet and Clojure do better than each other (zulipchat.com) |
| 2 points by amano-kenji 3 months ago | past |
|
| | IMProofBench open problem solved by GPT-5 (zulipchat.com) |
| 1 point by marojejian 4 months ago | past | 1 comment |
|
| | Formal Conjectures: Contribute your favorite conjecture (zulipchat.com) |
| 2 points by firsching 10 months ago | past |
|
| | Sphere Eversion Project - Turning Spheres inside out (zulipchat.com) |
| 1 point by amar-laksh on Nov 16, 2022 | past |
|
| | Zulip – Open-source, threading-based Slack alternative (zulipchat.com) |
| 438 points by tonteldoos on July 27, 2018 | past | 99 comments |
|
| | Slack channels are a waste of time (zulipchat.com) |
| 112 points by tabbott on July 27, 2018 | past | 49 comments |
|
| | Zulip – open source group chat (zulipchat.com) |
| 5 points by trymas on July 27, 2017 | past |
|
| | Zulip Chat (zulipchat.com) |
| 1 point by kannan4k on April 13, 2017 | past |
|
