Sapir-Whorf does not apply to Programming Languages • Buttondown
Linguistics is about human languages, not programming ones| buttondown.com
Linguistics is about human languages, not programming ones| buttondown.com
Feature announcements, customer stories and thoughts on reliability engineering, autonomous testing and debugging| antithesis.com
I realize that for all I've talked about Logic for Programmers in this newsletter, I never once explained basic logical quantifiers. They're both simple and incredibly useful, so let's do that this week! Sets and quantifiers A set is a collection of unordered, unique elements. {1, 2, 3, …} is a set, as are "every programming language", "every programming language's Wikipedia page", and "every function ever defined in any programming language's standard library". You can put whatever you wan...| Computer Things
Hi, I'm Hillel. This is the newsletter version of my website. I post all website updates here. I also post weekly content just for the newsletter, on topics like Formal Methods Software History and Culture Fringetech and exotic tooling The philosophy and theory of software engineering You can see the archive of all public essays here.| buttondown.com
The mathematics that will help you in your everyday programming.| leanpub.com
Some useful mental models from the world of formal methods.| Hillel Wayne
