For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
The role of AI companies in large formalisation projects (zulipchat.com)
3 points by mti 74 days ago | past
Things that Janet and Clojure do better than each other (zulipchat.com)
2 points by amano-kenji 4 months ago | past
IMProofBench open problem solved by GPT-5 (zulipchat.com)
1 point by marojejian 5 months ago | past | 1 comment
Formal Conjectures: Contribute your favorite conjecture (zulipchat.com)
2 points by firsching 11 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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You