A Library for Parsing Dutch Smart Meter Requirements (DSMR)
(news.ycombinator.com)
1801.
1802.
1803.
Automated Lean Proofs for Every Type
(news.ycombinator.com)
1804.
1805.
1806.
WhatsApp not working on your Wear OS watch? Take this step
(androidauthority.com)
1807.
US opens Tesla probe after more crashes involving its "full self-driving"
(news.ycombinator.com)
1808.
Amazon’s newest Kindle accessory celebrates creative clutter
(androidauthority.com)
1809.
Aerocart cargo gliders
(news.ycombinator.com)
1810.
1811.
1812.
1813.
No more tapping menus: Waze intuitive voice reporting starts to roll out
(androidauthority.com)
1814.
Nearly half of drivers killed in (Ohio County) crashes had THC in their blood
(news.ycombinator.com)
1815.
‘The Leftovers’ Is Still One of TV’s Great Miracles
(gizmodo.com)
1816.
1817.
The neurons that let us see what isn’t there
(arstechnica.com)
1818.
Google Japan’s latest keyboard fever dream puts a new spin on rotary dialing
(androidauthority.com)
1819.
1820.
1821.
Steam and Microsoft warn of Unity flaw exposing gamers to attacks
(bleepingcomputer.com)
1822.
1823.
The QNX Operating System
(news.ycombinator.com)
1824.
1825.
Version History is live — here’s how to find it
(theverge.com)
1826.
Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces
(news.ycombinator.com)
1827.
1828.
1829.
Ars Live: Is the AI bubble about to pop? A live chat with Ed Zitron.
(arstechnica.com)
1830.
Tesla’s cheaper Model Y finally breaks cover
(theverge.com)