@ylepidemiologist.bsky.social I’m glad to see you’re on here. I’ve been subscribed to your newsletter since you started it and it has been a great resource. Thanks for all your hard work!
Robert "The Bobby Yaga" McNees
@mcnees.bsky.social
Physicist and Professor at a university in Chicago. I study black holes, quantum gravity, and cosmology. Rocky Top, Tar Heel. Reposts are spooky action at a distance. My views, not my employer's. https://jacobi.luc.edu https://mcnees.github.io
No reason to leave the credit out of an image post, imo. There’s plenty of space to say that the bright blue dot is Earth seen from Saturn, and also credit the folks with the attribution they requested. CREDIT: NASA/JPL-Caltech/Space Science Institute
Add some spooky songs, it’s a terrifying Halloween playlist
Boyz II Men II Wolves by Robert McNees on Apple Music
Playlist · 77 Songs
music.apple.com
W.B. Yeats had a weird conception of city life.
NCAA should’ve passed that proposed overtime rule where a losing Lane Kiffin has to sit at midfield while the fans hurl insults and garbage at him.
What a day for college football for me, personally.
What you do is, you set up your haunted scarecrow, and pretty soon a big feral cat shows up and blesses your stoop.
One wild thing that not a lot of people are aware of, is that we don’t actually have to let these companies do any of this.
Matt Novak@paleofuture.bsky.social · 4d agoI keep trying to think of any historical example where a given technology's PROMOTERS AND TRUE BELIEVERS were like 'we are absolutely going to ruin your fucking life so be prepared like it's the end of the world'
The physicist and astronomer Karl Schwarzschild was born #OTD in 1873. In 1915, while serving in the German army on the Russian front, he found the first exact (non-trivial) solution of Einstein’s theory of general relativity. Among other things, it describes a non-rotating black hole. 🧪 ⚛️ 🔭
The physicist and astronomer Karl Schwarzschild was born #OTD in 1873. In 1915, while serving in the German army on the Russian front, he found the first exact (non-trivial) solution of Einstein’s theory of general relativity. Among other things, it describes a non-rotating black hole. 🧪 ⚛️ 🔭
Teaching the students how to be bounded in a nutshell, and count themselves kings and queens of infinite space. 🧪 ⚛️
I've a moderation list for these types of accounts here, if anyone wants to mass-mute or block them for themselves. Also, please reports these accounts.
This scraper account posts other people’s stuff without credit. They grudgingly post a separate attribution after the fact, if enough people call them out. Any time an account says “dm me if you own the original,” just put them on the block list. Don’t let these accounts get a foothold here.
This will probably end up on here somehow, so set a reminder to turn off autoplay on December 2. Go to Settings, click "Content and Media," and make sure "Autoplay videos and GIFs" is not checked.
Kyle Griffin@kylegriffin1.bsky.social · 5d agoWASHINGTON (AP) - Pentagon says the firing squad execution of Fort Hood shooter Nidal Malik Hasan will be livestreamed in December.
Occasional PSA, 2026 edition: @duetosymmetry.com and I made a graph paper package for LaTeX. Various styles (graph, quadrille, hex, iso, dot grid, etc) with pre-defined or custom colors. Print it or make templates for your tablet. 🧪 Github: github.com/mcnees/LaTeX... CTAN: ctan.org/pkg/gridpapers
Somebody with much better knowledge explained it here: arxiv.org/abs/2610.08144 . Sounds like my intuition (to distrust such machine-generated Lean proofs) was right!
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...
arxiv.org
Altman genuinely thinks that output and understanding are the same thing.
Colin@colin-fraser.net · 6d agoAt least he has a degree
As scientists we are trained to look for simple explanations that fit the data in front of us and make testable predictions about what will happen in the future.
Nature@nature.com · 6d agoNone of this year's science Nobel Prizes have gone to women. The number of these prizes to go to women remains at 27 out of more than 600. See how many you can name in our quiz: www.nature.com/immersive/d4...
Very sad to hear that Margaret Hamilton has passed away. Here's a short thread about her role in the Apollo mission, and her lesser-known work on the simulations that led to the discovery of Chaos Theory. 🧪 👩🔬 ⚛️
Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90
Margaret H. Hamilton, a profoundly influential computer scientist best known for leading the software engineering team at MIT’s Instrumentation Lab during NASA’s Apollo program, died at age 90.
news.mit.edu
Robert "The Bobby Yaga" McNees@mcnees.bsky.social · 2mo agoMargaret Hamilton, a pioneer of software engineering who led NASA's in-flight software team for the Apollo mission, was born #OTD in 1936. 🧪 🔭 👩🔬 Image: NASA
Like many scientists, I’ve been mulling over the impact of LLMs on our fields. I’ve not yet seen it articulated, but I think there is a largely unspoken “invisible labor underclass” framework at play.
If only there was an organization tasked with coordinating the global response to these sorts of things, which both countries belonged to.
U.S. raises pressure on Russia for information on plague death
The State Department is pushing Moscow for details about the potential leak of pneumonic plague in Siberia.
washingtonpost.com
Tired: crypto currencies Wired: cryptids currently
our parrot has decided he loves campbells tomato soup. since he can only drink like, a shotglass full of it, we always have a bowl (minus one shot) of tomato soup leftover. because of this i have perfected my grilled cheese procedure:
This isn't the work of a group trying to "improve how we share results with the math community." It's an attack on the math community.
GitHub - openai/math
Contribute to openai/math development by creating an account on GitHub.
github.com