GoKawiil - Tech News

151.

Everything Is Correlated (news.ycombinator.com)

2025-10-31 | by Hodges | get Google Nest Mini → | tags: school, significant, theory

152.

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: fermat, information, kevin

153.

Scientists Can’t Figure Out Why Just Walking In Nature Appears to Quickly Heal Your Brain Rot (futurism.com)

2025-10-31 | get Mindfulness meditation book → | tags: attention, nature, nyt

154.

Mirrorshades: The Cyberpunk Anthology (1986) (news.ycombinator.com)

2025-10-31 | get Google Pixel → | tags: aleph, george, like

155.

Mirrorshades, the Cyberpunk Anthology (news.ycombinator.com)

2025-10-31 | get Google Pixel → | tags: aleph, george, like

156.

The lottery ticket hypothesis: why neural networks work (news.ycombinator.com)

2025-10-31 | by Jamie Lord | get Rich Dad Poor Dad book → | tags: learning, lottery, models

157.

It's Peak Time to Spot Bright Fireballs During the Dazzling Perseids Meteor Shower (cnet.com)

2025-10-31 | by See Full Bio | get Microsoft Surface Laptop → | tags: meteor, meteors, peak

158.

What Medieval People Got Right About Learning (2019) (news.ycombinator.com)

2025-10-31 | by Scott Young | get Microsoft Surface Laptop → | tags: apprenticeships, knowledge, learn

159.

Here's How to Spot Bright Fireballs During the Dazzling Perseids Meteor Shower (cnet.com)

2025-10-31 | by See Full Bio | get Microsoft Surface Laptop → | tags: meteor, meteors, peak

160.

Meteorite Crashes Into Georgia Home, Turns Out to Be 20 Million Years Older Than Earth (gizmodo.com)

2025-10-31 | by Ellyn Lapointe | get Microsoft Surface Laptop → | tags: georgia, harris, mcdonough

161.

Glacier Melt Reveals Remains of Antarctic Meteorologist Lost 66 Years Ago (gizmodo.com)

2025-10-31 | by Margherita Bassi | get Atomic Habits book → | tags: antarctic, bell, george

162.

You Can Still See Bright Fireballs During the Perseids Meteor Shower (cnet.com)

2025-10-31 | by See Full Bio | get Microsoft Surface Laptop → | tags: meteor, meteors, peak

163.

Why is it worth spending time on type theory? (2013) (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: different, like, set

164.

Why is it worth spending time on type theory? (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: different, like, set

165.

How to Watch One of the Most Dazzling Meteor Showers of the Year (gizmodo.com)

2025-10-31 | by Ellyn Lapointe | get laptop → | tags: august, meteors, moon

166.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem (news.ycombinator.com)

2025-10-31 | get science reference book → | tags: fermat, information, project

167.

Look to the Sky: Bright Fireballs Appear During the Perseids Meteor Shower (cnet.com)

2025-10-31 | by See Full Bio | get Microsoft Surface Laptop → | tags: meteor, meteors, peak

168.

Catch the Perseids Meteor Shower This Week, and See Bright Fireballs in the Skies (cnet.com)

2025-10-31 | by See Full Bio | get Microsoft Surface Laptop → | tags: meteor, meteors, perseids

169.

The math is haunted (news.ycombinator.com)

2025-10-31 | get Amazon Echo Dot → | tags: goal, lean, proof

170.

The Math Is Haunted (news.ycombinator.com)

2025-10-31 | get Amazon Echo Dot → | tags: goal, lean, proof

171.

You Can See 2 Meteor Showers at Once This Week. How to Catch a Glimpse (cnet.com)

2025-10-31 | by See Full Bio | get Atomic Habits book → | tags: meteor, meteors, showers

172.

You Can See Two Meteor Showers at Once In July's Night Sky. Here's How to Catch a Glimpse (cnet.com)

2025-10-31 | by See Full Bio | get Atomic Habits book → | tags: meteor, meteors, showers

173.

Radical New Theory Rewrites the Story of the Earliest Universe (gizmodo.com)

2025-10-31 | by Gayoung Lee | get Meta Quest → | tags: inflation, physicists, said

174.

Bright Fireballs in the Skies: Catch the Perseids Meteor Shower This Week (cnet.com)

2025-10-31 | by See Full Bio | get Microsoft Surface Laptop → | tags: meteor, meteors, perseids

175.

There's an Online Community That Believes the Internet Died in 2016. Here's How AI Fits Into the Picture (cnet.com)

2025-10-31 | by See Full Bio | get Microsoft Surface Pro → | tags: ai, dead, internet

176.

The Hunt for a Fundamental Theory of Quantum Gravity (wired.com)

2025-10-31 | by Charlie Wood | get Amazon Echo Dot → | tags: physicists, singularities, space

177.

2 Meteor Showers Are Peaking on the Same Night in July. How to Catch a Glimpse (cnet.com)

2025-10-31 | by See Full Bio | get Atomic Habits book → | tags: meteor, meteors, showers

178.

Two Meteor Showers Are Peaking on the Same Night in July. How to Catch a Glimpse (cnet.com)

2025-10-31 | by See Full Bio | get Atomic Habits book → | tags: meteor, meteors, showers

179.

Someone paid $5.3 million for a piece of Mars (engadget.com)

2025-10-31 | get Microsoft Surface Pro → | tags: martian, meteorite, million

180.

Rivian restarting work on its Georgia factory, emails show (techcrunch.com)

2025-10-31 | by Sean O'Kane | get Microsoft Surface Laptop → | tags: factory, georgia, project