Hacker News: harsharajkumarhttps://news.ycombinator.com/user?id=harsharajkumarHacker News RSShttps://hnrss.org/hnrss v2.1.1Thu, 23 Jul 2026 03:06:27 +0000<![CDATA[Proofdesk – Collaborative Web IDE and Sandbox for Math Textbooks]]>Article URL: https://proofdesk.duckdns.org/

Comments URL: https://news.ycombinator.com/item?id=48990169

Points: 1

# Comments: 1

]]>Tue, 21 Jul 2026 09:57:13 +0000https://proofdesk.duckdns.org/harsharajkumarhttps://news.ycombinator.com/item?id=48990169https://news.ycombinator.com/item?id=48990169