GoKawiil - Tech News

29761.

Extracting verified C++ from the Rocq theorem prover at Bloomberg (news.ycombinator.com)

2026-01-20 | get Rocq theorem prover → | tags: browse, code, crane

29762.

Most plug-in hybrid drivers don't charge their cars, undermining the benefits (techspot.com)

2026-01-20 | get Electric motor → | tags: acknowledged, acknowledged problem, association

29763.

Most plug-in hybrid drivers don't charge their cars – and it undermines the benefits (techspot.com)

2026-01-20 | get Electric motor → | tags: acknowledged, acknowledged problem, association

29764.

I tried 0patch as a last resort for my Windows 10 PC - here's how it compares to its promises (zdnet.com)

2026-01-20 | by Cesar Cadenas | get Zero Patch → | tags: free, microsoft, october

29765.

The HUAWEI Mate X7 has the best cameras I’ve ever used on a foldable (androidauthority.com)

2026-01-20 | get Camera → | tags: fold, foldable, google

29766.

Everstone combines Wingify and ABTasty for $100M+ digital experience optimization platform (techcrunch.com)

2026-01-20 | by Jagmeet Singh | get Wingify → | tags: abtasty, combined, everstone

29767.

Linux kernel framework for PCIe device emulation, in userspace (news.ycombinator.com)

2026-01-20 | get Linux kernel → | tags: framework, operations, pcie

29768.

Data centers are now the fastest-growing part of US construction (techspot.com)

2026-01-20 | get Data Centers → | tags: ago read, apartment, apartment warehouse

29769.

This upcoming Android phone claims to last a whole week with its 10,001mAh battery (androidauthority.com)

2026-01-20 | get Battery → | tags: battery, just, phone

29770.

RCS for Business (news.ycombinator.com)

2026-01-20 | get Real-Time Communication System → | tags: allow, allow customers, analytics

29771.

Today's NYT Mini Crossword Answers for Tuesday, Jan. 20 (cnet.com)

2026-01-20 | by See Full Bio | get Crossword → | tags: author, bars, birthdate

29772.

Show HN: Artificial Ivy in the Browser (news.ycombinator.com)

2026-01-20 | get Artificial Ivy → | tags: cell, cells, cells grow

29773.

Don't use your router's USB port when these alternatives exist, a PC expert explains (zdnet.com)

2026-01-20 | by Cesar Cadenas | get Router → | tags: file, network, port

29774.

Should you opt for Windows 11 Home or Windows 11 Pro? A PC expert's upgrade advice (zdnet.com)

2026-01-20 | by Cesar Cadenas | get Windows 11 → | tags: features, home, microsoft

29775.

Legal Structures for Latin American Startups (2021) (news.ycombinator.com)

2026-01-20 | by Nathan Lustig | get Blockchain → | tags: cayman, corp, delaware

29776.

Why I recommend this cheap Motorola over budget phones by Samsung and TCL (zdnet.com)

2026-01-20 | by Cesar Cadenas | get Motorola → | tags: camera, moto, moto power

29777.

I'm a Fitness Expert and These Are My Go-To Pieces of Fitness Tech for 2026 (cnet.com)

2026-01-20 | by See Full Bio | get Fitness Tracker → | tags: apple, apple watch, cnet

29778.

Author Correction: Anthropogenic influences on major tropical cyclone events (feeds.nature.com)

2026-01-20 | by Patricola-Dirosario | get Climate Model → | tags: best, best experience, browser

29779.

Mistaken identity and the psychology of human recognition (feeds.nature.com)

2026-01-20 | get Facial Recognition System → | tags: best, best experience, browser

29780.

Fossil-fuel phase out is not enough: countries must remove atmospheric carbon (feeds.nature.com)

2026-01-20 | by Clarke | get Carbon Capture → | tags: best, best experience, browser

29781.

Study decision-making to understand how technology will affect behaviour (feeds.nature.com)

2026-01-20 | by Hechtlinger | get Artificial Intelligence → | tags: best, best experience, browser

29782.

US funding cuts harm aspiring young scientists, too (feeds.nature.com)

2026-01-20 | by Xuan | get Research Grants → | tags: best, best experience, browser

29783.

To gain public trust, make art central to science communication (feeds.nature.com)

2026-01-20 | by Kot | get Science Communication → | tags: best, best experience, browser

29784.

Reticulum, a secure and anonymous mesh networking stack (news.ycombinator.com)

2026-01-19 | get Ricci → | tags: connectivity, interface, network

29785.

Dr. Gladys West, whose mathematical models inspired GPS, dies at 95 (engadget.com)

2026-01-19 | get GPS → | tags: interview, models, state

29786.

The Fight for Warner Bros. Is Paramount’s Most Embarrassing Moment Yet (gizmodo.com)

2026-01-19 | get Streaming service → | tags: acquisition, bros, bros forced

29787.

The first new Marathon game in decades will launch on March 5 (arstechnica.com)

2026-01-19 | get Pokémon → | tags: announced, date, game

29788.

Today's NYT Connections: Sports Edition Hints and Answers for Jan. 20, #484 (cnet.com)

2026-01-19 | by See Full Bio | get Sportsbook → | tags: author, bars, birthdate

29789.

Today's Wordle Hints, Answer and Help for Jan. 20, #1676 (cnet.com)

2026-01-19 | by See Full Bio | get Wordle → | tags: answer, hint, hints

29790.

Today's NYT Strands Hints, Answers and Help for Jan. 20 #688 (cnet.com)

2026-01-19 | by See Full Bio | get Google → | tags: answers, hints, puzzle