GoKawiil - Tech News

211.

Set theory with types (news.ycombinator.com)

2025-11-22 | get Mathematical Theory → | tags: mathbb, mathbb mathbb, set theory

212.

The Download: how to survive a conspiracy theory, and moldy cities (technologyreview.com)

2025-11-12 | by Rhiannon Williams | get Smartphone → | tags: cities, conspiracy, conspiracy theories

213.

Radio Signal Crushes Alien Theory About Interstellar Comet 3I/ATLAS (gizmodo.com)

2025-11-11 | get Comet → | tags: alien, alien theory, atlas

214.

There Are Thousands of Aligned Holes in Peru. Researchers Think They Finally Know Why (gizmodo.com)

2025-11-10 | get Geophones → | tags: america, monument, monument south

215.

It’s never been easier to be a conspiracy theorist (technologyreview.com)

2025-10-31 | by Dorian Lynskey | get Google Nest Hub → | tags: conspiracy, information, internet

216.

What it’s like to be in the middle of a conspiracy theory (according to a conspiracy theory expert) (technologyreview.com)

2025-10-31 | by Mike Rothschild | get Emotional Intelligence book → | tags: conspiracy, disinformation, life

217.

Are you the asshole? Of course not!—quantifying LLMs’ sycophancy problem (arstechnica.com)

2025-10-31 | get science reference book → | tags: false, llms, models

218.

Exploring the Elegance and Applications of Complexity and Learning in Computer Science (computer.org)

2025-10-31 | by Jasmine Ang | get Meta Quest → | tags: computer, research, science

219.

Physicists Revive 150-Year-Old ‘Knot’ Theory to Explain Matter-Antimatter Mystery (gizmodo.com)

2025-10-31 | by Gayoung Lee | get science reference book → | tags: antimatter, knots, matter

220.

6 Times Einstein Missed the Mark, but Still Changed Physics (gizmodo.com)

2025-10-31 | by Gayoung Lee | get Amazon Echo Dot → | tags: einstein, physics, quantum

221.

How to create an OS from scratch (news.ycombinator.com)

2025-10-31 | get Google Nest → | tags: code, os, read

222.

New math revives geometry's oldest problems (news.ycombinator.com)

2025-10-31 | by Joseph Howlett | get Microsoft Surface Pro → | tags: enumerative, geometry, mathematicians

223.

Fringe Movement Claims the Entirety of Modern Physics Is Wrong (futurism.com)

2025-10-31 | get Chromecast → | tags: dark, physics, science

224.

Dead Internet Theory Lives: One Out of Three of You Is a Bot (gizmodo.com)

2025-10-31 | by Aj Dellinger | get Meta Quest → | tags: altman, bots, internet

225.

Axial twist theory (news.ycombinator.com)

2025-10-31 | get Microsoft Surface Pro → | tags: axial, body, left

226.

Axial Twist Theory (news.ycombinator.com)

2025-10-31 | get Microsoft Surface Pro → | tags: axial, body, left

227.

Paper Finds Earth May Have Been Terraformed by "Advanced Extraterrestrials" (futurism.com)

2025-10-31 | get Meta Quest → | tags: earth, endres, life

228.

Sam Altman Says He's Suddenly Worried Dead Internet Theory Is Coming True (futurism.com)

2025-10-31 | get Mindfulness meditation book → | tags: ai, entire, human

229.

Unix Conspiracy (1991) (news.ycombinator.com)

2025-10-31 | get political science book → | tags: conspiracy, control, theory

230.

Astrophysicists find no 'hair' on black holes (news.ycombinator.com)

2025-10-31 | by Matt Von Hippel | get Meta Quest → | tags: black, general, hole

231.

Everything is correlated (2014–23) (news.ycombinator.com)

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

232.

Everything Is Correlated (news.ycombinator.com)

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

233.

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

234.

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

235.

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

236.

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

237.

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

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

238.

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

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

239.

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

240.

The math is haunted (news.ycombinator.com)

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