17401.
17402.
17403.
17404.
17405.
Why is it worth spending time on type theory? (2013)
(news.ycombinator.com)
17406.
17407.
Why is it worth spending time on type theory?
(news.ycombinator.com)
17408.
The Origin of Cisco Systems
(news.ycombinator.com)
17409.
Google’s AI coding agent Jules is now out of beta
(techcrunch.com)
17410.
This carrier now has a lock system that prevents you from using Developer Options
(androidauthority.com)
17411.
17412.
17413.
17414.
Survey reveals what you really think of Pixel 10 with built-in Qi2 magnets
(androidauthority.com)
17415.
17416.
17417.
NautilusTrader: Open-source algorithmic trading platform
(news.ycombinator.com)
17418.
17419.
Android may soon get its own version of Apple’s Hot Corners on Macs
(androidauthority.com)
17420.
NautilusTrader: Open-Source, High-Performance Algorithmic Trading Platform
(news.ycombinator.com)
17421.
See 6 Planets Align in the Night Sky This August
(wired.com)
17422.
Here’s an early look at Gboard’s Material 3 Expressive refresh (APK teardown)
(androidauthority.com)
17423.
17424.
Wired Called Our AirGradient Monitor 'Not Recommended' over a Broken Display
(news.ycombinator.com)
17425.
Japan: Apple Must Lift Browser Engine Ban by December
(news.ycombinator.com)
17427.
Murena’s Pixel Tablet is helping to wean me off Google
(arstechnica.com)
17428.
WhatsApp deletes over 6.8m accounts linked to scams, Meta says
(feeds.bbci.co.uk)
17429.
Samsung Galaxy Tab Active 5 rugged tablet drops to new record-low price!
(androidauthority.com)