Communicating With Code

Thoughts on the theory and practice of software design.

Friday, March 31, 2017

Documenting With Types

›
I've said this before: elegant code is pedagogical . That is, elegant code is designed to teach its readers about the concepts and relat...
Wednesday, December 7, 2016

Correctness and Maintainability

›
In my career, I've focused a lot on making my code bug-resistant, and I've spent a lot of time trying to learn or invent techniques ...
Wednesday, December 10, 2014

Bootstrapping Rust

›
There are two stories I particularly like about the problem of bootstrapping self-referential tools. This one : Another way ...
1 comment:
Monday, November 17, 2014

Links

›
Taking a cue from Julia Evans , linking this here to remind myself to re-read it occasionally: John Allspaw's notes On Being a Senior E...
Sunday, November 9, 2014

Think Big, Act Small

›
There are, I think, two big dangers in designing software (which probably apply to other types of creative activity, as well): No u...
Wednesday, August 20, 2014

Why, What, How?

›
I recently encountered an argument ( Why Most Unit Testing is Waste ) from Jim Coplien arguing forcefully against unit testing a...
4 comments:
Sunday, July 27, 2014

Sources of Accidental Complexity

›
Recalling my preferred definition of solution elegance : TotalComplexity = EssentialComplexity + AccidentalComplexity Elegance = E...
‹
›
Home
View web version
Powered by Blogger.