Lightwell — Lightwell. Tokyo, Japan, 2022. #japan #selfportrait #tokyo #photography #mirror #teamlab mbmccoy.dev/photos/20221...
Mike McCoy
@mbmccoy.dev
Mathematician, artist, recovering CTO. Interested in math, science, and natural philosophy broadly. Likes to take photos and create.
Waterfall — Waterfall. Tokyo, Japan, 2022. #japan #teamlab #tokyo #photography mbmccoy.dev/photos/20221...
Stardate. Owens Valley, California, 2022 #california #astronomy #owensvalley #winter #nature #mountains #sierranevada #stars #astrophotography #photography mbmccoy.dev/photos/20220...
Sparks — Sparks. San Francisco, 2022 #fire #sanfrancisco #fireworks #cny #chinesenewyear #streetphotography mbmccoy.dev/photos/20220...
Rocket. San Francisco, 2022. #fire #sanfrancisco #fireworks #cny #chinesenewyear mbmccoy.dev/photos/20220...
I want to be free. Puebla, 2021. #blackandwhite #puebla #angel #church #mexico #photography #streetphotography mbmccoy.dev/photos/20211...
See a 10 second videos that's almost too good to be true? It's probably AI. If it's not labelled, choose "... -> See less like this". Or just block the user. AI generated content lowers the quality of Bluesky. Help keep it off of the platform. Kthx
Friendship. Mexico City, 2021 #blackandwhite #mexicocity #photography #streetphotography mbmccoy.dev/photos/20211...
Hold still. Mexico City, 2021. #blackandwhite #mexicocity #mexico #police #photography mbmccoy.dev/photos/20211...
Never Stop Exploring. Mexico City, 2021. #mexico-city #mexico #orion #astronomy #stars #photography mbmccoy.dev/photos/20211...
Tide pools #2. California, 2021 #nature #tidepools #california #photography #science 🧪 #sunset mbmccoy.dev/photos/20211...
Tide pools — Tide pools. California, 2021. #nature #boots #yellow #tidepools #california #waders #ocean #sunset #science 🧪 mbmccoy.dev/photos/20211...
Storm clouds. San Francisco, 2021. #photography #paintedladies #clouds #sanfrancisco #sky #victorian #architecture mbmccoy.dev/photos/20211...
Beacon. New York City, 2021 #blackandwhite #newyorkcity #photography #architecture mbmccoy.dev/photos/20210...
How would you draw a Venn Diagram with 7 categories? Maybe like this? (Author: Bálint Csańady.) arxiv.org/pdf/2601.06980
Scaffolds #3. New York City, 2021. #architecture #blackandwhite #photography #newyorkcity mbmccoy.dev/photos/20210...
Scaffolds #2. New York City, 2021. #architecture #blackandwhite #photography #newyorkcity mbmccoy.dev/photos/20210...
While AI attracts a lot of loud hype and haters, some mathematicians are happily using it to knock off unsolved problems. (I'm not saying anyone is "right" here.) Recently Liam Price prompted GPT-5.4 Pro to prove this conjecture of Erdős: chatgpt.com/share/69dd1c... (1/n)
![From https://www.erdosproblems.com/1196 :
PROVED (LEAN)
Is it true that, for any x, if A⊂[x,∞) is a primitive set of integers (so that no distinct elements of A divide each other) then
∑a∈A1aloga<1+o(1),
where the o(1) term →0 as x→∞?
#1196: [ESS68b][Er80,p.101]
number theory | primitive sets
A conjecture of Erdős, Sárközy, and Szemerédi. Lichtman [Li23] has proved that
∑a∈A1aloga<eγπ4+o(1)≈1.399+o(1).
This was solved by GPT-5.4 Pro (prompted by Price), which proved that for any primitive set A⊂N
∑a∈Aa>x1aloga≤1+O(1logx).
See the comment section for further refinements and discussion.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:fb5fjz7jxmbf3alhwh44ookd/bafkreihwwuqb3dmkhfghxntkjus2sjtphugn7nyc7a4bpliq4fk3bsqz64)
Scaffolds #1 — Scaffolds #1. New York City, 2021. #architecture #blackandwhite #newyorkcity #construction #symmetry #perspective mbmccoy.dev/photos/20210...
Ladder Company 3. New York City, 2021 #blackandwhite #newyorkcity #photography #lc3 #flag #usa mbmccoy.dev/photos/20210...
Finally wrote it up! A lemma about linear transformations of convex cones that I proved in a conversation more than a decade ago has now appeared a couple times in print. #math #proof #ubernerd #convex #geometry #sunday #sanfrancisco mbmccoy.dev/posts/tqc-le...
The TQC Lemma
A surprising little lemma that's getting some attention
mbmccoy.dev
The fact that naval warfare exists will not diminish my love of the ocean. Nor will the words "space force" diminish my love for the stars. I have fought capitalism here on earth, and I will fight it on the moon if I have to, but by god I will not stop reaching for the stars.