OpenAIInterpretable machine learning through teaching
Exploring the principles of interpretable machine learning through educational methods
Jane StreetProofs (and Refutations) using Z3
Using Z3, a theorem prover, to validate real world engineering on the OCaml compiler without prior compiler development familiarity.
OpenAIDiscovering types for entity disambiguation
Exploring methods for entity disambiguation using type discovery
Ink and SwitchPixelpusher: Real-time peer-to-peer collaboration with React
A documentation of the Pixelpusher project, focusing on real-time peer-to-peer collaboration using React.
OpenAIRequests for Research 2.0
Exploring the latest advancements in research requests.
SoundCloudAutomatic Stubbing of Network Requests to Deflakify Automation Testing
Automatic stubbing of network requests to improve flakiness in automation testing
SoundCloudPageRank in Spark
Applying PageRank algorithm using Spark to navigate and analyze vast music collection in SoundCloud.
OpenAIScaling Kubernetes to 2,500 nodes
Achieving massive scalability with Kubernetes deployment
SoundCloudInsights 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.
Jane StreetWork 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.
SoundCloudHow SoundCloud Uses HAProxy with Kubernetes for User-Facing Traffic
Using HAProxy with Kubernetes for managing user-facing traffic in SoundCloud's deployment platform
OpenAIBlock-sparse GPU kernels
Efficient implementation of block-sparse GPU kernels for optimized performance.