We present five trigonometric proofs of the Pythagorean theorem, and our method for finding proofs (Section 5) yields at least five more.

A play in one act Dramatis personae EM, an engineering manager TL, the tech lead for the team X, an engineering manager from a different team Scene 1: A meeting room in an office. The walls are ado…

Thoughts on open source governance and how to create trust within technology, communities, and media.

a personal blog

Physical Intelligence is bringing general-purpose AI into the physical world.

refining the ideas behind HTTP, BitTorrent, Gemini, and 9p to create a simple protocol for reliably transferring large immutable files. ...

Enable AI-driven coding with Claude Sonnet 3.5 and OpenAI o1 in Qodo. Seamlessly switch between models and optimize workflows for advanced code generation.

How Google is Killing Bloggers and Small Publishers - And Why - The one in which we break down how Google is killing our site. And why. Fun!

OpenAI’s mission is “to ensure that artificial general intelligence benefits all of humanity.” Its use by U.S. AFRICOM will test that premise.

A Times investigation has found that an unusually tall mast, and the design changes it required, made a superyacht owned by a British tech mogul vulnerable to capsizing.

My currently understanding of types

An in-depth look at Antibody Drug Conjugates (ADCs), a groundbreaking innovation that has significantly expanded treatment possibilities for many cancer patients.

We present Crux, a cross-language verification tool for Rust and C/LLVM. Crux targets bounded, intricate pieces of code that are difficult for humans to get right: for example, cryptographic...

I’m a keen user of Emacs and Org mode for a variety of tasks, including note taking, generating documents for exporting to LaTeX, Word, or html. creating blog posts (notably for this blog, us…

Browse AMD’s company-wide and financial press releases.