A Core Calculus for Documents · HackerPapers discussions

A Core Calculus for Documents — HN submission

Wed, 13 Aug 2025 18:21:07 GMT

A Core Calculus for Documents

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A Core Calculus for Documents — mentioned by sampo

Fri, 20 Oct 2023 12:28:16 GMT

> https://arxiv.org/abs/2310.04368 Did you use Nota to write this paper?

Paper and discussion history. A mention is not an endorsement.

A Core Calculus for Documents — mentioned by wcrichton

Fri, 20 Oct 2023 05:10:15 GMT

Hi, Nota creator here. A high-level comment: After developing the initial prototype you see in the webpage, I've since gone back to the drawing board. I'm working on developing a firmer foundation for issues like: - How do you interleave content and computation? See: https://arxiv.org/abs/2310.04368 - How do different syntaxes make different document tasks easy, hard, or impossible? See: https://github.com/cognitive-engineering-lab/doclang-benchma... I still very much believe in the high-level philosophy, but Nota will look very different within ~6 months. In the meantime, the single coolest…

Paper and discussion history. A mention is not an endorsement.