30 results

  1. Speeding up GROUP BY in PostgreSQL

    www.cybertec-postgresql.com

  2. The Unexpected Find That Freed 20GB of Unused Index Space

    hakibenita.com

  3. Why is Idris 2 so much faster than Idris 1?

    www.type-driven.org.uk

  4. Winter is coming even more quickly

    www.joachim-breitner.de

    1. Introduction
    2. Part 1 - Vectors
    3. Part 2 - SPECIALIZE
    4. Part 3 - Difference Lists
    5. Part 4 - Export Lists
    6. Part 5 - Eta-expanding ReaderT
    7. Part 6 - Simpler Code
    8. Part 7 - The Zipper
    9. Statistics (the making-of)

  5. Writing Custom Optimization Passes

    reasonablypolymorphic.com