Sunjay

@modernserf @steveklabnik tapl is the best I know for this (though it does require learning to read inference rules). the reason it's pretty good is because (roughly) every second chapter implements the one before it so you can see the inference rules map to code and work it out that way if you prefer.

Is there anything like "crafting interpreters" but for implementing a static type system?

@fitzgen maybe if I send you the tabled evaluation paper you can just write your own prolog engine 😅

@__anp__ yes the other lock pictured definitely was. it was funny because this is just a random fence in the rose garden, not a bridge or anything. those locks will not last lol

@Sunjay03 en.wikipedia.org/wiki/Love_lock perhaps?

@ekuber Congrats!!!

@myrrlyn ooof yeah that has got to be scary for a lot of people

@sedulousmice congrats!!! this is a huge accomplishment!!! 🎉😁

three years, two countries, too many rewrites, a large helping of existential dread, and a global pantomime later........ i have turned in my graduate thesis 😳

@ManishEarth murder hornets but they have the virus

what's more likely to make you vaccinate: some stupid law, or hordes of vampire deathneedlebugs?

talking about travel vaccine reqs; noting that some countries haven't really had vaccine requirements because they have mosquitoes and that's enough to make people vaccinate <@manishearth> actually <@manishearth> i'm an accelerationist <@manishearth> give the mosquitoes covid

@fogus Hash tables