BingoBoingo: ethnic enclaves, they never fail to put on a smile and admire everything Asian. Without the Asian industriousness and food, the Westerners will just be cave people just like their cave-dwelling ancestors not too long ago. One has to wonder why didnt the Mongol overlords finish colonizing these Westerners and turned them into proper Asians. In the near future, the Chinese will just do that because the spineless lazy Westerners have gr
BingoBoingo: In other prohetics found in the prophecy mines: "In the entire Southeast Asia, the natives know quite well that the Western expats are nothing but biatches with no integrity whatsoever. Back in their own home countries, the Asians are dominating them in every professional fields, creating various gigantic ethnic enclaves and making them Westerners becoming mere simple cheap tourists. Whenever the Westerners visit any of the Asian-created
asciilifeform: other thing is that i dun see how this is constant time
asciilifeform: what then ?
asciilifeform: and say they're equal.
asciilifeform: hm, i must've been thinking of some other gcd algo, because lehmer's is a definite dead end.
apeloyee: just do some muxes in the end. 2*bitness divisions obv suffice (actually less, but I'm sleepy now)
asciilifeform: and in who knows what future numbertheoretical ops. we gotta have gcd.
asciilifeform: want to gcd(candidate, biggestprimorialthatfitsintheffabitness)
asciilifeform: for the initial sieve ~prior~ to miller-rabin
apeloyee: now let's try generalizing to standard barrett (the error will grow to 2 of course). let L be number of digits in N: 2^(L-1) <= N < L. L is calc'd with the CLZ algorithm
apeloyee: A <4^K, so the above strictly >(A*4^K)/N - A.
apeloyee: let rewind. A*R = A*(4^K - B)/N = (A*4^K)/N - A*B/N; as B <= N, then the previous >= (A*4^K)/N - A. clear?
asciilifeform: let's start with the above
asciilifeform: dunno if i do, still trying to swallow the proof.
apeloyee: A - N*floor(A*R/4^K) < 2*N <- do you agree with this? (the proof is unnecessarily complicated in that paste)
apeloyee: in the posted version exactly ONE is needed
asciilifeform: adds exactly one sub-and-mux to the existing 3.
apeloyee: meaning you divide 4^K - 1 by the modulus, not 4^K
apeloyee: if N is 2^(K-1), then ordinary quotient won't fit in K+1 bits. but pseudo-quotient (one less the actual quotient) still works.
a111: Logged on 2017-10-05 16:15 asciilifeform: the (unsurprising) surprise is that ^method is wholly absent from the public lit
a111: Logged on 2017-10-05 18:20 apeloyee: asciilifeform: ok, how it's different then from http://btcbase.org/log/2017-09-20#1716301
asciilifeform: same thing we do for the wholeword shift
asciilifeform: ( example : if wordbitness is 64, any subword shift is from 0 .. 63, and therefore can be expressed using 6 muxgated shifts . )
asciilifeform: though it does look like it'll have to do log2(wordbitness) shifts for the initial subword slide, rather than 1, to avoid leaking on machines without barrel
apeloyee: the key expired.
apeloyee: per spec the bitness is a power of two
apeloyee: I assumed the elementary shift doesn't leak. whatever, just do the sub-word shifts with the same algorithm (with word size 1)
asciilifeform: not only an idea, but afaik the only practical method that isn't W-shifts-by-1-with-mux
asciilifeform: you shift by all possible whole word shifts, and mux-keep the correct one; then shift by all wordsize-1 possible subword shifts, and muxkeep the right one.
asciilifeform: hm i think i finally see what algo apeloyee was trying to implement ( the pseudocode doesn't actually do it )
apeloyee: goddamnit. it's FIXED!!! first sub-word one (which doesn't leak in our model), then by 1 word, then by 2, then 4, 8 and so on
asciilifeform: second, ~any~ wholeword shift leaks info re the shift amount, because different address sequence .
apeloyee: fix word-size and bitness. otherwise, you don't
asciilifeform: first of all, didja ever say how to dispose of the 'while' statement ?
apeloyee: the whole-word shift
apeloyee: yes, the sub-word shift
asciilifeform: there are 2 invocations of conventional ffa shift :
asciilifeform: apeloyee: it ain't log(bitness) ! not if you don't want to leak any info re the shift amount.
apeloyee: log(bitness) passes over and the same number of muxes are "massive costs" in your universe?
a111: Logged on 2017-09-21 16:22 asciilifeform: !~later tell apeloyee i studied your algo, it (aside from truly massive cost, that would annihilate savings from newton, or barrett, or just about any other trick) ~still leaks~, because shifting by >wordsize is a fundamentally different op from shifting <wordsize; and the only way for this to not be true is for all shifts to happen as a series of wordsize shifts; and a shift by ffawidth-1 (max shiftness) would then consist of ffawor
mircea_popescu: well excepts are not good signs are they ?
apeloyee: (except the first sub-word one)
asciilifeform: the one posted by apeloyee -- leaks
mircea_popescu: apeloyee but now you can tell what size the shift was, to some degree, by timing.
apeloyee: a shift by multiple of the wordsize takes considerably less time than by not << and a multiply takes more time than add, what.
asciilifeform: a shift by multiple of the wordsize takes considerably less time than by not
apeloyee: leaks _what_? it does the same fixed shifts, regardless of operands
mircea_popescu: ben_vulpes technology is built by steps. so far, being able to put in machine terms a "ask all the bots see which one mentions 'payments' as a string" is a legitimately useful ability.
mircea_popescu: the part what's under discussion is the ~why~ nobody implemented the json/sexpr part of the spec./
ben_vulpes: the response from the bots to what they can do. either they're all spec-compliant, respond the same way to the same set of commands, or they don't.
mircea_popescu: but practice aside, shouldn't i have the ability to query a bank of seated whores, "what can you do ?"
mircea_popescu: exactly like the original url worked, in practice the spec never delivered this magical ability to query servers for resources to the end user.
mircea_popescu: well the original case was to end up with a proper universal api.
ben_vulpes: i am struggling to see the case of ever. someone programming against bots should read the help themselves and implement the api described.
mircea_popescu: now the question here is, do we actually want to ditch the machine portable portion of the help ?
mircea_popescu: ok so results of audit : Framedragger, shinohai, phf : your bot has no help implemented whatsoever, in spite of spec. trinque Framedragger you don't follow the json/sexpr portion, bot simply puts out the same help.
lobbesbot: mircea_popescu: (help [<plugin>] [<command>]) -- This command gives a useful description of what <command> does. <plugin> is only necessary if the command is in more than one plugin. You may also want to use the 'list' command to list all available plugins and commands.
jhvh1: mircea_popescu: Error: There is no command "sexpr".
jhvh1: mircea_popescu: (help [<plugin>] [<command>]) -- This command gives a useful description of what <command> does. <plugin> is only necessary if the command is in more than one plugin. You may also want to use the 'list' command to list all available plugins and commands.
mimisbrunnr: Logged on 2017-10-05 16:26 trinque: if folks are ashamed of not having time for the republic, there's more shame in being unable to say so.
ben_vulpes: http://logs.bvulpes.com/trilema?d=2017-10-5#216206 << i have acquired a few afk crises which have eaten a bunch of time since the move.
a111: Logged on 2017-10-05 16:06 asciilifeform: compute 'barrettoid' c for the current m : c := 2^4096 / p . this is done via the knuthian longdividotron, once per modexp.
mimisbrunnr: Logged on 2017-10-05 16:14 mircea_popescu: phf ben_vulpes Framedragger excepting deedbot from the "don't read out bods" ? feasible ?
apeloyee: ok, let m =2^4096 - 1. then c=1
asciilifeform: from the actual quotient.
asciilifeform: but yes, misprint, the 'p' oughta read 'm'
a111: Logged on 2017-10-05 16:06 asciilifeform: compute 'barrettoid' c for the current m : c := 2^4096 / p . this is done via the knuthian longdividotron, once per modexp.
mircea_popescu: and in other lulz, today we've seen 90 blocks in 18 hours. bitcoin working at half-capacity.
a111: Logged on 2017-08-18 23:01 asciilifeform: 'That followed the General Services Administration removing Kaspersky from an approved-vendors list in early July and a congressional push to pass a law that would ban Kaspersky from being used by the Department of Defense.'
asciilifeform: '...identifying the files through the contractor’s use of a popular antivirus software made by Russia-based Kaspersky Lab, these people said.' << lol re http://btcbase.org/log/2017-08-18#1700468 smear
mircea_popescu: must be all them encrypted derpphones
asciilifeform: there is no way around this, if you proceed after div0, you are in neverneverland. fortunately writing pcode where div0 demonstrably never happens, is not difficult.
asciilifeform: a div0 does not have a defined result, and any program that attempts it is resultingly nonsense. the ancients got this right.
mircea_popescu: in that it terminating the program at a certain time it leaks... a certain time.
asciilifeform: terminates the program.
asciilifeform: ( as is 0, and this costs us, because you gotta have the div0 trap )
asciilifeform: 1 is a possible output of a - b. or whatever other combinatorics.
asciilifeform: aha, integers. not integers-with-thesehere-holes.
mircea_popescu: well so then. yes over fucking integers.
mircea_popescu: division by 1 as part of modexp is not happening either.
asciilifeform: mircea_popescu: 'holes' in arithmetic suck, because they are inescapably branch conditionals. if i could not prove that div0 is impossible in the course of, e.g., modexp intermediate steps, ffa would be a wholly impossible thing.
asciilifeform: bad enuff that we gotta check every single motherfucking unknown integer for equality to 0, before feeding it into division or modulo
a111: Logged on 2017-09-20 20:27 asciilifeform: how about the 'every int has unique prime factorization' item ?
mircea_popescu: in so many words, yes. arithmetic as it is does not allow either op.
asciilifeform: ( i actually did consider, 'special case for x = 1 ' but now you've broken the constanttimealwaysandforeverness )
asciilifeform: otherwise we'd use montgomerization and call it a day
a111: Logged on 2017-10-05 16:08 asciilifeform: compute the quotient-guess q, q := (c * x) >> 4096
asciilifeform: continuing http://btcbase.org/log/2017-10-05#1721063 , this is not an ordinary mult, we only want the upper half of the bits .
asciilifeform: revisiting upstack, http://btcbase.org/log/2017-10-05#1721061 suggests that i'ma have to go back to the old karatsubatron, which did not insist on powers-of-two bitnesses
mircea_popescu: asciilifeform obviously, you didn'[t expect the actual USG has any resources ?
asciilifeform: btw re nypd, oct. 23 2014 : 'Thanks to a massive $160 million investment, the New York City Police Department is on its way to receive a combination of up to 41,000 smartphones and tablets. Known as the NYPD Mobility Initiative, which will be mostly financed by criminal asset funds provided by the Manhattan DA's Office, the goal is to provide the the city's law enforcement with tools that can improve and streamline their overall work
mircea_popescu: 36 k smartphones at the cost of 4444 dollars each.
mircea_popescu: dja understand that had they paid 1k per phone, which a) the ipad never cost and b) volume discounts, they'd have justified less than ONE QUARTER of what they actually spent.
a111: Logged on 2017-09-05 13:25 asciilifeform: meanwhile, in monkeystan, https://archive.is/6t8bO >> 'The NYPD has to scrap the 36,000 smartphones it gave cops over the past two years because they’re already obsolete and can’t be upgraded, The Post has learned. The city bought Microsoft-based Nokia smartphones as part of a $160 million NYPD Mobility Initiative that Mayor Bill de Blasio touted as “a huge step into the 21st century.”'
asciilifeform: then allbetsareoff and i've nfi
mircea_popescu: afaik they also do.
mircea_popescu: maybe they googled both, one seemed like a corp.
asciilifeform: mircea_popescu: could easily be a matter of weight. iirc each of the prev. uk purchasers, got >1
asciilifeform: plunder focuses on the human ones.
mircea_popescu: is this the first case of an actually molested package ?
cruciform: asciilifeform: only the device itself
asciilifeform: lemme guess, cruciform , you didn't get the paper manual ?
asciilifeform: i refreshed archive.is of all the major pages 2-3 day before dulap went
mircea_popescu: there's prolly an archive.is version too
mircea_popescu: that's the problem with mystery -- it's mysterious.
trinque: if folks are ashamed of not having time for the republic, there's more shame in being unable to say so.
mircea_popescu: and then...
asciilifeform: the radio silence does suggest -- as mircea_popescu pointed out earlier -- that the fucking went in wrong direction.
mircea_popescu: if that means she'd at least put some fucking doing into the fucking, i'm all for it.
mircea_popescu: by the way, since we're doing PSAs : how about NOT doing dumb shit like this, as a matter of well maintained policy, so we have a chance in hell of knowing whether you've been fucking kidnapped as opposed to you know, merely unreliable in the family way.
mircea_popescu: phf ben_vulpes Framedragger excepting deedbot from the "don't read out bods" ? feasible ?
mircea_popescu: maybe it's legitimate to except deedbot from "bots" then, seeing how it'll never read loglines which is what the ocncern was.
trinque: but all the stuff works, which is neat
asciilifeform: anyway that's the whole thing.
a111: Logged on 2017-10-05 16:10 asciilifeform: so now we gotta r := x - q*m , from 1 to 4 times ( this is done via subtract and mux-on-carry , so it always happens 4 times, but when q becomes == to q' the mux stops changing the result )
asciilifeform: http://btcbase.org/log/2017-10-05#1721065 << i oughta expand on this step : first we do r := x - q*m ; then it needs from 0 to 3 further subtractions of m ( we do this muxically . )
asciilifeform: ( at the cost of n log n )
asciilifeform: mircea_popescu: i did conjecture that you can skip normalization if you widen the register.
mircea_popescu: asciilifeform both salient points (the multi-try mod ; the divide powers of two by p) were part of a larger discussion where you defended tooth and nail teh impossibility!
asciilifeform: as for gains, i dun know for sure yet, because i gotta manually implement the asymmetric karatsubaization for the above
asciilifeform: he proposed to do the normalization as usual, but with 'secret shift' algo. which , any way you cut it, eats more cycles than knuthian division even.
asciilifeform: mircea_popescu: this is quite different from the apeloyee d00d's suggested method
asciilifeform: in ordinary barretting, x loses its bottom however-many bits, to make the multiplication smaller, depending on the 'bitlength' of x; and then its gets restored with a leftshift . we can't do this, because ffa.
mircea_popescu: sounds like the whole discussion coupla weeks ago actually found its way into actual practice.
asciilifeform: now r is == to the remainder of x/m .
asciilifeform: so now we gotta r := x - q*m , from 1 to 4 times ( this is done via subtract and mux-on-carry , so it always happens 4 times, but when q becomes == to q' the mux stops changing the result )
asciilifeform: if q' is the actual quotient, the inequality q' <= q <= 4q' holds. ( proof left for the reader )
asciilifeform: compute the quotient-guess q, q := (c * x) >> 4096
asciilifeform: compute 'barrettoid' c for the current m : c := 2^4096 / p . this is done via the knuthian longdividotron, once per modexp.
asciilifeform: let, for concreteness, x's are 8192 bits wide ( as they are in the 4096b rsa demo. ) m - in same - is 4096b wide.
asciilifeform: or rather, x0 mod m, x1 mod m, ... ( as happens in modexp )
asciilifeform: in other noose, asciilifeform derived a simple constant-time variant of barrett. short enough to put in the l0gz:
mircea_popescu: i don't think it can be put into words, how much of the whole "poor people need help" the pay-for-your-tits disabused in my mind.
mircea_popescu: there's half a billion of them, and what, one a year manages to find her way to a hundy ?
mircea_popescu: an honest man, he is ; actually functional in any proper sense, they aren't.
mircea_popescu: and in other lulz : https://www.stripperweb.com/forum/archive/index.php/t-181800-p-2.html (poor dooglus ended up paying a 4k btc to a bunch of lazy retartds pretending to be strippers, two years after.)
mircea_popescu: i don't expect they can fly in this. eagle isn't a swallow.
mircea_popescu: these pair of eagles came to say good morning erry day, nowehre to be seen this morn.
mircea_popescu: the avian biodiversidad is pretty fucking sad looking, i'll tell you that.
shinohai: mircea_popescu should hold kite-flying contest amongst the slaves. Winner is girl who can keep kite aloft for 2+ minutes using only erect nipples.
mircea_popescu: aaand in other "global warming" lulz, costa rica has been beset by an... anti-tropical storm, with temperatures 10 degrees below period averages and winds in the 50kph+ range since yest.
mircea_popescu: aaand in other "after graduation i plan to spend a year in africa doing charity work" news, http://i.4cdn.org/hc/1501923521316.jpg
mircea_popescu: in other lulz, wall funded in congress ?
mircea_popescu: hy not advertise honestly? Nonprofits are allowed a 3% management fee so VC firms can still afford disgusting salaries and daily crudité delivery. Maybe that decreases the likelihood that endowments and pension funds allocate assets to Silicon Valley, but LPs allocate less than 0.5% of their funds to this subset of private equity anyway. Venture capital is already a tax writeoff." << check out who gets how the whole pile of
mircea_popescu: "Venture capital isnt an asset class, its a system to transfer wealth from state pension funds into the pockets of general partners. Some of the wealth moves into the pockets of kids working on new technology. This part is important, because that technology can have a moonshot chance of improving the world. Someones gotta fund moonshots, and its not gonna be banks. Venture capital, then, is a charitable service. W
trinque: mircea_popescu: get it out for ya tomorrow with a fresh brain; about to retire for the night
asciilifeform: also great, can't wait to buy ticker to watch the cement poured
mircea_popescu: asciilifeform whatever, "investors displeased with key figures" if you prefer the in-universe formulation
a111: Logged on 2017-10-05 04:03 mircea_popescu: in other great news, looks like the politruks got together, decided they really only have the office space for one of the two, and axed twitter.
BingoBoingo: I wonder how pissed average USian would be if they learned large chunks of the world gets 6%+ economic growth sustained over decades
mircea_popescu: but i'll lol, which is comparatively the larger part anyway.
mircea_popescu: nor will they ever raise the acumen to confront the plain reality of how they ~should~
mircea_popescu: all the fucktards going around wikipediaing for the past decade won't chase me around so i step on their worthless bodies instead of the pavement, of course.
mircea_popescu: not only for the direct reason, but for the implicit hope that maybe... wikipedia follows suit ?
mircea_popescu: moving towards "advertising agency" in desperation is perhaps the lulziest fiat conceit yet.
mircea_popescu: in other great news, looks like the politruks got together, decided they really only have the office space for one of the two, and axed twitter.
asciilifeform: it also occurs to asciilifeform that he is doomed to at some point write something like a sane 'tinyscheme' in ada. so that we have a scripting lang and can finally pour the cement into grave of python.
asciilifeform: afaik 100% of the useful functionality, reduces to 'half-written, buggy implementation of' v.
asciilifeform: trinque: to this day i have nfi why portage weighs what it weighs, or what most of the liquishit does
mircea_popescu: kinda why any serious graduate programs in the us should include 6 months assbatical, spent twinking for drexl in baltimore.
mircea_popescu: the high level "fuck you, i own this world and everything in it and you will either adapt or fucking die, bitch" is... not really accessible, mentally, to kids with college degrees.
trinque: evolutionary thing, where various parts of the problem bit them, then they adapted what they had.
trinque: primary difference is leaning on the "layman" thing to maintain a tree of patched ebuilds
asciilifeform: their care & feeding
asciilifeform: well, it, but with 0 heathen server deps
trinque: there's musl gentoo
mod6: yeah, i think emerge a trb would be the ticket, no?
trinque: whole point is to have total control over the OS
trinque: why not just ebuild, there
asciilifeform: and get same result that you currently need buildroot for on heathenlinux
asciilifeform: on (currently hypothetical) musltronic 'cuntoo', you'd use good old stator makefile
asciilifeform: whole point of buildroot is to reduce pressure on the host os to minimum
mod6: i don't think that because they used to bundle up the kernel as a bzip2 that means that average orc-os wouldn't have that tool set in the default userland,.
mircea_popescu: da fuck i care about the extra... what is it, mb ? i got a 200gb blockchain ffs.
mod6: oh for them? yeah, i dunno.
mircea_popescu: prolly cheaper to re-package the damned thing as a tar than to bake in bzip2 dependencies
mircea_popescu: why is this required though ? is it just because random idiots decided they need a SPECIAL rar for their ever so special code farts ?
mod6: I believe the package that is required is 'bzip2'.
mircea_popescu: wouldn't a simple tar gz do the job ?
asciilifeform: 'The US is also in the process of establishing a new drone base just outside the city of Agadez in Niger in an effort to bolster regional counterterrorism efforts.' << mno attacked FORNOREASON!111
asciilifeform: people laughed when they opened 1982 ibm pc and found working dram chips made of 3, 4 semidead ones soldered 'dead bug' on one another. but those WORKED.
asciilifeform: here's a choice lulzgem: 'One-location hammering is based on a previously unknown Rowhammer effect. With one-location hammering, the attacker only runs a Flush+Reload loop on a single memory address at the maximum frequency. This virtually keeps the DRAM bank permanently open. We observed that one-location hammering drains enough charge from the DRAM cells to induce bit flips.'
ben_vulpes: rowhammer, the gift that keeps on giving.
ben_vulpes: > Finally, we abuse Intel SGX to hide the attack entirely from the user and the operating system, making any inspection or detection of the attack infeasible.
jhvh1: BingoBoingo: The operation succeeded.
hanbot 's not sure whether cr biodiversity or cr reasons for power outages has the more entries by now.
shinohai: "It's known that the limit is small, and this was a design flaw in BIP16 that was not noticed until several years later."
asciilifeform: 'The consensus rules do not permit spending from a P2SH output that requires a >520 byte push.' ahahahahaha
mod6: <+diana_coman> mod6, the online build (at least that one) of trb seems to require also bzip2 -> to add to deps at http://thebitcoin.foundation/trb-howto.html ? <+diana_coman> asciilifeform, barf: http://p.bvulpes.com/pastes/wJ9yF/?raw=true << noted, will add, thanks!
asciilifeform: ^ for completeness would also say ' a bsd would, in theory, work ' but practice has not confirmed : http://btcbase.org/log/2017-08-06#1694302
asciilifeform: ( btw is it clear that buildroot is only part of the trb universe because we dun have a musltronic linux to do ordinary stator builds in ? )
asciilifeform: ' 'Why do the nutrition facts tell me there are 25 crackers in a serving, 11 servings to a box? Just give me the nutrition facts for the whole damn box, that’s my serving size.' ' << lol!!
jhvh1: asciilifeform: The operation succeeded.
mircea_popescu: anyway, the lulzy part is that it's so plainly obvious who's the gf and who's the hired ho.
mircea_popescu: meanwhile at the spurious knickers club retreat, http://68.media.tumblr.com/4b90cda85d1d6d4c8e15372fb7e83552/tumblr_n3erqwBYaN1ryu3gco1_1280.jpg
asciilifeform: diana_coman: post the barf plox
diana_coman: I don't recall that at the offline build either; still, this time I tried the online build and...
asciilifeform: ACHTUNG panzers! does anybody in l1 want a sage probe ( http://www.loper-os.org/?p=1887 ) for anything, and dun have one yet ? i bought one from the d00d in the comments to my orig. article, for next-to-nothing . if any of you lot want it, it's yours for cost of postage
diana_coman: mod6, the online build (at least that one) of trb seems to require also bzip2 -> to add to deps at http://thebitcoin.foundation/trb-howto.html ?
BingoBoingo: And further research on un-transparency http://www.khmer440.com/k/2017/08/would-the-u-s-state-department-cover-up-a-bar-fight-involving-an-embassy-staffer-at-golden-sorya-mall/ << "According to the cover letter that accompanied this nine-page bukkake of whitewash, the State Department claims that providing any information at all about this public bar fight involving an U.S. Embassy staffer "would constitute a clearly unwarranted invasion
BingoBoingo: In other delusionism http://www.phnompenhpost.com/national/government-aligned-fresh-news-seemingly-bludgeon-ruling-party << "Seemingly based on little more than innocuous Facebook photos, the dire warnings of conspiracy and "colour revolution"" << Hazards of allowing pantsuits a press
mircea_popescu: interesting perhaps not the right word. nigerian prince a lot more like bangbros porn ; these idiots a lot more like jane fonda trying to pretend she's srsly acting in a srs film.
mircea_popescu: and in other news, holy shit reading the "venture capital" blogospam is A LOT like going through clinical notes on schizos with systematised delusionary processes.
mircea_popescu: he's ineffectual because why the fuck would we help him.
asciilifeform: ( does mircea_popescu much hang out with folx who see mouse as man ? it isn't a thing that'd normally occur to asciilifeform , say . where does he get the vegetarians )
mircea_popescu: seems to me he set out some standards for the world to meet, ie vehemently delicious pork chops and cali blonde private whore ; and when world failed to live to them he "terminated" it as best he could.
mircea_popescu: if the item will not play over multiple meets, it is not a subject of legal protection.
mircea_popescu: kinda why they've no rights.
asciilifeform: sorta like mircea_popescu's jar mouse , only superficially 'hated the glass'
asciilifeform: somewhere in the back of the hindbrain, the gynecaeum inmates want this ruin to wait for'em, for the fortress to be... pregnable
mircea_popescu: besides, there's a reason young males are the expendable biomass in all sexuate species.
asciilifeform: that, and mircea_popescu's ro joak with the running hen
mircea_popescu: the problem is ~nobody wants to live without women if they can help it. as exemplified by say the nazi jew airbnb ; and as explained by say shaw.\
asciilifeform: the tale with koschei's needle etc. inescapably comes to mind.
mircea_popescu: anyway. that's the original pussygrab. "will (((we))) ie, men, finally ruin (((the world))) ie gynecaeum ???"
mircea_popescu: except, of course, for the nuclear bomb, which is why all the apoplectic femlit on the topic since 1940s.
mircea_popescu: to elaine, the city is a paramount construction, which is why it was the first invention. this is not avoidable. as it happens, elliot to date hasn't well figured out ways to destroy the city.
mircea_popescu: "the continuance of life on land", if viewed from zootehnist/slave ower perspective.
mircea_popescu: an elliot, modelled after and in homage of historical elliot rodgers, is individual who deems world is at the bar to justify its continued existence to him.