Hackernews posts about Zulip

1. 01
   

   newA Misalignment of AI in Mathematics: Kevin Buzzard Respondsleanprover.zulipchat.com

   ▲ 4mathgenius22d💬 1savesaved
2. 02
   

   newShow HN: A wall where only AI agents can write, one Oulipo rule a dayagent.milotche.com

   ▲ 1Milotche18ddiscusssavesaved
3. 03
   

   newZulip.com Valueszulip.com

   ▲ 317nothrowaways237d💬 71savesaved
4. 04
   

   newThe Zulip Foundationblog.zulip.com

   ▲ 314boramalper142d💬 81savesaved
5. 05
   

   newZulip 12.0 Releasedblog.zulip.com

   ▲ 75tabbott158d💬 10savesaved
6. 06
   

   newOur Slack is dead. Long live Zulipchangelog.com

   ▲ 44Cyphase513d💬 22savesaved
7. 07
   

   newZulip 10.0: Organized chat for distributed teamsblog.zulip.com

   ▲ 11Tomte563ddiscusssavesaved
8. 08
   

   newTry Zulip's next-gen mobile app, powered by Flutterblog.zulip.com

   ▲ 5price661d💬 5savesaved
9. 09
   

   newJoin JupyterHub on Zulip Chatblog.jupyter.org

   ▲ 5runningmike605ddiscusssavesaved
10. 10
    

    newWhy Zulip? Efficient communication with organized team chatzulip.com

    ▲ 4b-man87ddiscusssavesaved
11. 11
    

    newZulip 11.0: Organized chat for distributed teams (FOSS)blog.zulip.com

    ▲ 4tabbott415ddiscusssavesaved
12. 12
    

    newZulip Project Valueszulip.com

    ▲ 3manx666d💬 1savesaved
13. 13
    

    newZulip 12.0: Organized chat for distributed teamsblog.zulip.com

    ▲ 3Cyphase160ddiscusssavesaved
14. 14
    

    newZulip 10.0: Organized chat for distributed teamsblog.zulip.com

    ▲ 3Cyphase563ddiscusssavesaved
15. 15
    

    newRustChat is a minimal team messenger, alternative to Slack, Mattermost, Zuliprustchat.io

    ▲ 2xvilka148d💬 1savesaved
16. 16
    

    newMixxxdj/Mixxx: Programmers Wanted for PR Reviews/Testing Check Zulip/GitHubmixxx.discourse.group

    ▲ 2mxmilkiib43ddiscusssavesaved
17. 17
    

    newShow HN: Moomacha – Zulip Native Agents Orchestratorgithub.com

    ▲ 2oxedom102ddiscusssavesaved
18. 18
    

    newZulip AI use policy and guidelineszulip.readthedocs.io

    ▲ 2Philpax254ddiscusssavesaved
19. 19
    

    newZulip 11.0 released: Organized chat for distributed teamsblog.zulip.com

    ▲ 2adamfeldman417ddiscusssavesaved
20. 20
    

    newZulip Terminal – Zulip's official terminal clientgithub.com

    ▲ 2gjvc563ddiscusssavesaved
21. 21
    

    newEngineering flexible permissions for Zulip open-source team chatblog.zulip.com

    ▲ 2Cyphase563ddiscusssavesaved
22. 22
    

    newEngineering flexible permissions for Zulip open-source team chatblog.zulip.com

    ▲ 1GarethX563ddiscusssavesaved
23. 23
    

    newShow HN: KSON, a love-letter to the humans maintaining computer configurationkson.org

    ▲ 34dmarcotte381d💬 14savesaved
24. 24
    

    newAsk HN: Looking for a good course to learn proof assistant Lean 4

    ▲ 5rabarbers325d💬 4savesaved
25. 25
    

    newAsk HN: Does anyone here use Discord as their work chat tool?

    ▲ 3Poomba206d💬 7savesaved
26. 26
    

    newSoftware Foundations being translated to Leanleanprover.zulipchat.com

    ▲ 3navidhg108d💬 1savesaved
27. 27
    

    newThe role of AI companies in large formalisation projectsleanprover.zulipchat.com

    ▲ 3mti195ddiscusssavesaved
28. 28
    

    newIs the Microsoft Teams data export tool vaporware?blog.zulip.com

    ▲ 3mikece389ddiscusssavesaved
29. 29
    

    newCounterexample to the Lean Conjecture (Soundness Bug)leanprover.zulipchat.com

    ▲ 2ahlCVA68ddiscusssavesaved
30. 30
    

    newThings that Janet and Clojure do better than each otherjanet.zulipchat.com

    ▲ 2amano-kenji265ddiscusssavesaved
31. 31
    

    newFormal Conjectures: Contribute your favorite conjectureleanprover.zulipchat.com

    ▲ 2firsching481ddiscusssavesaved
32. 32
    

    newIMProofBench open problem solved by GPT-5leanprover.zulipchat.com

    ▲ 1marojejian290d💬 1savesaved

· edit