GoKawiil - Tech News

2611.

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

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

2612.

America Is Slow-Walking into a Polymarket Disaster (news.ycombinator.com)

2026-01-20 | by Saahil Desai | get Blockchain → | tags: kalshi, markets, media

2613.

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

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

2614.

The assistant axis: situating and stabilizing the character of LLMs (news.ycombinator.com)

2026-01-19 | get Language Model → | tags: assistant, axis, model

2615.

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

2616.

The Rise and Fall of the American Monoculture (slashdot.org)

2026-01-19 | by Posted | get Crop Rotation → | tags: algorithmic recommendation, american, american productions

2617.

Show HN: GitClassic.com, GitHub circa 2015 without JS & AI (news.ycombinator.com)

2026-01-19 | get GitHub → | tags: ask copilot, code, copilot

2618.

Retroid Pocket 6 launch hits another stumbling block after shipping delayed (androidauthority.com)

2026-01-19 | get Retroid Pocket 6 → | tags: oled, pocket, production

2619.

9to5Mac Daily: January 19, 2026 – App Store ads, OLED MacBook Pro (9to5mac.com)

2026-01-19 | by Seth Kurkowski | get OLED → | tags: apple, apple podcasts, daily

2620.

Asus Confirms It Won't Launch Phones in 2026, May Leave Android Altogether (slashdot.org)

2026-01-19 | by Posted | get Smartphone → | tags: altogether, asus, models

2621.

Signs point to a sooner-rather-than-later M5 MacBook Pro refresh (arstechnica.com)

2026-01-19 | get MacBook → | tags: apple, macbook, macbook pro

2622.

A Brief History of Ralph (news.ycombinator.com)

2026-01-19 | get I can't fulfill this request because it involves a → | tags: code, cursed, cursed lang

2623.

How I used GPT-5.2-Codex to solve a mystery bug and hosting nightmare - in under an hour (zdnet.com)

2026-01-19 | by David Gewirtz | get Language Model → | tags: chatgpt, code, codex

2624.

What it's like to be banned from the US for fighting online hate (news.ycombinator.com)

2026-01-19 | by Eileen Guo | get Virtual Reality → | tags: ballon, cases, hateaid

2625.

Deals: 24GB Mac mini $100 off, MacBook Air up to $280 off, Apple Thunderbolt Cable $31, more (9to5mac.com)

2026-01-19 | by Justin Kahn | get Macbook → | tags: affordable, amazon, apple

2626.

GLM-4.7-Flash (news.ycombinator.com)

2026-01-19 | get GLM-4.7-Flash → | tags: flash, glm flash, model

2627.

Samsung’s Mighty 49-Inch Odyssey Curved OLED Monitor Is 30% Off Today, Grab One Before They're Gone (cnet.com)

2026-01-19 | by See Full Bio | get OLED Monitor → | tags: best, deal, good

2628.

China Birth Rate Falls To Lowest Since 1949 (slashdot.org)

2026-01-19 | by Posted | get Smartphone → | tags: automation, automation productivity, china

2629.

iPhone 18 Pro selfie camera and Dynamic Island may be positioned on the left (9to5mac.com)

2026-01-19 | by Ben Lovejoy | get Camera → | tags: camera, dynamic, dynamic island

2630.

Claude Code costs up to $200 a month. Goose does the same thing for free. (venturebeat.com)

2026-01-19 | get Cloudflare → | tags: claude, claude code, code

2631.

The upsides to not fitting in with your company culture (feeds.feedburner.com)

2026-01-19 | get Innovation → | tags: behave, culture, culture fit

2632.

I Found 4 Items in My Kitchen That Could Be Leaking Microplastics Into My Food (cnet.com)

2026-01-19 | by See Full Bio | get Microbeads → | tags: bags, containers, food

2633.

A new Wine update could finally bring Adobe Photoshop to Linux (techspot.com)

2026-01-19 | tags: achieve, achieve truly, build

2634.

I tried vibe coding an app as a beginner - here's what Cursor and Replit taught me (zdnet.com)

2026-01-19 | by Tiernan Ray | get Cursor Replit → | tags: analysis, code, coding

2635.

10 things I learned from burning myself out with AI coding agents (arstechnica.com)

2026-01-19 | get Machine Learning → | tags: basic, claude, claude code

2636.

Robotics and world models are AI's next frontier, and China is already ahead of the West — research shows almost 13,000 robots deployed in 2025 alone (tomshardware.com)

2026-01-19 | by Jon Martindale | get Robotics → | tags: china, humanoid, humanoid robotics

2637.

Nuclear elements detected in West Philippine Sea (news.ycombinator.com)

2026-01-19 | by Bella Cariaso | get Plutonium → | tags: iodine, nuclear, philippine

2638.

What it’s like to be banned from the US for fighting online hate (technologyreview.com)

2026-01-19 | by Eileen Guo | get Virtual Reality → | tags: ballon, cases, hateaid

2639.

Because of Taylor Swift, I Tried an Acupressure Mat. Now I Can’t Live Without It (cnet.com)

2026-01-19 | by See Full Bio | get Acupressure Mat → | tags: acupressure, acupressure mat, body

2640.

I was a top 0.01% Cursor user, then switched to Claude Code 2.0 (news.ycombinator.com)

2026-01-19 | get Cursor → | tags: chat, claude, code