iiinova — where your digital self keeps evolving

Reposted by ieva

Dulwich Quantum Computing @dulwichquantum.bsky.social · 06/08/2026

Most important skills for PhD students these days: * Cogitating * Pondering * Combobulating * Flibbertigibbeting * Booping * Canoodling * Whatchamacalliting * Tomfoolering * Topsy-turvying * Dilly-dallying * Razzle-dazzling * Shenaniganing * Lollygagging Full list here: claudionary.com

0222

Reposted by ieva

Greg Egan @gregegansf.bsky.social · 30/07/2026

When setting a default name for the PDFs your customers download for their records, maybe try to find a Goldilocks zone between Mercury ("getPDF.pdf" for every file) and the Oort Cloud ([64 hex digits guaranteed unique across the universe, and utterly meaningless to humans].pdf)

2243638

Reposted by ieva

John C. Baez @johncarlosbaez.bsky.social · 20/07/2026

Mathematician Levent Alpöge found a counterexample to the Jacobi conjecture using Claude Fable! This conjecture claims that if F: ℂⁿ→ℂⁿ is a polynomial map whose Jacobian is invertible at each point, F has a polynomial inverse. Open since 1939. But no more! (1/n)

en.wikipedia.org

Jacobian conjecture - Wikipedia

48523

Reposted by ieva

Robert "The Bobby Yaga" McNees @mcnees.bsky.social · 05/07/2026

I’m sympathetic to the intent but LLMs and the tech hype cycle are not “the greatest innovations in STEM.” That plays into a divisive (and reductive) STEM-versus-the-humanities narrative. Most of us are on the same side here.

16513

Reposted by ieva

Douglas Cheape @douglascheape.bsky.social · 13/06/2026

It appears my countrymen have arrived in the Americas and culturally appropriated a statue of George Washington.

371594384

Reposted by ieva

John C. Baez @johncarlosbaez.bsky.social · 12/06/2026

If I could, I would develop a whole theory linking differential geometry and logic just so I could write a textbook called Truth Tables and Lie Algebras.

68113

Reposted by ieva

Henry Legg @henrylegg.bsky.social · 02/06/2026

Today Microsoft announce "Majorana 2", claiming they will build a “practical” quantum computer by 2029. This is of course massive PR bullshit. I could also speculate about the timing of this announcement, but unfortunately that will have to wait. For now, let's look at their preprint. 🧵 1/x

1336

Reposted by ieva

Sam Power @spmontecarlo.bsky.social · 30/05/2026

With friends at the University of Warwick (in particular, Rocco Caprio and @adriencorenflos.bsky.social), we've recently arXived some work (arxiv.org/abs/2605.30253) on a method for approximate inference known as "Coordinate Ascent Variational Inference", or "CAVI" for short. Let me explain:

2319

Reposted by ieva

Rochelle @uberwensch.bsky.social · 19/05/2026

The trick is, when among mathematicians, to say you are a physicist so that they forgive you for not knowing very much math. Then, when among physicists, say you are a mathematician so that they forgive you for not knowing very much physics. In especially dire cases I might say I am a philosopher.

311516

Reposted by ieva

Sam Power @spmontecarlo.bsky.social · 15/05/2026

Always quite jarring for me to see discussions about arXiv which reveal how many people see the moderation as gatekeeping, or otherwise negative. Muddies the waters for me as to what they think the point of the website is.

2314

Reposted by ieva

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

Teaching LP and Randomized Rounding tomorrow! Excited to explain to my students how to express s-t mincut, a problem we know how to solve efficiently, as an ILP—a problem we don't.

1252

Reposted by ieva

Paolo Perrone @paolopmath.bsky.social · 29/04/2026

If you are in Oxford and would like to learn about applied category theory, I'm giving a course at the Maths department. It's on Fridays, at 11 am, in L5. We start this week with monoidal categories and string diagrams.

0112

Reposted by ieva

julesh @julesh.mathstodon.xyz.ap.brid.gy · 28/04/2026

Unpopular opinion: Computer science syllabuses were designed back in a time when working AI was nothing but scifi. A course that does not teach a deep and practical understanding of how LLMs work is no longer representative of computer science, and you need so much material to do so that massive […]

mathstodon.xyz

Original post on mathstodon.xyz

252

Reposted by ieva

Frank Verstraete @fverstraete.bsky.social · 28/04/2026

An uncomfortable fact is that it is impossible to write down a translationally invariant Hamiltonian for a lattice many-body system in a classical and constant magnetic field. Infinite PEPS with gauge tensors can counteract this magnetic translation symmetry: arxiv.org/abs/2604.24574

0112

ieva @hyperboieva.bsky.social · 26/04/2026

