1 An Accurate Quadratic Formula - Pavel Panchekha (pavpanchekha.com) 4 points by soegaard 248 days ago
2 Optimizing Pruning in Herbie - Pavel Panchekha (pavpanchekha.com) 1 points by soegaard 18 days ago