It’s alive! Go look! The π-Base is a database of topological information, similar to Steen & Seebach’s classic Counterexamples in Topology, but with automated deduction and powerful search. It is the tool that I wished existed when I started looking into cozero complemented spaces, replacing a stultifying literature search with...

Video of this talk available on Youtube, with thanks to Frank Rietta See pt. I for background discussion Okay. Worker platform: selected. Let’s do this. Listen to the Tests See commit cbc86ea Aliveness of TDD notwithstanding, our current tests are exposing some problems with that open call … It’s actually...

####(In the Background) Basic apps are often alive only inside the request-response cycle: a user asks your server for something, the server does its thing, sends back some HTML, and sits there waiting for the next user. Breaking out of that loop means one of two things, tautologically - starting...