From 7d5144fd5ac62c84d85a6f0ab6401de35138d3c8 Mon Sep 17 00:00:00 2001 From: Brian Hicks Date: Tue, 27 Dec 2022 10:17:35 -0600 Subject: [PATCH] add lightweight formal methods to my interests list --- content/open-invitation.md | 1 + 1 file changed, 1 insertion(+) diff --git a/content/open-invitation.md b/content/open-invitation.md index a429b1f..4b746ca 100644 --- a/content/open-invitation.md +++ b/content/open-invitation.md @@ -7,6 +7,7 @@ I love hearing from people and talking shop, so like [other](https://www.kalzume Some things I'd love to talk about, or hear about: - frontend development +- lightweight formal methods (e.g. [Alloy](@/posts/alloy.md)) - things technologists can do to help with big problems, especially the climate crisis. - community organization, especially (in non-pandemic times) meetups and conferences. - neat papers and essays