Saw once a discussion that people should not have kids as it's by far the highest increase in your carbon footprint in your lifetime (>10x than going vegan, etc) be driven all the way to advocating genocide as a way of carbon footprint minimization
Beyond efficacy, having a drug that only needs to be taken twice per year is a huge deal. Adherence is critical for treatments to succeed, and it's much easier to ensure that patients are on their meds twice per year. It's also much safer for vulnerable people, where getting caught with HIV medications (say daily pills) could be dangerous
Membership filters are very efficient filters that guarantee no false negatives, but false positives are possible (how much and how many can be adjusted based on the dataset and filter's parameters). An obvious application could something like checking whether passengers are in a no-fly list, where false-positives could be handled by further checks. As far as I know cuckoo filters [0] are the state of the art for this, but per this work in principle you could make very efficient with using a SAT (or XORSAT) solver that could generate many feasible solutions out of random SAT problems.
- Google scholar pointed out this link to get a pdf for one of the papers cited in the repo [1]
I see some parallels with magnetic resonance imaging. I worked on a project optimizing MRI scans a few years back. I remember the PI in the project essentially acknowledging that analyzing single MRI images is absolutely more art than science, but there's a ton of value in getting periodic MRIs (say yearly) and looking at the diffs. I imagine a lot of the value coming from Rubin will be due to this, as well as the reason it was built for speed.
I regret making that comment, even if right now the NFT craze appears over I'll have nightmares if it comes back and someone starts burning Bob Ross paintings (or anything else really)
“It’s a lot easier to send a power beam directly up or down relative to the ground because there is so much less atmosphere to fight through,” Jaffe explains. “For PRAD, we wanted to test under the maximum impact of atmospheric effects.”
Super impressive! My only complain is that this was done at the White Sounds desert in New Mexico, at over 1200 meters of elevation. For maximum impact they should have done it in Florida on a hot humid day
These paintings sound almost perfect for an NFT art project (burn it and turn it into digital tokens), given that the quality of the art pieces is not super high, but there's huge cultural resonance. To be fair the idea is much older (Yves Klein, the Klein blue guy, Zone de Sensibilité Picturale Immatérielle [0]).
Life goes full circle sometimes. I remember that Numpy roughly came out of the amalgamation of the Numeric and Numarray libraries; I want to imagine that the Numarray people kept fighting these past 20 years to prove they were the right solution, at some point took some money from Elon Musk and renamed to Xarray [0], and finally started beating Numpy.
The solver generates a relaxed lower bound that indicates how far they could be from the global optimal solution. The moment that the lower bound improves enough to match a path they can guarantee that it's the global optimum
Proof in this case is that the upper bound and the lower bound of the solver converged. This is not like a SAT solver where the solution itself can be trivially evaluated to verify the solution, it requires trusting that the solver does what it's supposed to be doing, similar to what happens when you solve a MILP with Gurobi or CPLEX.
Not sure what you expected to get. The Concorde TSP solver is an exact solver that uses branch and bound search, it will return either a solution with a specified bound or the optimal bound. They provide the dataset and the solution they found (and I believe their solver is open source), if you don't believe them you can go ahead and find a better tour.
It would be great if it would be able to limit the max speed based on the heading, right now the slider allows the same max speed for any heading. On this boats I suspect max speed is achieved going on a beam reach (90 degrees to the wind)
I had an old Suunto from before they went to crap, by far my favourite function was vertical speed, and it relied only on the accelerometer (the watch had GPS, but turning it on killed battery life). I still tried a couple of newer models but they removed that function.
(I'm sure this is in the book) John Napier, the father of logarithms (the N in ln), basically had a sweatshop of human calculators making log tables over something like 20 years - critical for celestial navigation. There was a huge price attached to the person that developed a method to safely navigate across the oceans, also lead to the invention of the pocket watch
There used to be practical value to be able to do some basic back of the envelope log calculations in your head (no calculators, this was how you did fast multiplications/divisions or exponents). There's a story in Feyman's Surely you're joking book about Los Alamos scientists doing speed competitions for mental log calculations
My daughter uses one of my old 2017 Macbook pros (nice hardware, everything works fine). I learned yesterday that she cannot use Pages because OSX cannot be upgraded to 10.14, which is a requirement for Pages (I suspect the same thing will happen with other Apple software).
I remember going on a boat ride to a hotsprings cove on the Pacific side of Vancouver island, and seeing 50+ bald eagles in a small bay flying around a fishing boat. At the time I still thought bald eagles were endangered. They're pretty common in Vancouver, especially near the water, but on occasion I've also seen very large groups flying over land
A lot of custom optimization solvers (e.g. Ising Machines) these days benchmark on XOR problems. It's a bit useless in practice because solving a bunch of XOR clauses can be done in polynomial time with Gaussian elimination, yet the solvers all show exponential scaling, but it works as a good way to gauge performance.
A second interesting implementation concerns the McEliece system. It's a public key cryptocipher from the 70s that is enjoying a renaissance these days due to being quantum-resistant. The decoding attack involves finding a solution to a set of XOR equations (again, polynomial), but where the Hamming distance is equal to some number (given, part of the public key).
There's a Mexican sculptor (Sebastian [0]) that has made massive flexagons (or something similar, cube-based) out of sheet metal. At some point he sold books and kits for making them out of cardboard, I had one or two, super cool stuff
When the horizon's at the bottom, it's interesting. When the horizon's at the top, it's interesting. When the horizon's in the middle, it's boring as shit!
This is what he replied when asked about the backdated comments:
> The backdated answers were an internal test. We conceived of a bot that would provide a quality answer to a thread without a reply after 1+ years. That too also failed. Instead, I’m considering pruning all threads without a reply as they clutter up the forums.
Talk about burying the lede! Near the bottom of the story the site owner confirms that it was him that added the backdated AI comments (perhaps it should have been obvious...)
One often unappreciated and amazing thing about the GPS-on-cellphones era is that nowadays everyone has the exact time. Up to the late 20th century it wasn't trivial to have the right time, in fact there was a three digit phone number you could call to get the right time (up to the minute).