Type safe variadic printf (stranger.systems)

Screenshot of stranger.systems: Type safe variadic printf

First screen, captured 1 year ago.

Looks similar

Screenshot of stranger.systems: Row Polymorphic Programming

Row Polymorphic Programming (stranger.systems)

44 points by todsacerdoti 1 year ago | 24 comments

Screenshot of blog.jreyesr.com: Exploring Typst, a new typesetting system similar to LaTeX

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.

typst latex typesetting markdown

Screenshot of mirage.io: Mirage – A programming framework for building type-safe, modular systems

Mirage – A programming framework for building type-safe, modular systems (mirage.io)

292 points by jmngomes 2 years ago | 74 comments

Screenshot of jirevwe.github.io: Exploring Alternatives to UUIDv4; Enter ULIDs

Exploring Alternatives to UUIDv4; Enter ULIDs (jirevwe.github.io)

17 points by noleary 1 year ago | 6 comments

Screenshot of carlos-menezes.com: Branded types for TypeScript

Branded types for TypeScript (carlos-menezes.com)

137 points by carlos-menezes 2 years ago | 120 comments

Screenshot of corsix.org: __VA_OPT__ Minutiae

__VA_OPT__ Minutiae (corsix.org)

52 points by ingve 2 years ago | 6 comments

Looks similar

Row Polymorphic Programming(stranger.systems)

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

Mirage – A programming framework for building type-safe, modular systems(mirage.io)

Exploring Alternatives to UUIDv4; Enter ULIDs(jirevwe.github.io)

Branded types for TypeScript(carlos-menezes.com)

__VA_OPT__ Minutiae(corsix.org)