291
reputation
2
5

Dalton Bentley

Retired electronics application engineer (originally telecomm mux stuff then microprocessor control apps), software design engineer (e.g., 80's, did communications software for email app in 1984 on multitasking platform, C and 8088 assembly), IT business owner (retired), former musician and recording engineer (search on "Dalton Bentley music"), original matriculation psychology, subsquent EE. Writer/editor (various venues, include computer user group journal editor 2003 - 2010). Martial artist (now more physical therapy than threat) Polymath (original university study in psychology and sociology, continued those fields, among others) and irritant, grin. Latest work of possible interest to mathematics folks is a typeset pdf tutorial on using Isabelle Proof Assistant to establish square root of prime is not rational: https://github.com/AncientZygote/izzie/blob/main/IsabelleTutorial.pdf

2
answers
0
questions
~23k
people reached

Top tags (3)

Score 19
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2)

Badges (7)

Gold

Silver

2

Rarest

Bronze

5

Rarest