Literature review on the benefits of static types (danluu.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of danluu.com: Literature review on the benefits of static types

First screen, captured 3 years ago.

Looks similar

Screenshot of utcc.utoronto.ca: The theory versus the practice of “static websites”

The theory versus the practice of “static websites”(utcc.utoronto.ca)

254 points by ingve 3 years ago | 182 comments

Screenshot of danluu.com: What's the best programming language for coding agents?

What's the best programming language for coding agents?(danluu.com)

209 points by chaychoong 2 months ago | 138 comments

Screenshot of fransskarman.com: I wrote my PhD Thesis in Typst

I wrote my PhD Thesis in Typst (fransskarman.com)

477 points by todsacerdoti 1 year ago | 275 comments

A blog post by Frans Skarman about writing his PhD thesis in Typst instead of LaTeX, covering what worked well and what didn't.

typst latex typesetting phd-thesis

Screenshot of borretti.me: Language Pragmatics Engineering

Language Pragmatics Engineering (borretti.me)

92 points by ashpil 3 years ago | 22 comments

Screenshot of utcc.utoronto.ca: Python type hints may not be not for me in practice

Python type hints may not be not for me in practice (utcc.utoronto.ca)

91 points by ingve 1 year ago | 155 comments

Screenshot of cs.utexas.edu: On the foolishness of “natural language programming” (1978)

On the foolishness of “natural language programming” (1978)(cs.utexas.edu)

93 points by behnamoh 3 years ago | 42 comments