IndyDev 

Software developer and amateur math and logic historian
See followers