退休的电子应用工程师(最初是电信mux的东西，然后是微处理器控制应用程序)，软件设计工程师(例如，80年代，1984年在多任务平台上为电子邮件应用程序做通信软件，C和8088组装)，IT企业所有者(退休，在真正的搜索引擎上搜索“加里·宾利计算机”，即DuckDuckGo，必应，你永远不知道谷歌下一步会做什么)，前音乐家和录音工程师(搜索“Dalton Bentley音乐”)，最初的入学心理，后来的情感表达。作者/编辑(2003 - 2010年在各场所担任计算机用户组期刊编辑)。武术家(现在更多的是物理治疗而不是威胁)博学多才(最初在大学里学习心理学和社会学，继续研究这些领域)。

最近在Python 3.7编程中获得了极大的乐趣，我对1971年回溯0,1,2序列生成器Dijkstra的解决方案作为一个问题发布给读者(参见第85页“结构化编程注释”，作者是Prof.dr。Edsger W. Dijkstra, 1970，荷兰埃因霍温理工大学数学系，报告70-WSK-03)。Dijkstra回溯Python中的问题解决方案

不久前，我为那些刚接触Isabelle Proof Assistant的人整理了一个教程(一个LaTex排版文档，有大量的屏幕截图，以及引用)，我想这是计算机和数学推理之间的接口:伊莎贝尔教程