GoKawiil - Tech News

151.

Lean theorem prover mathlib (news.ycombinator.com)

2025-12-14 | related products | tags: algebra, build, documentation

152.

Lean Theorem Prover Mathlib (news.ycombinator.com)

2025-12-14 | related products | tags: algebra, build, documentation

153.

If a Meta AI model can read a brain-wide signal, why wouldn't the brain? (news.ycombinator.com)

2025-12-14 | related products | tags: brain, crystals, field

154.

Z8086: Rebuilding the 8086 from Original Microcode (news.ycombinator.com)

2025-12-13 | related products | tags: microcode, original, original microcode

155.

30 years of <br> tags (news.ycombinator.com)

2025-12-13 | related products | tags: build, code, javascript

156.

30 Years of <Br> Tags (news.ycombinator.com)

2025-12-13 | related products | tags: build, code, javascript

157.

Before You Buy This $20K Home Robot, There's Something You Should See (cnet.com)

2025-12-13 | by See Full Bio | related products | tags: home, household, humanoid

158.

AI advertising slop is on the rise. The cure? The STFU brand strategy (feeds.feedburner.com)

2025-12-13 | related products | tags: ad seconds, ad world, ads day

159.

Machine learning just helped researchers create the biggest 3D map of buildings around the world (techspot.com)

2025-12-13 | related products | tags: based researchers, billion, billion different

160.

Scientists Reveal Robot Small Enough to Travel Through Human Body (futurism.com)

2025-12-13 | by Frank Landymore | related products | tags: miskin, robot, robots

161.

Oliver sacks put himself into his case studies. What was the cost? (news.ycombinator.com)

2025-12-13 | by Rachel Aviv | related products | tags: felt, letter, sacks

162.

Hot phone deals: All Google Pixel 10 series devices are still on sale (androidauthority.com)

2025-12-13 | related products | tags: google, google pixel, pixel

163.

Reminder: Donate to win swag in our annual Charity Drive sweepstakes (arstechnica.com)

2025-12-12 | related products | tags: charity, charity drive, child

164.

Apple buys two new Cupertino buildings, pushing recent local real estate spend past $1B (9to5mac.com)

2025-12-12 | by Marcus Mendes | related products | tags: apple, buildings, estate

165.

OK, what’s going on with LinkedIn’s algo? (techcrunch.com)

2025-12-12 | by Dominic-Madori Davis | related products | tags: algorithm, linkedin, post

166.

How This CEO Balances Netflix Fame and the Demands of Leadership (feeds.feedburner.com)

2025-12-12 | related products | tags: beautiful, brokerage, brokerage world

167.

The Maker of the $20K Neo Robot Has a Deal for 10,000 of Its Humanoids (cnet.com)

2025-12-12 | by See Full Bio | related products | tags: deal, household, robot

168.

Samsung may have revealed the design of its rumored wide foldable (androidauthority.com)

2025-12-12 | related products | tags: device, fold, foldable

169.

Samsung's Galaxy Z TriFold Arrives in Korea, but Won't Come to the US Until 2026 (cnet.com)

2025-12-12 | by See Full Bio | related products | tags: display, fold, galaxy

170.

Oracle reportedly delays several new OpenAI data centers because of shortages — tight material and labor supply frustrate expansion plans, possibly by a year or more (tomshardware.com)

2025-12-12 | by Anton Shilov | related products | tags: building, capacity, center

171.

String theory inspires a brilliant, baffling new math proof (news.ycombinator.com)

2025-12-12 | by Joseph Howlett | related products | tags: folds, katzarkov, kontsevich

172.

String Theory Inspires a Brilliant, Baffling New Math Proof (news.ycombinator.com)

2025-12-12 | by Joseph Howlett | related products | tags: folds, katzarkov, kontsevich

173.

Apple Is Gonna Have a Very Loaded 2026 (gizmodo.com)

2025-12-12 | related products | tags: apple, apple lot, coming

174.

The Best Age-Tech Gadgets Tried and Tested by WIRED (wired.com)

2025-12-12 | by Simon Hill | related products | tags: device, home, older

175.

My favorite electric screwdriver just got replaced - and the upgrade is somehow cheaper (zdnet.com)

2025-12-12 | by Adrian Kingsley-Hughes | related products | tags: cordless, pixeldrive, price

176.

Fedora: Open-source repository for long-term digital preservation (news.ycombinator.com)

2025-12-12 | related products | tags: access, access type, build

177.

Baseus Inspire XH1 Headphones Review: Affordable Excellence (wired.com)

2025-12-12 | by Simon Cohen | related products | tags: baseus, bose, fold

178.

Broke your Galaxy Z TriFold display? Here’s how much you’ll pay (it’s a lot) (androidauthority.com)

2025-12-12 | related products | tags: costs, display, folding

179.

We went hands-on with the Galaxy Z TriFold. Here’s the good (and the bad) (androidauthority.com)

2025-12-12 | related products | tags: display, fold, galaxy

180.

‘Eat the frog’: How getting unpleasant things out of the way makes for a fulfilling day (feeds.feedburner.com)

2025-12-12 | related products | tags: advice, advice cope, centuries