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.

The physics of sound, and the PC fan CR box v1.

In which I talk about the process involved in switching forges, and how well that went.

Let me introduce you to my most novel and oldest technique to verify if sites behind CDN are hosted in Inside Iran or not. Works most of the time. I call it the BOOBS CHECK.

curl -i https://domain/boobs.jpg

If your response is a 403 with 10.10.34.x IP in…

The first high-resolution images have been received from Copernicus Sentinel-1D and were shared publicly for the first time at the European Space Agency’s Ministerial Council, held today in Bremen, Germany. Glaciers in Antarctica, the tip of South America…

By my count, Linux has over 11% of the desktop market. Here's how I got that number - and why people are making the leap.

Before you default to microservices, weigh hidden costs and consider a modular monolith or SOA. Learn when Docker delivers consistency and scale—without sprawl.

ty is an extremely fast Python type checker.