GoKawiil - Tech News

12151.

Verified Dynamic Programming with Σ-types in Lean (news.ycombinator.com)

2025-10-31 | by Tanner Duve | related products | tags: let, maxdollars_spec, memo

12152.

Best Internet Providers in Bakersfield, California (cnet.com)

2025-10-31 | by See Full Bio | related products | tags: bakersfield, fiber, internet

12153.

Social Security Is Set to Dry Up Even Sooner. That's Why I'm Not Relying on It for Retirement (cnet.com)

2025-10-31 | by See Full Bio | related products | tags: money, plan, retirement

12154.

TechCrunch Mobility: Applied Intuition’s eye-popping valuation, the new age of micromobility, and Waymo’s wild week (techcrunch.com)

2025-10-31 | by Kirsten Korosec | related products | tags: bellan, company, micromobility

12155.

Dancing Naked on the Head of a Pin: The Early History of Microphotography (news.ycombinator.com)

2025-10-31 | related products | tags: collodion, dagron, end

12156.

Chinese Studio Wants to Bring Back Bruce Lee With AI (gizmodo.com)

2025-10-31 | by Aj Dellinger | related products | tags: ai, classics, film

12157.

Seriously, What Is ‘Superintelligence’? (wired.com)

2025-10-31 | by Lauren Goode | related products | tags: ai, drummond, goode

12158.

28 Years Later is a bleak fever dream with rage pumping through its veins (theverge.com)

2025-10-31 | by Charles Pulliam-Moore | related products | tags: 28, film, infected

12159.

Leaker doubles down on two key display changes for the iPhone 18 Pro (9to5mac.com)

2025-10-31 | by Marcus Mendes | related products | tags: 18, apple, display

12160.

An analysis of recent multithreading improvements for a smoother game (news.ycombinator.com)

2025-10-31 | related products | tags: game, parallel, particles

12161.

US Army Appoints Palantir, Meta, OpenAI Execs as Lt. Colonels (news.ycombinator.com)

2025-10-31 | by Wyatt Reed | related products | tags: 201, army, military

12162.

Something Big Is Twisting Mercury’s Crust (gizmodo.com)

2025-10-31 | by Passant Rabie | related products | tags: mercury, planet, sun

12163.

5 Big Things to Remember About ‘Squid Game’ Season 2 (gizmodo.com)

2025-10-31 | by Cheryl Eddy | related products | tags: game, gi, hun

12164.

This Galaxy Z Fold 7 dummy puts its ultra-thin design into perspective (androidauthority.com)

2025-10-31 | related products | tags: dummy, fold, galaxy

12165.

Let’s Talk About the Ending of ’28 Years Later’ (gizmodo.com)

2025-10-31 | by Germain Lussier | related products | tags: does, film, jimmy

12166.

YouTube is hiding an excellent, official high-speed Pac-Man mod in plain sight (arstechnica.com)

2025-10-31 | related products | tags: game, man, playables

12167.

Astronomers capture ultra-detailed image of nearby Sculptor galaxy (techspot.com)

2025-10-31 | by Shawn Knight | related products | tags: galaxy, large, nebulae

12168.

Do athletes need smart glasses? Meta and Oakley think so (androidauthority.com)

2025-10-31 | related products | tags: ai, glasses, hstn

12169.

I found a budget Motorola with a better battery than smartphones twice the price (zdnet.com)

2025-10-31 | by Cesar Cadenas | related products | tags: battery, moto, motorola

12170.

A Python-first data lakehouse (news.ycombinator.com)

2025-10-31 | related products | tags: bauplan, data, notebook

12171.

How to Design Programs 2nd Ed (2024) (news.ycombinator.com)

2025-10-31 | related products | tags: available, content

12172.

Klarna Now Has a Mobile Phone Service. It's Yet Another New Wireless Option for You (cnet.com)

2025-10-31 | by See Full Bio | related products | tags: klarna, mobile, says

12173.

How to Watch England vs. India From Anywhere for Free: Livestream 1st Test Cricket (cnet.com)

2025-10-31 | by See Full Bio | related products | tags: england, india, sports

12174.

Best Windows Laptop for 2025 (cnet.com)

2025-10-31 | by See Full Bio | related products | tags: gaming, laptop, laptops

12175.

What to expect at the next Samsung Galaxy Unpacked (engadget.com)

2025-10-31 | related products | tags: fold, galaxy, new

12176.

Cloudflare blocks record 7.3 Tbps DDoS attack against hosting provider (bleepingcomputer.com)

2025-10-31 | related products | tags: attack, cloudflare, data

12177.

Upgrading your Windows 10 laptop? This Dell model is my top choice for work and travel (zdnet.com)

2025-10-31 | by Cesar Cadenas | related products | tags: 14, dell, display

12178.

Reworking Memory Management in CRuby [pdf] (news.ycombinator.com)

2025-10-31 | related products | tags: available, content

12179.

Klong: A Simple Array Language (news.ycombinator.com)

2025-10-31 | related products | tags: array, klong, know

12180.

Malware-Laced GitHub Repos Found Masquerading as Developer Tools (news.ycombinator.com)

2025-10-31 | related products | tags: een, github, icu