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 · 02/02/2026

okay so you're saying we just need to port emacs to run on space telescopes to get these bugs finally fixed? Makes sense, the timelines match up

000

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 · 31/12/2025

now it's running inside firefox (instead of node) with wasm outputting to xterm.js, but looking like I'm stuck between no gc and webworker stack limits

screenshot of firefox developer tools console showing loading up of emacs lisp files

010

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

update from the trenches: I have a temacs.wasm and a loaddefs-gen.elc compiled with it! I may have disabled garbage collection to get there, but hopefully it will be worth it in the end...

110

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 · 18/12/2025

Thank you for continuing to make your thoughts available! This really resonated with me and my journey through the free software landscape, navigating the many cognitive disconnects between principle and practice

010

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

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

(Definitely not taken out of context from en.wikipedia.org/wiki/Philoso...)

010

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

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

11398532743

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

😂 well at least quantum transduction is a legit thing being worked on, but no they won't teleport you to the fifth dimension, at least not anytime soon

020

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

I think the goal should be to shift the student away from defaulting to an explanatory role when they perceive a difference in knowledge to their peers. Instead encourage them to provide context for the peers' solutions amongst the concepts being taught so that their role can be more as a mediator.

020

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

A strategy that might help in this situation is to ask the student to focus more on the problem-solving process itself: "What other approaches work to solve the problem? Can the solution be simplified? For what problems would this approach not work or be unnecessarily complicated?"

110

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

Right, as usual I'm getting excited and jumping to the fun speculations! When I get some more time, I might try to work through this all in more detail and then can share whatever notes come out of that

010

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 · 06/11/2025

My intuition says that under continuous, simultaneous measurement of system energy and mass the pure state-orbits correspond to the energy eigenstates so the associator should then be related to the dephasing channel?

010

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

Right! Then I think its that H=(i/8)[a^2+(a^\dagger)^2, i(a^2-(a^\dagger)^2)]=(i/8)[p^2-q^2, {q,p}] where a is the creation operator. This seems quite suggestive now! The p^2-q^2 observable corresponds to the Lagrangian while the {q,p} observable corresponds to single-mode squeezing

210

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

121

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

Ah I think I found that X=q-p and Y=p^3-q^3 for [q,p]=iI work here, but then I'm struggling find a good answer to the second question you pose in your post of what does it mean to write the heisenberg evolution of an free oscillator as (d/dt) O(t) = (x-p, O(t), p^3 - x^3)

220

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

Indeed your new blog post is what led me to your paper! A lot of interesting things in the blog post for me to digest as well. I'm trying to see how this goes through in the case of the harmonic oscillator, but it's not clear to me whether the Hamiltonian there can be written as H=−4i[X,Y]?

110

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

Especially tantalizing is how Wick rotation comes up in this discussion, another thing that's always seemed quite mysterious and honestly somewhat mathematically uncomfortable, so it's so cool to see the thread linking it to algebraic axioms!

100

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

I found this to be a breath of fresh air compared to the many times I've tried to understand Noether's theorem over the years in the context of physics courses, where it seems to wear a different cloak every time

120

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

Sometimes I find myself using "subtle" as a subtle short hand for "at one point I'm pretty sure I understood these details but now I can't remember how it all works right now so please don't press me further about it because it's not obvious enough to figure them out in real-time"

110

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

A good paper I was reminded of that might be of relevance to this discussion: link.springer.com/article/10.1... I find it quite interesting that quantum uncertainties more or less come straight from Pontryagin duality, at least for systems with Abelian position/configuration spaces!

link.springer.com

Uncertainty relations for general phase spaces - Frontiers of Physics

We describe a setup for obtaining uncertainty relations for arbitrary pairs of observables related by a Fourier transform. The physical examples discussed here are the standard position and momentum, ...

010

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

and now the real challenge begins: how long can I make this zen state last?

000

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

have hundreds or thousands of random links? inside emacs = chaotic good anywhere else = chaotic evil

100

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

of course this is all thanks to emacs' org-roam where I can just dump everything

100

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

For spin and molecular encodings I would say forward and reverse citation searches on journals.aps.org/prl/abstract... and journals.aps.org/prx/abstract... should hopefully give a decent picture of the field

journals.aps.org

Designing Codes around Interactions: The Case of a Spin

I present a new approach for designing quantum error-correcting codes guaranteeing a physically natural implementation of Clifford operations. Inspired by the scheme put forward by Gottesman, Kitaev, ...

130

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

I don't know of papers that specifically look at radicals and actually I'm not sure I know what a radical is other than a charged molecule?

110

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 · 05/10/2025

GATlab says they technically only implement 1-categories so I would imagine SML is similar, and only 1-categories can be naturally implemented using the module system

000

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

but afaik SML doesn't technically implement category-theoretic functors, it just is inspired by the concept and steals the word (which according to wikipedia was originally actually taken from linguistics: en.wikipedia.org/wiki/Functio...)

100

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

lol just try implementing those on a computer in any programming language

110