Robert Y
System Engineer III at HRL Laboratories, LLC
Los Angeles, California, United States
Summary
🤩
Rockstar🎓
Top SchoolRobert Y is a seasoned systems engineer with 15 years of experience designing, migrating, and maintaining complex Linux, storage, virtualization, and network infrastructures across enterprise and datacenter environments. Currently System Engineer III at HRL Laboratories after a long tenure at AeroVironment, he combines hands-on skills in SAN/NAS, VMware/Hyper-V, Cisco/A10/F5 networking, backup and monitoring stacks, and identity/email systems with strong scripting (Bash/Perl) and automation experience. He’s reliably led large datacenter migrations, built resilient backup and monitoring platforms, and integrated diverse services via LDAP and Okta—often solving thorny operational problems others avoid. An active open-source contributor, he’s extended the Coalton language’s standard library and core features, showing a curiosity that spans low-level systems work to functional language design and even “rotating qubits” thinking. Based in Los Angeles, he brings pragmatic problem-solving, a proven 100% recovery mindset from prior backup roles, and a preference for shipping reliable, maintainable systems.
15 years of coding experience
15 years of employment as a software developer
California Polytechnic State University, San Luis Obispogranada hills high
English, Korean, Spanish
Github Skills (11)
numerics10
functional-programming10
numerical10
computation10
common-lisp10
numeric10
type-safety10
language-design9
data-structures8
data-structure8
algebraic-data-types8
Programming languages (14)
Github contributions (5)
coalton-lang/coalton
Aug 2021 - Sep 2022
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:11 releases, 852 reviews, 68 commits in 1 year
Contributions summary:Robert primarily contributed to the `coalton-lang/coalton` repository by implementing and extending the Coalton language's standard library and core features. Their work involved adding new data types, numerical operations for integers, floats, and fractions, and introducing functional programming utilities such as `COMPOSE`, `NEST`, `PIPE`, and short-circuiting boolean operations. The user also addressed several bugs related to code generation and type inference, further refining the language's core functionality.
common-lispfunctional-programming-languagefunctional-programmingtype-safety
stylewarning/formulador
Jul 2011 - May 2019
Render math formulas in 2D in your terminal!
Contributions:2 reviews, 67 commits, 2 PRs in 7 years 11 months
rendermathtypesettingformulasterminal
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.