Hockinson School District Rolls Out New Tool to Boost Student AchievementBy adminAugust 26, 20252 Charlotte, NC (Monday, August 25, 2025)—Starting in the 2025-26 school year, Washington State’s Hockinson School District (HSD) is partnering with…
This AI travel tool works hard while you sleepBy adminAugust 8, 20256 We may earn revenue from the products available on this page and participate in affiliate programs. Learn more › Whether…
This PDF tool is like a virtual assistant in your laptop — and it’s 76% offBy adminJuly 21, 20251 We may earn revenue from the products available on this page and participate in affiliate programs. Learn more › TL;DR: A…
A proof of concept tool to verify estimatesBy adminJune 30, 20250 This post was inspired by some recent discussions with Bjoern Bringmann. Symbolic math software packages are highly developed for many…
A tool to verify estimates, II: a flexible proof assistantBy adminMay 28, 20250 In a recent post, I talked about a proof of concept tool to verify estimates automatically. Since that post, I…