Steinn Sigurðsson

21.3K posts

Steinn Sigurðsson banner
Steinn Sigurðsson

Steinn Sigurðsson

@steinly0

Astro Physicist. Scientific Director @arXiv Planets, Stars, Black Holes & Stuff. Whole Universes, If Needed. Dynamics of Cats; To Say Nothing of The Dog.

Katılım Ekim 2010
885 Takip Edilen2.3K Takipçiler
Sandy Petersen 🪔
Sandy Petersen 🪔@SandyofCthulhu·
Vikings didn't have Christianity forced on them. They chose it because Odin betrayed them. The Icelandic sagas are mostly concerned with bloody feuds (they're great by the way - read some). In one of them, the Icelanders noticed that some of the murders were not starting to be about whether people were Christian or Pagan. So they got together at a Thing (look it up) and decided they had to get rid of this cause of dissension. Either they ALL had to go back to Pagan or they ALL had to become Christian. They went to the wisest man in Iceland, who was a Pagan, and said he had to decide for the whole island. He went off on his own to ponder the question for three days. When he returned, he said everyone had to be Christian, and he was baptized too. From then on, the Icelandic sagas only recorded murders for more important reasons than religion. (Illo from Njall's saga which is amazeballs.)
Sandy Petersen 🪔 tweet media
G. K. Chesterton@GKCdaily

Neo-Pagans have sometimes forgotten, when they set out to do everything that the old pagans did, that the final thing the old pagans did was to get christened.

English
108
408
5.5K
250.1K
Will Kinney
Will Kinney@WKCosmo·
There is a fundamental disconnect between STEM and humanities/philosophy in that STEM by its nature does not value the wisdom of the ancients in any special way. We understand a lot more about Einstein's theories than Einstein did, because we have had a century to find deeper, simpler, and clearer ways to think about the physics. Contemporary scientists by and large are not confused about the things that Einstein was confused about, we are confused about new things, that Einstein barely imagined.
Zena Hitz@zenahitz

Once again, are we assuming a contemporary scientist is *not* confused? Science is always incomplete, no? Or do we live in an age of exceptional enlightenment?

English
63
85
1.1K
80.2K
Will Kinney
Will Kinney@WKCosmo·
@surneik Well, I don't want to read a "modern presentation" of Shakespeare. I want Shakespeare.
English
2
0
15
462
Steinn Sigurðsson
Steinn Sigurðsson@steinly0·
@WKCosmo Ahem Went through a quaternion phase after stumbling across a book on it by some Finnish author whose name I forget… that was in high school though. Fun. Provided some insights. Did mostly not use. Although helpful in understanding regularization in n-body dynamics.
English
2
0
1
202
Will Kinney
Will Kinney@WKCosmo·
Maxwell formulated electromagnetism using quaternions, using eight equations. Absolutely nobody uses Maxwell's version of the "Maxwell Equations" any more, we use Heaviside's vector version.
English
7
5
191
7K
Jiaqi Liu
Jiaqi Liu@JiaqiLiu835914·
Thanks for pointing this out! This issue is caused by the arXiv API rate limiting (HTTP 429) rather than our system itself. It may temporarily delay the retrieval of papers, but it does not affect the final results or the generation of the output paper — the process will continue once the API requests succeed. We're currently working on improving the handling of this case. Appreciate your patience, and we’d love to hear more feedback after you try it again!
English
1
0
0
40
Cihang Xie
Cihang Xie@cihangxie·
@karpathy automated the experiment loop. We extended it to the entire lab. 🦞 Meet AutoResearchClaw: One message in → full conference paper out. No human in the loop. 📚 Mines arXiv & digests 50+ papers in minutes 🥊 3 AI agents debate & pivot hypotheses 💻 Writes code & auto-fixes crashes 📝 Drafts the paper with real, verified citations Chat an idea. Get a paper. Try it 👉 github.com/aiming-lab/Aut… Kudos to the team 👇 @JiaqiLiu835914 @richardxp888 @lillianwei423 @StephenQS0710 @Xinyu2ML @HaoqinT @zhengop @dingmyu @HuaxiuYaoML Contributors welcome 🚀
Cihang Xie tweet media
English
3
10
42
6.3K
Steinn Sigurðsson
Steinn Sigurðsson@steinly0·
zOMG someones are going to try to vibe code NAG and IMSL into some rando trendy language...
GIF
English
1
0
1
144
Steinn Sigurðsson
Steinn Sigurðsson@steinly0·
interesting
Apoth3osis@apoth3osis_io

Navier-Stokes fluid flows are Turing complete. Trajectory prediction and periodicity detection are both undecidable. We formalized the full proof chain from @evamirandag's computational dynamics program in Lean 4: cosymplectic geometry produces a harmonic Reeb field, the Etnyre-Ghrist correspondence identifies it with a rotational Beltrami field, harmonic viscosity invariance extends Euler solutions to stationary NS solutions, and a many-one reduction from the halting problem seals it. This is the second pillar - joining the billiard Turing completeness we formalized earlier. 210 theorems. 163 modules. 0 sorry. Hostile audit clean. Systems engineers formalizing a Bessel Prize winner's work. If something's wrong, prove it. apoth3osis.io/paper-proof-co…

English
1
0
1
221
Jonathan Gorard
Jonathan Gorard@getjonwithit·
So I think it's becoming increasingly clear that efficiency and losslessness, across both compression and decompression, together represent four potential axes along which we can begin to parameterize the space of possible (intelligent) minds. But what are the others? (12/12)
English
71
20
508
34.7K
Jonathan Gorard
Jonathan Gorard@getjonwithit·
I think one of the conclusions we should draw from the tremendous success of LLMs is how much of human knowledge and society exists at very low levels of Kolmogorov complexity. We are entering an era where the minimal representation of a human cultural artifact... (1/12)
English
187
489
4.5K
741.7K
Kyriakos
Kyriakos@Kyriakos_Pelek·
@arxiv arxiv basically the rss feed of global science progress
English
1
0
1
160
arXiv.org
arXiv.org@arxiv·
When you support arXiv, you're supporting 35 years of open science. That's... 🔬5 million monthly users 📝27,000 submissions every month 👩🏽‍💻3 billion downloads 📈2.9 million scientific articles shared Give to arXiv today! givingday.cornell.edu/campaigns/arxiv
arXiv.org tweet media
English
11
60
421
38.2K
Steinn Sigurðsson retweetledi
arXiv.org
arXiv.org@arxiv·
2️⃣ more hours to give to arXiv on Giving Day! Donate now - your gift makes a big impact. Gift amounts to consider: 🍰 arXiv's birthday 💌 your favorite paper's arXiv identifier 📜 # of arXiv papers you downloaded 😵 # of arXiv papers you actually read givingday.cornell.edu/campaigns/arxiv
English
1
2
6
2.4K