The Harmful Consequences of Postel's Maxim

January 2, 2019 - In this RFC, Martin Thomson critiques Postel's maxim, a foundation principle for internet protocols, primarily by pointing out the long term costs of what Thomson calls the "Protocol Decay Hypothesis".

Illustrations of the Logic of Science: How to Make our Ideas Clear

December 24, 2018 - One of the founding essays for the philosophy of Pragmaticism.

Greek New Testament Reader

November 22, 2018 - The Greak New Testament in an easy-to-read format with a helpful search feature and lexicon.

Logic Grid

November 13, 2018 - Interactive cellular automata system.

On the Criteria To Be Used in Decomposing Systems into Modules

November 12, 2018 - This paper discusses modularization as a mechanism for improving the flexibility and comprehensibility of a system while allowing the shortening of its development time.

Politics and the English Language

November 7, 2018 - Wonderful essay addressing some issues with the use of the English language as well as some important strategies for good writing.

State of Theology Survey

October 29, 2018 - Fascinating survey of theological understanding (with a really good data explorer).

Cognitive Dimensions of Notations

October 26, 2018 - Interesting article which presents a framework for thinking about the benefits and potential impacts of a notational system.

Two Notes on Notation

October 26, 2018 - Interesting thoughts on notation especially as they relate to the mathematical concepts of the Iverson Bracket and Stirling Numbers. [ 0 ]

Arxiv Sanity

October 12, 2018 - Great site for searching and finding new research papers from

Morning Paper

September 28, 2018 - An interesting/influential/important paper from the world of CS every weekday morning, as selected by Adrian Colyer.

Department of Amphibological Research

August 17, 2018 - A fun site misusing image processing system to create fictitious, new creatures.

Online Geometry Puzzles

August 15, 2018 - Fun (and challenging) geometry puzzles.

Legible Mathematics

August 4, 2018 - Sketches of an interactive arithmetic for programming.

The Perspicuity of Scripture

July 25, 2018 - An introduction to the doctrine of the perspicuity (clarity) of scripture.

Kill Math

July 17, 2018 - Bret Victor presents his case why math needs a new interface.


July 15, 2018 - Thought-provoking article describing why 'interactive' software and a focus on 'interactivity' is misguided. The focus should be on the effective (this is defined in the article) display of information and on context-sensitive software that significantly reduces the need for interactivity.

Computers in Math Education

July 3, 2018 - Math education needs a paradigm shift away from forcing students to perform calculations (which computers can easily do) and towards teaching kids how to formulate questions, program tests, and validate results.

Advice for early-career developers

June 23, 2018 - Some thoughts on how to start and continue a great career in the software industry.

Work on Breakable Toy Projects

June 23, 2018 - Experience is built upon failure, yet you work in an environment that does not allow for failure. Budget for failure by designing and building toy systems that are similar to the systems you build at work in toolset but not in scope.