Was re-reading my old MSc thesis for inspiration: "upsettingly heuristic" seems to be the mantra of my scientific career 😅

050

Reposted by ieva

Sam Power @spmontecarlo.bsky.social · 25/04/2026

davidbessis.substack.com/p/the-fall-o... An interesting read, with lots of food for thought. It reminds me of my enthusiasm for "mathematical clean-up work", i.e. going back to the foundations of a topic, making the constants sharper, proofs nicer (and more modern), and the like.

davidbessis.substack.com

The fall of the theorem economy

How AI could destroy mathematics and barely touch it

3264

Reposted by ieva

Bruno Gavranović @bgavran.bsky.social · 20/04/2026

I just published a new blog post! Types and Neural Networks ( www.brunogavranovic.com/posts/2026-… ) It's about what comes into view once dependent type systems become a part of neural network training.

1235

Reposted by ieva

Dulwich Quantum Computing @dulwichquantum.bsky.social · 18/04/2026

Fun twist in Google's zero knowledge proof of quantum circuit.

0133

Reposted by ieva

Bruno Gavranović @bgavran.bsky.social · 14/04/2026

I never wrote about it here, but as of some time ago I figured out a basic implementation for named axes in TensorType: github.com/bgavran/TensorType This means that now you're: a) forced to assign some meaning to all your axes)

152

ieva @hyperboieva.bsky.social · 10/04/2026

scirate.com/arxiv/2604.0... I’ll admit I was always skeptical of any QML/classical-data-processing advantages in quantum, but this paper will at least give me pause!

062

Reposted by ieva

Eric Haywood @erichaywood.bsky.social · 07/04/2026

The Moon: oh wow you guys decided to come back Artemis II crew: earth’s haunted

58191955299

Reposted by ieva

Dulwich Quantum Computing @dulwichquantum.bsky.social · 07/04/2026

"We [...] introduce a new measure, felinity." arxiv.org/abs/2604.02793

Definition 2.1 (Felinity of a quantum state). For a n-qubit state ρ, the felinity of ρ, F n(ρ) ∈ [0, 1] is defined as...

0264

Reposted by ieva

Physics Magazine @physicsmagazine.aps.org · 02/04/2026

The quantum adiabatic theorem says that a slowly perturbed system stays in its instantaneous ground state. Now researchers have shown that this principle holds for the opposite limit: The ground state remains the most likely state even for a system subjected to an instantaneous perturbation.

physics.aps.org

Extending the Adiabatic Theorem

Like its slowly perturbed counterpart, a rapidly perturbed quantum system stays closer to the ground state than to any excited state.

0142

Reposted by ieva

Aaron Rupar @atrupar.com · 01/04/2026

Artemis II lifts off

602147242825

Reposted by ieva

Error Correction Zoo @eczoo.bsky.social · 01/04/2026

The forward-looking Oratomic time-efficient architecture claims to "potentially enable runtimes of 10 days for ECC–256 with ≈26,000 qubits, and 97 days for RSA–2048 with ≈102,000." This is based on stitching together several gadgets and plausibly assuming they can work together on an atom platform.

183

Reposted by ieva

Dulwich Quantum Computing @dulwichquantum.bsky.social · 31/03/2026

We're making such good progress at reducing the number of qubits needed for factoring that we might accidentally overshoot and bring it down to zero, at which point we would have a classical factoring algorithm. arxiv.org/abs/2603.28627

1264

ieva @hyperboieva.bsky.social · 31/03/2026

Looks like Oratomic is coming in with a splash!

120

Reposted by ieva

Victor V. Albert @vva.bsky.social · 31/03/2026

"our most time-efficient architectures can potentially enable runtimes of 10 days for ECC–256 with ≈ 26,000 qubits, and 97 days for RSA–2048 with ≈ 102,000 qubits" arxiv.org/pdf/2603.28627

arxiv.org

093

Reposted by ieva

Jon Bois @jonbois.bsky.social · 31/03/2026

hello 👋 i have developed a new tool called blüuümpíi. blüuümpíi will convert every file on your hard drive to a .wav file without asking you, maximize your system volume, and play them on every bluetooth speaker you have ever connected to. if you offer feedback on blüuümpíi i will take legal action

14884831730

Reposted by ieva

David Roberts @volts.wtf · 18/03/2026

I know I've said this a trillion times but I have to say it periodically to keep from going insane: The right ran a huge, well-funded, & ultimately successful campaign to completely take over political media & the infosphere more generally. This is by far the most important political development...

19989952484

Reposted by ieva

Quanta Magazine @quantamagazine.org · 18/03/2026

Charles Bennett and Gilles Brassard have been named the winners of the A.M. Turing Award, one of the highest honors in computing, for their work establishing the foundations of quantum information theory. The award comes with a $1 million prize. www.quantamagazine.org/quantum-cryp...

