asciilifeform: it was fundamentally the right idea but implemented with inconceivable degree of braindamage - and - at least in the last few yrs - by the Professionally Sad
asciilifeform: mircea_popescu: this then reduces to 'tamper-proof box'
asciilifeform: enemy can simply record the bits passively from a captured node, unless the thing is a ~physical~ fort
asciilifeform: now, none of said schemes work, but they are all built with braindamaged assumption
asciilifeform: complaints?!
asciilifeform: "Mozilla/4.0 (compatible; MSIE 4.01; Windows 98)" ('Tokyo, JP') << holyfuq
asciilifeform: 'As an example, Hypponen said he had recently spoken to a European aircraft maker that said it cleans the cockpits of its planes every week of malware designed for Android phones. The malware spread to the planes only because factory employees were charging their phones with the USB port in the cockpit.'
asciilifeform: ben_vulpes: the lulziest bit is that it looks like he made it simply from what was on the desk
asciilifeform: and perhaps somebody did, and this is where the examples linked earlier came from.
asciilifeform: spoken like true olympian
asciilifeform: http://hackingdistributed.com/2016/04/25/shapeshift-hack-simply-incredible << in other lulz
asciilifeform: http://btcbase.org/log/2016-04-27#1458429 << rad-hardness via software is surely an absurdity, if contemplated in the sense of 'lead shield', but it really doesn't hurt to handle various 'can't-happens' a la ada.
asciilifeform: i simply dun grasp rich folk who take 'downers'
asciilifeform: mircea_popescu: incompatible with 'star topology' !!!
asciilifeform: mircea_popescu: it had empty loop and grunted the floppy drv (yes) to create impression of activity
asciilifeform: 'Type inference is known to be a bit slow when inferring nested data structures. I think they’re hoping to speed it up before the release of Swift 3, but for now you can make the compilation faster by adding a type annotation...'
asciilifeform: afaik he was one of those disgustingly compliant folk already
asciilifeform: actual chumpers?
asciilifeform: it's deadly simple, analogous to, say, cl-who in commonlisp
asciilifeform: this was ~meant~ to be temporary...
asciilifeform: (somebody - mircea_popescu ? - suggested dumping ssh in there etc)
asciilifeform: i try to keep thingz simple. but yeah, after i'm satisfied that the rest works
asciilifeform: also iirc the sensation is distinctly unorgasmic, yer balls just empty & thatsit
asciilifeform: (if there is ~any~ dc component, you also get, electrolytically, hcl at the interface, nasty)
asciilifeform: the other thing is, i have found that dice appeal to folks because 'not electronic', but these same people then go and generate, e.g., the key, with a computer...
asciilifeform: asymptotic limit.
asciilifeform: ben_vulpes: much of the complexity comes from the paucity of airport
asciilifeform: the 'ercoupe' thing in the background is interesting. i live not so far from where the old 'erco' factory was, where the things were made. it was, iirc, a plane with simplified controls and extremely stable dynamics, for lamers to fly. sold like hotcakes, until the bottom fell out of the market in '47
asciilifeform: it was interesting, thing was really no more complicated than a motorbike
asciilifeform: mats et al: there are two s.nsa's. there is the mpex asset, which you were prolly asking about, and there is my actual work, which is to 0 extent actually enabled by the ~450 btc in the piggy, and will continue even if mircea_popescu one day drums me out of the chan
asciilifeform: copyrast back-catalogues have ~same relation to the actuality as 'winamp' playlists had to '90s w4r3z.
asciilifeform: actually simpler than you think. most of the microfilm in american libs was supplied from just a few reproduction houses, and they in turn, from the orig publisher
asciilifeform: hey, comprehended enough to find the fella and gas?
asciilifeform: back when i used to get the physical items via new york importer
asciilifeform: complete with bursted bubbles and forcible anal education.
asciilifeform: & emptied'em
asciilifeform: phun phakt, there are still cast iron traffic light controller / miscellaneous telephonic junk boxes mounted on streets in d.c., empty, sometimes full of bird nest and rubbish
asciilifeform: http://btcbase.org/log/2016-04-23#1456277 << feed is up (just empty atm.) BUT see also http://btcbase.org/log/2016-04-22#1456045 .
asciilifeform: to learn which houses are empty
asciilifeform: (it IS possible to operate with a key having nonprime e, but NOT if it isn't comprime with modulus!111)
asciilifeform: well there will be round 2, with an sks dump that isn't circa 2014.
asciilifeform: it is impractically large, i thought about regenning it weekly and putting up torrent perhaps
asciilifeform: mircea_popescu: i prolly oughta implement paged views.
asciilifeform: rubbish computers take their toll.
asciilifeform: there is nothing advantageous about the non-programmable computer being the only available.
asciilifeform: because 'to computer' in this sense ~means~ to pluck machine from junkyard etc.
asciilifeform: mircea_popescu: because on that planet i would not have learned to computer and would not be speaking.
asciilifeform: i like to call people who by their very presence make various constructive activities impossible, 'neutron absorbers'
asciilifeform: thing is, as amply described on trilema, even mircea_popescu 'lives among idiots'
asciilifeform: but i did not complain.
asciilifeform: i never asked for computer we can have 10 billion of.
asciilifeform: i see programmable comp as a cornerstone of thinking man, same as clean sheets of paper and pen
asciilifeform: trinque: very basic open - can you 'turingcomplete' on it.
asciilifeform: well it is poppycock, thermodynamics has as much to do with the closing of computer as SR has to do with 'cultural relativity'
asciilifeform: or what, a eulora can exist on planet with 5 computers ?
asciilifeform: mircea_popescu: you might not need '$1 computer redditard could buy', but if your only shot at computer was to bake own vlsi in the kitchen, you'd prolly use vernam pad and be done with it.
asciilifeform: 'general-purpose' simply means NOT THAT.
asciilifeform: which is usgtronic, nintendoized computing
asciilifeform: roughly, means 'machine where you can implement new crypto', for mircea_popescu's purposes.
asciilifeform: and yes, some of it also runs under 'linux' - see the excellent example of the samsung chromebook, which i bought some years ago and tried to civilize
asciilifeform: From GW-DuomenuCentras.retn.net (87.245.242.226): icmp_seq=1 Destination Net Unreachable
asciilifeform: because your thoughts are never entirely your own. Philosophers, writers, artists, even scientists, not only need encouragement and an audience, they need constant stimulation from other people. It is almost impossible to think without talking. If Defoe had really lived on a desert island, he could not have written Robinson Crusoe, nor would he have wanted to. Take away freedom of speech, and the creative faculties dry up. Had the Ge
asciilifeform: very hoarding; but up in the attics the secret enemies of the regime can record their thoughts in perfect freedom -- that is the idea, more or less. And many people are under the impression that this is going on now in Germany and other dictatorial countries.
asciilifeform: reality, able to keep up an attitude of the completest indifference, no matter what happens. A storm that would sink all the battleships in the world would hardly reach you as an echo. Even the whale's own movements would probably be imperceptible to you. He might be wallowing among the surface waves or shooting down into the blackness of the middle seas (a mile deep, according to Herman Melville), but you would never notice the dif
asciilifeform: 'For the fact is that being inside a whale is a very comfortable, cosy, homelike thought. The historical Jonah, if he can be so called, was glad enough to escape, but in imagination, in day-dream, countless people have envied him. It is, of course, quite obvious why. The whale's belly is simply a womb big enough for an adult. There you are, in the dark, cushioned space that exactly fits you, with yards of blubber between yourself and
asciilifeform: instead folks try to escape employmentschwitz
asciilifeform: granted, to mircea_popescu on mt olympus none of this is relevant
asciilifeform: it is not actually hard to massively improve on cadr, much of its gnarl was that it had to be made of 74xxx and of weird amd ALUs available at the time
asciilifeform: (modern vendors succumb to the temptation to put a great many special-purpose parts in fpga, e.g., multipliers, even whole cpu cores, etc. i am specifically not talking about their rubbish.)
asciilifeform: picture 1,024 'cubes of computronium'
asciilifeform: where 'computer' is simply this mass, of how many of these things you screwed together and attached dc power supply to.
asciilifeform: costs of chip fab as we know it, and of orbital launch, are even comparable.
asciilifeform: it is even worth considering that one could, in principle, compute on something ~other than a semiconductor~
asciilifeform: (modified b&w photo process, or at least something not more complicated than doing colour photo at home)
asciilifeform: but ok for, e.g., calculating dynamics of the tamper in hbomb.
asciilifeform: (though schmidt did sell me an ~empty shell~ of a tape drive, in case i can ever locate the drive raw !)
asciilifeform: this is a computerized version of the traditional american 'survivalist' lunacy
asciilifeform: 2) toolchain is not a closed x86 turd, and in fact can run on an arch implemented on SELFSAME CHIP itself.
asciilifeform: it is especially concerning because the 'end times' situation, where usable computer hardware is expensive and you cannot rely on other folks having same one as you, etc. is actually how we ended up with the unix braindamage to begin with.
asciilifeform: it is a collective-failure-of-everybody-but-one-guy - sorta like mpex.
asciilifeform: then you try it and find that if you need custom compiler flags (or, satan forbid, a non-x86 gcc) you're SHIT out of luck
asciilifeform: just as i would never know about mpex if mircea_popescu had not awakened me from my cave.
asciilifeform: i'm willing to believe that there are other pgptronic businesses, 'other mpexes', but strictly on the same basis as 'life on other planets', i have no knowledge of it
asciilifeform: didn't we do this way back when, when i wrote the mpex review
asciilifeform: midnightmagic: the idiot complications of usgtronic otr protocols are irrelevant.
asciilifeform: or any other lotto champ.
asciilifeform: http://www.rowan.edu/colleges/csm/departments/computerscience/research/reports/tr2010-2.pdf << possible explanation for rsa keys with gigantic exponent
asciilifeform: http://arstechnica.com/security/2016/04/dram-bitflipping-exploits-that-hijack-computers-just-got-easier << run moar ddr3
asciilifeform: 'Allegedly ChainAnchor was looking into paying miners an additional premium if they mine on top of compliant blocks rather than on top of non-compliant blocks; a possible strategy for miners might be to use compliance as a tie-breaker when determining what side of a fork to mine on. It’s also easy to imagine tools like DoS attacks being used, as well as legal, regulatory, and even social pressure. Finally of course, once a majority
asciilifeform: 'n the ChainAnchor semi-permissioned overlay a successful miner receives a further additional payment (beyond the new coins and transaction-fees in Bitcoin) for completing a block consisting only of permissioned-transactions. For a validated permissioned-block, IdP-PI and IdP-PV must verify that the successful Miner’s public-key is found in the Verified Identities Database. That is, they both must ensure that the Miner has executed
asciilifeform: 'Based on the information I have available to me, it appears that the MIT ChainAnchor Project is in part an attempt to get Bitcoin users to register their real world identities and associate their transactions with those identities. Initially this would be on an opt-in basis, however it appears that ChainAnchor has a longer-term plan to bribe and coerce miners into only mining transactions from registered users, eventually prohibitin
asciilifeform: as distinct as the roman republic vs empire
asciilifeform: 'We have shown that GPG’s implementation of the ElGamal
asciilifeform: and i will point out that epochs as implemented in sane places don't partake of the 'time zone' crapolade.
asciilifeform: NOT comparable.
asciilifeform: ;;later tell phf pleeeze can haz compatibility with old date format ??
asciilifeform: 'GnuPG 1.2.3... If you have used ElGamal keys for signing your private key can be compromised, and a malicious keyserver could remotely execute arbitrary code with the permissions of the user running gpgkeys_hkp.'
asciilifeform: 'Our server admin, in the midst of an investigation into a $130,000 theft, deletes his two keys, and only these two keys, without telling anyone, and then admits on our call that he did it because “they weren’t important.”'
asciilifeform: 'We hired such a person, and patted ourselves on the back for our proactive decision. On paper, he looked great; the reference we called confirmed his prior role and responsibility. He’d even been into Bitcoin since 2011/2012 and had built miners in his room. Awesome. We’ll call this new employee Bob… indeed his real name starts with a B. Over the next months, Bob built and managed ShapeShift’s infrastructure. He did okay, no
asciilifeform: standardized templates for frequent chores, e.g., queues, stacks
asciilifeform: company-wide ?
asciilifeform: my 'gyro-boat' has a found foundation in my utter loathing of the company of the typical meatsack
asciilifeform: 'Ledger Labs drafted an Employee Security Policy and an Infrastructure Security Policy that identify security procedures and protocols for the use of ShapeShift assets. Employees are required to read and sign the policies and submit identification to ShapeShift’s Human Resources department. This control helps ShapeShift achieve compliance with CCSS Level 2.'
asciilifeform: Simpson which had its log deleted. The last few lines of the log were overwritten with NULL (0x00) bytes, preventing digital-forensic recovery.'
asciilifeform: 'Analysis of Lenny’s Ubuntu operating system’s configuration revealed that – similar to Simpson – there was no logging or auditing configured beyond the default configuration that ships with Ubuntu. Analysis of the /var/log/auth.log file showed tampering via overwriting unlike
asciilifeform: http://btcbase.org/log/2016-04-18#1453427 << it is mircea_popescu'd ideological sauce that these are equivalent or even comparable, i get it.
asciilifeform: mircea_popescu: my heuristic is that i consider problems involving simple physical systems, thousands of years in test, as SOLVABLE. and those involving people/social skill, etc. NOT.
asciilifeform: nah it means same thing as manhole cover stamped 'sewer'
asciilifeform: (aside from sc4mz0r1ng attempts)
asciilifeform: how did pete_dushenski get the impression that i sleep.
asciilifeform: preet proclaims that various derps impersonated officers of some ameriderp co. and led away 100 mil usd.
asciilifeform: 'Yet among the 38 previously undisclosed companies receiving In-Q-Tel funding' << false, they were all disclosed in the tax document i dissected HERE
asciilifeform: http://qntra.net/2016/04/docker-on-list-of-companies-taking-quiet-cia-funding << INCIDENTALLY no acknowledgement of my investigative thread in #b-a re ALL of the interesting in-q-tel firms
asciilifeform: e.g., 101010101010 will simply end up 000000
asciilifeform: PeterL: more complicated than this. play with the von neumann algo, it is not magical
asciilifeform: my understanding is that this role, to the extent it was filled by anything, was previously filled by mpb.
asciilifeform: ah you were thinking of complexity collapse.
asciilifeform: but i did wonder what felipelalli was trying to accomplish by deedbotting a transaction with a fella having no mathematical identity.
asciilifeform: 'I developed a version of Interim (then called "Bomberjacket OS") that boots on a standard Intel x86 PC as well as a version that runs on the ARM-based Raspberry Pi low-cost computer. '
asciilifeform: 'Fast and simple Microcontrollers like Teensy 3.1 (based on Freescale ARM Cortex-M4 MPU) can be used as a "poor man's GPU" to generate VGA text or graphics output. '
asciilifeform: understand, DESCRIPTIONS of the problem of complexity cancer ~abound~.
asciilifeform: if it means that, given a $B another fella can attempt to replicate, this does not mean much.
asciilifeform: sbp: my conclusion re fexprs was that 'we can't compile this' is in ~all cases an 'epicyclic' restatement of 'our hardware is rubbish'
asciilifeform: '...would require people to comply with any authorized court order for data—and if that data is “unintelligible,” the legislation would demand that it be rendered “intelligible.”'
asciilifeform: just as i, employed as another type of whore, have to do things i otherwise would not even want to know ~exist~
asciilifeform: gossipd article was pretty much complete
asciilifeform: such a thing can only exist as a ritual of empire, consider where we got GMT.
asciilifeform: what there ~isn't~ and won't be is a unified planetary clock independent of the inca empire of the day...
asciilifeform: i am somewhat floored that mircea_popescu appears to think whoring to be exempt from ordinary market mechanisms!
asciilifeform: the microshitifucation of linux will not be truly complete until users have to grunt with 'remote desktop' idiocy
asciilifeform: (as discussed in an old mircea_popescu thread, there ~is~ room for improvement.)
asciilifeform: who can fully apprehend that 30 MOTHERFUCKING YEARS was not enough to make ANY notable improvement on xwindows?!!!!111
asciilifeform: but somehow the company's reputation as 'evil vendor of closed $maxint machinery' did not thereby perish.
asciilifeform: note, these were lispms, and they implemented x protocol.
asciilifeform: 'If you want to compare MGR to the X Window System, you might consider the MGR server as something like a combination of an X server + window manager + xterm, but with xterm's Tektronix 4014 graphics terminal emulation and its DEC VT100 emulation in the same window.' << looks to me like it is of archaeological interest solely
asciilifeform: the interesting bit is that the empty, decaying, plundered properties are ~part of the program~
asciilifeform: the empty for years ones - often, not
asciilifeform: ben_vulpes: we have houses here that stood empty for years.
asciilifeform: ^ house stood empty for a few months, and copper thieves stole the heat exchanger coil
asciilifeform: 'Then they came to Namecheap where I have a couple of VPS servers, this account also had 2factor SMS authentication required for login. However the hacker opened up a live chat with Namecheap and requested a password reset for the SolusVM VPS panel, at which point, in a massive breach of their security protocols, they sent a plain text email to the comprised address containing both the VPS panel use
asciilifeform: all i want is for the jit compiler's back-end to be sanely written and not married to x86, and for there to not be weird endian dependencies baked in.
asciilifeform: mircea_popescu: suppose you want to cross-compile ?
asciilifeform: and a number of other key components of the kernel, such as memory allocator, are also in c
asciilifeform: ^ ben_vulpes, mod6, et al ^ possibly interesting example of various things
asciilifeform: 'In a radio interview last week, Nigel Newton of Bloomsbury Publishing spoke about how the publisher had employed strong security measures to prevent possible leaks, including guard dogs and a constant security presence at the printing press. Seemingly, the company also had the support of GCHQ, the UK's primary signals intelligence and surveillance agency.'
asciilifeform: ben_vulpes: iirc you suggested it simply as a barb
asciilifeform: there is this strange presumption, apparently shared even by jurov, that somebody looking for work is necessarily unemployed or underemployed and 'will do anything'
asciilifeform: 11:02 <+jurov> but then, why even have a job at all and not freelance? << because there is ~0 demand for what i do among folks who employ freelancers ?
asciilifeform: jurov: original thread was 'telecommute is nice' -- mp: 'nah you all suck and what does it matter what you little white mice do or don't do'
asciilifeform: telecommute is simply LESS of the loathesome torture than the alternative.
asciilifeform: http://btcbase.org/log/2016-04-11#1450022 << much simpler than this. thought i suppose mircea_popescu is enjoying being deliberately thick.
asciilifeform: phrase on everybody's lips was 'Quand je serai lancé'. As it turned out, nobody was 'lancé', the slump descended like another Ice Age, the cosmopolitan mob of artists vanished, and the huge Montparnasse cafés which only ten years ago were filled till the small hours by hordes of shrieking poseurs have turned into darkened tombs in which there are not even any ghosts.'
asciilifeform: twenties there were as many as 30,000 painters in Paris, most of them impostors. The populace had grown so hardened to artists that gruff-voiced lesbians in corduroy breeches and young men in Grecian or medieval costume could walk the streets without attracting a glance, and along the Seine banks Notre Dame it was almost impossible to pick one's way between the sketching-stools. It was the age of dark horses and neglected genii; the
asciilifeform: i'm mostly convinced at this point that any serious attempt at sanity will be a similar enough thing to ada that it will trigger all of the same allergies in same folks.
asciilifeform: generally i don't even ~use~ the www logz when on an actual computer
asciilifeform: BingoBoingo: at a comp sec convention 'shmoocon' they handed out, among other souvenirs, little plastic sliding shutters for webcams
asciilifeform: (it is heavily unoptimized for human consumption and arm asm is a bitch to audit)
asciilifeform: srsly the original drm chumpers, buying, believe, ~whole computer~ built solely to make copying the gamez harder!
asciilifeform: re earlier thread, here is an interesting example of strong cage - intel microcode
asciilifeform: but i definitely see how it handily encompasses the varied crimes of the egalitarian cult.
asciilifeform: (there are no timestamps, cache control crapolade, etc)
asciilifeform: clinic and title company both ran winblowz and Generous Shareholder Donated their cert to ftmeade ?
asciilifeform: $ sha512sum mp.txt
asciilifeform: and the examples are quite contrived.
asciilifeform: and iirc he got seriously hot&bothered thinkin' of '30s totalitarian inca empires.
asciilifeform: or could simply load it
asciilifeform: (the most reality-based hypothesis is that ~asciilifeform~ simply isn't 133337 enough to score decent gig)
asciilifeform: from my admittedly amateur understanding, mircea_popescus are produced when power verticals ~collapse~ and teenagers are competing in re cutting throats rather than who can be best young sov bureaucrat.
asciilifeform: punkman: when you cheat at lotto, you are simply playing another lotto.
asciilifeform: to be complete, it oughta also contain a reminder that there is not a forest where you can put 10 bil. wolves.
asciilifeform: but briefly back to thread, imho it is important to understand that asking 'how to be mircea_popescu' is a fundamentally broken question, not unlike 'how do i win the lotto'
asciilifeform: generally works great, it is how su made ballet dancers, chess champions, etc.
asciilifeform: i'm simply tired of having to leave the house.
asciilifeform: $down DonaldTrumpOfBTC
asciilifeform: $up DonaldTrumpOfBTC
asciilifeform: ''According to the civil complaint filed in federal court in Virginia on Tuesday, the boy had been given an “SSSS designation indicating that he had been designated as a ‘known or suspected terrorist'" while going through airport security. Since he was a seven-month-old, Baby Doe, as he is referred to, was subject to “extensive searches,” including rifling through all of his diapers.'
asciilifeform: who dispenses food and tampon alike!11
asciilifeform: but it was the tampon donation bin that really melted my brain.
asciilifeform: http://btcbase.org/log/2016-04-08#1448517 << again, unlike literally the entire whole of rest of computingdom, the old adas are neither less-broken NOR BETTER-supported.
asciilifeform: quite unlike the rest of computing, yes, but don't take my word for it
asciilifeform: mthreat: incidentally, the old wot was imported, you oughta be able to voice yourself.
asciilifeform: mod6: for a good example of one that ~isn't~ - see the epic mircea_popescu thread with otp!
asciilifeform: mod6: complicated.
asciilifeform: (example of large ada application)
asciilifeform: mircea_popescu: what did templos ever do to you!111
asciilifeform: mircea_popescu: re thread, see also earlier threadz re 'impedance matching'
asciilifeform: the very first thing you learn of a computer, 'this thing has N states, yes, it is a large N, but N is an INTEGER'
asciilifeform: it was an ~example~ somebody wrote.
asciilifeform: mircea_popescu reads 3 pages of ada examples and spews nonsense re same
asciilifeform feels like complete idiot for having had notions of buying
asciilifeform: if Matic could, as a matter of courtesy, provide the complete logs for the site.
asciilifeform: 'The Education Department has assembled a “behavioral sciences unit” to study the psychology of borrowers and why they don’t repay. “We obviously have not cracked that nut but we want to keep working on it,” said Ted Mitchell, the Education Department’s undersecretary. He said many defaulted borrowers dropped out of school and are underemployed.'
asciilifeform: '... The picture has improved slightly from a year earlier, when the nonpayment rate was 46%, but that progress largely reflected a surge in Americans entering a program for distressed borrowers to lower their payments.'
asciilifeform: mircea_popescu often says 'i don't deal in counterfactuals', and the principle seems quite in place here - it is not clear to me that a gcc-less 1980s would have led to anything other than a wintel os+compiler monopoly
asciilifeform: example?
asciilifeform: let's see if mircea_popescu coughs up a better example when he wakes up.
asciilifeform: they have the classical ustard affliction of 'we are the greatest people, we are the greatest empire, nothing like us ever was'
asciilifeform: (turing's halting theorem is really a generalization of godel's incompleteness t.)
asciilifeform: (virtually any attempt reduces to the halting problem)
asciilifeform: lambda calc does not comport with physical machines well.
asciilifeform: but in some perverse cases (e.g., 'chicken') compiled to c, but then you lose eval
asciilifeform: phf: bytecode-compile
asciilifeform: the operation of the compiler in common lisp is generally semantically transparent.
asciilifeform: mod6: modern common lisps typically include a compiler.
asciilifeform: mod6: clojure compiles to jvm
asciilifeform: mircea_popescu: in usa software cos were EXEMPTED from liability suits
asciilifeform: or functional requirements, poor design, or programming mistakes. The root cause of the hazards will be exposure of implementation-defined behaviors in a programming language. Who will the lawyers sue over the consequences of those hazards?'
asciilifeform: the new hardware will be received as a complete surprise by most users of the upgraded system and by their management. The surprise may be accompanied by hazardous events because of incorrect control of a safety critical system. People may be injured or die, the environment may be seriously damaged, and very expensive systems may be damaged or destroyed. The root cause of the hazards will not be po
asciilifeform: 'As a software safety engineer I find the implementation-defined aspects of C++ bit-fields to be very unsettling. A project may verify that its C++ bit-fields work as intended on a particular architecture, but when a technology refresh is performed in several years, there is no assurance that the C++ program will continue to work properly on the new hardware. The failure of the C++ program to run on
asciilifeform: lumpen is actually ~below~ rat.
asciilifeform: no i know about the lumpens.
asciilifeform: i'm speaking of poor, not lumpen scum
asciilifeform: (examples of type-predicates you ~could~ make)
asciilifeform: mircea_popescu: these were ~examples~
asciilifeform: ada is a civilized lang like commonlisp and there is NOT a presumption that integers are machine words !
asciilifeform: mircea_popescu: the bitwise thing works. i have nfi why not used in the example.
asciilifeform: what'd be the complex conjugate of l0l ?
asciilifeform: not entirely new, examples existed as early as 1969
asciilifeform: mircea_popescu: generally folks will use simple predicates (e.g., 'not equal to 0')
asciilifeform: and if you improve the thing, you break it.
asciilifeform: phf: there are some very obvious warts in the language - e.g., the compiler is one-pass and you end up having to write c-style prototypes for some functions.
asciilifeform: a properly constructed computer would perform ALL of the same checks, and more, IN HARDWARE
asciilifeform: ada tasks, afaik, is the only sane implementation of parallelism where you ~never~ specify explicit thread
asciilifeform: ;;later tell phf i find myself agreeing with adlai, the way we have it now, the log is in fact near-unreadable EXCEPT in wwwtron. links oughta dump into the chan assbot-style
asciilifeform: simple enough concept.
asciilifeform: http://btcbase.org/log/2016-04-05#1446421 << clearly my simpopescu needs wurk!111
asciilifeform: implication here, if i understand, is that mining as we know it is a work of fiat sovereigns
asciilifeform: if i had to guess, from my grossly inadequate picture, why he did it, why not the simple hypothesis - buy it back while it is mega-cheap
asciilifeform: mp's productions are so opaque that i cannot even conjecture about the mechanics, which is, i suppose, precisely how he likes it.
asciilifeform: the publicly-sold-miners thing was 100% chumpstrapping
asciilifeform: mircea_popescu: '...in 2016 common people simply can not buy new miners, no matter what happens and how much money they're willing to spend...' << ahahaha precisely what i predicted when i showed up
asciilifeform: mircea_popescu: interesting. am i thick or what am i missing, but afaik 0 implications in re the things that i do...
asciilifeform: mpex.co no longer showing mpoe ?
asciilifeform: https://www.owlfolio.org/research/bootstrapping-trust-in-compilers << lulzy, folks reinventing the inevitable
asciilifeform: $up Humpty
asciilifeform: dram is how we get wonders such as 'rowhammer', but also bits that rot from not only cosmic ray but the background gamme of impurities in ITSELF, etc
asciilifeform: but it would be mega-improvement if folks outside the большая зона were buyin'.
asciilifeform: mips ~company~ is a parasite, just like arm co.
asciilifeform: nor against tendrils that seek out and 'specifically diddle', e.g, gmp mult.
asciilifeform: fwiw my grandfather spent a good chunk of his life on hydraulic analogue computerz.
asciilifeform: because without this, a computer is not an asset, but a catastrophicly limitless liability.
asciilifeform: (ALL of them, not simply x86)
asciilifeform: i actually REMOVED the asm optimizations from my fork of gmp, for instance.
asciilifeform: 90% of why i like ada is that it 'compiles like c' (i.e. without massive runtime or bytecode claptrap in place of ida-able binary) WHILE having bounds-checked array accesses etc.
asciilifeform: in other 'news', in my dream, mircea_popescu was camping in a tent in my house, and reading a dead tree copy of the logz summarized by somebody or other, and it was a thing on ancient yellowed paper, he cursed and spat and in the end tore it up and started smashing things, then went out the door and started firing some sort of energy weapon at the trees
asciilifeform: (the issue of whether the muscle exists, to do this, is a separate question. the above is simply re the political aspect of whether it is a thing that is even to be contemplated.)
asciilifeform: so if they had remained alive, 'armenian' today might simply mean just a subtype of turk
asciilifeform: it exists entirely as a usgtronic 'oh noez empire that isn't us is gassing its vermin'