I'm Nick Zuber, a software engineer on the [secret] and devices teams at Robin, helping modernize the open office. Previously, I interned at Box as a tooling engineer where I helped work on ClusterRunner, which is an open source tool for horizontally optimizing tests & testing infrastructure.
In my spare time, I love to research and study certain areas of computer science. My current research interests span across programming language design, user experience and interaction, and type theory. In particular, I've been learning about fluid type systems: bringing static type analysis to dynamic programming languages through type inference at no cost.
I recently graduated with a BS in Computer Science and minor in Mathematics from University of Massachusetts Lowell, where I studied programming language design and gradual typing with Matteo Cimini, machine learning with Dr. Jerome J. Braun, and compiler architecture and design with Jay McCarthy.
Other things I enjoy: compilers, chess, graph theory, WebAssembly, crossword puzzles, OCaml, developer tooling, open source software, table tennis, classical piano, scented candles, and loving plants with all my heart.
Over the years I've has the pleasure of working with some amazing people and I've made some accomplishments along the way. You can take a look at my resume to see what I've been up to lately.
Graduated from University of Massachusetts Lowell with a BS in Computer Science and minor in Mathematics, focusing on metatheory of programming languages.
Accepted an offer to work full time at my favorite startup, Robin. I joined the front end engineering team to help build out our component library, developer build & release tools, and some cool new products.
Began my next internship at Box, joining the productivity engineering team.
I've always loved building developer tools as a hobby, and doing it professionally was just as fun.
Started my internship at Robin, joining the mobile team as a software engineer.
I got to learn a lot about what goes into building a new product and how to iterate quickly on ideas first hand, which was a cool experience.
Joined Veranda Outdoors for the summer and led a small team of developers and created a wholesale ordering platform.
Did some contract work for my university to create a web app that helped professors automate the class scheduling process.
Officially started attending college at University of Massachusetts Lowell, studying Computer Science and Mathematics.
I love working on side projects. Creating free & accessible software is something I'm really passionate about. All of my projects can be found on GitHub, but a few of my personal favorites are highlighted here.
Smarter GitHub notifications. Organize and score notifications based on importance and relevance.
Meterorite is the solution for managing your GitHub notifications by filtering out the ones that don't matter to you, scoring & sorting the one that matter based on personalized heuristics, and using desktop notifications.
ClusterRunner is a testing tool that makes it easy to execute test suites across your infrastructure in the fastest and most efficient way possible.
This project is run internally at Box on ~100,000 tests each day and speeds up the feedback loop by 300x. I created a caching layer for build artifacts and reworked the API.
Don't think I skipped out on the fun stuff; I also wrote an automatic garbage collector in C to compliment it.
Markup is a web app that lets people easily create and share rich TeX snippets. You can write snippets containing markdown and/or math typesettting - similar to the math typesetting you find in LaTeX distributions.
I made this to help myself and other students collaborate in our mathematics and CS courses. It was also a simple way to describe questions to professors over email, which was nice.
When I'm not reading about new things, I like writing about them. I've recently been posting all of my articles to Medium, but I've listed out a few of my favorites below:
February 2019, Medium article
My quest to solving the worlds most pressing issues: managing GitHub notifications. I talk about some ways that can help with this problem and finish by introducing Meteorite – a tool designed for making notifications smarter.
Evaluation contexts, typing rules, runtime semantic rules, and type soundness for a simply typed lambda calculus with various traditional language features.
We explore the effectiveness of linear discriminant analysis on a multi-class non-normally distributed dataset and try to identify the points of unreliablility so that we can attempt to counter it and produce more reliable results.
Reading not only helps me stay sane on the commutes to work, but it also helps me take deeper dives into topics of interest. Below is a collection of books and academic papers that I've enjoyed recently.
Things marked with an asterisk (*) denote something that I'm currently in the middle of reading.
Benejamin C. Pierce
All things type theory and metatheory on programming languages. Great read for brushing up on formal fundementals.
Facebook Inc, University of California, San Diego
All about the inner workings of Flow and how its gradual type system was implemented, and some of the design decisions that went into it.
Alain Bretto, Universite de CaenCaenFrance
Various different mathematical properties and their importance in regards to hypergraphs.
Ralph A. Finkler
Deep dives into programming language features and tradeoffs for when building and designing a programming language.