Updates on the Crossover Project
No Newsletter Next Week I'll be teaching the Alloy workshop. Speaking of workshops… TLA+ Workshop TLA+ Workshop for October 20-22, 10 AM - 6 PM CST. 24 hours...
Write Notes for Your Code
New Essay Decision Table Patterns: How to write better decision tables and fix common issues. If you've wanted to try formal methods but weren't sure where...
That Time I Almost Joined a Software Cult
Alloy Workshop There's just one slot left for the Alloy Workshop! Use the code YARLSNARTH for $1200 off. Are We Engineers Toxx clause is still in effect: if...
Formal Specification Languages
Alloy Workshop Slots for the September 21st Alloy workshop are still available! Learn how to model domains in a way that finds the bugs for you, rather than...
Please read the paper before you comment
Each day on twitter there is one main character. The goal is to never be it— maple cocaine (@maplecocaine) January 3, 2019 Yesterday the main character of...
What's the Deal with Message Passing, Anyway
I'm back from the moving! Things are still a bit chaotic here but hopefully normal newsletter/essays/office hours should resume next week. Alloy Workshop...
New Essay and a Very Peculiar Optimization
New Essay J Notation as a Tool of Thought. Many of you already read it as a newsletter piece, but this new version is considerably expanded and has a lot of...
New Workshop, Test Inference
Delayed newsletter next week I'm moving Monday, so newsletter should go out Tuesday. This is entirely unrelated to why the newsletter was delayed this week,...
How knowing math helps you write better software
Projects Update TLA+ workshop last week went really well! I'm super happy with the current state of the workshop and while I'll still be making a bunch of...
Syntax highlighting is a waste of an information channel
No newsletter next week Running the TLA+ workshop. No way I'm gonna have any brainpower after that. Syntax highlighting is a waste of an information channel...
Merchants on the Ivory Road
Before we get into the main bit I have a few announcements to cover: Announcements New essay I wrote a new essay! The Frink is Good, the Unit is Evil. Learn...
I have become ideas guy
Workshop There's still one slot available for the TLA+ workshop! July 27-29, remote, going to be super intense. Sign up here. Random Thoughts I wanted to...
Situated Software
New essay In what might be the shortest turnaround ever, I just uploaded weak and strong fairness. It's gone through some revisions since the draft I shared...
Why You Should Always Blindly Chase Industry Trends
Look I know you're here for the train wreck but there's logistical stuff we have to cover first. "Are we really engineers" video now available Here. tl;dr I...
New TLA+ Workshop, New PBT Essay
Thanks to everyone who came out for the "Are We Really Engineers" talk yesterday! I suspect they'll be putting the recording up here at some point, but if...
Monads and Transducers are Literally 100% The Same Thing
No Newsletter Next Week I promised one last week but the Alloy workshop took way too much out of me. Since I'm doing another workshop next week, I'm just...
Some Ranting About Examples
Delayed newsletter next week I'm doing the Alloy workshop on Monday and will have zero energy after that, so the newsletter will be out by Tuesday at the...
Defects are not the fault of programmers
Sorry this one is late! I've been having a rough time lately, which I think is pretty normal right now for everyone. But I'm doing a bit better now and hope...
Workshop Innovations and New Website Essay
Office hours What I'm thinking of doing is office hours every two weeks, alternating between an evening slot and a morning slot. So this week let's do office...
If Inheritance is so bad, why does everyone use it?
This essay says that inheritance is harmful and if possible you should "ban inheritance completely". You see these arguments a lot, as well as things like...