Aiko Kyle
@akira.social
PhD student at CU Boulder working on quantumey stuff
emacs and julia evangelist
akirakyle.com
emacs and julia evangelist
akirakyle.com
Reposted by Aiko Kyle
![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...](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:cz73r7iyiqn26upot4jtjdhk/bafkreiby6can6k76yzfmv2czxs4pu2l7zie7bqbrpswi7h3ifmiadkuqvu@jpeg)
Reposted by Aiko Kyle
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?
November 6, 2025 at 1:47 AM
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?
Just came across this insightful paper by @johncarlosbaez.bsky.social on "Getting to the Bottom of Noether's Theorem" arxiv.org/abs/2006.147...
Getting to the Bottom of Noether's Theorem
We examine the assumptions behind Noether's theorem connecting symmetries and conservation laws. To compare classical and quantum versions of this theorem, we take an algebraic approach. In both class...
arxiv.org
November 3, 2025 at 6:46 PM
Just came across this insightful paper by @johncarlosbaez.bsky.social on "Getting to the Bottom of Noether's Theorem" arxiv.org/abs/2006.147...
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...
October 20, 2025 at 8:19 PM
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...
then in desperation this dev will convert to emacs where the truly endless configuration is a helluva coping mechanism
Dev surprised his perfect vim/tmux/bash/xmonad setup doesn't alleviate existential crisis www.theolognion.com/p/dev-surpri...
Dev surprised his perfect vim/tmux/bash/xmonad setup doesn't alleviate existential crisis
After spending nearly 300 hours throughout several months, building the perfect coding productivity setup with vim, tmux, bash, xmonad and several other tools, middle-aged software developer Alex Lewi...
www.theolognion.com
October 17, 2025 at 8:51 PM
then in desperation this dev will convert to emacs where the truly endless configuration is a helluva coping mechanism
"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
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
October 4, 2025 at 3:19 AM
"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
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
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?”
The “Trailer” at friend.com feels more like the teaser for a sci-fi dystopia.
September 29, 2025 at 5:47 PM
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?”
Reposted by Aiko Kyle
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
Fantasy/sci-fi is about grappling with bizarre hypotheticals, a skill that is only getting more useful as reality weirds
August 23, 2025 at 2:08 PM
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
Fantasy/sci-fi is about grappling with bizarre hypotheticals, a skill that is only getting more useful as reality weirds
Reposted by Aiko Kyle
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 - 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.
github.com
July 30, 2025 at 4:13 PM
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
June 27, 2025 at 11:28 PM
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
June 26, 2025 at 4:09 PM
the transition from late-stage capitalism to technofeudalism is pretty wack
Reposted by Aiko Kyle
one abelian ring to rule them all
June 12, 2025 at 9:23 PM
one abelian ring to rule them all
Reposted by Aiko Kyle
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.
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.
"IONQ CEO Niccolo de Masi sells $103 million in stock. SEC filing confirms full liquidation. Investors question timing. Pump-and-dump concerns rise."
citizenwatchreport.com/ionq-ceo-nic...
citizenwatchreport.com/ionq-ceo-nic...
June 12, 2025 at 9:30 AM
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.
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.
Reposted by Aiko Kyle
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."
"Move things and breakfast."
June 5, 2025 at 11:34 AM
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."
"Move things and breakfast."
Reposted by Aiko Kyle
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...
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...
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...
link.springer.com
June 5, 2025 at 8:05 AM
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...
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...
Reposted by Aiko Kyle
Schrödinger's cat would've been long dead if not for Ursula Le Guin.
physicsworld.com/a/ursula-le-...
physicsworld.com/a/ursula-le-...
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
physicsworld.com
May 16, 2025 at 11:35 AM
Schrödinger's cat would've been long dead if not for Ursula Le Guin.
physicsworld.com/a/ursula-le-...
physicsworld.com/a/ursula-le-...
Reposted by Aiko Kyle
When you normalize a quantum state in ∞-norm instead of 2-norm.
May 6, 2025 at 7:22 AM
When you normalize a quantum state in ∞-norm instead of 2-norm.
Reposted by Aiko Kyle
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
Read more: go.aps.org/3XX7gk5
April 23, 2025 at 8:40 PM
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
Read more: go.aps.org/3XX7gk5
Reposted by Aiko Kyle
I think a "pomodoro" should be the collective noun for knowledge workers in a cafe
December 27, 2024 at 7:53 PM
I think a "pomodoro" should be the collective noun for knowledge workers in a cafe
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"
Saw these climbing shoes on sale earlier… there’ll be articles on quantum bouldering before you know it
December 23, 2024 at 5:40 PM
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"
Reposted by Aiko Kyle
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...
doi.org/10.1038/s415...
December 10, 2024 at 2:38 PM
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...
doi.org/10.1038/s415...
This leaves out the most important self-affirmation that any functional programmer must aggressively state when faced with the impure world: "FUNCTIONS ARE VALUES!"
Functional Programming self-affirmations:
1. Parse, Don’t Validate
2. Make Illegal States Unrepresentable
3. Errors as values
4. Functional Core, Imperative Shell
5. Smart Constructor
Repeat daily in front of a mirror for 2 minutes.
1. Parse, Don’t Validate
2. Make Illegal States Unrepresentable
3. Errors as values
4. Functional Core, Imperative Shell
5. Smart Constructor
Repeat daily in front of a mirror for 2 minutes.
November 26, 2024 at 8:02 PM
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
How Decentralized Is Bluesky Really? dustycloud.org/blog/how-dec...
A technical deep-dive, since people have been asking me for my thoughts. I'll expand a bit on some of the key points here in a thread. 🧵
A technical deep-dive, since people have been asking me for my thoughts. I'll expand a bit on some of the key points here in a thread. 🧵
How decentralized is Bluesky really? -- Dustycloud Brainstorms
dustycloud.org
November 22, 2024 at 7:48 PM
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
November 20, 2024 at 6:53 PM
TIL that "julia --lisp" runs femtolisp and that makes me happy