Astrophysicist, EX-Meta, GSIT, Amazon, Microsft, NASA/JPL

Joined March 2009
16 Photos and videos
Lie theory, featuring 3D rotations - Online Technical Discussion Groups—Wolfram Community community.wolfram.com/groups… All about su(2), so(3), SU(2), SO(3), packed into 21 pages with proofs. My latest staff pick.
5
173
Why SU(2) is a better choice than SO(3): my latest staff pick at the Wolfram Community: community.wolfram.com/groups…
3
192
How about calculating the dynamics of a pendulum or a symmetrical top from geodesics in a curved manifold, SO(3)? See my latest Staff Pick at the Wolfram Community SO(3) Gauge Theory for Classical Mechanics in UD community.wolfram.com/groups…

1
4
17
2,878
As promised, here is the Schwarzschild metric ab-initio. No dragons this time. Only college maths are needed. It was found almost immediately after the publication of Einstein's General Relativity by Karl Schwarzschild while he was enlisted in WWI. community.wolfram.com/groups…

3
192
If you liked Schwarzschild black holes, you'll love spinning Kerr black holes, but beware the fearsome dragon! Read about the Wizard's Quest here, my latest Staff Pick at Wolfram Community: community.wolfram.com/groups…
1
167
Truly excellent notes on non-quantum field theory: digitalcommons.usu.edu/lib_m…. While "charting" my own path through diff. geom and all that at Wolfram Comm. community.wolfram.com/web/bc…, I stumbled on Charles Torre's, aimed straight at the sweet spot for a physicist: just enough rigor.
3
177
Interactive Black-Hole Dynamics with the Relativity Toolkit My latest Staff Pick at Wolfram community.wolfram.com/groups… source on GitHub: github.com/rebcabin/Relativi…
2
16
1,936
Covariant derivatives etc. in the UD calculus: moving toward black-hole physics ab-initio. My latest staff pick at Wolfram :) community.wolfram.com/groups…

1
7
2,680
How to Land a Rocket community.wolfram.com/groups…

2
6
258
Travesties for Logic and for Types community.wolfram.com/groups…

1
10
2,041
Overheard in the compiler commissary: "There are smart people who would rather work hard than think hard. We outsmart them by making them think they're working hard by working hard to save them from thinking hard."
3
585
Lie Groups are both manifolds and groups. Being a group means that moving around on the manifold is group multiplication (you never leave, you can always go back, you're allowed to go nowhere).
1
8
53
10,166
I forgot the last rule-of-the-road for groups -- "associativity:" doesn't matter if you go from A to B, have a coffee in B, then go to C; or if you go to A, have your coffee there, then go through B to C, so long as you go through A and B in that order.
1
386
My latest Staff Pick at Wolfram Community: Algebraic Travesties, or How to Generate Random Algebra Expressions from a grammar :) community.wolfram.com/groups…

2
398
Why not power arctic data hypercenters with container-sized reactors? gao.gov/assets/gao-20-380sp.…

1
3
434
Brian Beckman retweeted
An unusual introduction to manifolds johndcook.com/blog/2023/12/2… "This tutorial offers a bridge between the abstract mathematics of manifolds and computational practice."
1
9
56
7,945
Brian Beckman retweeted
Beyond Functional Programming: The Verse Programming Language [pdf] simon.peytonjones.org/assets…

3
17