Nice, accessible discussion of linear types, giving an example where you can prevent sockets being bound and listened to at the same time: https://www.tweag.io/blog/2017-08-03-linear-typestates/
miniblog.
Related Posts
LLMs are a really accessible machine learning technique. I dabbled with text classifiers a few years ago and the APIs were way more involved.
(system_prompt: String, input: String) -> String
I can prototype with this much more easily!
Implementing type checking as another interpreter, with short, accessible examples:
Go has a wonderful, accessible discussion of how it does inlining today, the downsides, and the plans for 1.22:
