Ru Horlick
Computer Scientist at Input Output
UK, Hong Kong
Summary
🤩
RockstarRu Horlick is a computer scientist with a decade of backend engineering experience, specializing in robust, type-safe systems and functional programming—particularly in Haskell. Based in the UK with roots in Hong Kong, Ru has improved major open-source projects including the Glasgow Haskell Compiler, Cardano ledger and node implementations, and popular tools like Ormolu and IHP, focusing on better error reporting, schema generation, and protocol correctness. Their contributions span compiler parser/desugaring fixes, blockchain ledger and consensus code, and web framework schema tooling, showing a knack for both low-level language mechanics and high-integrity distributed systems. An environmental activist at heart, Ru explicitly aims to align technology with ecological and societal benefit, bringing purpose-driven engineering to high-impact open-source ecosystems.
11 years of coding experience
Stackoverflow
681reputation
61kreached
14answers
3questions
Github Skills (33)
application-framework10
parser10
postgresql10
app-framework10
ledger10
cicd10
implement10
cryptocurrency10
compiler-design10
cardano10
parsing10
parse10
blockchain10
ghc10
web-framework10
Programming languages (17)
Github contributions (5)
input-output-hk/cardano-sl
May 2018 - Nov 2018
Cryptographic currency implementing Ouroboros PoS protocol
Role in this project:
Back-end Developer
Back-end DeveloperContributions:108 commits, 82 PRs, 263 pushes in 6 months
Contributions summary:Ru primarily worked on the `cardano-sl` repository, a cryptocurrency implementation using the Ouroboros PoS protocol. Their contributions included moving tests for the lrc package, dealing with CI failures, and bumping stack2nix. They also refactored and reorganized various modules within the core and chain directories of the repository.
cardanocryptographyposadacryptographic
IntersectMBO/cardano-ledger
Nov 2018 - Sep 2019
The ledger implementation and specifications of the Cardano blockchain.
Role in this project:Back-end Developer
Back-end DeveloperContributions:36 commits, 28 PRs, 38 pushes in 10 months
Contributions summary:Ru made several contributions focused on the ledger implementation and specifications of the Cardano blockchain. They added a Brittany check to the CI/CD pipeline, ensuring code style consistency. Further contributions involved interpreting and validating delegation certificates, updating references to the repository name, and making various changes to UTxO models for state machine testing. Finally, the user extended the transaction generators to take fees into account and replaced hashing functions with `Data.Hashable` versions.
blockchaincardanocryptocurrencyada
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.