Echo Nolan
Research Engineer
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolEcho Nolan is a Software Engineer based in New York with 16 years of experience who blends functional-programming rigor with systems-level backend work. He has contributed to high-profile open-source projects—helping harden the Mina cryptocurrency node's payment and transaction-pool logic, adding CLI payment verification and fixing race conditions and kademlia bugs—while also improving low-level Haskell networking primitives and tests. Echo pairs hands-on bug fixing and performance-minded refactors with clear technical writing, having improved Idris documentation and developer UX. That combination of careful exception handling, networking expertise, and documentation savvy makes him unusually effective at turning complex distributed systems into auditable, reliable software.
17 years of coding experience
3 years of employment as a software developer
none, Computer Science, none, Computer Science at Portland State University
Stackoverflow
1,151reputation
24kreached
8answers
12questions
Github Skills (30)
transaction10
documentations10
sphinx10
ocaml10
cryptocurrency10
transactionscope10
socket10
transactions10
blockchain10
sockets10
network10
error-handling10
transaction-manager10
haskell10
documentation10
Programming languages (19)
Github contributions (5)
MinaProtocol/mina
Dec 2018 - Jan 2020
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:140 commits, 127 PRs, 221 pushes in 1 year 1 month
Contributions summary:Echo focused on implementing and fixing bugs related to the payment functionality within the Mina protocol, including invalid payment handling, transaction pool management, and integrating the trust score system. They made improvements to the command-line interface (CLI) by adding a verify payment feature. Additionally, they improved logging and fixed race conditions and other bugs in kademlia and transaction pool.
minaethereumsecurityblockchainocaml
idris-lang/Idris-dev
Nov 2014 - Oct 2016
A Dependently Typed Functional Programming Language
Role in this project:Technical Writer
Technical WriterContributions:51 commits, 29 PRs, 67 comments in 1 year 11 months
Contributions summary:Echo primarily contributed to the project by adding documentation and correcting spelling errors. Their work included adding documentation files to the `idris.cabal` file, removing stray characters from a tutorial, and correcting spelling mistakes within the Sphinx documentation. The user also corrected a sentence about type syntax in the reference docs, added doc comments and deprecation warnings, and improved the FAQ answer on universes. Their contributions focused on improving the readability and accuracy of the project's documentation.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
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.