Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: herbie Clear Filter

See How ‘First Steps’ Brought Herbie to Life in a Suitably Fantastic Manner

After stretching across movie screens this summer, Fantastic Four: First Steps is coming home next week. To celebrate, io9 has your first look at one of the behind-the-scenes featurettes being included—and it’s all about the unsung hero of the movie, the little robot that could, Herbie. The fifth member of a team that famously has the word “four” in its name, Herbie was the breakout star of First Steps. The adorable little ‘bot operated as the team’s jack-of-all-trades ally, from assisting Ben

Herbie detects inaccurate expressions and finds more accurate replacements

Herbie improving accuracy on the “Hamming” benchmark suite. Longer arrows are better. Each arrow starts at the accuracy of the original expression, and ends at the accuracy of Herbie’s output, in each case on random double-precision inputs. Herbie Project News The Herbie Developers Herbie is developed at UW PLSE, with contributions from a supportive community. The main contributors are Pavel Panchekha, Alex Sanchez-Stern, David Thien, Zachary Tatlock, Jason Qiu, Jack Firth, and James R. Wilc