Ari Fordsham
Software Engineer
United Kingdom/Israel
- Driven to produce software to a high standard of correctness and maintainability, especially leveraging strong type systems, thorough testing and formal methods
- Encyclopedic knowledge of computer science, loves to learn and share knowledge
- Enthusiastic about developer effectiveness and efficiency
- Keen to increase efficiency via automation and contribute to CI/DevOps workflow
- Cares deeply about personal development and interpersonal/communication skills
Skills
Haskell Rust C C++ Scala OCaml Git JavaScript TypeScript Webpack QuickCheck EDSLs lambda calculus SAT solvers Nix PostgreSQL CI Docker AWS Google Cloud Platform Linux bash Plutus smart contracts
Experience
April 2023 - Present: Career break
- Building a cloud Linux deployment solution for device rentals and kiosks
- Worked on personal projects: a scheme interpreter and a Nix-like build system
- Fixed a bug in the Yesod web framework on behalf of Supercede
- Spearheaded a project to improve the performance and sustainability of Haddock, the official Haskell documentation tool
- Built arifordsham.com/queueing-app to refresh TypeScript and React skills
December 2022: Haskell consultant • Visonum
- Implemented geographical functionality into client’s web app using PostgreSQL and PostGIS
June 2022 - April 2023: Team lead, test automation • MLabs
- Led the greenfield development of the company’s core testing tool, to enable thorough testing of previously untestable Plutus smart contracts. Datatype-generic programming was used extensively. A SAT solver was utilized. The project has been open-sourced.
- Helped improve the in-house Nix-based build system
- Made important contributions to the in-house EDSL for smart contracts
October 2021 - June 2022: Lead developer, Cardano NFT bridge • MLabs
- Led development of a smart contract/bridge product for a client
May - September 2022: Haskell contractor • Migamake Pte
- Independently implemented a 1,200 LOC library to client specification using generics, custom lawful typeclasses, lenses and AWS S3 integration, with QuickCheck testing and continuous integration via Gitlab CI
March 2021: Haskell consultant • Zollhof
- Helped client overcome difficulties in using Haskell to rebuild their website
May 2020 - March 2021: Data analyst • RTA Global
- Independently built a dashboard to allow the client to visualize data from their ERP solution. Utilized Microsoft Power BI and Acumatica ERP. Solution now in daily use.
Education
Activity
Self-educated in Computer Science for over 15 years. Constantly driven to fully understand CS concepts and the requirements for writing extensible, maintainable code.
Functional Programming in Haskell online course from FutureLearn/University of Glasgow
2427 on Stack Overflow, Haskell tag badge
A number of articles on personal blog
- Github (Some personal projects, open source contributions and issues)
