Recent content by Hornbein

I like that the middle lines on organ are very clear.

TIL Them folks in Ashtabula shore know how to tabulate. It appears that Denmark no longer has ranked choice voting. Australia has long had it. Few exercise this option, so usually each losing party decides which other still-contending party gets their votes.

The discipline of conforming to real science can lead to unexpected and entertaining results. Clooney and Bullock orbiting one another would have been pretty cool. I didn't watch the movie, but that big wave in Interstellar being smooth and perfect and wall-like was wrong too. I'd expect it...

I never found the linearity of expectation to be obvious. Dependencies between the random variables change the distribution of their sum but not the expectation of that sum. It just a fact I remember from school. The proof is that expectations are defined as Lebesque integrals and Lebesque...

Everyone is burning it up.

The main thing I learned in my studies of probability is to try not to see the situation as a process. That's tricky. Strive to come up with a static analysis where nothing changes.

"X32G, now they're reading our minds!" "So they believe, friend, so they believe."

Orig AI Cover

Start with calculus, statics and mechanics and optics, the most basic physics. Then try vector calculus and electromagnetism. String theory is far, far out of reach.

There has been a decade-long effort to formalize Shinichi Mochizuki's inter-universal Teichmüller theory, the published work that claims to prove the abc conjecture. Funded by a rich industrialist, a team set out to check the proof in Lean. After two years, Project LANA (Kato, Commelin, Kedlaya...

I played the recorder as a small boy in Germany. It's not meant to be a chromatic instrument. How does she do that?

Orig Cover

AI used to virtually resurrect the dead. https://current.fas.harvard.edu/stories/digital-resurrection-leaves-legal-moral-questions-living Someone virtually resurrected a manslaughter victim to produce a sentimental video to be shown at the trial. The appeals court disapproved of this...