David Richey
Software Engineer at Meta
Dallas, Texas, United States
Summary
🤩
Rockstar🎓
Top SchoolDavid Richey is a software engineer based in Dallas with 11 years of experience building developer-focused tools and improving developer workflows. Currently at Meta, he blends backend systems work with a passion for programming languages and functional programming, evidenced by contributions to high-profile open-source projects like rust-analyzer and Flow. He has practical JVM experience from implementing example bots in the popular Discord4J library and has shipped protocol testing frameworks at Amazon for IoT networking stacks. Outside core engineering, David has led large student organizations and mentoring centers, showing a talent for coordinating teams and improving learning processes. Colleagues would describe him as someone who makes complex tooling more approachable for other developers while keeping an eye on language design and static analysis.
11 years of coding experience
1 year of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at The University of Texas at Dallas
Github Skills (26)
ls10
apim10
javascript10
static-analysis10
event-handling10
discord10
autocomplete10
java10
javas10
type-system10
scip10
automation10
lang10
compiler-compiler10
api10
Programming languages (15)
Github contributions (5)
Discord4J/Discord4J
Feb 2016 - Feb 2022
Discord4J is a fast, powerful, unopinionated, reactive library to enable quick and easy development of Discord bots for Java, Kotlin, and other JVM languages using the official Discord Bot API.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:4 releases, 64 reviews, 549 commits in 6 years 1 month
Contributions summary:David primarily contributed to the implementation of example bots within the Discord4J library. They focused on creating and adding functionality to several bot examples, including ParrotBot, AccountBot, ReadyBot, and RoleBot. Their work involved utilizing core library features for event handling, message sending, and API interactions, demonstrating a solid understanding of the library's core functionalities. These examples showcase how to handle events, send messages, and perform various actions within a Discord bot, showcasing their expertise in the project's domain.
discordreactorbotdiscord-botjavadoc
rust-lang/rust-analyzer
Feb 2024 - Mar 2025
A Rust compiler front-end for IDEs
Role in this project:Back-end Developer
Back-end DeveloperContributions:25 reviews, 22 PRs, 51 comments in 1 year
Contributions summary:David primarily focused on enhancing the `rust-analyzer` project, contributing features related to language server protocol (LSP) and static analysis. Their work included the implementation of a new flag to exclude vendored libraries, modifying the SCIP output to correct symbol definitions, and the addition of a command to report unresolved references. Furthermore, the user made changes to the code by including build files in the virtual file system (VFS).
rustlsp-servercompileridefront-end
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.