Falsify: Hypothesis-Inspired Shrinking for Haskell (2023) (well-typed.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of well-typed.com: Falsify: Hypothesis-Inspired Shrinking for Haskell (2023)

First screen, captured 1 year ago.

Looks similar

Screenshot of well-typed.com: When "blocked indefinitely" is not indefinite

When "blocked indefinitely" is not indefinite (well-typed.com)

33 points by g0xA52A2A 2 years ago | 9 comments

Screenshot of well-typed.com: Calling Purgatory from Heaven: Binding to Rust in Haskell

Calling Purgatory from Heaven: Binding to Rust in Haskell (well-typed.com)

116 points by g0xA52A2A 3 years ago | 61 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 hmpcabral.com: Two studies in compiler optimisations

Two studies in compiler optimisations (hmpcabral.com)

115 points by hmpc 7 months ago | 16 comments

Screenshot of philipotoole.com: How rqlite is tested

How rqlite is tested (philipotoole.com)

234 points by otoolep 1 year ago | 45 comments

Screenshot of tildeweb.nl: Why I forked httpx

Why I forked httpx (tildeweb.nl)

216 points by roywashere 7 months ago | 156 comments