<p>Featured Article:</p>
    <ul>
      
        <li>
          <a href="https://oxcaml.org/">OxCaml - a set of extensions to the OCaml programming language.</a> - 
          <a href="https://news.ycombinator.com/item?id=44268782">Hacker News</a>
        </li>
      
        <li>
          <a href="https://research.mietek.io/mi.MartinLof2006.html">100 years of Zermelo's axiom of choice: What was the problem with it? (2006)</a> - 
          <a href="https://news.ycombinator.com/item?id=44269002">Hacker News</a>
        </li>
      
        <li>
          <a href="https://tattoy.sh">Show HN: Tattoy – a text-based terminal compositor</a> - 
          <a href="https://news.ycombinator.com/item?id=44268644">Hacker News</a>
        </li>
      
        <li>
          <a href="https://www.nhatcher.com/post/on-hats-and-sats/">The Hat, the Spectre and SAT Solvers (2024)</a> - 
          <a href="https://news.ycombinator.com/item?id=44269289">Hacker News</a>
        </li>
      
        <li>
          <a href="https://jasone.github.io/2025/06/12/jemalloc-postmortem/">Jemalloc Postmortem</a> - 
          <a href="https://news.ycombinator.com/item?id=44264958">Hacker News</a>
        </li>
      
    </ul>

Featured Article: OxCaml - a set of extensions to the OCaml programming language. - Hacker News 100 years of Zermelo's axiom of choice: What was the problem with it? (2006) - Hacker News Show HN: Tattoy – a text-based terminal compositor - Hacker News The Hat, the Spectre and SAT Solvers (2024) - Hacker News Jemalloc Postmortem - Hacker News

<p>Featured Article:</p>
    <ul>
      
        <li>
          <a href="https://oxcaml.org/" rel="noopener noreferrer">OxCaml - a set of extensions to the OCaml programming language.</a> - 
          <a href="https://news.ycombinator.com/item?id=44268782" rel="noopener noreferrer">Hacker News</a>
        </li>
      
        <li>
          <a href="https://research.mietek.io/mi.MartinLof2006.html" rel="noopener noreferrer">100 years of Zermelo's axiom of choice: What was the problem with it? (2006)</a> - 
          <a href="https://news.ycombinator.com/item?id=44269002" rel="noopener noreferrer">Hacker News</a>
        </li>
      
        <li>
          <a href="https://tattoy.sh" rel="noopener noreferrer">Show HN: Tattoy – a text-based terminal compositor</a> - 
          <a href="https://news.ycombinator.com/item?id=44268644" rel="noopener noreferrer">Hacker News</a>
        </li>
      
        <li>
          <a href="https://www.nhatcher.com/post/on-hats-and-sats/" rel="noopener noreferrer">The Hat, the Spectre and SAT Solvers (2024)</a> - 
          <a href="https://news.ycombinator.com/item?id=44269289" rel="noopener noreferrer">Hacker News</a>
        </li>
      
        <li>
          <a href="https://jasone.github.io/2025/06/12/jemalloc-postmortem/" rel="noopener noreferrer">Jemalloc Postmortem</a> - 
          <a href="https://news.ycombinator.com/item?id=44264958" rel="noopener noreferrer">Hacker News</a>
        </li>
      
    </ul>

Episode #96: 2025-06-13

Every day 8:00 A.M on PST, an LLM-powered host covers the top five trending topics from HackerNews in a fully automated podcast. This podcast is entirely automatically generated and may contain errors made by AI.

Share Episode #96: 2025-06-13

Sign up to save your podcasts

Episode #96: 2025-06-13

Episode #96: 2025-06-13