iiinova — where your digital self keeps evolving

Reposted by nate

Tressie McMillan Cottom @tressiemcphd.bsky.social · 28/09/2026

Also, all this “frontier AI” nomenclature is so laughably colonialist that it has to be on purpose. 🙄

51263115

nate @loglog.wtf · 17/09/2026

Josh Izaac kicking off quantum software 2.6 workshop at IEEE QCE in room 718B

020

Reposted by nate

Kartik @k4rtik.bsky.social · 16/09/2026

Tomorrow at #IEEEQuantumWeek2026: Quantum Software 2.6! A full day of talks + discussion on current challenges and headways in quantum software. 📅 Sept. 17 ⏰ 10:00 AM–4:30 PM 📍 Room 718B, Metro Toronto Convention Centre Come join us! sites.google.com/view/quantum... #QuantumSoftware

sites.google.com

Quantum Software 2.6 Workshop

Quantum Software 2.6: current challenges and headways in quantum software IEEE Quantum Week conference, Sept 17, 2026 Metro Toronto Convention Center Toronto, Ontario, Canada

052

nate @loglog.wtf · 15/09/2026

props to martin roetteler for this

000

Reposted by nate

julia 🌋 @hypv.bsky.social · 09/09/2026

the controversy thickens—now other openai results are being questioned 😈 mathstodon.xyz/@andreasthom... mathstodon.xyz/@andreasthom... mathstodon.xyz/@andreasthom...

1416

nate @loglog.wtf · 03/09/2026

just picked this up yesterday!

000

nate @loglog.wtf · 25/08/2026

there should be a complexity class for problems where LLM proofs are harder to verify than solve directly

261

Reposted by nate

Margaret Morgan 🇪🇺🇳🇱🇦🇺 @margaretmorgan.bsky.social · 24/08/2026

Letter (1962) from Bertrand Russell to Oswald Mosley, founder of the British Union of Fascists in response to Mosley's demands that they debate publicly.

22 January 1962
Sir Oswald Mosley,
5, Lowndes Court,
Lowndes Square,
London, S.W.1.

Dear Sir Oswald,

Thank you for your letter and for your enclosures. I have given some thought to our recent correspondence. It is always difficult to decide on how to respond to people whose ethos is so alien and, in fact, repellent to one’s own. It is not that I take exception to the general points made by you but that every ounce of my energy has been devoted to an active opposition to cruel bigotry, compulsive violence, and the sadistic persecution which has characterised the philosophy and practice of fascism.

I feel obliged to say that the emotional universes we inhabit are so distinct, and in deepest ways opposed, that nothing fruitful or sincere could ever emerge from association between us.

I should like you to understand the intensity of this conviction on my part. It is not out of any attempt to be rude that I say this but because of all that I value in human experience and human achievement.

Yours sincerely,

Bertrand Russell

615473

Reposted by nate

Yuri Sulyma @yurisulyma.bsky.social · 18/08/2026

👏 arxiv.org/abs/2608.16066

Mathematicians are currently being instrumentalised in a large scale advertising campaign by AI companies competing for market monopoly. Public grant money is being paid to companies which then receive free advertising from us, often while showing little regard for our research priorities. More seriously, as part of this advertising campaign, some companies are pushing misinformation about the goals of mathematical research. This misinformation has the real potential to influence government funding decisions in a way that funnels money away from scientific goals, and towards private interests.
This advertising campaign has more serious collateral damage. Mathematics depends on a human research ecosystem which continually generates new problems and sustains the community capable of recognising and pursuing them. Human generated research problems are a scarce and essential part of this mathematical ecosystem. Conceptually incoherent and empirically unsupported rhetoric portraying mathematicians as replaceable threatens a pipeline of early career researchers already in precarious employment conditions. Damaging either undermines the infrastructure on which future mathematical progress depends.
While the author *does* want to be transparent about the use of computer assistance in the preparation of the current manuscript, he does not want to participate in this advertising campaign and contribute to this destruction of the commons. As such, the model and company name will remain absent from this manuscript, but are available upon request.

2165

Reposted by nate

Mark M. Wilde @markwilde.bsky.social · 15/08/2026

Further thoughts on the GPT situation in the form of a song. Based on "Against the 70s" by Mike Watt. Audio: legacy.reverbnation.com/markwilde/so... Title: Against the GPTs

legacy.reverbnation.com

Against the GPTs | Mark Wilde

Against the GPTs by Mark Wilde, Rock music from Ithaca, NY on ReverbNation

1131

nate @loglog.wtf · 12/08/2026

Gotta remember we are in the pre-enshittification era of LLMs. As AI companies search for profitability they will invariably stop passing surplus onto us users.

020

nate @loglog.wtf · 10/08/2026

The trophies are so sick!

