The halting problem is easy actually. The program will terminate when the computer breaks. Duh.
04.05.2025 19:29 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0@thephysicsmill.com.bsky.social
Computational astrophysicist at Los Alamos National Laboratory. Posts about #science, #software, #HPC, my #cats. Sometimes travel. Sometimes #mtg and #games. ๐ณ๏ธโ๐๐งชโ๏ธ๐ญ He/Him
The halting problem is easy actually. The program will terminate when the computer breaks. Duh.
04.05.2025 19:29 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Two black cats sitting in the windowsill looking at the camera
My twin Lovecraftian horrors are back for #caturday #catsofbluesky #cat
02.03.2025 02:15 โ ๐ 19 ๐ 2 ๐ฌ 0 ๐ 0Thanks for the tip!
22.02.2025 02:35 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0They look so sweet. I hope they find a forever home soon.
17.02.2025 17:51 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0500 daysโ thatโs how long Ash & Willow have been waiting for the right family. Can you help us find them? Learn more at crits4cats.petfinder.com
(The .org in the thread doesnโt work properly).
A black cat in a person's lap, looking at the camera with his widdle red tongue poking out
A very good blep. #cat #catsofbluesky
16.02.2025 21:14 โ ๐ 10 ๐ 2 ๐ฌ 0 ๐ 0A black cat sitting in a white sink looking up at the camera
We love sink #cat
28.01.2025 14:45 โ ๐ 11 ๐ 0 ๐ฌ 0 ๐ 0Likewise!
24.01.2025 23:52 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0A panel from the manga "Destroy all Humans they can't be regenerated." It shows 3 people around a gaming table, looking overjoyed. Speech bubbles say "Ooh sounds great! I love drafts most of all."
Me too guys. Me too.
Source is "destroy all humans, they can't be regenerated" volume 2.
They're good cats though. And that's what matters! (They're all good cats.)
20.01.2025 21:57 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0A black cat relaxing on a grey doughnut shaped bed looking at the camera. His name is Nyarlathotep.
Slowly coming to terms with the fact that I'm not a science account that posts cats. I'm a #cat account that sometimes posts about science.
20.01.2025 19:07 โ ๐ 20 ๐ 0 ๐ฌ 2 ๐ 0A grey cat lying on her side, looking up at the camera, with her paws in front of her
For this #caturday I present Emmy's beans. #cat #catsofbluesky
18.01.2025 16:36 โ ๐ 14 ๐ 1 ๐ฌ 0 ๐ 0Minecraft redstone
18.01.2025 02:55 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0This absolutely made my day
18.01.2025 02:54 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0Thank you! And I've heard that.
17.01.2025 15:05 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Thank you! Excited. Ann Arbor seems like a great place.
17.01.2025 15:05 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Not for long ;)
17.01.2025 08:10 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Thank you, Thomas! I'll be one of several LANL scientists moving to Michigan to help make this happen. I hope we can make it a success and do good things. Very excited about the science I'll be working on and the people I'll be working with.
17.01.2025 08:06 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0*Michigan Faculty. Not facility. (But also facility.) I will also still be a LANL scientist.
17.01.2025 05:46 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0Absolutely thrilled to announce that I'll be part of this collaboration. I'll be moving to Ann Arbor to collaborate with Michigan facility on exciting projects involving supercomputing, AI, and fusion power.
This has been in the works for a long time, but now the move is a few months away!
Two black cats arranged as mirror images of each other on a bookshelf
Nyarlie and Yoggie ready for #caturday #cat #catsofbluesky
11.01.2025 17:28 โ ๐ 43 ๐ 2 ๐ฌ 1 ๐ 0A black cat sitting in a bookshelf looking at the camera
Nyarlie is both a gentleman and a scholar. #cat #catsofbluesky
10.01.2025 21:38 โ ๐ 15 ๐ 3 ๐ฌ 2 ๐ 0It's not every day that you get to touch programming and video game lore in a science project. But today was such a day. Thanks to my colleagues Jacob Fields, Peter Hammond, and @astrobarker.bsky.social for helping make this happen.
End ๐งต
And if you're interested in playing with it yourself... You can! He's the source code
github.com/lanl/not-qui...
๐
Stimulations of a neutron star where the equation of state is tabulated with both logs (left) and NQT (right)
And we show our NQT functions in action in simulations of a neutron star.๐
10.01.2025 04:24 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0Plot of speedups up NQT functions vs their transcendental counterparts for a variety of architectures
We show the method is faster than normal logs for a wide variety of architectures including CPU and GPU, with negligible cost in accuracy (for linear interpolation).๐
10.01.2025 04:24 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0Quake 3 arena menu screen. Credit Id Software
And it turns out, not entirely by coincidence, that the simplest of these is in fact the first part of the infamous quake 3 inverse square root algorithm. This is the "evil bit level hacking" in the method. (Image credit Id Software) ๐
10.01.2025 04:24 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0It turns out there's a whole family of functions, much cheaper to evaluate than logarithms, that can be constructed by taking advantage of the structure of floating point numbers. We call these functions Not Quite Transcendental (NQT for short).๐
10.01.2025 04:24 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0What's actually important about logarithmic interpolation is that logs are invertible and that a variable that is evenly spaced in log space really has a spacing proportional to its magnitude. That is, the grid spacing is larger the larger the physical values are. ๐
10.01.2025 04:24 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0Paper day! This is a fun one if you like low level #hpc #programming hacks. ๐งช๐ญ
In computational physics โ๏ธ, we often interpolate tabulated data that spans many orders of magnitude. A common way to do this is to tabulate in log space. But logs are slow... Or are they? ๐งต๐
arxiv.org/abs/2501.05410