Following Software Design: Tidy First?'s news feed is very easy. Subscribe using the "follow" button on the top right and if you want to, choose the updates by topic or tag.
We will deliver them to your inbox, your phone, or you can use follow.it like your own online RSS reader. You can unsubscribe whenever you want with one click.
Keep up to date with Software Design: Tidy First?!
Software Design: Tidy First?: Software Design: Tidy First? | Kent Beck | Substack
Is this your feed? Claim it!
Originally posted March 2013
A RUN-ON SENTENCE has at least two parts, either one of which can stand by itself.
— Guide to Grammar and Writing
Yesterday, a student brought me a test that looked like this:
set up assert operation ...Pattern: You’re in a loop where longer & longer feedback loops seem to give you bigger results.
Transformation: Fix the time for the feedback loop instead & figure out how to gradually get more scope into the loop.
This came up recently when I was re-conceiving augmented coding around human needs. We’re getting longer & longer feedback loops. Anthropic...
I just gave the first two versions of a talk about how our augmented coding tools are making us feel bad & how they should be reoriented around human needs instead of technical capabilities. This is a similar argument to one we made in favor of XP. I’m anticipating an objection: are tools aren’t here to make us feel good.
Agreed. They call it “work” for …
...
Two years ago programmers were all like, “What I do is code. Who I am is a coder. The genie codes. Now who am I?” Now mathematicians are all like, “What I do is prove theorems. Who I am is a theorem prover. The genie codes. Now who am I?” Here’s a framework I’ve found helpful for answer that question for myself.
Features & FuturesSomething similar to the structure o...
Back in graduate school I spent two quarters TAing for the undergraduate formal methods course. While I have rarely pulled out full-blown formal methods in my career, I find that I use them informally all the time.
Fortune Buchholtz reintroduced me to formal methods a year ago or so. I tried them again but got lost in the proofs, eventually giving up bec…