Submissions from zulipchat.com

		A Misalignment of AI in Mathematics: Kevin Buzzard Responds (zulipchat.com)
		4 points by mathgenius 4 days ago \| past \| 1 comment
		Counterexample to the Lean Conjecture (Soundness Bug) (zulipchat.com)
		2 points by ahlCVA 50 days ago \| past
		Software Foundations being translated to Lean (zulipchat.com)
		3 points by navidhg 89 days ago \| past \| 1 comment
		The role of AI companies in large formalisation projects (zulipchat.com)
		3 points by mti 5 months ago \| past
		Things that Janet and Clojure do better than each other (zulipchat.com)
		2 points by amano-kenji 8 months ago \| past
		IMProofBench open problem solved by GPT-5 (zulipchat.com)
		1 point by marojejian 9 months ago \| past \| 1 comment
		Formal Conjectures: Contribute your favorite conjecture (zulipchat.com)
		2 points by firsching on June 11, 2025 \| 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