See updates to the core system prompts on [claude.ai](https://claude.ai) and the [Claude iOS app](https://anthropic.com/ios) and [Claude Android app](https://anthropic.com/android).

If you used PCs in the 90s, you probably remember the 'Intel Inside MMX' stickers. This article explores Intel's major attempt at bringing SIMD instructions to mainstream desktop CPUs.

NB: This isn’t about crypto. I don’t care about crypto.

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

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

Buf is proud to announce the first fully-featured, production-grade 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 server provides the smarts that power go to definition, code completion, finding references, and semantics-aware syntax highlighting.

MathCode is a terminal AI coding agent with a built-in math formalization engine: describe a problem in plain language and it converts it into a Lean 4 theorem and attempts a formal proof.

A journal of the essay

Wolfram Community forum discussion about Dancing with friends and enemies: boids' swarm intelligence. Stay on top of important topics and build connections by joining Wolfram Community groups relevant to your interests.

A few hours ago I switched my nameservers to Cloudflare in order to enable R2 bucket serving through my own subdomain, and I found out that it silently had injected a JS analytics snippet in my HTML-only JS-free site textlog.cc — I had to go to the Analytics dashboard, Add the site to the analytics and <i>then</i> disable the snippet. I find this approach entirely invasive, you should opt-in to features like that not have to opt-out. Just a warning out there to folks who might not be aware of this.

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.

ASUS Oxiis E250G1 transforms any bike with 500W peak boost, 50 km eco range, app control, fast USB-C charging, and easy install now for riders

I'm reclaiming the title of 'webmaster' as the multidisciplinary creator who designs, develops, writes, and advocates for their own corner of the web and will save the world. Tracing the history from 1993 to the present, I argue that anyone can become a webmaster with minimal tools. Webmastery is an act of digital repatriation and human agency against corporate platforms and AI orchestration.

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

Abstract page for arXiv paper 2608.08421: A SAT Attack on Tarski's High School Algebra Problem

New research has uncovered how a London estate agent used immersive cosmorama displays to give wealthy buyers a Victorian-era virtual preview of luxury homes decades before photography or the internet.

George Hotz's comma.ai eGPU dock ships with open-source ASM2464PD firmware: $249 for the dock, $799 with a Radeon RX 9060, and it works on a normal PC.

Starting with v2.0, scheduled for fall 2026, DuckDB will support asynchronous reads of Parquet and CSV files. This can significantly speed up queries when synchronous I/O does not saturate the available bandwidth, as is typical in EC2/S3 compute-storage setups.

This creates a defining product-design challenge: inventing how people and teams work with AI that does real work, not merely chats. We're looking for a Head of Design Engineering to own that experience holistically—making the entire product simple, intuitive, and beautiful, then personally implementing most of it in production.

In court documents, the National Institutes of Health, the National Science Foundation and others shared which words they used to target grants.

It’s unacceptable for a tool to sacrifice an iota of clarity, coherence, meaning, quality, etc. for the purpose of embedding hidden clues within the text to suggest its provenance. The idea that anything other than *my* needs should factor into the generation of text *for me* is patently offensive.