iiinova — where your digital self keeps evolving

DLD @davidlowryduda.bsky.social · 16/09/2026

I've somehow found myself with some devops responsibilities. Today is rotate-all-the-keys day. It's not hard, but it is annoying.

000

DLD @davidlowryduda.bsky.social · 11/09/2026

But can AI ever give me the same satisfaction as watching "tail -f my_great_process.log" on a screen?

001

Reposted by DLD

Ted Underwood @tedunderwood.com · 10/09/2026

Heads-up everyone in digital humanities and/or cultural AI: this is a hugely valuable resource. It does the systematic cleaning and segmentation — of a million books — that we have always wanted to have, for computational research, and have never quite produced in a way that stuck.

18028

DLD @davidlowryduda.bsky.social · 10/09/2026

Navier-Stokes, Alpoge-Buckmaster, and OpenAI have made bigger waves than I expected. I've read many takes and opinions. 1/3

100

DLD @davidlowryduda.bsky.social · 09/09/2026

Should I take the fact that none of my work or research has been scooped as a sign that it's not exciting enough?

000

Reposted by DLD

IDI @institutional.org · 08/09/2026

Institutional Books is expanding. The Institutional Data Initiative @institutional.org at @harvardlawadmin.bsky.social Library has added paragraph-level text analysis and 22M extracted images to our work on ∼1M books, opening new possibilities for research, experimentation, and discovery. 🧵

1288

Reposted by DLD

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

See cims.nyu.edu/~tristanb/st... for what one side is saying, esp. page 2 onwards.

cims.nyu.edu

1162

DLD @davidlowryduda.bsky.social · 08/09/2026

I hear fears about the interaction of LLMs and the sciences. People worry how the sciences will change. One challenge with discussing this is that it's hard to describe *how the sciences work now.* #mathematics #science

000

DLD @davidlowryduda.bsky.social · 04/09/2026

Fermat's Last Theorem was formalized by Anthropic www.anthropic.com/research/for... A mostly-automated, distributed swarm of LLM agents worked on this for 11 days.

anthropic.com

Formalizing Fermat's Last Theorem

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

110

DLD @davidlowryduda.bsky.social · 08/09/2025

At this morning's opening session of the code4math opening (preview.scholarlattice.org/collections/...), I learned that in LEAN one can prove the following theorem: There exists a natural number a such that a - (a + 1) = 0. (1/3)

preview.scholarlattice.org

131

DLD @davidlowryduda.bsky.social · 18/12/2024

I just submitted "The Fibonacci Zeta Function and Continuation" (or as I think of it it, Fibonacci Zeta Function I) to the arxiv. Cheers to my collaborators Eran Assaf, Chan Kuan, and Alex Walker. I feel like I've accomplished something, so I will goof off with my daughter for a while.

210

Reposted by DLD

Leo C. Stein @duetosymmetry.com · 14/12/2024

Pro tip for folks who use beamer: Turn off the nav symbols! \setbeamertemplate{navigation symbols}{} 🧪⚛️🧮

1255

Reposted by DLD

code4math Community @code4math.org · 18/11/2024

Hey #MathSky! 👋 Interested in learning how to leverage #computing to advance your mathematics research and teaching? You may be interested in the @aimathematics.bsky.social sponsored "Leveraging GitHub and AI for Mathematics Research and Teaching" PEP: jointmathematicsmeetings.org/meetings/nat...

jointmathematicsmeetings.org

Join Us at the Joint Mathematics Meetings - The Largest Mathematics Gathering Globally

Discover cutting-edge mathematical advancements and network with industry leaders at the world's largest mathematics meeting!

275

DLD @davidlowryduda.bsky.social · 06/12/2024

I'm very interested in the different notetaking systems that mathematicians, scientists, programmers, and engineers use. This is talked about somewhere, right? I'm looking for more than "I use a notebook" or "I use [app name]". I want to know how people actually use and organize their notes.

210

DLD @davidlowryduda.bsky.social · 04/12/2024

This is the Fibonacci zeta function. Actually, it's the odd-indexed Fibonacci zeta function, but that's ok. davidlowryduda.com/odd-fibonacci/

A plot of the Fibonacci zeta function. It looks a bit like dunes in a sandy desert, with regular lumps corresponding to poles.

120