Removed duplicate text from LinkedIn

resume.markdown

@@ -6,16 +6,6 @@ permalink: /resume/
 
 # John D. Corbett, Rust Software Developer
 
-Been writing Rust for a few years.
-
-## Software Developer
-Kroger Technology & Digital · Contract
-
-Developed a prototype developer tool to generate unit tests from
-TypeScript application code. Written in Rust using Speedy Web Compiler
-for parsing. The output is working test code that a developer can
-easily adapt to application requirements.
-
 # Experience
 
 ## The Pictographer's Shop · Freelance
@@ -29,37 +19,26 @@ Developed prototype Internet of Things devices related to
 home automation, remote device monitoring and secure
 password storage. 
 
-Visit http://pictographer.com for more.For many years, I've
-had a consulting practice. I've worked in various
-specialties including software development, user interface
-development, web design, and graphic design. Developed
-prototype Internet of Things devices related to home
-automation, remote device monitoring and secure password
-storage. Visit http://pictographer.com for more.
+At the moment, pictographer.com is down. I'm brushing up on my web
+skills and will eventually refresh it.
 
 ## Kroger Technology & Digital
 Software Developer
 Kroger Technology & Digital · Contract · Oct 2022 - Aug 2023 · 11 mos · Remote
 
-Developed a prototype developer tool to generate unit tests
-from TypeScript application code. Written in Rust using
-Speedy Web Compiler for parsing. The output is working test
-code that a developer can easily adapt to application
-requirements.Developed a prototype developer tool to
-generate unit tests from TypeScript application code.
-Written in Rust using Speedy Web Compiler for parsing. The
-output is working test code that a developer can easily
-adapt to application requirements.
+Developed a prototype developer tool to generate unit tests from
+TypeScript application code. Written in Rust using Speedy Web Compiler
+for parsing. The output is working test code that a developer can
+easily adapt to application requirements because it uses a
+Handlebars-like template library.
 
 ## Espresso Systems
 Full-time · 1 yr 10 mos Remote
 Staff Software Engineer
 Jan 2022 - Aug 2022 · 8 mos
 
 Developed a framework for discoverable web APIs in
-Rust based on the Tide web services crate.Developed
-a framework for discoverable web APIs in Rust based
-on the Tide web services crate.
+Rust based on the Tide web services crate.
 
 *Skills:* Rust (Programming Language)
 
@@ -68,9 +47,7 @@ Nov 2020 - Jan 2022 · 1 yr 3 mos
 
 Hired and led a team of systems engineers to
 successful demonstration of a cryptographic ledger
-based on zero knowledge proofs.Hired and led a team
-of systems engineers to successful demonstration of
-a cryptographic ledger based on zero knowledge proofs.
+based on zero knowledge proofs.
 
 *Skills:* Hiring · Cross-functional Team Leadership · Requirements Engineering
 
@@ -82,17 +59,13 @@ Full-time Mar 2020 - Nov 2020 · 9 mos
 
 Hired and led a small team of systems engineers to
 successful demonstration of a cryptographic ledger
-based on zero knowledge proofs.Hired and led a small
-team of systems engineers to successful
-demonstration of a cryptographic ledger based on
-zero knowledge proofs.
+based on zero knowledge proofs.
 
 ### Senior System Engineer
 Aug 2019 - Mar 2020 · 8 mos · Menlo Park
 
 Developed financial infrastructure using modern
-cryptography.Developed financial infrastructure
-using modern cryptography.
+cryptography.
 
 *Skills:* Rust (Programming Language)
 
@@ -102,9 +75,7 @@ Senior Software Engineer
 Tortuga Logic, Inc. May 2018 - Jul 2019 · 1 yr 3 mos San Jose
 
 Developed high performance graph algorithms and data
-structures for hardware security analysis.Developed high
-performance graph algorithms and data structures for
-hardware security analysis.
+structures for hardware security analysis.
 
 *Skills:* C++
 
@@ -127,11 +98,7 @@ genome sequencing and universal biomarker detection
 technologies.
 
 Development was performed with Agile Scrum methodology using
-Python and C++.Software development spanning microcontroller
-firmware, user interface and server applications in support
-of solid state genome sequencing and universal biomarker
-detection technologies. Development was performed with Agile
-Scrum methodology using Python and C++.
+Python and C++.
 
 *Skills:* Microcontroller Development · C++ · Python
 
@@ -146,12 +113,7 @@ properties of FPGA designs. Mentored and supervised
 junior engineers. Wrote and created collateral
 presenting our approach to security verification as
 a more general fault-tolerance solution applicable
-to functional safety.Wrote software to verify safety
-and security properties of FPGA designs. Mentored
-and supervised junior engineers. Wrote and created
-collateral presenting our approach to security
-verification as a more general fault-tolerance
-solution applicable to functional safety.
+to functional safety.
 
 *Skills:* Functional Safety · Requirements Engineering · C++ ·
 TCL · Field-Programmable Gate Arrays (FPGA)
@@ -162,10 +124,6 @@ Feb 2005 - Dec 2012 · 7 yrs 11 mos
 I worked on software to verify security properties of
 FPGA designs. Formerly, I was the lead developer for
 TMRTool, an application used to prepare FPGA designs
-for deployment to high altitudes or space.I work on
-software to verify security properties of FPGA
-designs. Formerly, I was the lead developer for
-TMRTool, an application used to prepare FPGA designs
 for deployment to high altitudes or space.
 
 *Skills:* C++ · Field-Programmable Gate Arrays (FPGA)
@@ -176,9 +134,7 @@ Software Engineer
 
 Software development and graphic design for multi-modal user
 interfaces, including speech recognition, gesture
-recognition, and RFID.Software development and graphic
-design for multi-modal user interfaces, including speech
-recognition, gesture recognition, and RFID.
+recognition, and RFID.
 
 *Skills:* Visual Basic · Speech Recognition · C++ · Graphic Design*
 
@@ -196,19 +152,15 @@ Research Programmer
 Xerox PARC 1987 - 1989 · 2 yrs
 
 Assisted with research into graphics editing applications
-and text editing applications.Assisted with research into
-graphics editing applications and text editing applications.
-
+and text editing applications.
 *Skills:* Common Lisp
 
 ## Learning Research and Development CenterLearning Research and Development Center
 Programmer
 1985 - 1988 · 3 yrs
 
 Developed Intelligent Tutoring Systems and a patented method
-for creating graphical user interfaces.Developed Intelligent
-Tutoring Systems and a patented method for creating
-graphical user interfaces.
+for creating graphical user interfaces.
 
 *Skills:* Interlisp-D/Loops*Skills:* Interlisp-D/Loops