Bookmarked: [youtube.com] Bidirectional Type Checking

https://www.youtube.com/oembed?format=xml&url=https://www.youtube.com/watch?v%3DutyBNDj7s2w

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [veitheller.de] A First Futamura Projection

https://blog.veitheller.de/A_First_Futamura_Projection.html

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [blainsmith.com] Humanities in the Machine

https://blainsmith.com/essays/humanities-in-the-machine/

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [chiark.greenend.org.uk/~sgtatham] Philosophy of coroutines

https://web.archive.org/web/20260923/https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/coroutines-philosophy/

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [austinhenley.com] Implementing cosine in C from scratch

https://austinhenley.com/blog/cosine.html

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [v5.chriskrycho.com] The Essence of Successful Abstractions

https://v5.chriskrycho.com/journal/essence-of-successful-abstractions/

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [ro-che.info] Generic unification

http://ro-che.info/articles/2017-06-17-generic-unification

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [gilmi.me] Giml's type inference engine

https://web.archive.org/web/20260922/https://gilmi.me/post/2021/04/06/giml-type-inference

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [haskellforall.com] Record type inference for dummies

https://haskellforall.com/2026/06/record-type-inference-for-dummies

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [youtube.com] Type inference as constraint solving: how GHC’s type inference engine actually works

https://www.youtube.com/watch?v=-TJGhGa04F8

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [ettolrach.com] Rust: When Empty Isn't Bottom

https://ettolrach.com/blog/rust_when_empty_isnt_bottom.html

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [epicandmonicisnotiso.blogspot.com] How to avoid correctness space leaks on a lazy setting in haskell

https://epicandmonicisnotiso.blogspot.com/2023/04/how-to-avoid-correctness-space-leaks-on.html

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [thunderseethe.dev] Making a Language

https://thunderseethe.dev/series/making-a-language/

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

With some #staticSiteGenerator and #javascript magic I now have full text search for my #linkblog https://abhinavsarkar.net/linkblog

#indieweb