An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)

Screenshot of max-amb.github.io: An introduction to formal proof verification and the Curry-Howard Correspondence

First screen, captured 2 months ago.

Looks similar

Screenshot of max-amb.github.io: Zero Knowledge Tolstoyan Art

Zero Knowledge Tolstoyan Art (max-amb.github.io)

32 points by max-amb 3 months ago | 15 comments

Screenshot of matklad.github.io: Rust Glancer

Rust Glancer (matklad.github.io)

28 points by surprisetalk 2 months 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 blog.trl.sn: Write OpenAPI with TypeSpec

Write OpenAPI with TypeSpec (blog.trl.sn)

110 points by bterlson 2 years ago | 55 comments

Screenshot of pydong.org: Python’s Preprocessor

Python’s Preprocessor (pydong.org)

375 points by rbanffy 2 years ago | 81 comments

Blog post explaining how Python source code encoding declarations (PEP 263) can be abused to implement a preprocessor that transforms code before execution.

python source-encodings pep-263 preprocessor

Screenshot of uecker.codeberg.page: Generic Containers in C: Safe Division Using Maybe

Generic Containers in C: Safe Division Using Maybe (uecker.codeberg.page)

94 points by uecker 1 year ago | 46 comments

Looks similar

Zero Knowledge Tolstoyan Art(max-amb.github.io)

Rust Glancer(matklad.github.io)

Branded types for TypeScript(carlos-menezes.com)

Write OpenAPI with TypeSpec(blog.trl.sn)

Python’s Preprocessor(pydong.org)

Generic Containers in C: Safe Division Using Maybe(uecker.codeberg.page)