Readit News logoReadit News
MaxRegret commented on From Finite Integral Domains to Finite Fields   susam.net/from-finite-int... · Posted by u/susam
csense · 3 months ago
> injections on finite sets are also surjections

Not necessarily [1]. I think you're missing an assumption there.

[1] https://en.wikipedia.org/wiki/Injective_function#/media/File...

MaxRegret · 3 months ago
In this case, multiplication by any nonzero fixed element of the ring is an injection from the ring to itself. Any injection from a finite set to itself is indeed a surjection (and so also a bijection).
MaxRegret commented on 108B Pixel Scan of Johannes Vermeer's Girl with a Pearl Earring   hirox-europe.com/gigapixe... · Posted by u/twalichiewicz
MaxRegret · 4 months ago
Steve Mould just released a video about the microscopy technique that was used to capture this 3D relief of the painting: https://youtu.be/o-dZKBwbsis
MaxRegret commented on Haskell: A Great Procedural Language   entropicthoughts.com/hask... · Posted by u/kqr
RobotToaster · 8 months ago
Somewhat tangential, but the only software I know of that's written in Haskell is ImplicitCAD https://implicitcad.org/
MaxRegret · 8 months ago
Don't forget Pandoc!
MaxRegret commented on JabRef – Literature Management   jabref.org/... · Posted by u/smartmic
evanjrowley · a year ago
The main reason I haven't adopted Zotero is their lack of a Android app. Something like that on the road map for JabRef?
MaxRegret · a year ago
Zotero has a beta Android app [1][2]. I haven't used it, so I don't know if any functionality is missing.

[1] https://play.google.com/store/apps/details?id=org.zotero.and... [2] https://forums.zotero.org/discussion/110371/available-for-be...

MaxRegret commented on Too dangerous for C++   blog.dureuill.net/article... · Posted by u/dureuill
kazinator · 2 years ago
> the Rc type does not support being sent between threads

So why even have such a thing in a language designed for concurrent programming from the ground up?

Arc should be called Rc, and that's it.

MaxRegret · 2 years ago
That's what C++ does because it has no way to ensure that you use the atomic reference counts in multi-threaded code. But, as the author writes in the blog post, Rust can in fact ensure this. So it lets you to use the more efficient non-atomic reference count for single-threaded use, saving the unnecessary cost of various memory access barriers.

Just because a language is designed for concurrent programming, it shouldn't make it impossible to achieve full single-threaded performance, as long as you're not compromising safety.

MaxRegret commented on FAA Aviation Maps   beautifulpublicdata.com/f... · Posted by u/colinprince
WanderPanda · 2 years ago
Do the sims include functioning VOR instruments these days? That would be quite helpful during the night :D
MaxRegret · 2 years ago
I remember flying VOR radials in Microsoft Flight Simulator 5.1, released in 1995. It came with a printed Pilot's Handbook [1] that included IFR procedures, explained how navaids work, and included various sectional charts.

[1] https://archive.org/details/microsoft-flight-simulator-v-5.0...

MaxRegret commented on Firefox Is Going to Try and Ship with Wayland Enabled by Default   phoronix.com/news/Firefox... · Posted by u/AdmiralAsshat
SkyMarshal · 2 years ago
I didn’t even realize desktop applications could/should implement the Wayland protocol. I thought it was just WM’s (and some DE’s?) that needed to do that, basically anything that directly replaces X, but not the apps running on it. Is this something every Linux desktop application will need to do?
MaxRegret · 2 years ago
Desktop applications can continue to use the X11 protocol, but then they'll be talking to the Xwayland server, which in turn Wayland to actually draw its clients' windows on the screen.

But it's preferable to have applications directly use the Wayland protocol, which is what Firefox is experimenting with. For most applications, this is easy because they use some standard toolkit like GTK or Qt, which will transparently use Wayland without the application caring about it. But Firefox uses its own toolkit, so it's a bit more work.

MaxRegret commented on Mathematicians Found 12,000 Solutions to the Notoriously Hard Three-Body Problem   popularmechanics.com/scie... · Posted by u/bookofjoe
Retric · 2 years ago
But predicting out real world chaotic orbits a few years in advance to the required precision is fairly trivial. You only really need high precision to line up a slingshot for the next slingshot not the slingshot after that. A last minute correction of 1 mile per hour * 1 month ~= 720 miles.
MaxRegret · 2 years ago
You're right, the real problem with predicting trajectories through those "keyholes" [1] isn't solving the dynamics equations: our numerical integrators are more than good enough. The problem is we can't measure the initial states with enough precision.

[1] https://en.wikipedia.org/wiki/Gravitational_keyhole

MaxRegret commented on More than 100 dolphins dead in Amazon as water hits 102 degrees Fahrenheit   cnn.com/2023/10/01/americ... · Posted by u/hnuser0000
alexeldeib · 2 years ago
Huh! Does this account for the difference between what we perceive as "room temperature" and our body temperature? I suppose that delta in temperature depends on medium the body is surrounded by and effectiveness of heat transfer (e.g. similar issue as evaporation, but maybe not the same direction?)
MaxRegret · 2 years ago
Yes, indeed! The actual rate of heat transfer is equal to the temperature delta divided by the thermal resistivity of the body-environment interface. So, to keep your body temperature constant, the temperature delta needs to be your metabolic rate multiplied by the thermal resistivity.

The thermal resistivity depends on, among other things, the material you're surrounded by. That's why if you wear insulating clothes, you're comfortable at a lower environmental temperature (i.e. higher temperature delta).

To this you can add the effect of convection: if the air is moving then you don't accumulate a layer of warmer air around you, so the effective temperature delta is higher. And unless you're in a hot tub or air at 100% relative humidity, then some of the heat you produce goes into evaporating sweat. It takes energy to vaporize water, and this energy is locked into the water vapor until it condenses somewhere else.

MaxRegret commented on More than 100 dolphins dead in Amazon as water hits 102 degrees Fahrenheit   cnn.com/2023/10/01/americ... · Posted by u/hnuser0000
alexeldeib · 2 years ago
Does it work with lower temps? I’ve always found it odd that human body temp is close to 100F but getting into 90 degree water feels hot. I wonder if it’s the evaporative effect like you said and if it reverses when it’s hot enough. Like if it’s 110 and I get in a 90 degree tub, does it feel good? That’s below the temperature my body naturally wants to be at, why doesn’t it feel “cool”?
MaxRegret · 2 years ago
The human body is producing about 80 watts of heat just from basic metabolism (unless you're dead) which you need to dissipate to keep your body temperature from going up. The rate of heat transfer out of your body is proportional to the temperature difference, so the environment needs to be cooler than your body.

If your environment was exactly the standard body temperature, your body would actually get hotter until the temperature delta was enough to dissipate 80 watts, which would likely be too hot to survive.

u/MaxRegret

KarmaCake day172June 30, 2023View Original