Show HN: Cuq – Formal Verification of Rust GPU Kernels
(news.ycombinator.com)
19501.
19502.
I see a future in jj
(news.ycombinator.com)
19503.
19504.
19505.
Instagram rolls out custom icons … but only for teens
(techcrunch.com)
19506.
19507.
Save $200 on the Starlink Mini Kit and stay connected anywhere!
(androidauthority.com)
19508.
19509.
19510.
Google Gemini will arrive in GM cars starting next year
(engadget.com)
19511.
Hackers exploiting critical "SessionReaper" flaw in Adobe Magento
(bleepingcomputer.com)
19512.
19513.
19514.
David Sacks’ Craft leads $42M Series A in govtech startup Starbridge
(techcrunch.com)
19516.
JMAP for Calendars, Contacts and Files Now in Stalwart
(news.ycombinator.com)
19517.
Look, Another AI Browser
(news.ycombinator.com)
19518.
Willow quantum chip demonstrates verifiable quantum advantage on hardware
(news.ycombinator.com)
19519.
Instagram rolls out custom icons…but only for teens
(techcrunch.com)
19520.
19521.
19522.
19523.
19524.
19525.
19526.
Google demonstrates 'verifiable quantum advantage' with their Willow processor
(news.ycombinator.com)
19527.
The Woman Behind the Legendary ‘Alien’ Tagline Has Died
(gizmodo.com)
19528.
19529.
Why GM will give you Gemini — but not CarPlay
(theverge.com)
19530.
Meta cuts 600 AI jobs amid ongoing reorganization
(techcrunch.com)
Today's top topics:
apple
openai
google
anthropic
nasa
amazon
artemis ii
microsoft
android authority
meta