New blog post: Composing TLA+ Specifications
Post here! It's a really advanced TLA+ technique that I'm sure will alienate 90% of my readers. Patreon here. Anyway, I'm off to get a bone graft. Proper...
Nondeterminism in Formal Specification
Just an unordered collections of thoughts on this. In programming languages, nondeterminism tends to come from randomness, concurrency, or external forces...
I've been thinking about tradeoffs all wrong
It's not about what's better, it's about what's less worse.
NoCode Will Not Bring Computing to the Masses
NoCode, scripting vs applications, and software marketplaces
What I look for in empirical software papers
Oh God it's already Thursday
Paradigms succeed when you can strip them for parts
On the value of "scavenging" for paradigm adoption
"Integration tests" are just vibes
New blog post, and some thoughts on what makes an integration test an "integration" test.
"Testing can show the presence of bugs but not the absence"
An analysis of the ramifications.
What makes concurrency so hard?
Is it something about human brains, or something about the problem domain?
Some notes on for loops
Experts can learn a lot by looking at the basics.
Why do regexes use `$` and `^` as line anchors?
A history that will satisfy nobody.
What if the spec doesn't match the code?
Address people's biggest concern about formal methods
What Mob Programming is Bad At
Bulldozers vs Lightning Bolts
How to argue for something without any scientific evidence
It's all about the show
%20the%20right%20tool%20for%20the%20job&author=Computer%20Things&date=2024-02-27&img=)
Know (of) the right tool for the job
Plus: Using LLMs for data queries
Planning vs Model Checking
Comparing two software technologies you've probably never heard of
Strings do too many things
The most powerful and terrible of all basis types
What does 'TLA+' mean, anyway
The secret Illuminati meaning behind the Three Letter Acronym (plus)
GitHub Search for research and learning
Also, new blog post!
Unusual basis types in programming languages
All languages have numbers, booleans, strings, and lists. What else is out there?