Axiom Math’s AI agents formally verified the Stacks Project, translating ~7,654 pages into about 16 million lines of Lean code. The company raised a $200 million Series A in March 2025, valuing it at $1.6 billion.
Key points
Translation: roughly 7,654 pages turned into about 16 million lines of computer-checked Lean code.
Funding: $200 million Series A round in March 2025, valuation $1.6 billion.
Sources
Lele Sadoughi brand launches 38-piece Ulta line
Lele Sadoughi brand launches a 38-piece collection at Ulta Beauty priced $28 to $58. The line follows a history of self-funded growth and a mask revenue boost.
Key points
38-piece collection at Ulta Beauty priced $28-$58
Produced half a million fashionable masks as a revenue stream
Sources
Camp Snap CS-8 Mini launch with 2.7K video and $149.99 price
Camp Snap CS-8 Mini is a new, smaller version of the retro digital camcorder, less than half the size of the original. It records up to 2.7K video on a 1/2.7-inch sensor and sells for $149.99 in four colors.
Key points
Size: less than half the size of the original CS-8.
Resolution: limited to 2.7K video with a 1/2.7-inch sensor.
Sources
Radiocentre Tuning In event shows 40.2 million weekly reach
Radiocentre Tuning In reports commercial radio reaches 40.2 million people each week and listening hours are up 21% over the past decade. The event examined audio’s impact on brand effectiveness.
Key points
Weekly reach: 40.2 million listeners
Listening hours increase: 21% over the past decade
Sources
- Original post
- buff.ly - Linked in the post
