Will Kinney (@WKCosmo) header
Will Kinney (@WKCosmo) profile picture

Will Kinney

@WKCosmo

Cosmologist, physicist, dirtbag mountain biker, expat Montanan, Copernican extremist. Part of the problem.

 Buffalo, NY
acsu.buffalo.edu/~whkinney/index.html
Joined January 2017
  • Tweets59.8K
  • Following1.8K
  • Followers43.7K
10.2KMedia
Photo by Will Kinney (@WKCosmo)Photo by Will Kinney (@WKCosmo)Photo by Will Kinney (@WKCosmo)Photo by Will Kinney (@WKCosmo)Photo by Will Kinney (@WKCosmo)Photo by Will Kinney (@WKCosmo)Photo by Will Kinney (@WKCosmo)Photo by Will Kinney (@WKCosmo)Photo by Will Kinney (@WKCosmo)
Let me tell you a little bit about my second book, and how it relates to my first book. 1/ worldscientific.com/worldsci…
Image from Will Kinney (@WKCosmo)
Image from Will Kinney (@WKCosmo)
18
22
4
174
70,164
Listen to indigenous knowledge. science.org/content/article/…
A barbarian tribe’s mythic origin story is true, ancient DNA reveals

A barbarian tribe’s mythic origin story is true, ancient DNA reveals

Skeletons across Europe confirm the Goths surged out of Scandinavia before sacking Rome

science.org
4
5
1
34
2,301
Will Kinney retweeted
Will Kinney (@WKCosmo) profile picture
Will Kinney
@WKCosmo25 Sep 2020
Welcome new followers. You will regret it soon enough.
30
9
4
218
GM 🤎
Image from Will Kinney (@WKCosmo)
2
1
41
950
A research system I built for @psipbc, using a non-public Anthropic model, has proved the Aaronson-Ambainis conjecture! Open since 2008, this is one of the most fundamental questions in quantum computing. It concerns when quantum computers can have exponential speedups. 1/n
Physical Superintelligence (@psipbc) profile picturePhysical Superintelligence
@psipbcNov 6
Today Physical Superintelligence PBC is announcing a proof of the Aaronson-Ambainis conjecture, one of the central open problems in quantum complexity, with major implications for quantum computing speedup. psi.inc/research/aaronson-am… Thread 👇
A proof of the Aaronson-Ambainis conjecture

A proof of the Aaronson-Ambainis conjecture

A proof of the Aaronson-Ambainis conjecture about quantum speedups on random inputs, with a complete formalization in Lean.

psi.inc
27
58
9
542
37,256
If this proof holds, it means that quantum computers are only polynomially faster than classical computers for general problems. Shor's algorithm is an exception, not the rule.
Physical Superintelligence (@psipbc) profile picturePhysical Superintelligence
@psipbcNov 6
Today Physical Superintelligence PBC is announcing a proof of the Aaronson-Ambainis conjecture, one of the central open problems in quantum complexity, with major implications for quantum computing speedup. psi.inc/research/aaronson-am… Thread 👇
A proof of the Aaronson-Ambainis conjecture

A proof of the Aaronson-Ambainis conjecture

A proof of the Aaronson-Ambainis conjecture about quantum speedups on random inputs, with a complete formalization in Lean.

psi.inc
53
138
26
1,954
141,705
This is really cool: a magnetic eddy current demo makes a quartz wristwatch run faster.
29
50
11
584
27,026
For the many people in the replies: yes, this is being caused by the magnetic field driving the Lavet stepping motor, not the quartz oscillator. en.wikipedia.org/wiki/Lavet-…
Lavet-type stepping motor - Wikipedia

Lavet-type stepping motor - Wikipedia

en.wikipedia.org
1
9
483
Nature doesn't care how we think it ought to work.
Prof. Lee Cronin (@leecronin) profile pictureProf. Lee Cronin
@leecroninNov 5
Quantum mechanics must become causal mechanics if it is going to evolve beyond entangled woo.
18
13
2
264
5,779
GM 🤎
Image from Will Kinney (@WKCosmo)
6
1
48
917
🫡
🚀conspiracy_slayer🌕 (@conspiracyslyr) profile picture🚀conspiracy_slayer🌕@conspiracyslyrNov 5
Swift re-entered Earth’s atmosphere at 12:39 UTC on Wednesday over North Sumatra, Indonesia
2
16
1,289
Me, having rebalanced a shitload of S&P index shares into bonds last week.
Image from Will Kinney (@WKCosmo)
Nancy Pelosi Stock Tracker ♟ (@pelositracker) profile pictureNancy Pelosi Stock Tracker ♟
@pelositrackerNov 5
"Blue wave is coming" they said
Image from Nancy Pelosi Stock Tracker ♟ (@pelositracker)
4
39
1,940
Yeah I love being on committees with guys like this.
Stuart Schrader (@stschrader1) profile pictureStuart Schrader@stschrader1Nov 4
The question on university campuses should now be how to get rid of all the administrators who caved to and collaborated with a grossly unpopular political agenda, including curricular changes, reversals on diversity mandates, buying into AI hype, clamping down on Gaza protests…
6
125
6,592
Gone for three days, and Faye is already bigger and stronger and more of a hazard to herself and others. 🤎
Image from Will Kinney (@WKCosmo)
3
51
1,404
Will Kinney retweeted
Nirmalya Kajuri (@Kaju_Nut) profile picture
Nirmalya Kajuri
@Kaju_NutNov 4
If any science-philanthropist is willing to support the Indian National Strings Meeting 2026, please drop me a message. Incidentally, this year we will felicitate Ashoke Senon his 70th birthday.
Image from Nirmalya Kajuri (@Kaju_Nut)
7
28
2
239
6,337
Witten arxiv.org/abs/2611.05051
Image from Will Kinney (@WKCosmo)
13
47
9
451
31,793
Taking a Waymo to the airport. Pretty cool.
Image from Will Kinney (@WKCosmo)
7
1
43
1,807
This is good advice.
Joseph Conlon (@JosephPConlon) profile pictureJoseph Conlon@JosephPConlonNov 3
Replying to @JosephPConlon
Right now the old rules are broken and no one knows the new ones. This is precisely the best time to do a PhD — the chance to overtake all the old folk and make big lasting contributions. It is messy right now — aim straight at the mess. 6/9
5
31
2,922
Pretty sure at this point that I'm allergic to philosophy.
21
3
4
57
7,066
😮
Rikiya Takehi (@rikiyatakehi) profile pictureRikiya Takehi@rikiyatakehiNov 2
We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math. It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training. We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵 Blog: rikiyat.github.io/blog/weigh…
Image from Rikiya Takehi (@rikiyatakehi)
Readers added context they thought people might want to know
LLM was given weights explicitly as text in prompt and used code/forward passes (per authors' logs) to ablate Qwen looping direction, a known thinking-mode issue per model card. Primarily fixed repetition in that mode, not general 'natively' improving weights/math. rikiyat.github.io/blog/weight-sp… github.com/RikiyaT/lm_und… huggingface.co/Qwen/Qwen3.5-0… huggingface.co/RikiyaT/Qwen3.…
1
13
1,501
Load more