137100+ entries in 1.003s
cazalla: mircea_popescu, could've been
a daughter if God really wanted to punish me
assbot: Logged on 31-08-2014 18:41:22; asciilifeform: 'escape' means there's
a missile battery (or, at the threadbare minimum, 24/7 death squad) standing between usg and you.
mircea_popescu: (THAT is the true altcoin killer. people proceed lazily to imagine that hey, just as money is called euro in eu and dollars in the us, there may be
a future with bitcoin and litecoin etc. no, no it may not. money is money, and yes you can call it x in x and y in y, but they are ON THE SAME BLOCKCAIN. euro and dollar settle in the same place.)
mircea_popescu: it doesn't need
a centralized name more than it needs
a centralized ledger.
mircea_popescu: there is obviously the ever present cattle tendency to centralize. but that is NOT
a good reason to centralize.
mircea_popescu: it's no more
a "community asset" than
a bitcoin balance. it has
a specified owner.
cazalla:
a lot of people seem to think the domain name is actually
a community asset
mircea_popescu: btcdrak he got "assets" suich as
a worthless domain name and gotta make rent
mircea_popescu: remarkably enough i can't readily figure out
a topic b-
a would be strictly not interested in. we've discussed art philosophy and history, and matters of identity and forgery, and child rearing and car design and gender identity and indian mysticism and scholarship thereof and of course geopolitics and finance and often enough plumbing and pest control.
mircea_popescu:
http://log.bitcoin-assets.com/?date=18-09-2015#1278682 << there is
a difference between "not interested", like say someone who wants to play the flute, and simply doesn't care about the stuff you discuss ; and "know better", as in, people who ARE very much interested in the KIND of thing you discuss, who have evaluated it and come to the conclusion it's
a big fat 0. those are not "not interested". they were interested.
☝︎ assbot: Logged on 18-09-2015 17:18:00; ascii_field: but there is no such thing, in our universe, as
a 'functional' cpu.
mircea_popescu: do not work for
a stupid man, nor for
a man that works for the ultimate benefit of stupid people. this is the whole of the law.
mircea_popescu: the proposition is that the usg exists as
a system of stupid people, dedicated to the supporting of stupidity and the containing of the threat (to them) presented by intelligence.
☟︎ mircea_popescu: and re the "heckler's idea of conspiracy" : it is not the proposition that the usg consists of some evil overlord petting
a cat buried under concrete somewhere while tons of mindless drones to the biddings without complaint. nor is the proposition that
a secret conclave of shaved heads secretly meet at my pillar every 5th wednesday.
assbot: Logged on 18-09-2015 17:16:42; ascii_field: no one who actually ~solves~ problems at the eliminate-
a-whole-field level is remotely welcome.
assbot: Logged on 18-09-2015 17:00:03; BingoBoingo: <ascii_field> usg has
a very effective program for soaking them up << I'm pretty sure the push to get people into grad school rather than employment 2007-2011 was exactly this
mircea_popescu:
http://log.bitcoin-assets.com/?date=18-09-2015#1278635 << if you're so inclined, the push to make men sexually insecure as
a sort of "celebration of womanhood / millitant feminism victory" etc was also exactly it. and the fact that you must spend
a full day looking for edibles to find enough edibles to get you through
a day. and everything else.
☝︎ mircea_popescu: utside of the ~EARLY~ naive attempts at "
a purely soviet science". early, naive attempts eventually disowned by the politburo itself once russia was richj enough to not be frighteningly poor anymore.
mircea_popescu: but, at
a certain age, say before 30 or so, this sort of waste is actually wise and to be encouraged, because it is in fact how men become men.
mircea_popescu:
http://log.bitcoin-assets.com/?date=18-09-2015#1278610 << the view is valid, if mats is curious of my position. nobody cares about the actual "names" / "careers" involved, as per the pseudoscience article, they can be safely ignored. the important point however is that while usg spends
a lot of money on "research", the expenditure is PREDICATED on it being "research", ie, not actual research. it is perhaps true that on
☝︎ mircea_popescu: thus in early 2000s, in spite of
a 10x increase in border police budget (mostly eu sponsored), the quantity of actual contraband jumped 10x.
assbot: Logged on 18-09-2015 16:34:15; mats: anyway, the langsec idea goes, input validation has
a striking similarity to program verification, precluding inputs from driving unexpected state and computation
mircea_popescu: actually the gpg specification is so miserable,
a code prototype in the way of bitcoind as an intermediate step to rescuing the standard and restating it properly is prolly unavoidable.
punkman: mats: punkman: if it was not clear, i am handrolling the pgp packet parser in python (watta mouthful). and not having
a good time of it. << I think you might have to come up << you should probably throw out
a bunch of idiocies contained in the canonical rfc
☟︎ mircea_popescu: to prove properties of the system === to express them in
a language with nil expressivity.
mircea_popescu: (cables usually tangle by the plug/unplug cycle. not always, but the same process is at work in "tangling
a trodden coil" etc.)
mircea_popescu:
a classical problem where saving state is more expensive than dealing with consequences.
mircea_popescu: i get it, the view you're trying to argue against is contentious to you and involves you emotionally. this is fine but also not
a problem of it, and consequently while the excuse "im flailing madly because that thing really bothered me" may serve to blind your own evaluator, it won't work similarly for anyone else.
assbot: Logged on 18-09-2015 11:33:04; danielpbarron:
http://log.bitcoin-assets.com/?date=18-09-2015#1278344 >> Of course, this outcome will likely lead to billions of deaths. This is
a price we are forced to pay, to avoid the eternal enslavement of humanity to
a tiny elite. << the socialist would rather kill everyone than have them be humble servants
mircea_popescu:
http://log.bitcoin-assets.com/?date=18-09-2015#1278428 << shocking, isn't it ? o hey, if hitler did it it was bad, but here's out last hope for "humanity" : blow everything to bits!!1 because going back to the stone age was
a horrible plan when it was called Nerobefehl buit
a spiffy idea when we came up with it (without, as is the socialist habit, even quoting sources!)
☝︎ mircea_popescu: As you can see he joined Google Code-in on behalf of wikimedia. << soi basically what we have here is
a well known scammer representing wikimedia / wikipedia foundation at google hackerthons and whatnot ?
mircea_popescu: you just made
a statement. how do you know and how can we verify the truthfulness of it.
mats: punkman: if it was not clear, i am handrolling the pgp packet parser in python (watta mouthful). and not having
a good time of it.
TheButterZone: so i noticed
a few users in here had negrated tradefortress, and thought you might like to know he's been lurking as unicodesnowman
mircea_popescu: so "rng boilerplate" MAY be
a usable solution, but MUST NOT be dependend on going forward.
ascii_field: presently it is the only means of properly losing the bits used to generate
a key.
mircea_popescu: (and in most practical circumstances,
a good chunk of the benefit of airgapping is that it ipso facto satisfies the above security standard)
mircea_popescu: the notion of "box was owned" is never really defined, and intuitively is equated with "have
a root prompt". this is uninteresting.
ascii_field: the basic idea of 'padding' is that before you can really use rsa, you have to proclaim 'i will NEVER EVEN consider
a blob that doesn't decrypt to this-standard-boilerplate-and-the-payload' - or, in the case of signatures, 'it is ~not~
a signature unless the signed payload is such-and-such-boilerplate-and-THEN-the-actual-payload'
ascii_field: btw i'm half-convinced that the existing 'padding' (what
a terrible misnomer!) schemes are voodoo.
kakobrekla: >When I last bought
a VW (2008) I was concerned due to
a clunking noise after first starting it up and driving
a few miles; I called the VW service dept and they explained that there was
a compressor which captured exhaust fumes and released them at
a lower rate for the first few miles of each journey -- to help them meet EPA emissions standards.
☟︎ pete_dushenski: either
a) when anything plugs into the obd-ii port, or b) the whole thing is
a parallel construction to keep ze germans at bay against tbtf 'domestics'
☟︎ pete_dushenski: "The device is programmed to detect when the car is undergoing official emissions testing, and to only turn on full emissions control systems during that testing. Those controls are turned off during normal driving situations, when the vehicles pollute far more heavily than reported by the manufacturer, the E.P.
A. said." << kek
punkman: "An architecture and environment that could lead you into this situation, where you are helpless and wronged and did nothing but what you were told was right, and then punished quite severely, is very wrong. It is the opposite of what
a computer and technology should do."
punkman: "You should have
a bunch of feelings when using computers. Excitement. Pride. Delight. Amazement. Curiousity. Yes, even frustration and anger. But you generally should not feel despair. You should not be feeling desperation. You really shouldn’t."
assbot: Logged on 28-07-2015 02:41:28; trinque: lost on most is the value of being yelled at by
a learned person.
ascii_field: e.g., it is good and well to have, g.g.,
a hindley milner type inference system, or theorem prover,
punkman: mats, probably above my paygrade, but I'll have
a look at them
ascii_field: and the ultimate litmus test for whether
a proposed security mechanism is usgistic: 'does this item INCREASE - or DECREASE - the amount of complexity present in the system, for which i must defer to someone's authority to determine whether it does what was promised ?'
ascii_field: and yes, i guess, being concerned with the number of intellectual 'cpu cycles' needed to fully grasp the ~implementation~ of the language and the machine under it - makes me
a t3rr0r1st11111
ascii_field: mats: for instance, i like 'ml' (language.) but i will not close my eyes to the fact that garbage collector is
a cross-process info leaker.
ascii_field: but there is no such thing, in our universe, as
a 'functional' cpu.
☟︎ mats: well, just
a thought here, functional programming looks like
a better path forward than ada, if only because its easier to automate
ascii_field: no one who actually ~solves~ problems at the eliminate-
a-whole-field level is remotely welcome.
☟︎ ascii_field: instead, it is baked into the 'firmware' of academia as
a thing.
punkman: "LANGSEC posits that the only path to trustworthy software that takes untrusted inputs is treating all valid or expected inputs as
a formal language, and the respective input-handling routines as
a recognizer for that language."
mats: now we're getting somewhere. which 'langsec' authors have
a funny smell?
mats: i am generally interested in these things because i like knowing about whether
a given abstraction kills particular techniques
ascii_field: if pursued as pure mathematics, it can be
a mildly respectable thing.
mats: well, if you ever decide to describe why 'langsec' et al. is
a waste of time, i'd love to read it. you too, pete_dushenski.
BingoBoingo: ascii_field: Well that and taking
a portion of hungry people and redirecting their worry so they burn themselves down instead of burning the whole show
BingoBoingo: <ascii_field> usg has
a very effective program for soaking them up << I'm pretty sure the push to get people into grad school rather than employment 2007-2011 was exactly this
☟︎ ascii_field: usg has
a very effective program for soaking them up
ascii_field: thing is, brain cycles worth half
a damn are scarce.
mats: USG is
a fount of grants for certain fields, computer security is one of those blessed. consideration of all USG research as poisoned fruit is your prerogative, but for me, extraordinary and specific claims require extraordinarily specific evidence. like someone diddling an IR parser.
ascii_field: but as an overall panacea, it is
a usgism.
mats: yes, and if you reject
a inputs outside of
a defined set of formal-izable grammars, the more constrained the model and subsequently greater approachability towards program verification
mats: anyway, the langsec idea goes, input validation has
a striking similarity to program verification, precluding inputs from driving unexpected state and computation
☟︎ ascii_field: (the actual result of translating from more-expressive language to
a less-)
ascii_field: no but the basic idea of turning
a high-level message into incomprehensible ground beef
mats: that is: translation to an intermediate language with low expressive power, then back to whatever's parsed by original recipient,as
a means of avoiding pwnage by
a powerful adversary
mats: at the suggestion of an acquaintance, am re-reading '
A Fire Upon the Deep'
ascii_field recalls reading this, and thinking that it does not rise to
a 'solution'
assbot: Logged on 18-09-2015 15:14:51; pete_dushenski: mats: i remember one of the ignoble winners from
a few years back having researched 'why do computer cables become tangled'