Falsify: Hypothesis-Inspired Shrinking for Haskell

Article URL: https://www.well-typed.com/blog/2023/04/falsify/

Comments URL: https://news.ycombinator.com/item?id=43746017

Points: 6

# Comments: 0

https://www.well-typed.com/blog/2023/04/falsify/

Utworzony 1mo | 20 kwi 2025, 20:10:03

Zaloguj się, aby dodać komentarz

Inne posty w tej grupie

Writing A Job Runner (In Elixir) (Again) (10 years later)

Writing A Job Runner (In Elixir) (Again) (10 years later)

Article URL: https://github.com/notactuallytreyanastasio/genstage_tutorial_2025/blob/main/README.md

23 maj 2025, 14:10:06 | Hacker news

Everything Not Forbidden Is Compulsory

Everything Not Forbidden Is Compulsory

Article URL: https://www.drorpoleg.com/everything-not-forbidden-is-compulsory/

Comments URL:

23 maj 2025, 14:10:06 | Hacker news

Remembering Alasdair MacIntyre

Remembering Alasdair MacIntyre

Article URL: https://www.wordonfire.org/articles/remembering-alasdair-macintyre-1929-2025/

Commen

23 maj 2025, 14:10:05 | Hacker news

Amdash – Human only punctuation mark

Amdash – Human only punctuation mark

Article URL: https://www.theamdash.com

Comments URL: https://news.ycombinator.com/item?id=440

23 maj 2025, 14:10:04 | Hacker news

OpenAI: Scaling PostgreSQL to the Next Level

OpenAI: Scaling PostgreSQL to the Next Level

Article URL: https://www.pixelstech.net/article/1747708863-openai%3a-scaling-postgresql-to-th

23 maj 2025, 11:40:12 | Hacker news

Why I no longer have an old-school cert on my HTTPS site

Why I no longer have an old-school cert on my HTTPS site

Article URL: https://rachelbythebay.com/w/2025/05/22/ssl/

Comments URL: ht

23 maj 2025, 11:40:09 | Hacker news

KumoRFM: A Foundation Model for In-Context Learning on Relational Data

KumoRFM: A Foundation Model for In-Context Learning on Relational Data

Article URL: https://kumo.ai/company/news/kumo-relational-foundation-model/

Comments URL:

23 maj 2025, 09:20:31 | Hacker news

Techie