DLD
@davidlowryduda.bsky.social
Mathematician, programmer, and various other things at various other times.
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)
There exists a natural number a such that a - (a + 1) = 0.
(1/3)
preview.scholarlattice.org
September 8, 2025 at 7:30 PM
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)
There exists a natural number a such that a - (a + 1) = 0.
(1/3)
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.
I feel like I've accomplished something, so I will goof off with my daughter for a while.
December 18, 2024 at 12:21 PM
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.
I feel like I've accomplished something, so I will goof off with my daughter for a while.
Reposted by DLD
Pro tip for folks who use beamer: Turn off the nav symbols!
\setbeamertemplate{navigation symbols}{}
🧪⚛️🧮
\setbeamertemplate{navigation symbols}{}
🧪⚛️🧮
Hey #MathSky, I have questions:
1. WHAT are these little buttons for?
2. Have you EVER actually used them?
3. Have you ever seen ANYBODY use them?
4. WHY are they still around?
5. In what year do you think they will finally go away?
6. What other things in life are like this? (I can think of a few)
1. WHAT are these little buttons for?
2. Have you EVER actually used them?
3. Have you ever seen ANYBODY use them?
4. WHY are they still around?
5. In what year do you think they will finally go away?
6. What other things in life are like this? (I can think of a few)
December 14, 2024 at 10:54 PM
Pro tip for folks who use beamer: Turn off the nav symbols!
\setbeamertemplate{navigation symbols}{}
🧪⚛️🧮
\setbeamertemplate{navigation symbols}{}
🧪⚛️🧮
Reposted by DLD
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...
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!
jointmathematicsmeetings.org
November 18, 2024 at 11:27 PM
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...
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.
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.
December 6, 2024 at 4:05 PM
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.
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.
This is the Fibonacci zeta function. Actually, it's the odd-indexed Fibonacci zeta function, but that's ok.
davidlowryduda.com/odd-fibonacci/
davidlowryduda.com/odd-fibonacci/
December 4, 2024 at 5:59 PM
This is the Fibonacci zeta function. Actually, it's the odd-indexed Fibonacci zeta function, but that's ok.
davidlowryduda.com/odd-fibonacci/
davidlowryduda.com/odd-fibonacci/