1 An Accurate Quadratic Formula - Pavel Panchekha (pavpanchekha.com) 4 points by soegaard 1265 days ago

2 Optimizing Pruning in Herbie - Pavel Panchekha (pavpanchekha.com) 2 points by soegaard 1035 days ago