05717

Reposted by ieva

Dan Garisto @dangaristo.bsky.social · 15/03/2026

The APS Meeting in Denver starts in earnest tomorrow and as sort of an experiment to see if this still works, I've resolved to actually cover the conference on social media (like we did in days of yore), so bear with me for what will be a couple days of posting about physics.

3554

Reposted by ieva

John Preskill @preskill.bsky.social · 14/03/2026

Garnet Chan reflects on recent progress using classical heuristics in computational quantum chemistry—and what it means for quantum computing. The lessons he draws can help to steer both classical and quantum approaches in scientifically productive directions. quantumfrontiers.com/2026/03/12/t...

quantumfrontiers.com

The FeMo-cofactor and classical and quantum computing

Recently, my coworkers and I put out a preprint “Classical solution of the FeMo-cofactor model to chemical accuracy and its implications’’ (Zhai et al. 2026). It is a bit unusual to write comm…

1273

ieva @hyperboieva.bsky.social · 13/03/2026

New fantastic work from my lovely colleagues at Phasecraft! "Onset of Ergodicity Across Scales on a Digital Quantum Processor" by F Alam, M Crichigno, E Crosson, @sflammia.bsky.social F M Gambetta, M Hunter Gordon, M Kreshchuk, @quantumashley.bsky.social , A Nocera & R A Santos

171

Reposted by ieva

John Warner @biblioracle.bsky.social · 11/03/2026

The distinction I would make is that writing is "thinking" in two simultaneous dimensions. One is the attempt to capture an idea in one's head. The other is that during the act of writing the thinking changes the original idea. When we remove the opportunity for that thinking the output is affected.

1223

Reposted by ieva

Michael Kinyon @profkinyon.bsky.social · 12/03/2026

Student: Can you explain again what a free module is? Me: Well, it's a S: And don't say "it's a module that doesn't cost anything" Me: Look I know my jokes are bad but I wouldn't go for one that obvious S: OK. So what is it? Me: It's a module that has time to help you right now

2474

Reposted by ieva

Harper’s Magazine @harpers.bsky.social · 24/02/2026

“For a long time, the tech industry liked to think of itself as a meritocracy: it rewarded qualities like intelligence, competence, and expertise. But all that barely matters anymore.” Sam Kriss reports on the next generation of AI technologists.

buff.ly

Child’s Play, by Sam Kriss

Tech’s new generation and the end of thinking

0169

Reposted by ieva

Physics Magazine @physicsmagazine.aps.org · 10/03/2026

Researchers have shown how the frequencies and bandwidths of individual photons can be tuned over a wide range inside a short length of standard optical fiber. They anticipate that their technique will be useful in future quantum computing and communications networks.

physics.aps.org

New Tool for Sculpting Single Photons

Researchers can adjust the frequency and bandwidth of single photons inside an optical fiber, which will be useful for future quantum networks.

1126

Reposted by ieva

Quanta Magazine @quantamagazine.org · 09/03/2026

John Baez wants to wrangle one of the most abstract branches of math to better model the natural world. It sounds like a pipe dream. But is it? Read the latest Qualia column:

quantamagazine.org

Can the Most Abstract Math Make the World a Better Place? | Quanta Magazine

Columnist Natalie Wolchover explores whether applied category theory can be “green” math.

2287

ieva @hyperboieva.bsky.social · 05/03/2026

Masteful sequence of quotes in Mike and Ike which I never noticed before

2274

ieva @hyperboieva.bsky.social · 04/03/2026

No greater praise for a textbook has ever been put down in words

120

Reposted by ieva

Robert "The Bobby Yaga" McNees @mcnees.bsky.social · 03/03/2026

Mathematician Georg Cantor was born #OTD in 1845. He is the founder of set theory and developed the concepts of cardinal and transfinite numbers. These shocking results led his former professor Kronecker to call him a "corrupter of youth." Image: Oberwolfach Photo Collection

A sepia toned, seated portrait of mathematician Georg Cantor in his early twenties. His wavy hair is swept back and he has a curly beard and thin mustache. Cantor wears a dark jacket and white shirt, with a tie in a bow at this neck.

67022

Reposted by ieva

Dulwich Quantum Computing @dulwichquantum.bsky.social · 02/03/2026

Absolutely love this! www.youtube.com/watch?v=T4Up... Kudos to the Norwegian Consumer Council for their efforts to fight enshittification! www.forbrukerradet.no/news-in-engl... Read their report here: storage02.forbrukerradet.no/media/2026/0...

youtube.com

A Day in the Life of an Ensh*ttificator

YouTube video by Forbrukerrådet - Norwegian Consumer Council

21910