Home

About me

Software Geek. Generalist.

I'm an avid geek and a technology and (computer) science enthusiast

Personally, I spend a lot of time reading (scifi and fantasy are my jam when it comes to books; otherwise I spend a lot of time reading general articles on the web), playing video games, and eating more food than is healthy.

Professionally, I have over a decade of industry experience as a software engineer and engineering manager, with interests in distributed systems and software security. You can learn more about my work via my resume.

Writing

Stuff I've written

I enjoy writing and try to discuss my interests and work where I can.

Talks & Publications

I've given some talks and been interviewed over the years.

The talks below do not have the content available and are left for reference.

December 2022: I appeared on the PLTalk podcast to talk about rewriting software in Rust, and shared my experiences building Rust services and migrating production services.
April 2019: I gave a talk at a Facebook Developer summit in Lahore on writing secure applications.
September 2018: I gave a talk on Invariant Detector at the Facebook fellowship and emerging scholar summit.
May 2017: I gave a talk at the SurveyMonkey security friends series, talking about my work on Invariant Detector at Facebook.
November 2016: I gave a talk for the Pakistani developer community on building messenger bots.
December 2015: I gave a talk on stream processing at scale to an audience of students and engineers in Karachi and then in Lahore.

Projects

I have a lot of (somewhat half baked) projects.

trackmy.games

I built a small website and chrome extension that lets you track your game purchases across various stores and prevents you from purchasing things you already own.

Built with: Rust Rocket

halwa (Old)

I wrote a static site generator in Python which powered an older version of this site.

Built with: Python jinja2

hlisp (Old)

I wrote a lisp implementation in Haskell

Built with: Haskell

Hasnain Reads

I built a small web-app which communicates with Facebook to pull content I post, and display it on a web interface. This is paired with a messenger chat-bot to make it easy for me to publish content and update my reading list.

Built with: Rust Rocket

Suji

I wrote a static site generator in Rust to play around with data-driven blog design and ECS.

Built with: Rust ECS

NewsMap (Old)

I wrote a client-side JS app back in 2012 which showed news sources from all across the world.

Built with: Javascript jVectorMap

Khel

I built an online turn-based multiplayer game engine in pure Rust (for both the client and server) and implemented a couple of games I like to play on it.

Built with: Rust actix-web yew

Blocky (Old)

I wrote a C++ library for random linear network coding which was much faster than the implementation used in ENCODERS.

Built with: C++

ENCODERS

While at SRI, I worked on ENCODERS, adding access control support and observability.

Resume

More about my professional experience.

View My Resume

Hello!

You've come to my (Hasnain Lakhani's) deserted corner of the internet