ttctciyf
Joined 13 years ago
Joined 13 years ago
In general use today, AI primarily functions as a stupidity amplifier: it empowers dumb people to do dumb things more pervasively, with less effort, and at unprecedented scale.
We're moving into an era of artificially enhanced stupidity.
0: https://en.wikipedia.org/wiki/Manjul_Bhargava
"Everything is broken" used to mean "all software is insecure because the inherent complexity of a modern software stack ensures it's beyond the abilities of the average developer to eliminate all attack vectors" [1].
Now it just means [2].
1: https://medium.com/message/everything-is-broken-81e5f33a24e1
0: see https://en.wikipedia.org/wiki/Computers_Don%27t_Argue
(available in Best of Creative Computing Vol. 2 at https://dn790007.ca.archive.org/0/items/bestofcreativeco00ah... , p.133)
I'm a little surprised, however, to see him here proselytizing for a particular side in the constructivism debate. I associate him more with what he has described as a "quasi empirical" approach to mathematics[0] where the adoption of new axioms (such as for example the axiom of choice) is justified by their resulting in new, interesting mathematics.
But here, it seems his goal is to arrive at a somewhat Platonic conclusion, that either the reals are valid numbers or (seemingly he prefers) not.
My lay and naive take would be: if you adopt these rules (this Formal Axiomatic System) then you can have Big Fun in the playground of ever more esoteric and complex infinite cardinals, or if you adopt this other FAS you get to discover which results can and can't be obtained under a strict constructivist regime, and whichever FAS you choose it's just the same process of choosing axioms and applying valid deductive steps to arrive at a result you find interesting, with no more "existence" implied than the thoroughly non-Platonic existence of a solution to a problem, which can be demonstrated by solving it: if you take such-and-such steps then such-and-such result will follow.
I suppose the point being made is that avoiding axioms which imply the "existence" of the reals is more useful for doing physics, but that seems non-obvious in a field which for the last 200 years has seemingly sought to progressively make more and more phenomena intelligible by means of differential equations from infinitesimal calculus!
0: see, for example: https://arxiv.org/pdf/math/0303352, 1.9 Is Mathematics Quasi-Empirical
Beats me too! Thanks for the heads up.
> wiggly string-like texture from treating a noise field as an angle and sampling the curvature, with some dodgy trig.
https://www.shadertoy.com/view/XssGD8
I wonder if the gifs in TFA would translate into the shader animation domain?
> The US/Israeli wars and threats to end Iranian civilization with massive bombardment have drawn attention away from the ongoing genocide in Gaza and ethnic cleansing of the West Bank. Looking back, the Columbia students with their encampment were very much right about what was going on.
However "baseline" epistemic hygiene seems to be a somewhat distant goal for the vast majority now we live in an infosphere essentially comprising a Darwinian nightmare of competing agnotological agendas.
I'm just now migrating away from gmail for a different kind of inanity[1] all the same.
This is already SOP in large companies that seek reductions in support and customer service overheads. It has been for a while.
The only plausible fix is legislation mandating a reasonable level of _human_ support for all customers and clients and accountability for maintaining it.
Plausible until you consider the political obstacles to getting something like that enacted, that is.