The OCaml Planet RSS

LIVE ON TWITCH: https://twitch.tv/ThePrimeagen Become a backend engineer. Its my favorite site https://boot.dev/?promo=PRIMEYT This is also the best way to support me is to support yourself becoming a better backend engineer. Get in on Discord: https://discord.gg/ThePrimeagen Get in on Twitter: https://twitter.com/ThePrimeagen ### Got Something For Me to Read or Watch??: https://www.reddit.com/r/ThePrimeagenReact/

LIVE ON TWITCH: https://twitch.tv/ThePrimeagen Become a backend engineer. Its my favorite site https://boot.dev/?promo=PRIMEYT This is also the best way to support me is to support yourself becoming a better backend engineer. Get in on Discord: https://discord.gg/ThePrimeagen Get in on Twitter: https://twitter.com/ThePrimeagen ### Got Something For Me to Read or Watch??: https://www.reddit.com/r/ThePrimeagenReact/

The OCaml community participated in the December 2024 round of [Outreachy internships](https://www.outreachy.org). One intern worked on a tool for diffing OCaml APIs. This meeting was an opportunity for our intern to present their work and for ...

Jane Street is a trading firm that uses a variety of high-performance systems built in OCaml to provide liquidity to financial markets worldwide. Over the last couple of years, we have started developing major extensions to OCaml’s type system, with the primary goal of making OCaml a better language for writing high-performance systems. In this talk, we will attempt to provide a developer's-eye view of these changes. We’ll cover two major directions of innovation: first, the addition of modal types to OCaml, which opens up a variety of ambitious features, like memory-safe stack-allocation; type-level tracking of effects, and data-race freedom guarantees for multicore code. The second is the addition of a kind system to OCaml, which provides more control over the representation of memory, in particular allowing for structured data to be represented in a cache-and-prefetch-friendly tabular form. Together, these features pull together some of the most important features for writing high performance code in Rust, while maintaining the relative simplicity of programming in OCaml. In all of this, we will focus less on the type theory, and more on how these features are surfaced to users, the practical problems that they help us solve, and the place in the design space of programming languages that this leaves us in. Read the full transcript here: https://www.janestreet.com/tech-talks/making-ocaml-safe-for-performance-engineering/

LIVE ON TWITCH: https://twitch.tv/ThePrimeagen Become a backend engineer. Its my favorite site https://boot.dev/?promo=PRIMEYT This is also the best way to support me is to support yourself becoming a better backend engineer. Get in on Discord: https://discord.gg/ThePrimeagen Get in on Twitter: https://twitter.com/ThePrimeagen ### Got Something For Me to Read or Watch??: https://www.reddit.com/r/ThePrimeagenReact/

LIVE ON TWITCH: https://twitch.tv/ThePrimeagen Become a backend engineer. Its my favorite site https://boot.dev/?promo=PRIMEYT This is also the best way to support me is to support yourself becoming a better backend engineer. Get in on Discord: https://discord.gg/ThePrimeagen Get in on Twitter: https://twitter.com/ThePrimeagen ### Got Something For Me to Read or Watch??: https://www.reddit.com/r/ThePrimeagenReact/

LIVE ON TWITCH: https://twitch.tv/ThePrimeagen Become a backend engineer. Its my favorite site https://boot.dev/?promo=PRIMEYT This is also the best way to support me is to support yourself becoming a better backend engineer. Get in on Discord: https://discord.gg/ThePrimeagen Get in on Twitter: https://twitter.com/ThePrimeagen ### Got Something For Me to Read or Watch??: https://www.reddit.com/r/ThePrimeagenReact/

LIVE ON TWITCH: https://twitch.tv/ThePrimeagen Become a backend engineer. Its my favorite site https://boot.dev/?promo=PRIMEYT This is also the best way to support me is to support yourself becoming a better backend engineer. Get in on Discord: https://discord.gg/ThePrimeagen Get in on Twitter: https://twitter.com/ThePrimeagen ### Got Something For Me to Read or Watch??: https://www.reddit.com/r/ThePrimeagenReact/

LIVE ON TWITCH: https://twitch.tv/ThePrimeagen Become a backend engineer. Its my favorite site https://boot.dev/?promo=PRIMEYT This is also the best way to support me is to support yourself becoming a better backend engineer. Get in on Discord: https://discord.gg/ThePrimeagen Get in on Twitter: https://twitter.com/ThePrimeagen ### Got Something For Me to Read or Watch??: https://www.reddit.com/r/ThePrimeagenReact/

Over the last 10 years we've seen Machine Learning consume everything, from the tech industry to the Nobel Prize, and yes, even the ML acronym. This rise in ML has also come along with an unprecedented buildout of infra, with Llama 3 now reaching 4e25 floating point operations, or 40 yottaflops, or 40 trillion trillion floating point operations. To build these ML models, you need ML systems, like PyTorch. In this talk, Horace will (attempt to) answer: - How have ML systems evolved over time to meet the training needs of ML models? How does building ML systems differ from regular systems? - How do we get the most out of a single GPU? What's the point of compilers if we're just training a single model? - And what is the right way to think about scaling to 10s of thousands of GPUs?