iiinova — where your digital self keeps evolving

Reposted by Aiko Kyle

Aiko Kyle @akira.social · 22/08/2026

org-modalists

Aiko Kyle @akira.social · 11/07/2026

Brouwer was not convinced and, in particular, objected to the use of the law of excluded middle over infinite sets. Hilbert responded "Taking the Principle of the Excluded Middle from the mathematician... is the same as... prohibiting the boxer the use of his fists." en.wikipedia.org/wiki/Brouwer...

001

Reposted by Aiko Kyle

Clément Canonne @ccanonne.github.io · 09/07/2026

Why is it called Fourier analysis and not character development

1253

Reposted by Aiko Kyle

Göktuğ Kayaalp @igoktugk.bsky.social · 04/07/2026

Emacs and Org mode. Gorgeous. Great. Powerful. Flexible. Comprehensive. Customisable. But also it'll suck your time, break in weird ways, and Emacs developers in particular are very.. unappealing.

4122

Aiko Kyle @akira.social · 16/03/2026

I'll be giving this talk tomorrow at APS in Denver, feel free to say hi! I'm always happy to talk about quantum error correction and/or emacs!

020

Aiko Kyle @akira.social · 07/03/2026

The basic look of Wikipedia really hasn't fundamentally changed in 20 years, which really just goes to show how the ethos of the people behind a platform is always reflected in the UI wikipedia25.org/en/the-first...

wikipedia25.org

25 years of Wikipedia

010

Aiko Kyle @akira.social · 11/02/2026

It’s February in Colorado… and I just killed a mosquito flying around inside my car… this is not good

000

Aiko Kyle @akira.social · 06/02/2026

This is indeed pretty rad

010

Aiko Kyle @akira.social · 01/02/2026

In emacs' lisp.h there's a FIXME from 2013 that ends "Maybe in the year 2016." Then in 2016 the it was updated to 2020, then in 2020 it was updated to 2025 😧 Hello #emacs, the year is now 2026, are u ok?

110

Reposted by Aiko Kyle

Gro-Tsen @gro-tsen.bsky.social · 23/01/2026

“clopen source”? 😁

122

Aiko Kyle @akira.social · 28/12/2025

tfw you just wanted to update your website and so started by updating emacs... but are now three days into trying to compile emacs to wasm

meme
left panel: dog surrounded by fire
right panel: dog says "this is fine."

140

Aiko Kyle @akira.social · 17/12/2025

help! I'm trapped in a Grothendieck universe and can't get out

020

Reposted by Aiko Kyle

Error Correction Zoo @eczoo.bsky.social · 05/12/2025

Peter Shor: we haven't found many new quantum algorithms, in part, because we need larger quantum devices for testing our heuristics. He gives several examples of algorithms that were discovered computationally, including turbo codes, @fermilab.bsky.social quantum symposium by the SQMS center.

1238

Reposted by Aiko Kyle

Aiko Kyle @akira.social · 19/11/2025

“Some physicalists, such as Daniel Dennett, argue that philosophical zombies are logically incoherent…” yeah gotta be careful getting into arguments with philosophical zombies cause they’ll commit a lotta logical fallacies

131

Reposted by Aiko Kyle

Shawn Geller @shawngeller.bsky.social · 18/11/2025

from the “hard problem of consciousness” wikipedia. i think i found the philosophical zombies

131

Reposted by Aiko Kyle

Randall Munroe @xkcd.com · 14/11/2025

Car Size xkcd.com/3167/

4-panel vertical comic. (1) 100 Years Ago [two people standing next to bicycle with small car nearby] PERSON 1: It’s too dangerous riding a bike with these cars around. I should get a car, too. (2) 50 Years Ago [two people between smaller car and bigger car] PERSON 2 with short hair: Small cars are less safe in collisions with larger vehicles, so I should get a bigger one. (3) Today [two people between big car and even bigger car] PERSON 1: Everyone has huge SUVs now. If I don’t get the biggest one, I’m putting my family at risk. (4) Soon [two people next to large armored car with spiked clubs attached] PERSON 2: If I don’t install more whirling spike clubs, I’ll be destroyed by all the other drivers who...

11398542744

Reposted by Aiko Kyle

Aiko Kyle @akira.social · 06/11/2025

Also in thinking about the interpretation of wick rotation in the C^*-algebra case, does it seem sensible to say that derivations of the lie part give rise to unitary dynamics while derivations of the Jordan part give rise to non-unitary diffusive dynamics so wick rotation is just the intertwiner?

121

Aiko Kyle @akira.social · 20/10/2025

perhaps for the first time in my life I have achieved the perfect zero trifecta: zero emails in inbox, (approximately) zero open tabs, and zero files in downloads folder...

100

Aiko Kyle @akira.social · 17/10/2025

then in desperation this dev will convert to emacs where the truly endless configuration is a helluva coping mechanism

010

Aiko Kyle @akira.social · 04/10/2025

"One of our original objectives for GATlab was to build an ML-inspired module system in Julia" Well why didn't you say so in your github readme? I guess its a classic case of RTFP: Read the Fucking Paper arxiv.org/abs/2404.04837

100

Aiko Kyle @akira.social · 29/09/2025

Looks like a tech bro saw “Her”, missed all the themes of human connection, and instead thought “bro why isn’t this a product yet?”

110

Reposted by Aiko Kyle

Birds Are Dinosaurs @birdsaredinosaurs.bsky.social · 23/08/2025

Part of me wants to blame the curators of "the English canon," who tend to look down their noses at genre novels. More science fiction and fantasy should be taught in schools Fantasy/sci-fi is about grappling with bizarre hypotheticals, a skill that is only getting more useful as reality weirds

411922

Reposted by Aiko Kyle

Chris Pattison @chris-pattison.bsky.social · 30/07/2025

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...

github.com

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.

0202

Aiko Kyle @akira.social · 28/06/2025

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

000

Aiko Kyle @akira.social · 26/06/2025

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

020

Aiko Kyle @akira.social · 12/06/2025

one abelian ring to rule them all

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.

061

Reposted by Aiko Kyle

Dulwich Quantum Computing @dulwichquantum.bsky.social · 12/06/2025

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.

1366

Reposted by Aiko Kyle

Clément Canonne @ccanonne.github.io · 05/06/2025

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."

3515

Reposted by Aiko Kyle

Greg Egan @gregegansf.bsky.social · 05/06/2025

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...

link.springer.com

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...

0122

Reposted by Aiko Kyle

Dulwich Quantum Computing @dulwichquantum.bsky.social · 06/05/2025

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

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

0505

Reposted by Aiko Kyle

American Physical Society @apsphysics.aps.org · 23/04/2025

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

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.

02710

Reposted by Aiko Kyle

Michael Nielsen @michaelnielsen.bsky.social · 27/12/2024

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

1242

Aiko Kyle @akira.social · 23/12/2024

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"

3182

Reposted by Aiko Kyle

Dulwich Quantum Computing @dulwichquantum.bsky.social · 10/12/2024

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...

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.

0332

Aiko Kyle @akira.social · 26/11/2024

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

120

Aiko Kyle @akira.social · 22/11/2024

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

020

Aiko Kyle @akira.social · 20/11/2024

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

020