corpus.blog
Most cited
Talked about
Blogs
41554 blogs · [ { "id": "01a08746-5bb0-72a7-86de-83d584788917", "title": "Trait-Constrained Enums in Rust", "url": "https://kcsongor.github.io/gadts-in-rust/", "published_at": "2025-06-10T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce2a07b65", "title": "Announcing generic-optics (& generic-lens 2.0.0.0)", "url": "https://kcsongor.github.io/generic-lens-2/", "published_at": "2020-02-11T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce304b86a", "title": "Opaque constraint synonyms", "url": "https://kcsongor.github.io/opaque-constraint-synonyms/", "published_at": "2019-09-25T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce32de150", "title": "Tripping up type inference", "url": "https://kcsongor.github.io/ambiguous-tags/", "published_at": "2019-09-18T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce3775dc2", "title": "Most underrated vim features: C-a", "url": "https://kcsongor.github.io/underrated-vim-c-a/", "published_at": "2019-09-12T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce396950d", "title": "Global Implicit Parameters", "url": "https://kcsongor.github.io/global-implicit-parameters/", "published_at": "2019-07-11T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce477805b", "title": "Detecting the undetectable: custom type errors for stuck type families", "url": "https://kcsongor.github.io/report-stuck-families/", "published_at": "2018-11-29T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce5505e33", "title": "Parsing type-level strings in Haskell", "url": "https://kcsongor.github.io/symbol-parsing-haskell/", "published_at": "2018-11-28T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce62a8c54", "title": "Deriving Bifunctor with Generics", "url": "https://kcsongor.github.io/generic-deriving-bifunctor/", "published_at": "2017-12-31T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce6c4e6dc", "title": "Announcing generic-lens 0.5.0.0", "url": "https://kcsongor.github.io/generic-lens/", "published_at": "2017-12-10T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce71ab903", "title": "Well-typed printfs cannot go wrong", "url": "https://kcsongor.github.io/purescript-safe-printf/", "published_at": "2017-09-25T00:00:00+00:00" }, { "id": "01a08746-5bb1-7120-a34e-a1cce7c0e592", "title": "Time travel in Haskell for dummies", "url": "https://kcsongor.github.io/time-travel-in-haskell-for-dummies/", "published_at": "2015-10-02T00:00:00+00:00" } ] posts
Claim your blog
Back to kcsongor.github.io
Blog · corpus.blog/blogs/kcsongor.github.io/posts
kcsongor.github.io
kcsongor.github.io
2025
Trait-Constrained Enums in Rust
original ↗
10 Jun 2025
2020
Announcing generic-optics (& generic-lens 2.0.0.0)
original ↗
11 Feb 2020
2019
Opaque constraint synonyms
original ↗
25 Sept 2019
Tripping up type inference
original ↗
18 Sept 2019
Most underrated vim features: C-a
original ↗
12 Sept 2019
Global Implicit Parameters
original ↗
11 Jul 2019
2018
Detecting the undetectable: custom type errors for stuck type families
original ↗
29 Nov 2018
Parsing type-level strings in Haskell
original ↗
28 Nov 2018
2017
Deriving Bifunctor with Generics
original ↗
31 Dec 2017
Announcing generic-lens 0.5.0.0
original ↗
10 Dec 2017
Well-typed printfs cannot go wrong
original ↗
25 Sept 2017
2015
Time travel in Haskell for dummies
original ↗
2 Oct 2015