engblogs

Using Z3, a theorem prover, to validate real world engineering on the OCaml compiler without prior compiler development familiarity.

Exploring methods for entity disambiguation using type discovery

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

Exploring the latest advancements in research requests.

Automatic stubbing of network requests to improve flakiness in automation testing

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

Achieving massive scalability with Kubernetes deployment

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

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

Using HAProxy with Kubernetes for managing user-facing traffic in SoundCloud's deployment platform

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

Optimizing neural networks by introducing L₀ regularization for sparsity learning