@niconiconi yep, Gaussian processes/kriging were invented for finding oil and minerals, and that's 30(?) years ago
e.g. The only three practical applications of a gravity gradiometer are like: (1) Answer fundamental physics questions about the Earth and the universe. (2) Obtain navigational data for inertial guidance system to nuke someone else with nuclear ballistic missiles. (3) Find oil.
@evamik
> harmful effects
> Euphoria
???
@lisyarus Turing completeness is the empirically unique reasonable notion of computability for functions Nat -> Nat, but for (Nat -> Nat) -> Nat (aka type-2 computability) there are multiple reasonable notions of computation that are not equivalent, so there is no such thing as “Turing completeness” there
@Paradox feeling embarrassed for others
@Paradox well, *I* shouldn't cpkplain, but still...
@Paradox true, but if 4 guys surround the hot chick with a clear center of focus, ignoring all the other chicks, I do feel Fremdscham
Have they no self-respect to be this obviously piling?!
Some poise, guys!
#30daymapchallenge Day 2 (Lines): Sequential postcodes of Germany, making use of the unpopular 🌈 rainbow color map. This map was inspired by Kate, aka @pokateo_maps on the bird site.
I operate by Crocker's rules[1].