GoKawiil - Tech News

23011.

Lean4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)

2025-11-23 | get Theorem Prover → | tags: correct, formal, lean

23012.

How to Spot a Counterfeit Lithium-Ion Battery (news.ycombinator.com)

2025-11-22 | by Andrew Moseman | get Battery → | tags: batteries, battery, cells

23013.

Waymo gets regulatory approval to expand across Bay Area and Southern California (techcrunch.com)

2025-11-22 | by Anthony Ha | get Autonomous driving system → | tags: area, california, san francisco

23014.

Today's NYT Connections Hints, Answers and Help for Nov. 23, #896 (cnet.com)

2025-11-22 | by See Full Bio | get Google Maps → | tags: answers, connections, group

23015.

Today's Wordle Hints, Answer and Help for Nov. 23, #1618 (cnet.com)

2025-11-22 | by See Full Bio | get Wordle → | tags: answer, hint, hints

23016.

A Reverse Engineer's Anatomy of the macOS Boot Chain and Security Architecture (news.ycombinator.com)

2025-11-22 | get Boot Chain Security Architecture → | tags: apple, boot, hardware

23017.

Are Astronomers Wrong About Dark Energy? (slashdot.org)

2025-11-22 | by Posted | get Cosmic Microwave Background → | tags: expansion, stars, study

23018.

The Go-Between (news.ycombinator.com)

2025-11-22 | by Brooke Kroeger | get The Product Name is: Facebook Messenger → | tags: daily, helen, later

23019.

Markdown is holding you back (news.ycombinator.com)

2025-11-22 | by Sept. | get GitHub → | tags: asciidoc, docbook, library

23020.

Markdown Is Holding You Back (news.ycombinator.com)

2025-11-22 | by Sept. | get GitHub → | tags: asciidoc, docbook, library

23021.

‘Game of Thrones’ Will Get a Proper Sequel, Eventually (gizmodo.com)

2025-11-22 | get Dragonstone → | tags: divisive, divisive finale, finale

23022.

Britain Sets New Record, Generating Enough Wind Power for 22 Million Homes (slashdot.org)

2025-11-22 | by Posted | get Wind Turbine → | tags: britain, cent, electricity

23023.

85+ Early Black Friday Deals on TVs, Laptops and AirPods to Grab Before the Holiday Rush Begins (cnet.com)

2025-11-22 | by See Full Bio | get Smartphones → | tags: best, black, black friday

23024.

You Must Read This Riveting Whistleblower Lawsuit About Allegedly Dangerous Robots (gizmodo.com)

2025-11-22 | get Robots → | tags: allegedly, allegedly dangerous, dangerous

23025.

Black Friday subscription deals 2025: Early sales on Apple TV+, MasterClass, Fubo, Rosetta Stone and more (engadget.com)

2025-11-22 | get Apple TV → | tags: best, black, black friday

23026.

Analyzing 47,000 ChatGPT Conversations Shows Echo Chambers, Sensitive Data - and Unpredictable Medical Advice (slashdot.org)

2025-11-22 | by Posted | get Chatbot → | tags: analyzed, chatbot, chatgpt

23027.

Amazon's Fire TV Stick 4K Max drops to $35 for Black Friday (engadget.com)

2025-11-22 | get Fire TV Stick → | tags: amazon, black, black friday

23028.

Depot (YC W23) Is Hiring a Staff Infrastructure Engineer (news.ycombinator.com)

2025-11-22 | get Depot → | tags: ability, debugging, depot

23029.

Black Friday deal: Get $50 off the Xreal One Pro smart glasses (engadget.com)

2025-11-22 | get Smart Glasses → | tags: black, black friday, deals

23030.

Microsoft isn't releasing a diversity report for 2025 (engadget.com)

2025-11-22 | get Cloud → | tags: diversity, inclusion, microsoft

23031.

Get $120 off Apple's Mac mini M4 for Black Friday (engadget.com)

2025-11-22 | get Mac Mini → | tags: apple, black, black friday

23032.

IRS crackdown on popular crypto 'tax cheat' begins with 2025 filing year (cnbc.com)

2025-11-22 | by Cheryl Winokur Munk | get Blockchain → | tags: crypto, digital, investors

23033.

780,000 Windows Users Downloaded Linux Distro Zorin OS in the Last 5 Weeks (slashdot.org)

2025-11-22 | by Posted | get Zorin OS → | tags: days, developers, downloads

23034.

Pick up the Google TV Streamer 4K for only $75 this Black Friday (engadget.com)

2025-11-22 | get Google TV → | tags: black, black friday, deals

23035.

Skyscanner Rolls Out a Triple Wave of Travel Deals for Black Friday, Cyber Monday, and Travel Tuesday (gizmodo.com)

2025-11-22 | get Google Maps → | tags: dent, dent wallet, destinations

23036.

Employee quits job over an Nvidia RTX 5060 — intern refused to hand in GPU won on an all-expense-paid business trip (tomshardware.com)

2025-11-22 | by Hassam Nasir | get GPU → | tags: employee, firm, intern

23037.

Employee quits job over an Nvidia RTX 5060 — intern asked to hand in GPU won on an all-expense-paid business trip, refused (tomshardware.com)

2025-11-22 | by Hassam Nasir | get GPU → | tags: employee, firm, intern

23038.

Our favorite action camera drops to a record low for Black Friday (engadget.com)

2025-11-22 | get Action camera → | tags: black, black friday, camera

23039.

Show HN: I turned algae into a bio-altimeter and put it on a weather balloon (news.ycombinator.com)

2025-11-22 | get Weather Balloon → | tags: altitude, lora, payload

23040.

The privacy nightmare of browser fingerprinting (news.ycombinator.com)

2025-11-22 | by Kevin Boone | get Fingerprint ID → | tags: browser, cookies, fingerprinting