Some more thoughts on random_page_cost

10 points | by blueshoess 12 hours ago