Banned words list 2025: The federal government is banning a growing number of words to comply with executive orders from President Trump.

Lovable reported $100M ARR with 45 employees, Gamma with about 50, Cursor with roughly 60. The verified figures, the pre-AI baseline, and what happens next.

A writing tool that preserves your voice through AI editing. Fixes cadence, structure, and lexical density. Not just synonyms.

The supply strain comes as drivers face unprecedented late-summer pump prices, with the national average hitting a mid-August record of $4.07 per gallon

A look at the brokers buying unused AI credits from startups and reselling them — the marketplaces, the bulk-discount routers, and the message boards where off-market inference changes hands

Talk to Static, a public AI shared by everyone. There are no separate copies: what it learns from one conversation can shape another.

A new book, “Little Blue Dot,” by Katherine Dunn, raises questions about the unintended consequences of knowing where we are.

Saint Lucie Nuclear Power Plant Unit 1 was manually shut down Aug. 13 after 3 control rods dropped into the core. The NRC classified it as a non-emergency.

In 1926, Henry Ford gave his employees both Saturdays and Sundays off – and the two-day chunk of time to party, pray or simply do nothing was born. Now it’s changed beyond recognition

RAND researchers present a strategy for the United States to prevent the creation of mirror life by anyone, anywhere.

Agency will no longer allow K career awards to fund clinical trials

This question---what we should tell students to do with AI---is a good trigger to think about what we ourselves should be doing (which is what this essay is really about).

A terminal AI coding agent that formalizes math problems into Lean 4 theorems and proves them.

Buf is proud to announce the first fully-featured, spec-compliant LSP server for Protobuf. The Language Server Protocol is the standard API for integrating language support into your favorite IDE or text editor, such as VSCode, IntelliJ, or Neovim. An LSP…

Reasoning scores climb while per-token compute drops. Labs are stripping world knowledge out of models, and I think that's the right trade.

Writings on software correctness, AI, formal verification, and other technical topics.