Colored Petri Nets, LLMs, and distributed applications(blog.sao.dev)

45 points by stuartaxelowen 8 months ago | 5 comments

Show HN: Huzzah – a novel approach to coding with AI(danielvaughn.dev)

334 points by danielvaughn 2 months ago | 178 comments

Blog post introducing Huzzah, an experimental editor where you write pseudocode that is synced to real source code by AI on save, with the pseudocode kept as intent.

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

38 points by todsacerdoti 1 year ago | 0 comments

Blazing Matrix Products(panadestein.github.io)

49 points by Bogdanp 1 year ago | 6 comments

Exploring Typst, a new typesetting system similar to LaTeX(blog.jreyesr.com)

515 points by judell 2 years ago | 203 comments

A long blog post reviewing Typst, a typesetting language and tool similar to LaTeX, covering styling, scripting, plugins, and comparisons to LaTeX, Markdown, and Word.

I don't always use LaTeX, but when I do, I compile to HTML (2013)(peterkrautzberger.org)

176 points by pyjamafish 2 years ago | 129 comments