Matthew Farkas-dyck
Software Engineer at Meta
Mountain View, California, United States
Summary
👤
Senior🎓
Top SchoolMatthew Farkas-dyck is a software engineer with 13 years of experience building compilers, system utilities, and production services, currently based in Mountain View and working at Meta. His background spans low-level system programming and compiler engineering (notably at Groq and contributions to GHC and toybox) as well as service-oriented roles at Google, Target, and startups. An active open-source contributor, he has extended core libraries in Agda and improved Haskell tooling such as hlint, reflecting deep expertise in type theory and functional languages. Trained as an aerospace engineer, he brings cross-disciplinary curiosity—spacecraft thermofluids and quantum gravity to music and MTG—that informs a rigorous, principled approach to software design. Colleagues describe him as a relentless student and problem-solver who pairs formal thinking with practical engineering to ship robust systems.
13 years of coding experience
8 years of employment as a software developer
Bachelor of Engineering - BE Aerospace Aeronautical and Astronautical/Space Engineering, Bachelor of Engineering - BE Aerospace Aeronautical and Astronautical/Space Engineering at Carleton University
Stackoverflow
656reputation
4kreached
1answer
11questions
Github Skills (37)
utilities10
agda10
system-programming10
compiler-development10
linux10
proof10
c1110
data-structure10
standard-library10
c1710
code-analysis10
data-structures10
functional-programming10
c-library10
common-library10
Programming languages (13)
Github contributions (5)
ghc/ghc
Mar 2015 - Nov 2022
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Role in this project:
Back-end Developer
Back-end DeveloperContributions:24 commits in 7 years 9 months
Contributions summary:Matthew primarily contributes to the Glasgow Haskell Compiler (GHC) codebase, focusing on extending the Arrow and ArrowChoice instances, and making other core library improvements. They've enhanced the compiler by adjusting and scrubbing partiality in key components like `CommonBlockElim`, contributing to the compiler's stability and correctness. The user's work further extends to cleaning up various code elements, including documentation and code quality.
ghcget-startednewcomershaskellcabal
agda/agda-stdlib
May 2019 - Jun 2019
The Agda standard library
Role in this project:Back-end Developer
Back-end DeveloperContributions:5 commits, 7 PRs, 40 comments in 27 days
Contributions summary:Matthew contributed to the Agda standard library, focusing on adding and refining core features within the Agda language. Their work involved adding new types, defining properties, and implementing various utilities, including those for list relations and recomputable types. The contributions directly modify the core library components, demonstrating a deep understanding of the Agda language and its capabilities. The commits reflect a focus on extending and improving the functionality of the library.
dependent-typesagdahomotopy-type-theorystandard-library
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.