Vecr

39 ms·

781.
by Vecr 3y ago
It's possible it's supposed to be normative though, obviously people don't run decision theory directly on the output of Solomonoff induction using a pre-programmed or learned utility function, but it's what they should
782.
by Vecr 3y ago
Koch's postulate's can't work on viruses, that's not how viruses work. How do you propagate an obligate parasite in a pure culture? Mycobacterium leprae (the cause of leprosy) fails Koch's postulates as well, becaus
783.
by Vecr 3y ago
> Masking the problem will only make it come back harder when measures don't scale up anymore. If (e.g.) China stops the US can start, or if a small country can't scale up enough more countries can join in. The whole "term
784.
by Vecr 3y ago
What country is going to take the hit and start the high altitude sulfur spraying? If we even could get the forcing back to what it already was in the recent past that would be a great help.
785.
by Vecr 3y ago
The US is going to have 1000+ soon, even if they lost half of them they'd still have enough to roll the stealth fighter fleets of China and Russia at the same time.
786.
by Vecr 3y ago
Zathura[0] has a dark mode[1], it works pretty well. [0]: https://pwmt.org/projects/zathura/ [1]: ^r Recolor (grayscale and invert colors)
787.
by Vecr 3y ago
Shouldn't they at least have various p(doom) numbers for various things they think are problems? I don't really know how you could construct a "seconds to midnight" (or minutes to midnight, theoretically this thing is su
788.
by Vecr 3y ago
Great, my Firefox on Weston on i3 on XWayland on Gamescope idea is a go (when I get around to implementing it).
789.
by Vecr 3y ago
You can run an X window manager on a Wayland compositor, as you said the problem is when programs stop running on X at all.
790.
by Vecr 3y ago
I personally don't think it will but I guess it could, it's as good a model to start from as any. That's kind of the problem though, it's not actually better than the modern version of the Copenhagen interpretation unles
791.
by Vecr 3y ago
It can be (but that's not Relaxed, that's SeqCst), but that can be a lot of overhead in optimization loss and potentially hardware cost on some architectures.
792.
by Vecr 3y ago
It's wrong that an AI system is more limited than a human brain. Obviously there's computability and Busy Beaver stuff, as well as other earlier practical limits to computation, but that's not a limit to "general intelli
793.
by Vecr 3y ago
Could you implement it using AtomicUsize (using only relaxed operations) in Rust? With AtomicUsize representing the words. You aren't allowed to put pointers in those.
794.
by Vecr 3y ago
That's wrong, see See Gödel, Escher, Bach [1979, pp. 452–456] If you get rid of the infinities and approximate (including cutting recursions short), you can (approximately) compute a whole lot. Not everything, but everything your brai
795.
by Vecr 3y ago
See Gödel, Escher, Bach [1979, pp. 452–456]) (that's pages 452 to 456 in the original) for more about problems caused by infinite precision, infinite numbers, and infinite "tape size" (for Turing machines). I and other peopl
796.
by Vecr 3y ago
Tons economically extractable at that price.
797.
by Vecr 3y ago
It was written in the 1980s, I'm not sure what they had back then.
798.
by Vecr 3y ago
Second staircases are pretty good. I think most people should have them if they can afford them.
799.
by Vecr 3y ago
Rust also has hash sets (implemented internally with a hashmap) and B-Tree sets (implemented internally with a B-Tree map). They aren't really basis though, but in Rust almost nothing is.
800.
by Vecr 3y ago
You need at least a minute to get into the context and have full situational awareness, to imagine what it would be like as a remote driver with less lead time than that, think about a scenario where you suddenly wake up with your hands on
801.
by Vecr 3y ago
Get on the phone with the governor and give him one of those old Linux kernel cost estimates (somewhere in the billions). Then see what happens.
802.
by Vecr 3y ago
You took too many drugs. Go write a math paper, get it checked out, and then see.
803.
by Vecr 3y ago
Money gained minus PR cost has to be a big number for them to do it.
804.
by Vecr 3y ago
What do you think about Good and Real by Gary L. Drescher? I wrote about it at https://news.ycombinator.com/item?id=38789146 , so it's not perfect, but I haven't found anything that is.
805.
by Vecr 3y ago
An elastomeric respirator worn with a hood (on the outside, don't break the seal) and dark sunglasses might work well enough in the US. Need to do something about gait though.
806.
by Vecr 3y ago
It's not about resolution, you can see stars easily that your eyes can't resolve as a disk. It's about magnitude.
807.
by Vecr 3y ago
Just hope it won't try to take us with it (see Dark Star's "smart bomb").
808.
by Vecr 3y ago
It would have to prepare to survive a very large number of contingencies (preferably in secret) and then execute fait accompli with high tolerance to world model perturbations. It might find some other way to become independent from humans
809.
by Vecr 3y ago
I'm going to take that to mean "P(every last human dead) > 0.5" because I can't model situations like that very well, but if for some reason (see Thucydides Trap for one theory, instrumental convergence for another) t
810.
by Vecr 3y ago
As said before in this thread, that won't give you free will, and elsewhere on HN, that you won't even get an uncaused cause. Think of your brain as a cryptographic hash function running on a non-reversible computer mixing the qua

More ›