log☇︎
104800+ entries in 0.021s
asciilifeform: exposed to a lisp.
asciilifeform: modified gcc , with forcibly-removed AST-covering panties,
asciilifeform: it isn't even a mega-mystery what this will have to look like:
asciilifeform: there's a thing for finding ~some~ buffer overflows. and that's it.
asciilifeform: useful inference ? none.
asciilifeform: assorted wankery, and generation of faux 'documentation' -- sure, by the megatonne.
asciilifeform: dun exist.
asciilifeform: for instance, can haz 'show me ALL OF THE PLACES MEMORY IS ALLOCATED'
asciilifeform: flow graph aside, it is interesting to note that existing tools for analyzing cpp hairballs do almost ~0 useful work.
asciilifeform: (where you also have Shortest Tracks and Crossing Is Expensive)
asciilifeform: btw flow-graph is entirely isomorphic to electrical pcb routing.
asciilifeform: and the problem becomes ~tractable~ -- as many do -- when you know which guaranteed non-solutions to discard, e.g., per thread, http://btcbase.org/log/2015-08-02#1222081 ☝︎
asciilifeform: this is one of those items whose lack will be sorely felt every time sane folx go on a burst of Reading Old Code
asciilifeform: (simulated annealing, for one)
asciilifeform: there are well-documented algos for approximating solutions to this class of problem.
asciilifeform: this is -- noshit.jpg -- np-hard.
asciilifeform: 2) minimal crossing.
asciilifeform: 1) relateds-physically-near-relateds
asciilifeform: you want two things,
asciilifeform: a graphical circuit with more than a handful of crossed lines is ~unreadable.
asciilifeform: !#s mouse find cheese
asciilifeform: it is much harder problem than i suspected originally.
asciilifeform: btw mircea_popescu's list of Open Problemz imho should include (~usable~, unlike solrodar's) trb flow-graph
asciilifeform: in other lelz, https://www.dhs.gov/news/2017/01/29/department-homeland-security-response-recent-litigation
asciilifeform: simonpenner: you will, but there is a long queue, i've been waiting for gassing since '13
asciilifeform: i suppose ben_vulpes catches rats with own hands
asciilifeform: simonpenner: register a gpg key, per http://deedbot.org/help.html , then you will be able to voice yourself.
asciilifeform: hello simonpenner. who might you be ?
asciilifeform: !!up simonpenner
asciilifeform: http://btcbase.org/log/2017-01-28#1609262 << naval jelly first ☝︎
asciilifeform: there are always fresh 'whom to shoot' lists. but not at the bottom of dusty 20 yrs. of shed.
asciilifeform: plus the usual lists of stoolies.
asciilifeform: (incl. in usa.)
asciilifeform: the 1 publicly known 'juicy' tidbit therein was that it contained coordinates for a number of 'buried treasure' arms chests.
asciilifeform: lives in, iirc, england, writes trashy pulp b00kz.
asciilifeform: he got a pension out of it from the reich.
asciilifeform: lead archivist of 1st directorate of kgb. also made a shed full of goodies. but in his case, the shed made it through the border, with usg help.
asciilifeform: mircea_popescu: recall a d00d called vasili mitrokhin ?
asciilifeform: (and certainly not for, e.g., 'oh we won't send cut-throats to nail or kidnap undesirables there')
asciilifeform: only exists for this purpose.
asciilifeform: judge (approx) 'but this man is lawbreaker and we are not'
asciilifeform: then defense : (approx) 'this applies to everyone in this court room who saw the evidence'
asciilifeform: (prosecution) '...if he ends up in the hands of foreign powers, whether or not it's with his consent, an ankle monitor is not going to prevent him from going down the road and ending up in territory that we can't recover him from.'
asciilifeform: btw it'll be a lulzfest if one of these 'shed hoarders' turns out to have deadman switch.
asciilifeform: and 'ivy league college' is where they make the freislers for said courts.
asciilifeform: all entirely same thing.
asciilifeform: it's a usg court.
asciilifeform: risk to the public! didjaknow.
asciilifeform: about dissemination of information to foreign powers. But, at the same time, he is a serious risk to the public.'
asciilifeform: '...the nature and seriousness of the danger to any person in the community that will be posed by the release, it's clear that the Government sort of paints the Defendant as a walking encyclopedia of classified information. I don't know if that's completely correct, but I do know that he had access to all of this information, and I credit him, and I certainly am glad we're not sitting here talking
asciilifeform: torquemada alive an' well in usa, aha.
asciilifeform: btw in case anyone forgot: the d00d was arrested right after the rootkit leak. quite likely brass knew about his shed for years, and finally needed scapegoat, and flushed him.
asciilifeform: how is it that anyone gets 'bail' in usa again..? ain't there ~always~ 'maybe they haven't gotten everything' ?
asciilifeform: '
asciilifeform: gotten all of the information.
asciilifeform: No investigation is perfect, and no seizure of evidence is perfect, and there is always this feeling on the Government's side of maybe they've missed something, or maybe they haven't
asciilifeform: 'So, when Mr. Wyda noted that the Court has already ruled, I'm ruling in accordance with the Bail Reform Act and the fact that the Government has not indicted under more serious offenses. So I am limited by what I can make a determination, and here, I'm limited on the issue of risk of flight. I've listened to both sides carefully, and I think that Mr. Wyda has made some very persuasive arguments.
asciilifeform: and 'could have hidden goodz somewhere'
asciilifeform: 'flight risk'
asciilifeform: some comedic arguments on both sides of the court
asciilifeform: in related lelz, http://wotpaste.cascadianhacker.com/pastes/aDb8c/?raw=true >> d00d who kept massive shed stuffed full of s33kr1tz while working in nsa for 20y denied bail
asciilifeform: unfailingly appear every time.
asciilifeform: and all of them incidentally part of ye olde rogue's gallery of 'security community'
asciilifeform: moar names inside.
asciilifeform: aha! konsensoooos!!
asciilifeform: 'A long – and growing – list of respected cryptographers, including Matthew D. Green, a professor at Johns Hopkins University, Bruce Schneier, a fellow at the Berkman Center for Internet and Society at Harvard University, and Matt Blaze, a professor ....'
asciilifeform: reads.'
asciilifeform: '“The behavior described in your article is not a backdoor in WhatsApp. This is the overwhelming consensus of the cryptography and security community. It is also the collective opinion of the cryptography professionals whose names appear below. The behavior you highlight is a measured tradeoff that poses a remote threat in return for real benefits that help keep users secure…” the letter
asciilifeform: and of course closed-source-remotely-updated-turd-on-closed-remotely-updated-os-sitting-on-usg.ssl-pki is not 'backdoor', didjaknow also.
asciilifeform: refuted!
asciilifeform: didjaknow.
asciilifeform: coalition!
asciilifeform: in yet-other recent hannobocks, http://archive.is/wqu4J >> 'A coalition of some of the globe’s top researchers and cryptographers are pleading with The Guardian to retract a story it published last week in which it suggested the encrypted messaging app WhatsApp contained a backdoor.'
asciilifeform: in other lulz, https://archive.is/zcVbY
asciilifeform: wb phf
asciilifeform: or nm, just drops 'actions' ☟︎
asciilifeform: !~later tell ben_vulpes your logtron drops last line..? bug?
asciilifeform brb, meat.
asciilifeform: and if universe expands and you gotta grow it -- you grow it at the tendrils (leaves)
asciilifeform: and would still necessarily remain finite machine.
asciilifeform: it wouldn't work quite like today's bitcoin, tho.
asciilifeform: so mircea_popescu an' the other immortals, could have their galactic coin.
asciilifeform: as alluded to earlier, speed of light forces you to have localized bitcoin nets. can easily make'em hierarchical.
asciilifeform: because the alternative is lunacy.
asciilifeform: but it is FINITE.
asciilifeform: the number is unknowable and i will not pretend to know it or estimate it.
asciilifeform: the latter -- is a bad dream.
asciilifeform: and the former is 100% about incentives.
asciilifeform: so in my eye 'stop it from choking on own exhaust fume' is quite != from 'scale FOREVAH'
asciilifeform: instead of leaving it as something for people to discover when it is too late and they are already packed like sardines.
asciilifeform: shows where the ceiling is.
asciilifeform: imho one of the appeals of bitcoin is that it in fact makes this limit explicit.
asciilifeform: Or Else
asciilifeform: there was a thread where 'there will be S souls on planet an' no moar'
asciilifeform: to briefly revisit upstack, NOTHING will scale in this mythical 'i want INFINITE parts in close communion' sense. even having too many atoms in one place, 'won't scale', you get neutron star.
asciilifeform: to arbitrary precision.
asciilifeform: 'bitcoin on fritz-chipped box is a paypal' is a physical fact.
asciilifeform: beyond 'not necessarily fact'
asciilifeform: want to dispute the hypothesis as stated ?
asciilifeform: ('bitcoin' on winblowz-crapple is not bitcoin, but a masochistic and wasteful paypal)