
Interpretable machine learning through teaching
Exploring the principles of interpretable machine learning through educational methods

Proofs (and Refutations) using Z3
Using Z3, a theorem prover, to validate real world engineering on the OCaml compiler without prior compiler development familiarity.

Discovering types for entity disambiguation
Exploring methods for entity disambiguation using type discovery

Pixelpusher: Real-time peer-to-peer collaboration with React
A documentation of the Pixelpusher project, focusing on real-time peer-to-peer collaboration using React.

Requests for Research 2.0
Exploring the latest advancements in research requests.

Automatic Stubbing of Network Requests to Deflakify Automation Testing
Automatic stubbing of network requests to improve flakiness in automation testing

PageRank in Spark
Applying PageRank algorithm using Spark to navigate and analyze vast music collection in SoundCloud.

Scaling Kubernetes to 2,500 nodes
Achieving massive scalability with Kubernetes deployment

Insights from SoundCloud’s DeveloperBridge Trainee Program
Insights from SoundCloud's DeveloperBridge Trainee Program focuses on the collaboration between SoundCloud's People Team and engineering management to bring in junior engineers.

Work on the OCaml compiler at Jane Street!
Working on the OCaml compiler and toolchain at Jane Street to improve language features, type system, performance, profiling, debugging, documentation, and build automation.

How SoundCloud Uses HAProxy with Kubernetes for User-Facing Traffic
Using HAProxy with Kubernetes for managing user-facing traffic in SoundCloud's deployment platform

Block-sparse GPU kernels
Efficient implementation of block-sparse GPU kernels for optimized performance.