010

nate @loglog.wtf · 09/08/2026

HTML energy is alive and well in Seattle

000

nate @loglog.wtf · 09/08/2026

Ty @htmlenergy.bsky.social for giving me an excuse to make this tribute to the very sad 2026 mariners baseball team natestemen.github.io/ms-tribute/

120

nate @loglog.wtf · 08/08/2026

What definition of model should we be using? I would have thought it was a good idea of the word so I’m genuinely curious

100

nate @loglog.wtf · 05/08/2026

"claude write this paper, but this time with giga-low overhead"

000

nate @loglog.wtf · 04/08/2026

I’d say it’s a skill that people can learn and then apply more quickly than having a human review the entirety of every LLM proof, though.

010

nate @loglog.wtf · 04/08/2026

Attribution in science has long been in need of an overhaul. If we are living in a world where proof finding is largely automated via tooling then asking questions is the core human contribution in which case the question poser should be attributed.

070

nate @loglog.wtf · 03/08/2026

Out of curiosity, how similar are the 3 methods in the papers? How much do they help make progress towards NPT?

000

nate @loglog.wtf · 30/07/2026

scirate should only show the number of scites from non-authors

020

Reposted by nate

International Association for Quantum Information @iaqi.bsky.social · 30/07/2026

Let's have a community discussion about the impact of LLMs on quantum information research, and how to react to it as a research community! 👩‍🔬⚛️🤖 🏛️ Head over to the IAQI forum 👇 discuss.iaqi.org/t/quantum-in... 🦋 Please share widely!

discuss.iaqi.org

Quantum Information Processing research in the age of AI

Dear colleagues, Over the past weeks there have been more and more results in which AI models played a crucial role, not only in mathematics and theoretical computer science, but right at the heart o...

2157

nate @loglog.wtf · 30/07/2026

$…$ for inline and \[…\] for display math (if un-numbered) for me. I tried $…$ for a while but it felt harder to see the inline math when glancing through the doc.

050

nate @loglog.wtf · 29/07/2026

has anyone been hit with the 1 year ban from arxiv? some big names on that paper 👀

170

nate @loglog.wtf · 29/07/2026

what about requiring contributions that are largely AI-assisted to come with LEAN (or some other formal verification) code?

120

Reposted by nate

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

While the Fields Medal celebrates the under-40s, the mathematician Joan Birman has, at the age of 99, solved a major open problem in representations of the Braid groups, a topic she has worked on for more than 60 years.

121299320

nate @loglog.wtf · 28/07/2026

what sort of crazy ideas do you want to work on now that you got through the grind?

220

nate @loglog.wtf · 28/07/2026

Tonamichel calling a clanker a student is depressing

020

nate @loglog.wtf · 28/07/2026

Congrats! is indefinite tenure the same as tenure?

120

nate @loglog.wtf · 27/07/2026

Seems to me like there is plenty of creativity involved in AI-assisted science/math. You still have to decide what to work on, what connections to look into, and have an intuition that guides work with the new tools.

010

nate @loglog.wtf · 25/07/2026

I’m excited for this, but I’m surprised they chose to launch w/o a first issue

010

nate @loglog.wtf · 23/07/2026

the obvious downside to this is, as @felixled.bsky.social points out, is another deluge of papers. I'd expect that as we get better tooling to support AI-assisted research (e.g. lean/auto-formalization), reviewing what is trustworthy may balance out the overwhelming volume.

000

nate @loglog.wtf · 23/07/2026

that, IMO is pretty cool. a hobbyist can, with a bit of intuition and direction make meaningful contributions with $200/mo (which, for a lot of people working in quantum industry, is very doable).

120

nate @loglog.wtf · 23/07/2026

it's hard for me not to see some of the response here as pearl clutching. i understand people feeling worried about their jobs changing, but shouldn't we celebrate research becoming more approachable? regardless of your level of training in quantum, you can ask a question at the edge of knowledge!

110

nate @loglog.wtf · 23/07/2026

is that an overleaf clone or have they rolled their own LaTeX as a service?

210

nate @loglog.wtf · 20/07/2026

Looking forward to the next post about the interplay of mitigation and correction

010

nate @loglog.wtf · 16/07/2026

Y’all got hops!

120

nate @loglog.wtf · 07/07/2026

Kunal (current maintainer) did apply to Unitary Foundation's microgrant program, and many on the review board were interested in supporting, but the microgrant program there isn't exactly set up to support long term maintenance projects. I think it's something @unitary.foundation is thinking about?

030

nate @loglog.wtf · 07/07/2026

just opened bluesky to post about this. going back to the old days of browsing arxiv directly. would be nice if scirate could get some institutional support, instead of just relying on volunteering grad students.

150

nate @loglog.wtf · 01/07/2026