John Wiegley
Principal Software Engineer at Positron AI
Sacramento, California, United States
Summary
🤩
Rockstar🎓
Top SchoolJohn Wiegley is a Principal Software Engineer with 25 years of systems and language-design experience, now focused on functional programming, Haskell, and formal verification with Coq. He has led technical strategy and engineering teams as CTO at Kadena and architected core components at DFINITY, bridging research-quality formal models with production blockchain systems. An influential open-source maintainer and Emacs contributor, he created the Ledger accounting tool and has shaped popular projects like Magit, use-package, and the Haskell Git API. His early career in C++ compilers, linkers, and debuggers gives him deep low-level insight that informs his current work on smart contracts, ZK initiatives, and AI inference tooling. Equally at home refactoring core libraries (libgit2) or adding high-level streaming utilities (conduit), he combines mathematical rigor—category theory and abstract algebra—with pragmatic engineering. Based in Sacramento, he publishes technical writing and mentors the community via IRC and extensive open-source collaboration.
25 years of coding experience
31 years of employment as a software developer
None, Philosophy, Computer Science, German, None, Philosophy, Computer Science, German at George Mason University
Persian, Spanish, German
Stackoverflow
7,072reputation
179kreached
33answers
2questions
monads
top-1%
haskell
top-5%
Github Skills (57)
sorting-algorithms10
dependency-management10
git10
libgit210
lib10
package-management10
nix10
scripting10
testing10
macros10
configuration-management10
conduit10
c1110
autoload10
magit10
Programming languages (30)
Github contributions (5)
jwiegley/use-package
Jun 2012 - Dec 2022
A use-package declaration for simplifying your .emacs
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:9 reviews, 619 commits, 223 PRs in 10 years 7 months
Contributions summary:John primarily contributed to the `use-package` project by enhancing its capabilities and usability. They implemented features such as adding support for the `:hook` directive, improving the handling of the :after keyword, and ensuring proper function autoloading. The changes aimed to improve the package's features and fix multiple bugs in the source code.
deferred-loadingelispkeymapautoloadsimplifying
jwiegley/git-scripts
Aug 2008 - Jan 2023
A bunch of random scripts I've either written, downloaded or clipped from #git.
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:9 reviews, 139 commits, 26 PRs in 14 years 7 months
Contributions summary:John contributed to the project by writing and updating shell scripts and Emacs Lisp code. Their work includes developing a pre-commit hook, modifying a dired extension for Git integration, and creating a Ruby script for flattening Git history. Additionally, the user merged several remote branches and addressed existing merge conflicts.
perl5script
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.