Verified dynamic programming with Σ-types in Lean (tannerduve.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of tannerduve.github.io: Verified dynamic programming with Σ-types in Lean

First screen, captured 1 year ago.

Looks similar

Screenshot of ktema.org: The Overengineered Resume with Zola, JSON Resume, Weasyprint, and Nix (2023)

The Overengineered Resume with Zola, JSON Resume, Weasyprint, and Nix (2023)(ktema.org)

168 points by ahamez 2 years ago | 103 comments

Screenshot of mkennedy.codes: Python numbers every programmer should know

Python numbers every programmer should know (mkennedy.codes)

382 points by WoodenChair 9 months ago | 157 comments

Michael Kennedy's blog post listing Python performance and memory numbers, such as list operations, file I/O, object sizes, and web framework speed.

python performance benchmarks memory-usage

Screenshot of axleos.com: Writing about writing about programming

Writing about writing about programming (axleos.com)

46 points by codyd51 3 years ago | 2 comments

Screenshot of ben.page: AI is an impediment to learning web development

AI is an impediment to learning web development (ben.page)

175 points by bdlowery 2 years ago | 166 comments

Screenshot of dabeaz.com: David Beazley – Programming Courses

David Beazley – Programming Courses (dabeaz.com)

113 points by gregsadetsky 3 months ago | 31 comments

Screenshot of rubick.com: Demo-driven development (2021)

Demo-driven development (2021)(rubick.com)

80 points by cpeterso 3 years ago | 53 comments