Submissions from zulipchat.com

1.		A Misalignment of AI in Mathematics: Kevin Buzzard Responds (zulipchat.com)
		4 points by mathgenius 55 days ago \| past \| 1 comment
2.		Counterexample to the Lean Conjecture (Soundness Bug) (zulipchat.com)
		2 points by ahlCVA 3 months ago \| past
3.		Software Foundations being translated to Lean (zulipchat.com)
		3 points by navidhg 4 months ago \| past \| 1 comment
4.		The role of AI companies in large formalisation projects (zulipchat.com)
		3 points by mti 7 months ago \| past
5.		Things that Janet and Clojure do better than each other (zulipchat.com)
		2 points by amano-kenji 9 months ago \| past
6.		IMProofBench open problem solved by GPT-5 (zulipchat.com)
		1 point by marojejian 10 months ago \| past \| 1 comment
7.		Formal Conjectures: Contribute your favorite conjecture (zulipchat.com)
		2 points by firsching on June 11, 2025 \| past
8.		Sphere Eversion Project - Turning Spheres inside out (zulipchat.com)
		1 point by amar-laksh on Nov 16, 2022 \| past
9.		Zulip – Open-source, threading-based Slack alternative (zulipchat.com)
		438 points by tonteldoos on July 27, 2018 \| past \| 99 comments
10.		Slack channels are a waste of time (zulipchat.com)
		112 points by tabbott on July 27, 2018 \| past \| 49 comments
11.		Zulip – open source group chat (zulipchat.com)
		5 points by trymas on July 27, 2017 \| past
12.		Zulip Chat (zulipchat.com)
		1 point by kannan4k on April 13, 2017 \| past