GoKawiil - Tech News

25891.

50 years of proof assistants (news.ycombinator.com)

2025-12-12 | get Virtual Assistant → | tags: isabelle, language, proof

25892.

Jim Carrey Wanted to Become the Grinch at All Costs (gizmodo.com)

2025-12-12 | get Grinch → | tags: character, christmas, christmas loathing

25893.

Google Translate Expands Live Translation To All Earbuds On Android (slashdot.org)

2025-12-12 | get Google Translate Earbuds → | tags: android, earbuds, feature

25894.

Today's NYT Connections: Sports Edition Hints and Answers for Dec. 13, #446 (cnet.com)

2025-12-12 | by See Full Bio | get Sportsbook → | tags: author, bars, birthdate

25895.

Amazon pulls its bad AI video recaps after Fallout fallout (engadget.com)

2025-12-12 | get Echo → | tags: amazon, fallout, feature

25896.

Reminder: Donate to win swag in our annual Charity Drive sweepstakes (arstechnica.com)

2025-12-12 | get Swag → | tags: charity, charity drive, child

25897.

Amazon Pulls AI Recap Video After ‘Fallout’ Mess (gizmodo.com)

2025-12-12 | get AI Recap → | tags: ai slop, amazon, amazon forced

25898.

Today's Wordle Hints, Answer and Help for Dec. 13, #1638 (cnet.com)

2025-12-12 | by See Full Bio | get Wordle → | tags: author, bars, birthdate

25899.

Arkansas drops PBS, citing costs and loss of federal funding (feeds.feedburner.com)

2025-12-12 | get PBS → | tags: access, access pbs, administration

25900.

Gemini is getting even better at handling natural conversations (androidauthority.com)

2025-12-12 | get Language Model → | tags: audio, conversation, gemini

25901.

PSA: You Can Play Diablo 4's Paladin Today, if You Preorder the Upcoming Expansion (cnet.com)

2025-12-12 | by See Full Bio | get Paladin → | tags: bundle, diablo, expansion

25902.

Online gaming escaped Australia's social media ban - but critics say it's just as addictive (feeds.bbci.co.uk)

2025-12-12 | get Virtual Reality Headset → | tags: australia, gaming, media

25903.

Google Translate expands live translation to all earbuds on Android (arstechnica.com)

2025-12-12 | get Google Translate Earbuds → | tags: android, earbuds, feature

25904.

Apple buys two new Cupertino buildings, pushing recent local real estate spend past $1B (9to5mac.com)

2025-12-12 | by Marcus Mendes | get Smartphone → | tags: apple, buildings, estate

25905.

New Kindle feature uses AI to answer questions about books (news.ycombinator.com)

2025-12-12 | by Molly Templeton | get E-reader → | tags: amazon, book, feature

25906.

‘Fate of the Old Republic’ Puts ‘Star Wars’ at an Incredible Crossroads (gizmodo.com)

2025-12-12 | get Galaxy → | tags: change, change relationship, forever

25907.

Rats Play DOOM (news.ycombinator.com)

2025-12-12 | get Game → | tags: ball, built, rats

25908.

Rats Play Doom (news.ycombinator.com)

2025-12-12 | get Doom Engine → | tags: ball, built, rats

25909.

AI order from Trump might be ‘illegal,’ Democrats and consumer advocacy groups claim (cnbc.com)

2025-12-12 | by Justin Papp | get Amazon Echo → | tags: house, order, state

25910.

In Defense of Matlab Code (news.ycombinator.com)

2025-12-12 | by Dystr Inc. | get Optimization Toolbox → | tags: code, language, math

25911.

React2Shell Exploits Flood the Internet as Attacks Continue (darkreading.com)

2025-12-12 | get Shell → | tags: activity, activity cve, application

25912.

26.2: Here are the security fixes for all of Apple’s operating systems (9to5mac.com)

2025-12-12 | by Marcus Mendes | get iOS → | tags: generation, generation later, ipad

25913.

Microsoft Wishes Xbox Game Pass Subscribers a Bloody Christmas With Mortal Kombat 1 (cnet.com)

2025-12-12 | by See Full Bio | get Xbox Game Pass → | tags: game, game pass, games

25914.

Do Kwon Gets 15 Years for $40 Billion Crypto Collapse as Victims Testify to Destruction He Caused (gizmodo.com)

2025-12-12 | get Blockchain → | tags: collapse, collapse terraform, crypto

25915.

Ukrainians sue US chip firms for powering Russian drones, missiles (arstechnica.com)

2025-12-12 | get Nuclear reactors → | tags: alleged, attacks, chips

25916.

How I download YouTube videos for free - 2 easy and reliable methods to do it (zdnet.com)

2025-12-12 | by Elyse Betters Picaro | get Streaming Device → | tags: download, linux, premium

25917.

Trump’s AI order may be ‘illegal,’ Democrats and consumer advocacy groups claim (cnbc.com)

2025-12-12 | by Justin Papp | get Artificial Intelligence → | tags: house, order, state

25918.

How This CEO Balances Netflix Fame and the Demands of Leadership (feeds.feedburner.com)

2025-12-12 | get Streaming device → | tags: beautiful, brokerage, brokerage world

25919.

Everything to Remember Before ‘Avatar: Fire and Ash’ (gizmodo.com)

2025-12-12 | get Fireproofing → | tags: blockbuster, blockbuster way, cameron

25920.

HomeKit Weekly: Homey’s new Matter Bridge app brings more smart home gear into HomeKit (9to5mac.com)

2025-12-12 | by Bradley C | get Matter Bridge → | tags: devices, home, homekit