# \#optimization

**URL:** https://forum.devtalk.com/tag/optimization/3331.md

[Latest](https://forum.devtalk.com/latest.md) · [Categories](https://forum.devtalk.com/categories.md) · [Tags](https://forum.devtalk.com/tags.md)

---

## [Thinking Elixir 295 - Is Your Type System Leaking?](https://forum.devtalk.com/t/thinking-elixir-295-is-your-type-system-leaking/237027)

<div class="topic-metadata">

**Author:** [@brainlid](https://forum.devtalk.com/u/brainlid)\
**Replies:** 0\
**Last updated:** [10 March 2026 12:24 UTC](https://forum.devtalk.com/t/thinking-elixir-295-is-your-type-system-leaking/237027 "2026-03-10T12:24:20Z")

</div>

Episode 295 of Thinking Elixir. News includes José Valim publishing a deep technical post on Elixir’s type system shift from DNFs to Lazy BDDs with eager literal intersections — cutting worst-case type checking from 10 s…

---

## [Thinking Elixir 294 - Compile Times, Language Servers, and Python, Oh My!](https://forum.devtalk.com/t/thinking-elixir-294-compile-times-language-servers-and-python-oh-my/236196)

<div class="topic-metadata">

**Author:** [@brainlid](https://forum.devtalk.com/u/brainlid)\
**Replies:** 0\
**Last updated:** [3 March 2026 13:14 UTC](https://forum.devtalk.com/t/thinking-elixir-294-compile-times-language-servers-and-python-oh-my/236196 "2026-03-03T13:14:24Z")

</div>

Episode 294 of Thinking Elixir. News includes the long-awaited Expert LSP releasing its first release candidate — the unified Elixir Language Server merging Lexical and Next LS — with monorepo support and early adopter f…

---

## [Reinforcement Learning for Business (Manning)](https://forum.devtalk.com/t/reinforcement-learning-for-business-manning/214755)

<div class="topic-metadata">

**Author:** [@ManningBooks](https://forum.devtalk.com/u/ManningBooks)\
**Replies:** 2\
**Last updated:** [16 September 2025 09:19 UTC](https://forum.devtalk.com/t/reinforcement-learning-for-business-manning/214755 "2025-09-16T09:19:51Z")

</div>

Reinforcement Learning for Business teaches the essentials of business optimization using reinforcement learning and AI models through relevant and useful business applications. Hadi Aghazadeh :rocket: What’s in …