John Knox

Software Engineer at Facebook

London, England, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
John Knox is a Software Engineer based in London with 13 years’ experience building secure, distributed systems for large-scale consumer products. He has shipped backend services, CI/CD pipelines and fault-tolerant data solutions at Amazon Video and now works on platform engineering at Facebook, bringing deep practical knowledge of DynamoDB-backed transactions, secure state machines and production monitoring. John pairs that systems expertise with front-end and documentation craftsmanship—contributing UX and docs improvements to high-profile open-source projects like Facebook Research’s MMF and the pyre-check type checker. He’s comfortable across the full stack, from penetration testing and security reviews to improving developer experience through tooling and documentation. Collected Cambridge computer science training and a track record of shipping payment/transaction systems and Prime-integrated features underline his blend of rigor and product impact.
code12 years of coding experience
job4 years of employment as a software developer
bookBachelor of Arts (BA), Computer Science, Class II division 1, Bachelor of Arts (BA), Computer Science, Class II division 1 at University of Cambridge
languagesEnglish, French
stackoverflow-logo

Stackoverflow

Stats
25reputation
11kreached
2answers
2questions
github-logo-circle

Github Skills (17)

javascript10
website-development10
docusaurus10
documentation10
react9
html8
python8
css7
ruby-on-rails6
superclass6
android6
ruby6
java6
constructor6
static-analysis4

Programming languages (11)

MDXTypeScriptJavaC++HackRustObjective-C++OCaml

Github contributions (5)

github-logo-circle
facebook/pyre-check

Aug 2020 - Jan 2023

Performant type-checking for python.
Role in this project:
userFull-stack Developer
Contributions:19 commits in 2 years 5 months
Contributions summary:John's commits primarily focus on modifying the documentation website for the `pyre-check` project. They updated configurations to leverage internal-only content features, which involved integrating helper libraries and enabling fine-grained content control. The changes also include fixing broken links within the documentation and correcting navbar configurations. These modifications indicate a focus on improving the documentation and internal development experience.
typecheckercontrol-flow-analysispythoncode-qualityabstract-interpretation
facebookresearch/mmf

Aug 2020 - Mar 2022

A modular framework for vision & language multimodal research from Facebook AI Research (FAIR)
Role in this project:
userFront-end Developer
Contributions:12 commits in 1 year 6 months
Contributions summary:John primarily contributed to the website component of the MMF repository, focusing on enhancements related to documentation and user experience. Their commits involved integrating static documentation plugins, using helper libraries, and enabling fine-grained internal content support. They also upgraded Docusaurus and addressed broken links. These updates streamlined documentation and improved the user interface.
pytorchmodular-frameworkdialogvisionvision-language
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.
Request Free Trial
John Knox - Software Engineer at Facebook