Renzo C
Author at A Type of Programming
United States
Summary
🤩
Rockstar🎓
Top SchoolRenzo C is a software engineer and author with 17 years of experience building robust back-end systems, low-level device drivers, and distributed infrastructures across startups and research organizations. He specializes in Haskell and Nix, contributed to the Cardano-SL wallet backend for the Ouroboros PoS blockchain, and has hands-on experience with C/FreeRTOS for flight hardware as well as Python and web stacks. Currently he’s writing a book at atypeofprogramming.com that reframes programming around sound reasoning, types, and the meaning of problems for both newcomers and experienced developers. Renzo combines production-grade engineering with a taste for rigorous, playful thinking about software design, often favoring formal techniques and strong types to drive correctness. He brings a rare mix of practical systems experience—from satellites to crypto wallets—and a writer’s discipline for explaining complex ideas.
17 years of coding experience
7 years of employment as a software developer
Eng., Information Systems, Eng., Information Systems at Universidad Tecnológica Nacional
Spanish, English, Portuguese, French, Italian, German
Github Skills (8)
cryptocurrency10
cardano10
haskell10
blockchain10
database-management9
api8
testing8
apidoc8
Programming languages (15)
Github contributions (5)
input-output-hk/cardano-sl
Mar 2018 - Aug 2018
Cryptographic currency implementing Ouroboros PoS protocol
Role in this project:
Back-end Developer
Back-end DeveloperContributions:63 commits, 10 PRs, 56 pushes in 4 months
Contributions summary:Renzo primarily contributed to the Cardano-SL wallet backend. They added and modified Haskell files related to wallet functionality, including setup and configuration for build tools, improved exception handling, and enhanced address listing functionality. Their work involved core data structures and operations related to blockchain interactions, including actions, blocks, and transactions. Additionally, they addressed safe copying and serialization of database types and integrated testing for the wallet's list addresses endpoint, demonstrating both functional improvements and test coverage.
cardanocryptographyposadacryptographic
k0001/pipes-zlib
May 2013 - Jan 2022
Contributions:54 commits, 7 PRs, 13 pushes in 8 years 9 months
pythondealpipescompressed-datazlib
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.