41554 blogs · [ { "id": "01a087b3-8c22-73b1-8799-1a6c5d757040", "title": "Direct-style property based testing: Controlling the size of inputs", "url": "https://nrinaudo.github.io/articles/kantan_tests/size.html", "published_at": "2026-02-05T00:00:00+00:00" }, { "id": "01a087b3-8c22-73b1-8799-1a6c5da780c3", "title": "The right(?) way to work with capabilities", "url": "https://nrinaudo.github.io/articles/capability_types.html", "published_at": "2026-01-21T00:00:00+00:00" }, { "id": "01a087b3-8c22-73b1-8799-1a6c5dc68441", "title": "Direct-style property based testing: Reporting errors", "url": "https://nrinaudo.github.io/articles/kantan_tests/logs.html", "published_at": "2026-01-13T00:00:00+00:00" }, { "id": "01a087b3-8c22-73b1-8799-1a6c5dda1e7d", "title": "Direct-style property based testing: Tests as assertions", "url": "https://nrinaudo.github.io/articles/kantan_tests/assert.html", "published_at": "2026-01-12T00:00:00+00:00" }, { "id": "01a087b3-8c22-73b1-8799-1a6c5e865d49", "title": "Direct-style property based testing: Properties and tests", "url": "https://nrinaudo.github.io/articles/kantan_tests/properties.html", "published_at": "2026-01-02T00:00:00+00:00" }, { "id": "01a087b3-8c22-73b1-8799-1a6c5e95a6bb", "title": "Direct-style property based testing: Random generators", "url": "https://nrinaudo.github.io/articles/kantan_tests/generators.html", "published_at": "2026-01-02T00:00:00+00:00" }, { "id": "01a087b3-8c22-73b1-8799-1a6c5f5d8f0c", "title": "Direct-style property based testing: Introduction", "url": "https://nrinaudo.github.io/articles/kantan_tests/introduction.html", "published_at": "2026-01-01T00:00:00+00:00" }, { "id": "01a087b3-8c22-73b1-8799-1a6c5f6d0646", "title": "Programming as Theory Building", "url": "https://nrinaudo.github.io/articles/programming_as_theory_building.html", "published_at": "2025-10-08T00:00:00+00:00" }, { "id": "01a087b3-8c22-73b1-8799-1a6c5f6d2643", "title": "Controlling program flow with capabilities", "url": "https://nrinaudo.github.io/articles/capabilities_flow.html", "published_at": "2025-09-07T00:00:00+00:00" }, { "id": "01a087b3-8c22-73b1-8799-1a6c60318d9a", "title": "Effects as Capabilities", "url": "https://nrinaudo.github.io/articles/capabilities.html", "published_at": "2025-09-01T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/nrinaudo.github.io/posts