Stories by auggierose

Annotated Version of Boole's Algebra of Logic from 1847 [pdf]

Should we get rid of the scientific paper?

Handbook of the Mathematics of the Arts and Sciences

The Lezer Parser System

Space Math

Artificial intelligence beats eight world champions at bridge

Ash Barty announces shock retirement from tennis at 25

Practical Types

Algorism

Trading Evolved: CSI-Data

I tried to sell Tesla to Apple

Liquid Tensor Experiment – Challenge

We left the UK for Portland expecting a liberal dream. That wasn’t the reality

Jupyter, Mathematica, and the Future of the Research Paper

How close are computers to automating mathematical reasoning?

Why 'Ditch the algorithm' is the future of political protest

A Practical Logic

Chalmers Seminars on Functional Programming

WeWork founder threatens to sue after SoftBank scraps rescue deal

The SEP has achieved what Wikipedia can only dream of (2015)

1 2 3