corpus.blog
Most cited
Talked about
Blogs
41554 blogs · [ { "id": "01a08784-d644-713b-a25b-94661100a2e8", "title": "Linear Time Variance Inference for PEP 695", "url": "https://hurryabit.github.io/blog/variance-inference/", "published_at": "2025-05-16T00:00:00+00:00" }, { "id": "01a08784-d644-713b-a25b-9466113ec528", "title": "A gedankenexperiment on vaccination", "url": "https://hurryabit.github.io/blog/gedankenexperiment/", "published_at": "2021-11-29T00:00:00+00:00" }, { "id": "01a08784-d644-713b-a25b-94661202bad9", "title": "Stack-safety for free?", "url": "https://hurryabit.github.io/blog/stack-safety-for-free/", "published_at": "2021-11-18T00:00:00+00:00" }, { "id": "01a08784-d644-713b-a25b-946612714a71", "title": "Zooming in on DAML’s performance", "url": "https://hurryabit.github.io/link/zooming-in-on-damls-performance/", "published_at": "2020-11-24T00:00:00+00:00" }, { "id": "01a08784-d644-713b-a25b-9466133a688c", "title": "Talk: Embedding DSLs deeper into GHC", "url": "https://hurryabit.github.io/link/embedding-dsls-deeper-into-ghc/", "published_at": "2019-08-19T00:00:00+00:00" }, { "id": "01a08784-d644-713b-a25b-946613631de6", "title": "Daml does yoga: an introduction to flexible controllers", "url": "https://hurryabit.github.io/link/flexible-controllers/", "published_at": "2019-05-10T00:00:00+00:00" }, { "id": "01a08784-d644-713b-a25b-9466145baa14", "title": "And now all together: an introduction to conjunction choices", "url": "https://hurryabit.github.io/link/conjunction-choices/", "published_at": "2019-05-01T00:00:00+00:00" }, { "id": "01a08784-d644-713b-a25b-9466146d9215", "title": "Removing the limits on signatories", "url": "https://hurryabit.github.io/link/dynamic-signatories/", "published_at": "2019-04-25T00:00:00+00:00" }, { "id": "01a08784-d644-713b-a25b-9466146e92e8", "title": "The only valid smart contract is a voluntary one — easier said than done", "url": "https://hurryabit.github.io/link/voluntary-smart-contracts/", "published_at": "2018-05-31T00:00:00+00:00" } ] posts
Claim your blog
Back to hurryabit.github.io
Blog · corpus.blog/blogs/hurryabit.github.io/posts
hurryabit.github.io
hurryabit.github.io
2025
Linear Time Variance Inference for PEP 695
original ↗
16 May 2025
2021
A gedankenexperiment on vaccination
original ↗
29 Nov 2021
Stack-safety for free?
original ↗
18 Nov 2021
2020
Zooming in on DAML’s performance
original ↗
24 Nov 2020
2019
Talk: Embedding DSLs deeper into GHC
original ↗
19 Aug 2019
Daml does yoga: an introduction to flexible controllers
original ↗
10 May 2019
And now all together: an introduction to conjunction choices
original ↗
1 May 2019
Removing the limits on signatories
original ↗
25 Apr 2019
2018
The only valid smart contract is a voluntary one — easier said than done
original ↗
31 May 2018