Top stories for one week

The seven virtues of simple type theory / higher-order logic [pdf]

Three Cool Things in C++26: Safety, Reflection and std:execution – Herb Sutter [video]

Cursor's Problem

Anyone using GitHub exclusively to track issues

Perplexity Makes Longshot $34.5B Offer for Chrome

Democratizing AI Compute

Are electrons conscious? (2017)

Kordylewski Dust Clouds: Could They Be Cosmic "Superbrains"? [pdf]

Study: AI tools can polish managers' emails but can also erode employee trust

A Common Virus Causes Cancer, but Most Americans Are Clueless About It

Microsoft CVP thinks we'll ditch keyboard and mouse for voice commands in 2030

Bluesky rolls out revamp to policies and Community Guidelines

Primordial Soup by Darren Aronofsky

Why Cars Still Don't Have Airless Tires, Yet

Inner speech in motor cortex and implications for speech neuroprostheses

"Bullshit Index" Tracks AI Misinformation

The ad industry is dumping younger workers

Call of Duty Admits the Install Size Is Too Damn High

GPT-5 Router – Inevitable Future of Chat Interfaces