And implications for RLVR progress

The fund also said it would vote against the re-appointment of CEO Satya Nadella as chair of the board, as well as against his pay package.

If you want €:\, you can have it, sort of

The Department of Health and Human Services maintains that it is hewing to “gold standard, evidence-based science”—doublespeak that might unsettle Orwell.

Doing it yourself is way more cost effective.

This blog post explains how to use Matrix Cores on CDNA3 and CDNA4 architecture, with a focus on low-precision data types such as FP16, FP8, and FP4

Modern cars are collecting more data than ever, raising privacy concerns. The Mozilla Foundation says cars are the worst product category for privacy.

We are on the cusp of a profound change in the field of mathematics. Vibe proving is here.

Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the…

The Thinking Game takes you on a fascinating journey into the heart of DeepMind, one of the world's leading AI labs, as it strives to unravel the mysteries of artificial general intelligence (AGI).

On the space of minds and the optimizations that give rise to them.

A tool to snap pixels to a perfect grid. Designed to fix messy and inconsistent pixel art generated by AI. - Hugo-Dz/spritefusion-pixel-snapper

AI is being done wrong.

Type checkers don't have to be crazy complicated.

Nix is a tool that takes a unique approach to package management and system configuration. Learn how to make reproducible, declarative and reliable systems.

`CLAUDE.md` is a high-leverage configuration point for Claude Code. Learning how to write a good `CLAUDE.md` (or `AGENTS.md`) is a key skill for agent-enabled software engineering.