Decoding Leibniz Notation (2024) (spakhm.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of spakhm.com: Decoding Leibniz Notation (2024)

First screen, captured 11 months ago.

Looks similar

Screenshot of franklin.dyer.me: Totality and non-standard recursion in Idris

Totality and non-standard recursion in Idris (franklin.dyer.me)

4 points by franklin_p_dyer 2 years ago | 0 comments

Screenshot of spakhm.com: Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing (spakhm.com)

5 points by lioeters 10 months ago | 1 comments

Screenshot of panadestein.github.io: Scheming a mise-en-abîme in BQN

Scheming a mise-en-abîme in BQN (panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments

Screenshot of spakhm.com: A Mathematica interpreter in Typescript

A Mathematica interpreter in Typescript (spakhm.com)

121 points by lispybanana 2 years ago | 25 comments

Screenshot of lwn.net: Zettlr: Note-Taking and Publishing with Markdown

Zettlr: Note-Taking and Publishing with Markdown (lwn.net)

102 points by signa11 2 years ago | 57 comments

Screenshot of ml.cddddr.org: Lispy vs. Pseudo-English Syntax (1984)

Lispy vs. Pseudo-English Syntax (1984)(ml.cddddr.org)

20 points by djha-skin 3 years ago | 13 comments