30781.
30782.
AI will make formal verification go mainstream
(news.ycombinator.com)
30783.
Prediction: AI will make formal verification go mainstream
(news.ycombinator.com)
30784.
30785.
30786.
Texas is suing all of the big TV makers for spying on what you watch
(news.ycombinator.com)
30787.
30788.
30789.
Samsung’s Galaxy Z TriFold settles for 15W wireless charging — here’s why
(androidauthority.com)
30790.
30791.
Russia Hits Critical Orgs Via Misconfigured Edge Devices
(darkreading.com)
30792.
These ‘historical tours’ of modern offices capture just how banal work is
(feeds.feedburner.com)
30793.
Show HN: I built a fast RSS reader in Zig
(news.ycombinator.com)
30794.
30796.
30797.
No Graphics API
(news.ycombinator.com)
30798.
Instagram Bringing Vertical Video to TVs
(gizmodo.com)
30799.
Google’s latest stab at a virtual assistant sounds incredibly promising: Meet CC
(androidauthority.com)
30800.
30801.
30802.
30803.
30804.
Housing market inventory is still rising—but the pace of growth is slowing
(feeds.feedburner.com)
30805.
Alexa Plus’ website is live for some users
(theverge.com)
30806.
30807.
Not Getting Value From Your AI Investments? Here's What You're Missing.
(feeds.feedburner.com)
30808.
Google tests an email-based productivity assistant
(techcrunch.com)
30809.
Cellik Android malware builds malicious versions from Google Play apps
(bleepingcomputer.com)
30810.