SOFTWARE ENGINEERING AND PROGRAMMING
Résumé
# Jimmy Hartzell: Rust Programmer Phone: 646-334-9882, Email: jah259@cornell.edu, Website: https://www.thecodedmessage.com/ ## Skills - Programming languages: Rust, C++, C, Haskell, Swift, Python, Objective-C, Bash, x86 assembly (32 and 64 bit) - Technologies: Linux systems/low-latency network programming, Tokio, Reflex FRP, Yocto, AWS, Ledger Nano S, Redis, C++ template metaprogramming ## Career Experience - Two Sigma: August 2024-Present, Rust Specialist * Technologies: Rust - Amtrak: July 2023-June 2024, Senior Principal Software Engineer * Technologies: C++, HP NonStop - Savant Systems: May 2021-June 2023, Senior Embedded Linux Software Developer * Technologies: Rust (incl. Tokio), Yocto, Swift, Objective-C, Redis * Wrote usermode Rust driver for Atmel energy meter * Made maintenance updates to a decades-old Objective-C codebase * Developed and implemented migration plans for core components of system architecture * Rewrote Swift microservices and frameworks into Rust * Added caching layers around accesses to legacy key-value store, and implemented bidirectional synchronization between it and Redis - Obsidian Systems: March 2018-May 2021, Software Development Consultant * Technologies: Haskell, Reflex FRP, C, Ledger Nano S, Nix, C++ * Full-stack Haskell application development * Worked with a variety of clients, with diverse corporate culture and organizational systems * Worked on Incremental View, a database research project for incremental queries on Postgres * Wrote apps in embedded C on Ledger Nano S (a platform w/ 4K of RAM) * Did trainings and talks on C++, Rust, blockchain, and Haskell - Tower Research: June 2013-March 2018, Senior Software Developer * Technologies: C++ (C++11, C++14), C++ template metaprogramming, Linux systems programming,
clang-format, valgrind, gdb, FIX protocol, Intel64 assembly * Risk platform, C++ development (2017-2018): + Wrote a new high-performance logging system + Led a small team to add new trade reconciliation systems to comply with EU regulations * Lead training instructor (2016-2018): + Developed and taught C++, networking, systems, and low-latency programming programming curriculum for new hires in US and India + Trained and mentored other instructors * FX trading desk, C++ development (2013-2016): + Mentorship: First line of defense for team member questions + Continuously made latency improvements for market data handlers + Developed new aggregator project to aggregate internal liquidity + Owned support for FX “last look” feature + Wrote/maintained handlers for many financial protocols - Moat: Feb 2011-March 2013, Infrastructure Developer * Technologies: Python, C++, Bash, AWS, S3 * Led a 3-member team to develop server discovery and deployment scripts * Scalable bloom filter implementation in C++ ## Education - Cornell University: Bachelors in Computer ScienceUSJIMMY HARTZELL
PROGRAMMING LANGUAGES AND COMPILERS
Recommended Reading for Programmers
Here are some resources I recommend for programmers. I am a systems programmer, thus my affection for Rust in particular and a general bias towards systems programming topics. # Recommended Rust Resources & Reading Here are a few links to materials that helped me get my bearings in Rust, and understand it deeper. Many of these are bog-standard, and the same materials others would recommend. This is a good thing. Rust is an extremely well-polished programming language with an excellent community. Trust them about the idioms. Trust the programming language. If you don’t understand why Rust made a certain decision, know that there is almost certainly a well-considered, important reason, and that includes its choices of commonly-recommended documentation.
PROGRAMMING LANGUAGES AND COMPILERS
Programmer Bio
I learned to program as a child in the 90’s back in the era when PCs came with sample games like
QBASIC Nibbles, with included code for hobbyists and learners to play around with. It was sheer luck that this random interest of mine turned out to be a marketable, employable skill. My personal story plays into the narrative of the driven young autodidact, usually male (guilty), usually socially awkward (eh) and extremely neurodivergent (you be the judge), who has that “genius” to be a “real programmer”, perhaps at the expense of other qualities. But this is not my take-away. Anyone can learn how to program, even if they don’t write a line of code – or even touch a computer – until arbitrarily late in life. And unlike other forms of math and logic, it is accessible even to young children, and should be taught in schools alongside other subjects.UNIVERSITYOBSIDIAN
ENERGY SOLAR AND RENEWABLE SYSTEMS
Political Views
Hello! These are some of my political views! I live in the United States, so many of these are from a US perspective, but I am more interested in policy than I am in partisan politics (not that I’m ignoring that, it’s just not as interesting)! Please feel free to send in additional information on these topics! Feel free also to request additional topics, and I might or might not add them!
UNITED STATES
CHILD AND FAMILY CARE
Personal Bio
# TL;DR I am an ADHD (hyperactive presentation) Pennsylvania Dutch millenial (1988) man, raised German Lutheran, (mostly) in small town Pennsylvania, in the United States. I have family and friends but I’m not going to write about them in detail here because that feels too private. # Life Story As a pre-school boy, I enjoyed pretending I was various animals I’d learn about from cartoons and books, especially pretending that I was the grey squirrel from the song “Grey Squirrel, grey squirrel, swish your bushy tail,” or the brief phase where I tried to insist I was a macaroni penguin. I enjoyed singing, and would often sing lullabies and children’s songs, or Christmas carols even when they were not in season. My parents could always entertain me or distract me easily with music.
NEW YORK CITYBROOKLYNCORNELL UNIVERSITYSCHOOL