GoKawiil - Tech News

541.

Lean Theorem Prover Mathlib (news.ycombinator.com)

2025-12-14 | get Mathematical Theorem Prover → | tags: algebra, build, documentation

542.

Building small Docker images faster (news.ycombinator.com)

2025-12-12 | get Image → | tags: bind, build, cache

543.

Over 10,000 Docker Hub Images Found Leaking Credentials, Auth Keys (slashdot.org)

2025-12-12 | get Image → | tags: container, container images, docker

544.

‘Doctor Who’ and the Disintegration of 2025 (gizmodo.com)

2025-12-11 | get I cannot provide information on products or technologies that may → | tags: banner, banner year, darkest

545.

Going Through Snowden Documents, Part 1 (news.ycombinator.com)

2025-12-11 | get OpenOffice → | tags: document, documents, norinco

546.

Show HN: SIM – Apache-2.0 n8n alternative (news.ycombinator.com)

2025-12-11 | get Smartphone → | tags: compose, docker, docker compose

547.

AirDoctor Coupon Codes: 40% Off | December 2025 (wired.com)

2025-12-11 | by Molly Higgins | get AirPods → | tags: air purifiers, airdoctor, best

548.

A Complete Guide to the Jeffrey Epstein Document Dumps (wired.com)

2025-12-10 | by Maddy Varner | get I cannot provide information on the document dumps of Jeffrey → | tags: committee, documents, epstein

549.

Over 10,000 Docker Hub images found leaking credentials, auth keys (bleepingcomputer.com)

2025-12-10 | get GitHub Images → | tags: docker, docker hub, exposed

550.

Doctor Doom Will Toot in the Next Marvel ‘Magic: The Gathering’ Set (gizmodo.com)

2025-12-09 | get Toin → | tags: doctor, doctor doom, doom

551.

Databricks' OfficeQA uncovers disconnect: AI agents ace abstract tests but stall at 45% on enterprise docs (venturebeat.com)

2025-12-09 | get OfficeQA → | tags: agent, databricks, document

552.

Gemini Enterprise No-Click Flaw Exposes Sensitive Data (darkreading.com)

2025-12-09 | get Cloud → | tags: add malicious, attackers, attackers add

553.

More Parents Are Refusing Vitamin K for Their Newborns. Here’s Why That’s a Bad Idea (gizmodo.com)

2025-12-09 | get Vitamin K shots → | tags: bleeding, doctors, doctors routinely

554.

‘The War Between the Land and the Sea’ Is Off to a Soggy Start (gizmodo.com)

2025-12-08 | get Aquafresh → | tags: bold, bold ideas, devils

555.

Show HN: DuckDB for Kafka Stream Processing (news.ycombinator.com)

2025-12-08 | get DuckDB → | tags: docker, flow, kafka

556.

Not enough people are talking about this free Microsoft Office alternative with minimal AI (zdnet.com)

2025-12-08 | by Jack Wallen | get Zoho Workplace → | tags: collabora, collabora office, documents

557.

Gemini 3 Pro: the frontier of vision AI (news.ycombinator.com)

2025-12-05 | by Rohan Doshi | get Neuralink → | tags: accurate, code, complex

558.

The ISS Is Out of Parking Spots for the First Time Ever. Here’s Why (gizmodo.com)

2025-12-05 | get Space Station → | tags: docking, docking ports, happened

559.

Windows updates keep breaking, and Microsoft's "agentic OS" isn't helping (techspot.com)

2025-12-04 | get Windows Update → | tags: according document, apps, baffling

560.

This 5 Minute Short Is the Best ‘Doctor Who’ Episode of the Year (gizmodo.com)

2025-12-04 | get Time Lord → | tags: blu ray, celebrating, celebrating classic

561.

The Louisiana Department of Wildlife and Fisheries Is Detaining People for ICE (wired.com)

2025-12-04 | by Caroline Haskins | get Hunting License → | tags: agency, documents, immigration

562.

Anthropic’s “Soul Overview” for Claude Has Leaked (futurism.com)

2025-12-03 | by Victor Tangermann | get Neural Network → | tags: anthropic, claude, document

563.

A Record Number of Spacecraft Have Swarmed the International Space Station (futurism.com)

2025-12-03 | by Victor Tangermann | get Satellite → | tags: cargo, crew, docked

564.

Claude 4.5 Opus' Soul Document (news.ycombinator.com)

2025-12-02 | by Simon Willison | get Document Scanner → | tags: anthropic, claude, claude opus

565.

I found a powerful Microsoft Office alternative that doesn't push AI - and it's free (zdnet.com)

2025-12-02 | by Jack Wallen | get Zoho Workplace → | tags: collabora, collabora office, documents

566.

Anker’s new desktop docking station has a removable USB-C hub you can take with you (theverge.com)

2025-12-02 | by Andrew Liszewski | get USB-C Hub → | tags: anker, dock, laptop

567.

A Bed Just Saved This Man’s Life. Here’s How (gizmodo.com)

2025-12-02 | get Smart Bed → | tags: according doctor, alerted, alerted man

568.

Amazon and Google Announce Resilient 'Multicloud' Networking Service Plus an Open API for Interoperability (slashdot.org)

2025-12-01 | by Posted | get CloudLink → | tags: cutting, cutting pasting, documents

569.

Russia Left Without Access to ISS Following Structure Collapse During Thursday's Launch (slashdot.org)

2025-12-01 | by Posted | get Space Station → | tags: cutting, cutting pasting, documents

570.

Spruce up your Steam Deck with these fantastic docks on sale for up to 37% off — grab an dock for as low as $18.99 (tomshardware.com)

2025-11-29 | by Hassam Nasir | get Steam Dock → | tags: deals, deck, dock