GoKawiil - Tech News

211.

Introduction to Formal Verification with Lean Part 1 (news.ycombinator.com)

2026-07-19 | tags: lean, formal verification, cryptography

212.

I burned all my tokens researching how to save tokens (news.ycombinator.com)

2026-07-19 | by Bartosz Kotrys | tags: quesma, claude max, tokenomics

213.

We’re Underestimating the Power of ‘One-in-a-Thousand-Year’ Solar Storms, NASA Warns (gizmodo.com)

2026-07-19 | tags: nasa, solar storms, geophysical research

214.

Our Approach to Bioresilience: Isomorphic Labs and Google DeepMind (news.ycombinator.com)

2026-07-18 | by Isomorphic Labs | tags: google deepmind, isomorphic labs, alphafold

215.

WordPress Core "wp2shell" RCE flaws get public exploits, patch now (bleepingcomputer.com)

2026-07-18 | tags: wordpress, wp2shell, cve-2026-63030

216.

Show HN: Find someone in the dark – light them or light yourself? (Three.js) (news.ycombinator.com)

2026-07-18 | tags: three.js, search-and-rescue, beacon

217.

Static search trees: 40x faster than binary search (2024) (news.ycombinator.com)

2026-07-17 | by Ragnar | tags: static search trees, algorithmica, ragnar grootkoerkamp

218.

Troubling new details emerge on diabetes ouster controversy (arstechnica.com)

2026-07-17 | tags: american diabetes association, diabetes care, trump administration

219.

A Popular Weight-Loss Trick Might Actually Make You Eat More (gizmodo.com)

2026-07-17 | tags: weight loss, water intake, calorie consumption

220.

Drive Faster Than the Speed Limit? You’ll Want to Read This (gizmodo.com)

2026-07-17 | tags: speed limit, researchers, driving habit

221.

Americans Cash in On the Popular Businesses People Can’t Stop Googling (feeds.feedburner.com)

2026-07-17 | by Amanda Breen | tags: ondeck, semrush, google searches

222.

The war on ‘woke science’ comes for space research (theverge.com)

2026-07-17 | by Georgina Torbet | tags: space research, office of management and budget, planetary society

223.

'Likweli': A new monkey species discovered in the Congo Basin (news.ycombinator.com)

2026-07-16 | by Mike Cummings | tags: congo basin, primate research, lomami national park

224.

EU Forces Google To Share Search Data, Open Android To Rivals (slashdot.org)

2026-07-16 | tags: google, android, search data

225.

Do Face Masks Help With Wildfire Smoke? Yes, But More Is Needed (wired.com)

2026-07-16 | by Matthew Korfhage | tags: wildfire smoke, pm 2.5, los angeles

226.

‘Reverse Recruiter’ Startup Wants You to Pay If Its AI Agent Finds You a Job (gizmodo.com)

2026-07-16 | tags: reverse recruiter, ai agent, startup

227.

What I Learned from Reimplementing 40 Multi-Agent LLM Papers (news.ycombinator.com)

2026-07-16 | tags: multi-agent, large language models, reimplementation

228.

NotebookLM is now Gemini Notebook (news.ycombinator.com)

2026-07-16 | by Josh Woodward | tags: gemini notebook, google ai ultra, google search

229.

NotebookLM is now Gemini Notebook, with 3.5 + Antigravity upgrade coming to AI Pro (9to5mac.com)

2026-07-16 | by Abner Li | tags: gemini, google, antigravity

230.

Google Search’s AI Mode can now handle tasks beyond the search bar (androidauthority.com)

2026-07-16 | tags: google, search, ai mode

231.

Google’s handy NotebookLM tool is dropping the worst part of its name (androidauthority.com)

2026-07-16 | tags: google, gemini notebook, notebooklm

232.

EU demands Google give AI rivals more access to Android (engadget.com)

2026-07-16 | by Daniel Cooper | tags: android, google, party

233.

Google is renaming NotebookLM to Gemini Notebook (theverge.com)

2026-07-16 | by Emma Roth | tags: google, gemini, notebooklm

234.

Prusa Research Founder Edition INDX launches — limited 1,000-unit run of revolutionary toolchanger mod now shipping (tomshardware.com)

2026-07-16 | by Denise Bertacchi | tags: core, hardware, indx

235.

The Oversight Board says leading AI models might be restricting free expression (engadget.com)

2026-07-16 | by Karissa Bell | tags: board, meta, models

236.

Google ordered to open Android and Search to rivals in Europe (theverge.com)

2026-07-16 | by Robert Hart | tags: access, android, engines

237.

Will making ‘replication studies’ easier to find help science self-correct? (feeds.nature.com)

2026-07-16 | by Singh Chawla | tags: original, pubpeer, replication

238.

Google Search AI is under fire after safety report slams its safeguards (Update) (androidauthority.com)

2026-07-15 | tags: google, media, search

239.

Google Search AI is under fire after safety report slams its safeguards (androidauthority.com)

2026-07-15 | tags: ai generated, ai overviews, google

240.

A most improbable astronaut just went to space (arstechnica.com)

2026-07-15 | tags: astronaut, menon, physician