GoKawiil - Tech News

1291.

Palomar: A registry of Lean verified mathematics (news.ycombinator.com)

2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories

1292.

Meta's blockbuster trial draws parallels to big tobacco (news.ycombinator.com)

2026-08-19 | tags: meta, big tobacco, trial

1293.

OpenAI Reportedly Just Gave Investors Bad News on Eventual Profitability (gizmodo.com)

2026-08-19 | tags: openai, investors, profitability

1294.

Show HN: Automatically detect and patch walking-dead states in Sierra games (news.ycombinator.com)

2026-08-19 | tags: sierra, king's quest, leisure suit larry

1295.

OpenLogi (news.ycombinator.com)

2026-08-19 | tags: logitech, mx master, options+

1296.

The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (news.ycombinator.com)

2026-08-19 | by Nk Koh | tags: binh chau, tang belitung, changsha wares

1297.

California AG Bonta says case against Meta is about 'restitution and distortion,' not damages (cnbc.com)

2026-08-19 | by Jonathan Vanian | tags: meta platforms, mark zuckerberg, california attorney general

1298.

That Disgraceful, Disreputable, (Wonderful) Form of Punctuation: The Parenthesis (news.ycombinator.com)

2026-08-19 | tags: shakespeare, french dialogue, punctuation

1299.

Tiny satellite will use the dark side of the Moon as a shield (news.ycombinator.com)

2026-08-19 | tags: cosmology, cosmocube, university of cambridge

1300.

Inside Big Tech’s Frantic Race to Quell the Growing Backlash to AI (feeds.content.dowjones.io)

2026-08-19 | tags: big tech, data centers, listening sessions

1301.

China-Linked Hacker Shows AI Capabilities in APAC Attack (darkreading.com)

2026-08-19 | by Robert Lemos | tags: ai agents, dream ai, openclaw

1302.

Sticky wage norms and the real wage cost of unexpected inflation (news.ycombinator.com)

2026-08-19 | tags: sticky wages, wage norms, inflation

1303.

Scientists stunned by children's lung recovery in ultra low emission zone (news.ycombinator.com)

2026-08-19 | by Smitha Mundasad | tags: queen mary university, london, air pollution

1304.

New GTA 6 gameplay just leaked, and Rockstar can't take it down fast enough (techspot.com)

2026-08-19 | by Daniel Sims | tags: gta 6, rockstar games, cyberleek

1305.

Cerebras CS-4 (news.ycombinator.com)

2026-08-19 | tags: cerebras cs-4, wafer io, wafer i/o module

1306.

New Google Ad Shows a Mysterious Wearable. Is It the Next Fitbit? (cnet.com)

2026-08-19 | by Anna Gragert | tags: google pixel, pixel watch 5, fitbit charge 6

1307.

Daily briefing: How 3D printers are changing lab work (feeds.nature.com)

2026-08-19 | by Graham | tags: 3d printing, lab tools, neanderthals

1308.

AI tool lets researchers ‘vibe code’ in the quantum realm (feeds.nature.com)

2026-08-19 | by Castelvecchi | tags: quantum computing, pasqal, arxiv

1309.

The Antarctic ice sheet has gained mass — but probably not for long (feeds.nature.com)

2026-08-19 | by Wille | tags: antarctic ice sheet, nature, sea temperatures

1310.

Activity of solar-driven polymer catalysts unleashed to produce a potential green fuel (feeds.nature.com)

2026-08-19 | by Podjaski | tags: solar-driven polymer catalysts, green fuel, hydrogen production

1311.

Human organoids that mimic brain development grown for years in lab (feeds.nature.com)

2026-08-19 | by Fieldhouse | tags: brain organoids, human cells, harvard university

1312.

Computational ‘gym’ trains AI models to control turbulence (feeds.nature.com)

2026-08-19 | by Velte | tags: hydrogym, turbulence, ai models

1313.

AI tool lets researchers 'vibe code' in the quantum realm (feeds.nature.com)

2026-08-19 | by Castelvecchi | tags: quantum computing, pasqal, arxiv

1314.

Rudolph A. Marcus obituary: theoretical chemist who explained how electrons jump between molecules (feeds.nature.com)

2026-08-19 | by Chan | tags: marcus theory, electron transfer, molécule

1315.

Psychedelics tune the brain to the environment (feeds.nature.com)

2026-08-19 | by Borgwardt | tags: psilocybin, neuroimaging, brain organization

1316.

How do people live beyond 110? Abundance of cancer-killing cells might be key (feeds.nature.com)

2026-08-19 | by Bourzac | tags: supercentenarians, killer t cells, cd4 cytotoxic t lymphocytes

1317.

Virus deploys a ‘loose cannon’ enzyme to overpower bacterial defences (feeds.nature.com)

2026-08-19 | tags: virus, enzyme, bacteria

1318.

A biased allosteric modulator is a molecular glue for β<sub>2</sub>AR dimerization (feeds.nature.com)

2026-08-19 | by Shen | tags: β2 adrenergic receptor, sf9 cells, allosteric modulator

1319.

Pervasive phosphorylation by phage T7 kinase disarms bacterial defences (feeds.nature.com)

2026-08-19 | by Bartolec | tags: phage t7, bacterial defenses, kinase mutants

1320.

Safety and security of large language models in healthcare (feeds.nature.com)

2026-08-19 | by Clusmann | tags: large language models, mammography screening, chatehr