Aiko Kyle

GitHub - Timeroot/Lean-QuantumInfo: Quantum information theory in Lean 4 Quantum information theory in Lean 4. Contribute to Timeroot/Lean-QuantumInfo development by creating an account on GitHub.

Alexander Meiburg has been working on formal verification of results in quantum information. It's exciting to see a growing library of tools for formal proofs in QI github.com/Timeroot/Lea...

PSA for anyone who uses emacs as a pdf reader: add pdf-history-minor-mode to pdf-view-mode-hook and finally navigate PDF links with forward and backward history! #emacs

the transition from late-stage capitalism to technofeudalism is pretty wack

Photons are, like, everywhere man. Light is always on the move – it can travel around the world more than 7 times a second!

bilbo baggins why shouldn't I keep it meme: top panel: "after all, why not?", bottom pannel: "why shouldn't i quantize using the p-adics". Over the ring is a text box with a paper titled "p-Adic Quantum Mechanics" by V. S. Vladimirov and I. V. Volovich.

one abelian ring to rule them all

Forget the 10²⁵ years needed to simulate Google's Willow chip on world's fastest supercomputer. The most impressive number in quantum computing in this:

It would take 3678 years for a quantum computing PhD student to earn the 103 million made by the IonQ CEO Niccolo de Masi in his first 90 days.

A fully autonomous robot which, every morning, sets plates on the table, fetches ingredients in the kitchen, and prepares avocado toast.

"Move things and breakfast."

The Motion of Point Particles in Curved Spacetime - Living Reviews in Relativity This review is concerned with the motion of a point scalar charge, a point electric charge, and a point mass in a specified background spacetime. In each of the three cases the particle produces a fie...

The Motion of Point Particles in Curved Spacetime

Eric Poisson

“The reader is also assumed to have unlimited stamina, for the road to the equations of motion is a long one.”

Scary but honest.

link.springer.com/article/10.1...

Ursula Le Guin: the pioneering author we should thank for popularizing Schrödinger’s cat – Physics World Robert P Crease on why we can thank Ursula Le Guin for popularizing Schrödinger’s cat

Schrödinger's cat would've been long dead if not for Ursula Le Guin.
physicsworld.com/a/ursula-le-...

Janelle Monae at the Met Gala 2025 wearing a costume by Paul Tazewell.

When you normalize a quantum state in ∞-norm instead of 2-norm.

An illustration titled Quantum Rubik’s Cube on a beige background. The cube is laid out with 9 tiles on each side. Each tile has a circle in the middle with one color and two different colors filling in the sides of the square, representing the different options for each cube with superpositioning. Next to the cube, text reads “superposition of colors” with an arrow pointing to the cube. Below the text is a venn diagram showing all the color possibilities.

New in Physical Review A: Researchers take the Rubik's cube to the next level, introducing #superposition where tiles can occupy multiple positions simultaneously. They found combining classical and #quantum moves equals faster puzzle-solving.

Read more: go.aps.org/3XX7gk5

I think a "pomodoro" should be the collective noun for knowledge workers in a cafe

Yeah I'm waiting for the logical qubit lv model to drop

😆 I think this is basically what is meant by "last go best go"

When wearing these, climbing jargon must be substituted for equivalent quantum jargon: e.g. instead of a "heel toe cam" it's a "hadamard gate"

Historic photo of "size of the donut hole down through the years" vs a plot of the logical error per cycle vs distance from Google's latest paper.

Since Google forgot to post a one-meme summary of their latest paper, we did it for them (but only this time!).
doi.org/10.1038/s415...

As an "org mode fan" with a custom org-mode based static website, I can say this is 100% accurate

This leaves out the most important self-affirmation that any functional programmer must aggressively state when faced with the impure world: "FUNCTIONS ARE VALUES!"

In case anyone really cares about the fundamental differences between here and over in the fediverse, I would suggest reading this thread! @dustyweb.bsky.social knows what's up, they helped write ActivityPup after all

TIL that "julia --lisp" runs femtolisp and that makes me happy