GoKawiil - Tech News

1.

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

2026-02-04 | related products | tags: bugs, definitions, isabelle

2.

Someone turned Apple’s most annoying bugs into a scoreboard of wasted human time (9to5mac.com)

2026-01-31 | by Marcus Mendes | related products | tags: apple, bugs, bugs apple

3.

TikTok users “absolutely justified” in fearing MAGA makeover, experts say (arstechnica.com)

2026-01-27 | related products | tags: bugs, fears, literat

4.

TikTok users “absolutely justified” for fearing MAGA makeover, experts say (arstechnica.com)

2026-01-27 | related products | tags: bugs, fears, literat

5.

Why you need Microsoft's new emergency Windows patch - and the black-screen bug to watch for (zdnet.com)

2026-01-27 | by Lance Whitney | related products | tags: bugs, january, microsoft

6.

‘Looney Tunes’ Has Found a New Home: Turner Classic Movies (gizmodo.com)

2026-01-26 | related products | tags: arrival, arrival marathon, bugs

7.

The first big Windows update of 2026 is a glitchy mess - here's the full list of bugs and fixes (zdnet.com)

2026-01-26 | by Lance Whitney | related products | tags: bugs, microsoft, outlook

8.

Microsoft issues second emergency patch for Windows this month - update your PC today (zdnet.com)

2026-01-26 | by Lance Whitney | related products | tags: bugs, cloud, january

9.

The first big Windows update of 2026 has bugs: Outlook freezes, app errors, and how to fix them (zdnet.com)

2026-01-23 | by Lance Whitney | related products | tags: apps, bugs, microsoft

10.

Windows 11 hit by bevy of bugs to kick off 2026 - here's the roundup (zdnet.com)

2026-01-23 | by Lance Whitney | related products | tags: bugs, microsoft, outlook

11.

cURL Removes Bug Bounties (slashdot.org)

2026-01-21 | related products | tags: ai wielding, bug hunter, bugs

12.

Vulnerabilities Threaten to Break Chainlit AI Framework (darkreading.com)

2026-01-20 | related products | tags: ai chatbots, attackers, attackers dangerous

13.

Building a better Bugbot (news.ycombinator.com)

2026-01-16 | by Jon Kaplan | related products | tags: agentic, bugbot, bugs

14.

Vulnerabilities Surge, But Messy Reporting Blurs Picture (darkreading.com)

2026-01-15 | related products | tags: bugs, bugs wordpress, cves

15.

US Approves Sale of Nvidia's Advanced AI Chips To China (slashdot.org)

2026-01-14 | related products | tags: bugs, bugs thugs, freleng

16.

Scientists Found Something Unexpected in Pet Poop—and It’s Not Good (gizmodo.com)

2026-01-14 | related products | tags: antiparasitics, antiparasitics linger, bugs

17.

How Long Does It Take to Fix Linux Kernel Bugs? (slashdot.org)

2026-01-12 | by Posted | related products | tags: according blog, blog, blog post

18.

Systematically generating tests that would have caught Anthropic's top‑K bug (news.ycombinator.com)

2026-01-11 | by Jason Gross | related products | tags: bugs, compute, fractional

19.

Kernel bugs hide for 2 years on average. Some hide for 20 (news.ycombinator.com)

2026-01-08 | related products | tags: bugs, commit, commits

20.

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

2026-01-07 | related products | tags: bug report, bugs, claude

21.

Claude Code CLI broken (news.ycombinator.com)

2026-01-07 | related products | tags: bug report, bugs, claude

22.

Claude Code CLI Broken (news.ycombinator.com)

2026-01-07 | related products | tags: bug report, bugs, claude

23.

Linux kernel security work (news.ycombinator.com)

2026-01-02 | by Greg K-H | related products | tags: bugs, kernel, kernel security

24.

Debian maintainer criticizes email-managed bug tracker as outdated for modern development — there is a web interface for viewing, but email remains the only way to perform critical functions (tomshardware.com)

2026-01-02 | by Luke James | related products | tags: bugs, control, debian

25.

Why users cannot create Issues directly (news.ycombinator.com)

2026-01-02 | related products | tags: bugs, discussion, feature

26.

Stardew Valley players on the Nintendo Switch 2 get a free upgrade (engadget.com)

2025-12-27 | related products | tags: barone, bugs, free

27.

Test, don't just verify (news.ycombinator.com)

2025-12-23 | related products | tags: bugs, formal, formal verification

28.

Test, don't (just) verify (news.ycombinator.com)

2025-12-23 | related products | tags: bugs, formal, formal verification

29.

Test, Don't (Just) Verify (news.ycombinator.com)

2025-12-23 | related products | tags: bugs, formal, formal verification

30.

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (news.ycombinator.com)

2025-12-17 | related products | tags: bugs, correctness, distributed