Software Moves
Verbing patterns
Software Isomorphisms
SUPRISE MATH LESSON
Teaching Accidental and Essential Complexity
So you may know that I'm teaching a 1-day TLA+ workshop in December (just 10 slots left!) This is unlike my normal workshops because it's only 1 day and for...
What a Wedding Taught Me About Software Engineering
I'm too jetlagged to resist silly clickbait
I am a SQL Injection Attack
Recently I've been very interested in "meatspace models", where you explain a CS concept in terms of the real world. It's the monad is a burrito gag except...
Snippet Praxis
Copypasting from stuff is A Good Idea
New Article, "The Five Minute Feedback Fix"
Hi everyone! I know I said there was no newsletter this week, but that doesn't mean no new content! Last year I was approached by The ReadMe Project,...
On the benefits of humanities in software engineering
Read More Boring Poetry
Data Invariants
Asserts But Fancy
Giving Names to Things
Naming things is hard. Naming things that have never been named is harder.
Why do arrays start at 0?
It's not the reason you think. No, it's not that reason either.
I have complicated feelings about TDD
They're not all good and not all bad
Excel is Pretty Dang Cool
It's like discovering a treasure chest under my kitchen sink
Search less, browse more
Why you should browse more documentation instead of just searching for specific answers
Information camouflage
About a thing that makes finding some information really hard
On Metafiles
A metafile is a file that represents multiple possible files. The most common type of metafile in use is the template file: <p>I passed in {number}</p>...
Six Programming Languages I'd Like to See
A few weird ideas for programming languages I came up with that it'd be "really" "cool" if someone made (wink)
Beyond the Four-Document Model
Been a while! Now that learntla is out, I can get back to life. Exercising, eating, sleeping, and most importantly, updating this newsletter. Word of...
The new learntla is now online!
tl;dr: online TLA+ manual/advanced techniques/examples here. TLA+ is a tool for testing abstract software designs. I first stumbled on it in 2016 and found...
Updates on Learntla
Fifteen days left Hi everyone! Been a couple of weeks since the last email. As mentioned, I took June off from weekly newsletter to work on the new version...