I’m teaching Edinburgh’s undergraduate Axiomatic Set Theory course, and the axioms we’re using are Lawvere’s Elementary Theory of the Category of Sets — with the twist that everything’s going to be ...

Simple Rich Trading Journal (srtj) is a journal for your private trading portfolio. The application runs as a local server and the user interface can be called up in a browser.

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

A new proof has debunked a conspiracy that mathematicians feared might haunt the number line. In doing so, it has given them another set of tools for understanding arithmetic’s fundamental building ...

If you’re conducting a census of all the plants growing in a specific region, rather than tally every single plant, you might decide to organize them by species. Doing this along certain stretches of ...