Today’s biggest story revolves around significant strides in AI and computing performance, highlighted by Mistral’s release of Leanstral 1.5, a powerful, open-source formal verification AI model with 6 billion active parameters that achieves state-of-the-art results and real-world bug detection. AMD’s Instinct MI355X GPU also impresses by delivering competitive inference speeds for large language models at roughly half the cost of Nvidia’s Blackwell, signaling a shift in AI hardware economics. On the hardware front, Samsung confirmed plans to launch a rollable smartphone in 2028, advancing flexible display technology beyond foldables. Scientific curiosity was piqued by astrophysicists analyzing mysterious "little red dots" from the James Webb Space Telescope and planetary scientists reporting complex organic carbon on Martian rocks, notable findings that challenge existing cosmic and planetary knowledge. Meanwhile, security researchers exposed a privacy flaw in Apple’s Hide My Email service, underscoring ongoing concerns around digital privacy.
AI & Machine Learning
- Leanstral 1.5: Proof abundance for all: Mistral unveiled Leanstral 1.5, a free, open-source model tuned for formal verification in the Lean 4 proof system, achieving top accuracy on math benchmarks and finding previously unknown bugs in open-source codebases.
- Performance per dollar is getting faster and cheaper: AMD’s MI355X GPU delivers inference throughput competing closely with Nvidia Blackwell GPUs but at over twice the cost efficiency, reducing the AI hardware bottleneck amidst rising token demand.
- Show HN: Foundation, a different approach to software and AI: Introduction of Foundation, a full-stack substrate designed for event-driven, high-performance software systems with observability and multi-plane performance enforcement, tailored for teams managing evolving codebases.
Space & Science
- Astrophysicists Puzzle over Webb’s New Universe: Scientists analyze newly discovered “little red dots” from JWST images that might be novel black hole stars, potentially rewriting early-universe astrophysics.
- A martian rock has lots of carbon on it, and it's not clear why: NASA’s Perseverance rover found complex macromolecular carbon exposed on a Martian rock’s surface — a rare and intriguing discovery pointing to either organic or unknown geological origins.
- Giant trees have no trouble pumping water to top branches: new research: Researchers show that tall tropical Dipterocarp trees have hydraulic adaptations that maintain water supply to their highest branches, refuting theories about height-imposed limitations.
- Scientists Have Identified a New Fossil Species of Axolotl in Mexico: Discovery of Ambystoma quetzalcoatli, a new fossil axolotl species, enriches understanding of amphibian evolution in Mexico.
Security & Privacy
- Security Roundup: Apple’s Hide My Email Service Fails to Hide Your Email: Researchers revealed a vulnerability enabling attackers to uncover real email addresses behind Apple’s Hide My Email alias service, affecting all tested accounts.
- MSI Center – How to gain SYSTEM privileges in seconds: A detailed report exposes critical vulnerabilities in MSI Center (widely preinstalled on MSI hardware) allowing attackers to escalate privileges to SYSTEM quickly, showing risks in OEM software.
Consumer Hardware
- Samsung Eyes Rollable Smartphone Release 'in 2028': Samsung targets the first half of 2028 for launching its Z Slide rollable smartphone, featuring a flexible 10-inch OLED that extends mechanically, pushing beyond foldables.
- Amazon updated 2023’s Fire HD 10 tablet with 4GB of RAM: Amazon quietly refreshed the Fire HD 10’s 32GB model to include 4GB RAM up from 3GB, with a small price increase, amid ongoing hardware supply pressures.
- The Dune keypad device can be your meeting controller and more: Project Mirage’s Dune keypad offers a physical, USB-C connected 3-key controller that adapts key functions per app — aimed at simplifying video meeting controls and productivity shortcuts.
- This slim camera has a transparent LCD screen for a viewfinder: Godox launched the C100, an ultra-lightweight point-and-shoot with a transparent LCD that doubles as an optical viewfinder and light meter, priced at about $29 in China.
- Steam Controller Auto-Charge – pilot to magnetic charging puck using CV: Open-source web app using optical flow tracking and haptic feedback autonomously pilots Steam Controllers to their charging base for automatic docking.
Health & Environment
- The bottleneck might be the air in the room: Studies highlight how elevated indoor CO2 levels in meeting rooms degrade cognition and decision-making after an hour, urging better air ventilation for high-stakes brainwork.
- When the ability to smell goes away: Covid-19’s pandemic surge in anosmia and smell disorders has boosted awareness of smell’s crucial impact on quality of life and brain health.
- Food Preservatives May Increase the Risk of High Blood Pressure and Cardiovascular Disease: New longitudinal research links high intake of common food preservatives to increased risks of hypertension and cardiovascular problems.
Business & Industry
- Costco is the anti-Amazon: An analysis contrasts Costco’s minimal e-commerce and constrained assortment model with Amazon’s sprawling ultra-fast logistics, noting Costco’s steady revenue growth despite ignoring modern online shopping trends.
- Google DeepMind Unionization Talks Are Off to a Rocky Start: Early union negotiations at Google DeepMind are stalling amid absence of senior leadership and employee frustration with HR handling.
Entertainment & Media
- The fanfiction community is at war with AI — and itself: Fanfiction communities are testing questionable methods, including a browser skin detecting Anthropic’s Claude AI artifacts, to identify AI-written stories, sparking debate and confusion.
- All Hype, No Stamina: Why the Adult AI Chatbot Boom Finished Prematurely: The AI adult chatbot business — once hyped as a revolution for content creators — has largely faded due to backlash and ethical concerns from performers and consumers.
- Various new streaming releases and Fourth of July weekend tech sales are also highlighted, including discounted laptops, headphones, and SSDs from major retailers like Best Buy and Dell.
Other
- A device that revives eyeballs from dead donors could make eye transplants possible: Scientists developed “Eye-in-a-Care-Box,” a perfusion device that keeps detached eyeballs viable by providing oxygen and nutrients, potentially enabling functional eye transplants in the future.