log☇︎
530100+ entries in 0.343s
asciilifeform: i was genuinely floored when learned for the fist time that there are folks using a computer who have never so much as vaguely heard of it
asciilifeform: one of the most well-known experiments in the entire field
cazalla: i think i need a keyboard fitted with a breathalyzer
assbot: 10 results for 'trusting trust' : http://s.b-a.link/?q=trusting+trust
asciilifeform: !s trusting trust
asciilifeform: decimation: 'reflections on trusting trust'
asciilifeform: everyone obsesses over 'sexy' traps while ignoring rusty old spikes that are everywhere
decimation: ah, he's one of the new jersey folks?
asciilifeform: because ken thompson
decimation: yeah I have read. what I don't understand is why anyone would think that the compiler is the weak link in the C software stack
asciilifeform: unlike ada, it is not actually possible to program in c -as standardized-
decimation: I downloaded and used, and found it immediately failed to compile anything that included gnu C extensions
decimation: asciilifeform: or this http://compcert.inria.fr/ < it's a 'formally verified' C compiler
asciilifeform: not on the street near respectable people
asciilifeform: because the fate of ugly chimeras is to sit in a circus
decimation: yeah it seems like a waste of time trying to turn the c-dialect of algol into the ada dialect
asciilifeform: because that market is already thoroughly owned by the ada folks
asciilifeform: this is why the 'safe c' experiments never really went anywhere
asciilifeform: built in to a degree that folks who have never seen it, cannot possibly apprehend.
asciilifeform: and yes, there are such things. i have no personal experience with them.
asciilifeform: that thing was largely about how to write (or, more correctly, -not to write-) in the first place
decimation: I think there are tools sold to evaluate compliance with that standard
decimation: for instance, you mentioned the 'cert c' standard yesterday
decimation: asciilifeform: do you have a favorite 'static code analysis' tool? or do you eschew all such automation in favor of 'fits in head'?
decimation: which can levitate to whatever degree usg chooses, as long as it keeps these pipes flowing
decimation: the bottom line is that all of this inflates the real estate asset bubble
decimation: yes, that's a massive real estate scam
asciilifeform: plus the $xxx bil of tax deduction subsidies for the mortgage racket as a class
decimation: and that's before you count anyone who is trying to live on salary from an employer
decimation: well, the better way to think about it is that there are well over $1 bil bidding up the prices
decimation: yes, the section 8-A rent subsidy too
asciilifeform: and what's left is a very thin slice.
asciilifeform: then factor in the 'white men need not apply' subsidized housing from the other half of usg
decimation: yeah that's roughly 1/2 to one billion $ per year in your area alone, usg paid rent
ben_vulpes: oh wait the subsidy is for your *mortgage* not your *rent*
decimation: so imagine what that alone does to the local real estate bezzle...
decimation: now, I think there are well over 200k of military in your area ascii
asciilifeform: because they move you
mats: being an ossifer is good shit if you can live with the job
ben_vulpes: asciilifeform: buys house they're moving out of or moving into?
decimation: and cover closing costs I think
decimation: yes that's a separate program, but they will buy your house at 'prevailing rates'
asciilifeform: further propping up the faux market
asciilifeform: decimation: iirc, usg also automatically buys the house at bezzle-planned rate if you get relocation orders
mats: might be 20, i never made it to E-5.
mats: folks are encouraged to get married so they can eat fo free
decimation: the whole business works out to be a backdoor gov't subsidy for the real estate bezzle near bases
mats: you get paid to live off base if you're E-5
decimation: ben_vulpes: yes, the deal with the housing is this: you get the full amount I quoted tax free
asciilifeform: this doesn't include private 'consulting' gigs, also, which many of these folks take part in
ben_vulpes: i imagine most of that gets hoovered into rentier pockets.
decimation: I had a friend in the wash dc area that calculated an O3 officer (roughly BS degree plus 5 years experience) makes about $140k in wash dc
asciilifeform: they're rolling in the dough.
asciilifeform: and then mircea_popescu asks why these folks don't buy one way tickets and join 'isis'
decimation: as you can imagine, this sets a 'floor' in the market
decimation: read this and be amazed
decimation: actually there are plenty of single-payer rentals around your area
asciilifeform: as does anybody who does a 'crazy' thing for which the market is ultra-thin
asciilifeform: so i pay a 'weirdo tax'
asciilifeform: decimation: aha. this contributes to the scarcity of the overall market
decimation: actually in most 'modern' us developments it is against the hoa rules to have more than one family - sometimes even roommates - living there
asciilifeform: nubbins`: scarce rental market thing << you don't know half of it. virtually unheard of to rent a house here, other than by gigantic groups of immigrants or students living like sardines in can
punkman: asciilifeform: well you'd have to move, so no more usd job
decimation once went to the guatamala v. salvador match in rfk stadium - the entire place was full to the rafters
ben_vulpes did not parse the loop construct
nubbins`: this place was below 1% vacancy for quite a time
nubbins`: well, if nothing else, i get the scarce rental market thing
ben_vulpes: why would that be?
asciilifeform: closer to university of md.
asciilifeform does not live in the city limits
asciilifeform: more like the festering hell in 'hellraiser' than the traditional one
nubbins`: i heard it smells like brimstone there
asciilifeform: nubbins`: literally 20 min. away from the classical nsa
nubbins`: heart of the beast
decimation: even if he was, the landlord has to pay his expenses in usd
decimation: yeah it could be bitcoinized only in the special case that he is in your wot
asciilifeform: as for the inevitable question of what i must be smoking to have done this at all - it's a consequence of the geography in which i'm trapped (a handful of houses advertised for rent in my price range at any given moment - if that; the most tilted 'seller's market' one could imagine)
ben_vulpes: well duh it can't be bitcoinized - you don't know him and so cannot trust him.
nubbins`: bitcoin all the things
asciilifeform: ben_vulpes, decimation: the point that i was trying - and failing - to make, was that a fundamentally fiat-based business arrangement like renting a house from a fella on opposite end of continent who you've never met and never expect to meet, cannot be 'bitcoinized' in the sense of turning you loose from usg financial jail
nubbins`: what's a young anti-consumerist to do ;/
nubbins`: asciilifeform i sort of gloss over the fact that years of reading "mother earth news" before taking the plunge took most of the edge off it
decimation: although it was a large cash transaction I'm sure it would inspire a degree of interest
ben_vulpes: you're not using the wot unless you're trusting your counterparty.
ben_vulpes: and that's not a wot, that's a system.
asciilifeform: decimation: see the clincher ?
asciilifeform: decimation: aha. then usg also has receipt
decimation: well, you can get a deposit receipt from the bank
asciilifeform: decimation: as in, ability to prove that you paid
nubbins`: all i'm saying is that one can surprise oneself
asciilifeform: decimation: i can believe this. but then you lose what small protection was provided by the fiat wot
nubbins`: asciilifeform far be it from me to say this is a cure-all
nubbins`: but y'know what? i don't have to lie in bed every morning wondering whether i'll call in sick
decimation: <asciilifeform> can do this at bank ? // that's the preferred way to trade at -otc < yes, most us banks will let you deposit anything into one of their accounts, no questions asked
asciilifeform: nubbins`: but to imply that everyone who is not in your position is necessarily a spendthrift who would be a winner but for the 'fatlogic' - is disingenuous
nubbins`: now it takes me a bit longer
nubbins`: i used to make that in 13 minutes at my old job
nubbins`: that's two hundred bucks each, per month. $7 a day.
nubbins`: my wife and i collectively have to scrounge together about $400 per month to keep this house going
asciilifeform: nubbins`: i pay ~700 usd/mo just for some distant approximation of that