GoKawiil - Tech News

121.

Broken Proofs and Broken Provers (news.ycombinator.com)

2026-02-04 | get Proofs → | tags: bugs, definitions, isabelle

122.

Microsoft promises a big February patch - but will it fix what's broken with Windows 11 today? (zdnet.com)

2026-02-03 | by Cesar Cadenas | get Windows 11 → | tags: device, microsoft, midi

123.

A Broken Heart (news.ycombinator.com)

2026-02-01 | get Heartbreak → | tags: color, color emoji, emoji

124.

TikTok says it’s still working to resolve ‘cascading systems failure’ (9to5mac.com)

2026-01-27 | by Chance Miller | get Byte → | tags: broken, outage, power

125.

Is TikTok down? Why your feed is suddenly glitchy or broken (zdnet.com)

2026-01-26 | by Nina Raemont | get Instagram → | tags: center, page, sunday

126.

TikTok in the US is already broken in some ways, here’s why (9to5mac.com)

2026-01-26 | by Ryan Christoffel | get Byte → | tags: center, data center, issues

127.

TikTok USA is broken (theverge.com)

2026-01-26 | by Dominic Preston | get Instagram → | tags: issues, problems, tiktok

128.

$3,000 RTX 5090 delivery brings rocks, a towel, and broken dreams — unboxing nightmare on an expensive GPU bought from Amazon Resale (tomshardware.com)

2026-01-24 | by Hassam Nasir | get GPU → | tags: amazon, bought, ordered

129.

Gmail’s spam filter and automatic sorting are broken (theverge.com)

2026-01-24 | by Terrence O'Brien | get Email client → | tags: banner, banner messages, bypassing

130.

Telly’s "free" ad-based TVs make notable revenue—when they’re actually delivered (arstechnica.com)

2026-01-23 | get Smart TV → | tags: broken, lowpass, screen

131.

Telly has only delivered 35,000 of its free televisions with always-on ads (engadget.com)

2026-01-22 | get Smart TV → | tags: broken, free, quarterly

132.

Microsoft rushes out emergency updates to fix a broken Windows Patch Tuesday (techspot.com)

2026-01-19 | get Windows → | tags: band, band oob, began

133.

America's Housing Market Is Broken — Can This Technology Save It Before It's Too Late? (feeds.feedburner.com)

2026-01-19 | get Smart Home → | tags: affordability, affordability comes, clarity

134.

‘Zootopia 2’ Is Hollywood’s Biggest Animated Movie Ever (gizmodo.com)

2026-01-18 | get Disney → | tags: animated, animated movies, biggest

135.

Verizon Offers $20 Credit After Nationwide Outage Stranded Users in SOS Mode For Hours (slashdot.org)

2026-01-16 | by Posted | get Smartphone → | tags: broken, broken sakes, conceit

136.

Democrats ask Trump’s FTC to investigate Trump Mobile’s broken promises (arstechnica.com)

2026-01-15 | get iPhone → | tags: letter, mobile, today

137.

Claude Code CLI was broken (news.ycombinator.com)

2026-01-07 | get Linux → | tags: bug report, bugs, claude

138.

Claude Code CLI broken (news.ycombinator.com)

2026-01-07 | get Linux → | tags: bug report, bugs, claude

139.

Claude Code CLI Broken (news.ycombinator.com)

2026-01-07 | get Linux → | tags: bug report, bugs, claude

140.

Watch lists are broken. Federation could fix them. (theverge.com)

2025-12-23 | by Janko Roettgers | get Smartwatch → | tags: list, lists, netflix

141.

‘Fallout’ Season 2 Is a Slower, Smarter Follow-Up (gizmodo.com)

2025-12-16 | get Game Engine → | tags: adaptation, adaptation doesn, better

142.

This Group Pays Bounties to Repair Broken Devices—Even If the Fix Breaks the Law (wired.com)

2025-12-12 | by Boone Ashworth | get Smartphone → | tags: bounty, device, fulu

143.

iPhone Typos? It's Not Just You – The iOS Keyboard Is Broken [video] (news.ycombinator.com)

2025-12-11 | get Smartphone → | tags: comments

144.

Change management is broken. These 4 numbers explain why (feeds.feedburner.com)

2025-12-11 | get Project Management Software → | tags: alike, certain, certain uncertainty

145.

AMD FSR Redstone Looks Sharp on Paper, Plays Rough, Launches Broken (techspot.com)

2025-12-10 | get Graphics Card → | tags: amd fsr, big promises, disappoint

146.

AMD FSR Redstone Looks Sharp on Paper, Plays Rough, Launches Broken (techspot.com)

2025-12-10 | get Graphics Card → | tags: amd fsr, big promises, disappoint

147.

How I Disrupted a Stale, Broken Industry — and How You Can Do the Same (feeds.feedburner.com)

2025-12-08 | get Blockchain → | tags: broken, clarity, founders

148.

Why AI coding agents aren’t production-ready: Brittle context windows, broken refactors, missing operational awareness (venturebeat.com)

2025-12-07 | get Language Model → | tags: agent, agents, code

149.

Nvidia refuses to replace RTX 5080 FE GPU's broken 16-pin power connector retention clip — the owner says Nvidia is trying to 'burn my house down' (tomshardware.com)

2025-12-06 | by Luke James | get GPU → | tags: clip, connector, nvidia

150.

Meta says it's fixing its broken support system, with the help of AI (engadget.com)

2025-12-04 | get Artificial Intelligence → | tags: account, meta, recovery