John Soo
Software Engineer at Arista Networks
California, United States
Summary
🤩
Rockstar🎓
Top SchoolJohn Soo is a software engineer with 10 years of experience, currently building systems at Arista Networks after roles ranging from consulting to product development. He brings a functional-programming and math-first approach to designing reliable software, pairing full-stack craftsmanship from his Hack Reactor training with a multidisciplinary BA from Arizona State. Known for valuing organizational structure and incentives, he focuses on building inclusive teams and pragmatic engineering processes that scale. Based in Southern California, he blends hands-on implementation with a strong interest in programming languages and formal thinking. Outside work he pursues functional-programming explorations that inform clearer abstractions and safer code.
11 years of coding experience
5 years of employment as a software developer
Full-Stack Engineering, Full-Stack Engineering at Hack Reactor RemoteBachelor's Degrees:, Economics, Justice Studies, Mathematics, English Language and Literature, Bachelor's Degrees:, Economics, Justice Studies, Mathematics, English Language and Literature at Arizona State University
English
Stackoverflow
3reputation
897reached
0answers
1question
Github Skills (200)
ivy10
compile-time10
nix10
rest-api-documentation10
workspace10
vim10
spacemacs10
guix10
openapi-documentation10
javascript10
nixos10
linux10
emacs10
html10
configuration-language10
Programming languages (21)
Github contributions (5)
jsoo1/wlroots-ocaml
Jan 2021 - Sep 2021
OCaml bindings to wlroots [experimental]
Contributions:108 pushes, 2 branches in 8 months
ocaml-bindingsocamlwlrootsopam
jsoo1/guix-channel
Oct 2018 - Feb 2022
My corner of guix packages. They are either works in progress or have licenses that do not necessarily belong in a libre distribution.
Contributions:776 commits, 3 PRs, 476 pushes in 3 years 4 months
guixguixsd
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.