105300+ entries in 0.05s
mircea_popescu: ben_vulpes well no, i get a ftp and a wwb for the trouble.
mircea_popescu: actually on meditation i almost never use left shift. cuz my left thumb is on ctrl/macro
mircea_popescu: nope. when typing commands i use the right for the right shift, the fuck finger for ! and the index for whatever else.
mircea_popescu: ben_vulpes ideally 4 works like, billed on 5 or else when X qty of btc is due, say 0.1 or w/e.
mircea_popescu: 1. user says !%cred ; 2. mimisbrunnr replies with link to rsa-encrypted user/pass/url combination for, eg, a ftp session ; 3. if i share the url, i share the url, with whoever i want ; 4. you meter and bill ; 5. !%destroy kills it
mircea_popescu: well evidently the tmsr-rsa isn't ready, so i'm guessing ad interim a scheme like this could work
mircea_popescu: basically all you have to get together is a rsync-like and an elastic store/web infrastructure.
mircea_popescu: ben_vulpes i'm not altogether certain how it'd work, but basically i'd like it if mimisbrunnr allowed me to buy storage on wotpaste. i could pay from trinque 's deedbot once it's done ; and i should be able to buy by the gb of storage or by the tb of traffic.
mircea_popescu: trabant would actually be a great brand under which to roll up all the vc/sv "revolutionary tech"
mircea_popescu: yeah it can be brutal. had my patio furniture turned to sculptures once ; it looked damn pretty but everything was soldered in place.
mircea_popescu: anyway. afaik both russia and japan still run significant (ie gigawatt) breeder designs
mircea_popescu: anyway. the problem of very long lived actinides (like iodine 129) is certain to eventually drive burner designs. even if they're run as two separate installatiosn as currently the case for some insane reason (really, germany burns up uranium in light water reactor, then ships the leftover by train to france to be reburned in a special burner. could have done all in one place but hey.).
mircea_popescu: that 2nd lobe will change the economics, but in decades from now.
mircea_popescu: current used types are yet cheaper ; mostly because uranium turned out to be more plentiful than anyone realised in the 50s, and because the cost of waste storage is not properly accounted.
mircea_popescu: tis not so plain an' simple as all that alfie. notwithstanding that yeah, prolly breeder reactors are going to take over as we run out of space to put the waste ; nevertheless they're more expensive an' complicated and etc. simply larger bar.
mircea_popescu: oh i see, the old "chucka hunter-gatherer party warms self on rtg innards"
mircea_popescu: that's the major restriction, and the deep source of alf's comment above
mircea_popescu: in any case - mental models of logic, as with mental models of anything found in nature -, are approximations. the same mechanism that allows a guy to isolate 0* from null.predicate allows one all sorts of psycho-imunological responses that are rather requisite to maintain the subjective notion of the self ~in a format comprehensible to itself~!
☟︎ mircea_popescu: asciilifeform you may be surprised by that rocket thing ; iirc i posted a guy attached to a car.
mircea_popescu: if girl a sees girl b drop a vase girl a thinks girl b is clumsy ; if girl a sees girl a drop the same vase girl a tihnks the vase is slippery.
☟︎☟︎ mircea_popescu: yes. derps at dept of state GENUINELY BELIEVE that they "did what they had to" in mosul and the russians are being evil criminals in aleppo.
mircea_popescu: what some psychologists then turn around and measure as "integration". but in any case, it's trivially evident that ~the world~ may be good or bad, but not the subject. observable at all scales, from the freeranged girlfriend of your choice to the us propaganda discussing aleppo/mosul.
☟︎ mircea_popescu: i mean there's a set of expectations (this is what an ontology, ie, list of items and predicates, always is) for the self ; and ANOTHER one for the world.
mircea_popescu: it's just whether one is inclined to allocate either both of these domains to i-ontology, or just one of them.
mircea_popescu: Framedragger we need no such thing, "0" means the same in the language of the commutative ring R as "nill" means in the natural language above.
mircea_popescu: it's not just that computing isn't thought ; what happens in the brain is also not reason. as far as the logic is concerned things may be whatever they are, but in the objective development of the subject there's an i-ontology and a world-ontology. this disjunction is or is not resolved in time ; but from the subjective development it was never a problem in the first place.
mircea_popescu: asciilifeform this distinction stands at the very root of naive notions of "i'm creative" vs "i'm good with math"
mircea_popescu: i just pointed out the method works ; didn't say it's the only approach.
mircea_popescu: Framedragger you don't so far find it to be an idea altogether, as best it can be determined.
mircea_popescu: considerations of null set clearly are better than wine.
mircea_popescu: there's an ancient quote about the wine vessel aleph of a party, with 3+ being the breaking of furniture
mircea_popescu: i really appreciate though that this topic can still get the blood going. you should see what it did to the monks of 1016.
mircea_popescu: dude what are you on about. ontological economy of the null set ?
mircea_popescu: also practical, at that. god can stay god for as long as gets in no one's way.
mircea_popescu: i think it's a fabulous testament on the very matters at hand that the ~only guy who has a very introspective, quiet, slow and complete approach to thinking/speaking got derated for emotionals.
mircea_popescu: but i shall discuss logic with you, if you do not appease us.
mircea_popescu: hey, i'm not here to defend extant programing language design choices.
mircea_popescu: Framedragger what's the definition of every for null set ?
mircea_popescu: "the avoidance of suffering can never be a point of policy, seeing how the simplest solution is immediate mass extermination." AND "consensus can never be the basis of action because the null set always agrees."
mircea_popescu: kinda fine illustration of why consensus can never be a sound basis for action
mircea_popescu: i still love the captatio of that sort of guy. it always reduces to "here we show this is controversial". as if THIS has some sort of merit or value.
mircea_popescu: ((and mp was never as unimpressed with chomski as he was when the guy tried to deploy a cantor proof lite without saying so.))
mircea_popescu: anyway. for completeness let it be stated that perceived problems of thought-computing mismatch are thoroughly a matter of perception, and in principle can not be fixed (other than fixing the perception). it's the fundamental problem of "ai", as derided often enough here (see the "what if you name the procedures something other than "understanding" etc ; see also chomski's attacks on "ai" centered on the constructed repeating
mircea_popescu: fortunately, the people who like to solve theoretical problems of though/action mismatch moved on from logic and are doing "policy" nao.
mircea_popescu: this duality then makes it a fine candidate for a "prime mover", which bothered the scholastics immensely, because they, much like the scholastics-lite version of smith in the us say, wanted to intercede their own agent in there, so he could do things and therefore their derpitude could matter.
mircea_popescu: anyway, the problem generally is that "all things" have an ontology and a gnoseology, which is separate and so trivially separable even the greeks were privy to it (hence plato's ideal objects) ; except for the void, which is AT THE SAME TIME the absence of ontology and the plenarity of gnoseology. which is to say, the same "thing" at the same time doesn't exist (ie, as nil) and implies everything (ie, as "false").
mircea_popescu: the proposition "four is a prime number" doesn't stand, because a factor is known ; the proposition "this and this rsa key is made of two primes" stands, but is not known to be true.
mircea_popescu: if i were to endeavour to prove all primenumbers larger than 2 are odd, you'd count yourself satisfied if i showed a number that's prime and larger than 2 can not exist, yes ?
mircea_popescu: Framedragger a proposition ~stands~ until falsified. and is true once it can be showed it can't be false.
mircea_popescu: as to the blue hair issue : if you can't produce a member which has non-blue hair, the proposition stands ; and if i can prove you can't (which i prove by showing there's no elements in the null set) then the proposition evaluates to true.
☟︎ mircea_popescu: well part of the problem is that nil can't be used to mean anything other than nil./