asciilifeform: ben_vulpes: the comments in heathen pits the last coupla times were so predictable, as to be imho complete snoar. but who knows.
asciilifeform: danielpbarron: '... and a bunch of Neet employees (probably used the same weak tool)' << waaat
asciilifeform: certain chores repeatedly invite disastrous attempts at mechanization.
asciilifeform: and the ( let's charitably suppose something other than plain wrecking ) motivation for the very notion, was 'defense against key substitution' which is really an attempt to get around the need for wot
asciilifeform: also the term 'self signature' as used in kochiana/rfc2440/4880 world , is misleading : if all that were signed were a modulus, one could trivially produce 'self sig' for any modulus/exponent that satisfy the rsa equation, incl. ones generated on the spot. 'self sig' in gpg world is simply attempt to tie commentstrings to keys.
asciilifeform: http://btcbase.org/log/2018-05-11#1812151 << iirc we had the thread; nonprime exponent is cryptologically equivalent to using the smallest prime factor of same as the exponent; the bits set in excess of this, simply help timing/radio/DPA attack to succeed
asciilifeform: http://btcbase.org/log/2018-05-11#1812141 << phuctor was written very tightly around indexing pgp keys, and demands that all keys be indexable in the same ways ( by e.g. gpg-compat fingerprint ) . additionally , it demands that all keys have a human-readable legend, and ssh key format does not give any field for such.
asciilifeform: !Q later tell spyked this script takes the format used in jurov's 'phathub' 2016 collection, and produces set of phuctor-compatible keys. do not forget to specify 'legend', the user string, to identify precisely what the key is, otherwise it will remain a mystery forever to reader
asciilifeform: seems to imply that it won't go into his postbox unless asciilifeform mtgoxes scan of whatevers
asciilifeform: hey this is more or less exactly how asciilifeform implemented the snsa wwwshop
asciilifeform: if you have a pill to make email 1992-style usable again... i'll be quite impressed
asciilifeform: it does not make any sense to attempt to do business with folx who won't pgp
asciilifeform: ben_vulpes: on top of this it'd be quite simple to emplace given, on cmdline, sshkey -- simple mount-and-copy
asciilifeform: spyked: not yet. and definitely full hands, currently debugging a completely unexpected oom in phuctor-werker
asciilifeform: keep in mind that there is not currently a simple knob to display ~solely~ those mods that will pop from this run.
asciilifeform: d00d died and left, literally, a coupla old shirts. but he wasn't 'in it for the living well', afaik simply enjoyed 'playing civ1'
asciilifeform: i suspect that if had had been slightly smarter, along the axis contemplated here, he would prolly be remembered as just another purged d00d, along with tuhachevsky
asciilifeform: sorta how roman mosaics continued to decorate sword hilts long past expiration date of western empire
asciilifeform: mircea_popescu: the fight over remnants of old infrastructure, esp. still-operating chumpatrons (hollywood etc) i expect will continue for many years
asciilifeform: i'm beginning to suspect that mircea_popescu is thinking strictly of civilization-era veblens ( faberge, lampshades ) to the exclusion of what passes for'em today, under this word
asciilifeform: even in fdr's empire. there is a letter preserved, where he thanked a d00d who gifted him iirc a japanese skull
asciilifeform: by this logic, the ultimate veblen product is simply skulls
asciilifeform: the 'half-mn' watch that costs 10bux to make, however , outcompeted the '5 year' one. ( likely because the original notion where clockmaker is used as an ad-hoc orcish 'proof of work', was ill-founded )
asciilifeform: ( harrison-style craftsmen were able to do things that today seen 'impossible', e.g. lathe work ~without slide~, i.e. with handheld cutter and 0 ruler )
asciilifeform: but has not much in common with what you and i , use. and, more importantly, given 'piltdown man'-stitched-out-of-parts ~random selfsigs, ~anyone~ could have produced the mirrorolade. you can trivially create it for every pubkey in phuctor.
asciilifeform: to be very concrete, for all i know , his script ~works~ , i simply was not able to test from that point
asciilifeform: BingoBoingostan appears to have ample supply of quality dairy tho.
asciilifeform: mircea_popescu: mega-seller of 'we'll mail you new disks when yours burns out immediately, and support microshit etc etc' crapolade, bought at some point by dell and absorbed into standard usg kompyooting stack
asciilifeform: ( in so far as asciilifeform could see with naked eye : most of the nonempty racks were full of emc. gigagonnes of it. )
asciilifeform: mircea_popescu: the neighbouring racks were not all empty, interestingly.
asciilifeform: ( considering BingoBoingo's earlier discovery that almost all industrial comps ever imported there, are via contracts with microshit/dell/minions )
asciilifeform also wonders whether there isn't a hidden symbiosis between the usg.corp derps who prolly ship ~100% of the rackable comps ever before shipped to UY, and the 'we want a cut of that printolade you print' bridgetrolls
asciilifeform: i will add : this is for a 10$ cable with fortybux of importtax ~prepaid~ via shitazon
asciilifeform: it simply happens that one of them, got out, last autumn.
asciilifeform: hard to say 0, there's simply gotta be at least 1 or 2 debian victims
asciilifeform: ^ potentially good for some implausibly-large num of popped mods
asciilifeform: mircea_popescu: nosuchlabs.com/hardware.html , and per mircea_popescu's 2016 spec , given as there is not yet a 2nd iron product, they are idempotent
asciilifeform: oh, and to complete earlier snapshot picture : Known Moduli: 10347987 .
asciilifeform: sorta ~whole point of phuctor -- to increase the minimal complexity/cost for enemy .
asciilifeform: ^ it set off asciilifeform's heuristic bell re 'possible symptom of derps distributing ineptly mutilated lord key'
asciilifeform: http://btcbase.org/log/2018-05-05#1810271 << i suspect that there is no physical operation involved, it is 100% chumpatronics, like all other subjects of usg.startupism at this point
asciilifeform: at some point folx will start to feel cramped.
asciilifeform: tho if we had a miner, it'd be tempting item to install while there's still mains current capacity left over that is already being paid for. tho of course nobody has a miner, not for many years.
asciilifeform: also for compact n-port switches ( the popular ones, are stupidly large physically, and eat away precious space inside the enclosure )
asciilifeform: i'm also on the lookout for even smaller arm boards ( found 1 , but the specs do not stand up to bang-per-buck comparison with RC )
asciilifeform: or do i gotta recompute from the available #s
asciilifeform: you can click on an item and 'add to cart' and 19 times out of 20 will get simple eggog when 'ship to $bbaddr'
asciilifeform: very , very spiffy , trinque , i am impressed that this exists
asciilifeform: BingoBoingo: my current understanding is that it is simply your 'shore leaves' in hotel ? am i right ?
asciilifeform: coincidentally, jump of www traffic on dulap in past half hr.
asciilifeform: the robo-politruk, last hoap of ze empire
asciilifeform: zx2c4: the logs countain a thousand examples. e.g. most americans are convinced that they can buy and drink milk in the corner shop ( they cannot, they buy 'ultrapasteurized' rubbish that tastes nothing like actual milk) ; that they live in 'nice house' ( they live in equiv of movie set, made of matchsticks, that falls over when first serious gust of wind ), that ... i could go on for a week and not even scratch the surface
asciilifeform: most amerireich victims at least have the excuse of complete ignorance of the outside of their velveeta-civilization.
asciilifeform: zx2c4: as a matter of fact, is IS a conclusion i can jump to trivially. because your supposed 'person' is actually a nameless cockroach beneath my feet. because he is not in the wot, and thereby not distinguishable from the 90000..+ faux 'humans' usg manufactures on daily basis to further its psyops.
asciilifeform: specifically to ~prevent~ folx such as zx2c4 from hearing about e.g. phuctor, or other actual attempts at experiment, and if they hear -- from taking seriously. 'boeck did it in 2007' 'but did he publish a divisor?' 'uhhhh'
asciilifeform: zx2c4: the fraudulent content-free publications of supposed 'results' consisting of 'we broke 9000 keys last year, but no we won't say which keys and what the divisors are' are smoke screen, plain and simple.
asciilifeform: zx2c4: then i would ask why you decided to be an accomplice in usg coverup ?
asciilifeform: mircea_popescu: i suspect that the fella still labours under the impression that boeck et al are the 'authorities' , sitting in judgement of ~us~ , and that it is we who must somehow prove beyond reasonable doubt that they lie
asciilifeform: 3 is simply not a necessary hypothesis, it is very rare that the skepter has to be raised and something explicitly forbidden from above
asciilifeform: mircea_popescu: apparently when i speak, it comes out in martian, or sumthing, folx simply dun register it
asciilifeform: ftr prior to leaving BingoBoingostan, asciilifeform took the liberty of making a modest donation to BingoBoingo out of own pocket. because, imho, proper thing to do. and did not want to wait for board approval, would rather simply pay from pocket.
asciilifeform: lobbes: again, we are discussing permanent (and quite complex) solutions to a temporary problem. after current batch, it'll be 1-2 pops a week if we're lucky.
asciilifeform: certainly not 'impossible', mircea_popescu described the correct algo.
asciilifeform: i did not say 'impossible', just that i cannot rise to being able to promise 'i know exactly how, it'll take 3 days'
asciilifeform: if this is so -- then it should be possible to make it in a separate process that simply reads from db ( can write to own table, even, if it wants, so long as i do not have to know about it )
asciilifeform: mircea_popescu: i simply went with your hypothesis, which is that the desired feature is truly implementable independently from the rest of the proggy.
asciilifeform: if the volunteered proggy makes sense to me, i will emplace it on dulap and say 'thank you'
asciilifeform: the whole notion of 'put into a table' implies ~100% of the requested functionality to be already present
asciilifeform: mircea_popescu: this is the correct algo, and i drew it on own chalkboard last night, but my entire point is that i do not know with confidence how long it will take to implement and debug.
asciilifeform: the utter undebuggability and nonfitting-in-asciilifeform's-head of the pertinent components, results in this.
asciilifeform: i do not have a deedbot to throw into a dedicated channel, nor do i have a month in which to write a phuctor-compatible channel-talker.
asciilifeform: but i can definitely see the merits of 'only publish 1st factor'. problem is that this is even ~more~ complicated to implement than the earlier scheme.
asciilifeform: i sat down to write it yesterday and got mired in swamp.
asciilifeform: mircea_popescu: this is 100x more state complexity than i have now, is the point
asciilifeform: right now i am stumped re how to do it without massive rewrite of entire proggy,
asciilifeform: http://btcbase.org/log/2018-05-04#1808801 << jurov i'll take it in any format at all, or if you prefer to pump it into submit box, that is also good ( but would have to use Framedragger's converter and make it rfc2440 ).however, phuctoring is currently off until i figure out how to satisfy mircea_popescu's '1 per 30min' spec
asciilifeform: aa but to nail down tooling that ~doesnt get compiled in~ ?
asciilifeform: mircea_popescu: mod6 long ago nailed'em down, most thoroughly, amply discussed in log
asciilifeform: douchebag: pleeez consider at least attempting to read the trb materials at therealbitcoin.org ?
asciilifeform: so far danielpbarron is the champ
asciilifeform: here's a sample of convos b/w asciilifeform and heathens ( whom he knows irl, over yrs ) : 'why didja put it in UY, bw costs 4x moar than in usa and cia will still steal yer iron eventually' ; 'i have to do what!? to get server in the rack?!' etc
asciilifeform: unrelated to anything specific , has mircea_popescu or other folx contemplated a tmsr www search machine ? because, potentially now there is a place for it to live
asciilifeform: theoretically 'not even electronic' tho fuckers still collected 1 $ for every 1 $ as 'import deposit'
asciilifeform experimentally ordered , from shitazon, a qty of jumper cables for connection of FG to rockchippen, to be mailed to BingoBoingo , claims they will be received by may the 10th
asciilifeform: mircea_popescu: confirm that nope, the 1 and only proper comp shop in montevideo, lacks any notion of such a thing
asciilifeform: speaking of which : ben_vulpes , you should have a qty of usb-ttl cables in your inventory, that came with your FG deal; plz mail a dozen of them to BingoBoingo ( with invoice from shitazon re their cost; even if he gets hit with import tax, should add up to maybe tenbux )
asciilifeform: ( will have to make a slightly complicated change and test locally, because current 'rss is simple sql query' doesn't rate-limit the output of 1-factor-N-moduli-affected events )
asciilifeform: right now the feed is entirely lowtech ( it is simply query of last 20 factors found )
asciilifeform: i haven't the first clue currently how to even implement the current trinque functionality ( hostname ) in the feed
asciilifeform: http://btcbase.org/log/2018-05-03#1807803 << would be veerry entertaining to read a sample of this, if mircea_popescu has one handy
asciilifeform: debug of herr boeck, grade-a imperial политтехнолог ( how does that even go in engl ? )
asciilifeform: it is ~never the local end that complains
asciilifeform: mod6: see also the simpler example in the orig post , http://therealbitcoin.org/ml/btc-dev/2018-March/000293.html .
asciilifeform: incidentally the little 'c101pa' comp , is nifty also on acct of having no exhaust pipe ( passively cooled strictly )
asciilifeform: picture, 20km of beach, not only empty of orcs but clean enuff to eat from.
asciilifeform computes that ' asciilifeform airlines ' costs 22.42 $ / kg . which is about 5x less than, e.g., u.s. post...
asciilifeform wonder how 'asciilifeform airlines' compares, costwise, with fedex, for same mass
asciilifeform: ( in re industrial application -- asciilifeform has found , while back, that FG might be one of the few electronic items which ~like~ elevated , within reason ( dun wanna melt the solder balls or warp the pcb, so no boiling lead plox ) temperatures... )
asciilifeform: and the 'tldr' of it is: if you download the patches/sigs in the example, and press to any particular one, you get a file 'trb', which, when put through included proggy 'txt2dir' results in a bitwise-correct (i.e. bit-identical to classical tree that we have for trb) press.
asciilifeform: mod6: considering that the example i gave ~is~ the totality of the trb tree, i'm a bit puzzled, what was it you tried ?
asciilifeform: ( oh hah apparently usgarchive has it, https://archive.org/details/Imperium_352 )
asciilifeform: in, say , 1950s, they had many fewer engineers (there was not this peculiar compulsion to conscript errything with a pulse into 'engineering' ) and the ones they had, designed autobahn ramps, there was all the employment they could use
asciilifeform: dunno that it even works in this direction; granary with busted walls is not 'to provide employment for 9000 mice', they just show up.
asciilifeform: they stave off the complexicollapse, same way as the fed pushed forward the monetary one
asciilifeform: mircea_popescu: possibly you have a handwritten mpex.biz entry in /etc/hosts and points to different box ?
asciilifeform: !Q later tell ave1 ... and it is infuriatingly annoying that yer thing demands 'build' dir be deleted each time, starting the 3hrs from 0 for each attempt
asciilifeform: it's an off-the-shelf industrial power tool, wat. already has use. just, no good for 'from empty crystal' ic-makin'.
asciilifeform discounts wankage where 'each transistor takes 3min to etch', esp. from grant-eaters, as simple grantsmanship
asciilifeform: in the particular case -- i suspect simple failure of imagination.
asciilifeform: raw pcb feedstock, while not same as paper, is also pretty cheap. and if ic were produced via process as simple as pcb is produced, ic fabric would also cost similarly.
asciilifeform: ~expose~ in garage. where made -- less important. because specificity-of-diddling .
asciilifeform: ( of the compiler that you produced, that is, when it builds e.g. ffa )
asciilifeform: right, but ave1 did you actually get the complete equivalent-to-binary-kit-from-adacore-complete-with-gprbuild-etc made ?
asciilifeform: ( for the sake of thread-completeness, what would the ~alternative~ to this story look like? i suggest -- it'd be a process which does to ic fab what 'polaroid' process did to colour photography. find way of etching the circuit from prefab 'sandwich' without caustic baths, sputtering, etc... )
asciilifeform: picture, with access to e.g. boeing's , junkyard, a similar d00d could build something like the nazi 1-seat jet, with own hands also. but to describe it as 'garage-buildable jet' is rather chumpatronic spin imho.
asciilifeform: http://btcbase.org/log/2018-04-30#1806449 << this appears to be honest work, but if you look at what he actually did, and with what resources, the 'imponade' evaporates away -- he made a coupla-transistor ic , and with 'garage' filled with a princely collection of surplus industrial gear ( electron microscope, sputtering chamber, ~very~ high end optical microscopes, incl. the one he junkyard-wars'd into a lithography box ) ,
asciilifeform: accompanied by 'and here is what we instead spent on ONLINE JOURNALS!'
asciilifeform: how can removal of crud be 'complication' ?!
asciilifeform: diana_coman: it was a specific chumpatronic term used by koch et al
asciilifeform: esthlos: it was gonna, then barfed and abandoned mpi 4evah
asciilifeform: esthlos: imho absolutely not; i haven't built a linix box with swapping to disk enabled, in decade+ ( 'secure alloc' simply means 'marked unswappable' )
asciilifeform: diana_coman: afaik not! ( aside from the amply discussed sad phakt that building it requires a working gnat bin to be found somewhere else )
asciilifeform: douchebag: historically i've found that setting up a gentoo box to 'workstation' standard takes 2-3 wks. (depending , though less than you might think, on the speed of the comp.) fortunately 99+% of the work has already been done for you on that box.
asciilifeform: and this incl. ~all~ contents, incl compiler
asciilifeform: for instance, rebuilding world on the rockchip ( a quite modest comp ) takes about a day and a half
asciilifeform: ^ re the dd example, if it wasn't clear
asciilifeform: triumph?
asciilifeform: hey, was stamped 'entomology'!11
asciilifeform: d to matter, he can be slandered with impunity, troo or not
asciilifeform: incidentally , seems to me that this thread is rightfully part of the 40+ yr 'compilers vs hand asm' wars.
asciilifeform: mircea_popescu: conceivably you could use a subset-of-sql-used-in-mpwp on top of it.
asciilifeform: ( asciilifeform also suspects that the very problem of 'kill sql' is ill-posed, and that sane replacement would be a much humbler and lower-level thing that actually exposes the mathematical data structures -- e.g. btree -- in a programmable way, with no attempt at 'intelligence' and ~iron~ correspondence b/w what one writes and what the machine does )
asciilifeform: (rather than 'naive assumptions')
asciilifeform: if i calculate the actual algorithmic cost from first principles and it is asymptotically less than what postgres gives -- postgres is braindamaged, and there is no court of appeal
asciilifeform: ( 'how perverse the imposed model' is imho not a purely subjective statement -- and goes back to the 'orthogonality' discussion; if , as in the earlier thread, in your system adding a 'not' gate suddenly turns a o(n log n) op into a o(n^2), this is perverse, as there cannot be any mathematical justification for it, it is purely a result of braindamaged programmers
asciilifeform: mircea_popescu: this is troo of ~all~ programming systems; only variation is in just how perverse the imposed model
asciilifeform: physically impressive thing, almost small enuff to conceal under clothing
asciilifeform: ( there doesn't appear to be a self-eating compiler in'ere... )
asciilifeform: mircea_popescu: if not too many cans, and compass points in just the right direction and planets aligned...
asciilifeform: because it looks like sql is simply a 1970s ms winblowz, infinite font of unspeakable horror
asciilifeform: mircea_popescu: i thought your algo involved a temporary table
asciilifeform: implementing sqltrons
asciilifeform: i.e. idiocy that is not in any way implicit in the mathematical structure of the underlying primitives (e.g. btree) but comes from agglomeration of programmers dropped as children
asciilifeform: LINE 1: ...ds) from factors) select * from moduli where idx not in tmp;
asciilifeform: ERROR: syntax error at or near "tmp"
asciilifeform: for completeness of picture, 'mods' is a column in factors, which contains indices of moduli (in 'moduli' table) that said factor is a factor of.
asciilifeform: is it possible to rewrite this so that postgres doesn't do the retarded thing that it evidently does ( this being, to compute the mods in the () , again and again FOR EVERY ROW in moduli )
asciilifeform: iirc same vendor also sells a slightly larger comp, a 'c201pa' iirc.
asciilifeform: really only interesting from a 'almost cheap enuff to throw away' in-print comp pov
asciilifeform: in other lullies, https://eprint.iacr.org/2018/367 >> 'Most of OpenSSL's constant-time code paths are driven by cryptosystem implementations enabling a dedicated flag at runtime. This process is perilous, with several examples emerging in the past few years of the flag either not being set or software defects directly mishandling the flag...' 'granularity issues due to word-size operands to the GCD function' etc
asciilifeform: and right nao he can't even decamp to , say, buenos aires for a few days, without losing his berth
asciilifeform: hanbot: in http://thewhet.net/2018/04/mp-wp-genesis some of the linx are broken ( have mysterious chars in'em )
asciilifeform: mircea_popescu: is there a working mpex url ? i am standing snsa www / phuctor up today
asciilifeform: incidentally , knob won't 'break errything that isn't proper', troo champions of idiocy like gpg , will chug along without a working /dev/random ( iirc -- silently )
asciilifeform: trivially, the 'random.c' item linked earlier, simply cut it.
asciilifeform: recall, linus's kernel has no notion of random, it implements '/dev/random' as yet another sort of faux device, via module
asciilifeform: mircea_popescu: the current set of kernel modules, largely work in either 'module' or 'built-in' mode, depending on how compiled
asciilifeform: but this is incompatible with, say, a trinque-style kernel, that dun support loadable modules at all
asciilifeform: could implement module the obvious way : takes N args, each of which must at load time be a valid /dev/ttyxxxx
asciilifeform: the 2nd attempt at the crate went out on the 11th
asciilifeform: ( why not made originally ? pci adds 100x the complexity; ugly; expensive )
asciilifeform never implemented a fgtronic /dev/random replacement , quite deliberately, and iirc the reasons are in the log
asciilifeform: as soon as the smarter folx in the enemy camp get the notion that there's somewhere to defect to -- game over
asciilifeform: iirc before davis went fullbore barmy, he was gainfully employed , in the old-fashioned sense, wrote embedded os thing for -- iirc -- 'ticketmaster' co
asciilifeform: ( or did, back when he had a comp... )
asciilifeform: nono, recently there was a thread re actual lappy comp, with lcd etc , on same chipset
asciilifeform: i have nfi what this is used for, i still labour under impression that spam is -ev and a cargo cult
asciilifeform: gadget in question is ~= to the 'business end' of typical pnoje, 'baseband'. little bugger that takes a sim, and exposes a usb socket, from which one can dial, pickup/hangup, and pump pcm voice in/out. is all.
asciilifeform: theoretically should make for princely mpwp etc, also.
asciilifeform: ( iirc mircea_popescu one time tried getting heathen hosters to install fg, and found none who would attempt it )
asciilifeform: moar recent boxen simply carry moar fritz in'em...
asciilifeform: trinque got a more barbaric emplacement, he has no slack space in his chassis, his ended up in the pci slots
asciilifeform: ^ dulap-III fg emplacement
asciilifeform: for impatient people : http://loper-os.org/pub/dc_cat.jpg , http://www.loper-os.org/pub/bb_v.jpg , http://www.loper-os.org/pub/rockchip1.jpg , http://www.loper-os.org/pub/rockchip2.jpg << highlights
asciilifeform: and turns out not simply pretentious rubbish, they have useful knobs ( to gauge decay , overvoltage, line noise, etc )
ascii_lander: they are simply stowed in the rack because the latter is nowhere near full, and is the most secure location to store'em in presently
ascii_lander: diana_coman: you may have to; it takes about 7min on this box to compile
ascii_lander: LordMPofTMSR: no reason why it cannot be used as general-purpose switchtron, once it exists
ascii_lander: to date i've simply relied on eselect.
ascii_lander: http://btcbase.org/log/2018-04-18#1801594 << it was never my impression that we would do business outside of wot. ( can be any depth of wot, but imho to do business entirely outside of wot, is a sin )
ascii_lander: ckang: right , ugh, everything you mentioned is a SUBSTANTIAL growth in complexity
ascii_lander: http://btcbase.org/log/2018-04-18#1801287 << seems like he generates'em with js fauxpgp. classic symptom.
ascii_lander: current trb (not speaking of my 'wires' attempt) doesn't give you this behaviour
ascii_lander: it accepts ssh attempt from here
ascii_lander: ( possibly 250 just dun like icmp ? )
ascii_lander: mircea_popescu: i played 100% of my cards correctly, thus far, prolly will have 2 ~empty days even
ascii_lander attemps to eat log before battery dies
ascii_lander: moar with economy of scale (e.g. the impracticality of rolling out a new IC for every new thing)
ascii_lander: mod6: i tried to do this at one point, ended up burning it all in disgust, and wrote shiva ( which then i sadly abandoned for reasons amply discussed in log )
ascii_lander: mega-pimp, where can i get one
ascii_lander: douchebag: yer pimp friend brings not only gurlz, but new flats, with new wallpaper and bathroom fixtures lol
ascii_lander: the latter. and streets, complete with sov-style sweepers
asciilifeform: spyked: sorta how it is ~impossible to write a prolog proggy without several times ending up asking machine np-hard question.
asciilifeform: probably a simple calculation would tell us 'nope'. and if al schwartz were here, he might deign to post it
asciilifeform: above certain temp, water cannot exist, only h2, o2
asciilifeform: jurov: naturally not 'by temperature' purely, or you would have 'maxwell's daemon' lol
asciilifeform: ben_vulpes: don't fixate on the cooling ; i proposed it as simple means of producing 'dry' air
asciilifeform: meteorite does not burn from friction of atmosphere, but specifically from compressing oncoming air
asciilifeform: ben_vulpes: colour me thick, but how does the compression of oncoming gas ~pull out~ heat ? consider how 'reentry heat' comes about.
asciilifeform: 'reasonable' meaning, on top of mere compactness, other fine things like heaplessness
asciilifeform: spyked: if you recall, back in the 'minsky age', that was the initial attraction of mechanical 'reasoners' -- discovery of ~simple~ inferences
asciilifeform was memorably unimpressed.
asciilifeform: http://btcbase.org/log/2018-04-12#1797532 << as far as i can tell the 'rsa has structure! but aes, surely not' is instance of minsky's empty room ( http://btcbase.org/log/2014-11-13#920444 )
asciilifeform: ( it is also empty set in lisp )
asciilifeform: runs ~30% faster simply on account of no loop.
asciilifeform: i had example of this back in august, of comba.
asciilifeform: zx2c4: there is some quite 'fascist' compile-time checking. most noobs to the lang, spend a week or so getting their proggy to even build.
asciilifeform: ( gnat , the ada compiler, is based on ordinary gcc )
asciilifeform: zx2c4: performance is difficult to compare; if you remove various safeguards, you get ~same binary as equiv c proggy would have produced on same ver of gcc.
asciilifeform: and add to this, that it has an actual paper standard, and minimal 'implementation-defined' rubbish (tho sadly not zero)
asciilifeform: i'ma cheat and cite my own article, http://www.loper-os.org/?p=1913 : '... in a heavily-restricted subset of the Ada programming language — the only currently-existing nonproprietary statically-compiled language which permits fully bounds-checked, pointerolade-free code and practically-auditable binaries. We will be using GNAT, which relies on the GCC backend.'
asciilifeform: v per se is pretty simple
asciilifeform: md5 was also fast and simple...
asciilifeform: rc4 was also 'simple and fast'...
asciilifeform: ( i.e. a reduction to np-hard or for that matter ANY particular complexity class )
asciilifeform: ( complete with list of known-to-be-sad chips )
asciilifeform: zx2c4: to observe it, you will have to hand-emplace rdtsc around it , and run on properly doctored inputs
asciilifeform: btw zx2c4 , i must regret to inform you that the code you linked, is in fact NOT constant-time on several common architectures, because it makes use of machine MUL instruction ( gcc will compile a nonconstant-operanded '*' to e.g. IMUL on x86 )
asciilifeform: i.e. , if i disasm your .o , will i see 0 conditional jumps ?
asciilifeform: under what circumstances would 2 / 4 be compromised, but not 4 / 4 ?
asciilifeform: trinque, douchebag : not nearly as permanent as proper tattoo , but low-tech enuff and good for year or 2 -- print a negative and expose under one of those uv lamps that idiots 'suntan' under
asciilifeform: how much the chipset differs, i do not know, i have neither one currently , simply no time
asciilifeform: competing boards, some possibly better even , have one ('allwinner' )
asciilifeform: BingoBoingo: hey, who am i to complain, the folx who dun feel like paying for 'expensive' FG -- are more than welcome to pay the cost of using js prng etc
asciilifeform: when asciilifeform is no longer catastrophically swamped with 9000 horrors, will possibly attempt a general-purpose bot ( ideally with real, rather than googlistic, dictionaries even )
asciilifeform: spyked: this is where the empire shines, really -- they can always muster the brute ox power to make a 'this at least exists' ersatz.
asciilifeform: i do not have anything against mechanized proof per se. but in practice it is in ~100% of published cases used as an attempted 'i can't believe it's not self-evident correctness!' margarinesque substitute for fits-in-head.
asciilifeform: ckang: disinformation is not always a set of empty words; often can be a working mechanism, with moving parts, superficially correct
asciilifeform: http://btcbase.org/log/2018-04-11#1796063 << the most important documents are ~not there~ for him to read : i.e. the wholly-absent proofs of strength for any of the symmetric poppycock
asciilifeform: it's equiv of 'winamp playlist' of 0day, rather than 0day
asciilifeform: ( kernel traps attempt to read from addr 0 , marks separately from any generic out-of-process attempt of r/w )
asciilifeform: mircea_popescu: all of the cited examples are 'error 4' i.e. nullptr deref
asciilifeform: and earlier some d00d was complaining re mpex withdrawal -- but for some reason in kako's chan, not here
asciilifeform: '...a re-implementation of the GNU Social codebase, which itself is ... an implementation of the OStatus protocol, originally forking from the GNU FM project and later merging with the StatusNet and FreeSocial projects, from the same people behind Identi.ca, which was later folded into pump.io, which uses the ActivityStreams spec along with protocols like PubSubHubBub, Salmon, WebFinger, and Atom syndication to deliver a federated, o
asciilifeform: su underground film translators simply had no access to subbing gear
asciilifeform: ben_vulpes: this was a q for ben_vulpes , who has seen what's in the rack and knows if any empty holes
asciilifeform: these opensores folx seem to exist to make ye olde microshit look compact, bug-free, runnable
asciilifeform: example of typical 100%-certifiably-worthless gpl compliance -- google's 'chromebook' www
asciilifeform: the ways these typically end : a) (most common) simply evaporates, no record of wtf happened to the case b) violator supposedly kowtows, 'complies' -- which 100% of the time in practice consists of putting up a tarball ~with the lifted orig turd~, none of the 'viral' provisions of gpl are given any attention at all , but hilariously the plaintiff ~eats this~
asciilifeform: ( various router makers, internet-of-shit vendors, etc. all piss on gpl, with impunity )
asciilifeform: but of actual dross. e.g. most of what glibc gloms on to every executable, never executes, these are bits you can flip with impunity
asciilifeform: a 500k-loc ( ignoring even for a moment the far greater heft of 'modern' wonders ) c/cpp proggy is, for all intents and purposes, closed-source, even if every line is published, because it is quite impossible for anyone -- even author -- to get a proper grip on its behaviour space
asciilifeform: the other interesting bit ( tho naggum treated it better than i have the stamina to ) is how gcc set back the compiler field by, perhaps , decades, by playing the 'dun matter how complex, so long as theoretically 'open' ' game
asciilifeform: not small fry, either, but major vendors, philips, toshiba, hitachi, many others, who sell 100mils/chips/yr , for which the only compiler is... one of these
asciilifeform: next could ask, why call it champagne if it never saw france