Although we at the Topos Institute spend much of our days applying category theory, underlying our activities is a philosophy around the activity of science and engineering that is not explicitly category-theoretic in nature. In this blog post, we lay out some of the core ideas of this philosophy, and tie them in to current and future research developments at Topos.

Today we’re excited to announce the first pre-alpha release of our new software CatColab 0.1: Hummingbird. CatColab is software for making models of the world together.

Our conceptions are fuzzy by design

Simple laws for building cost-aware, sustainable, and modern architectures

Written by Amazon’s CTO. What I always like about stuff like this is taking it out of its current context and applying the philosophy more generally to systems.

Why does nobody care about anything? The world is full of stuff that could be excellent with just 1% more effort. But people don’t care.

DARPA is soliciting innovative research proposals in the area of DARPA Mathematical Challenges, with the goal of dramatically revolutionizing mathematics and thereby strengthening the scientific and technological capabilities of DoD. To do so, the agency has identified twenty-three mathematical challenges, listed below, which were announced at DARPA Tech 2007.