asciilifeform: diana_coman: btw you may find it entertaining that i found several vers of the carry & borrow eqns in my orig notes -- including yours. but for some reason i originally rejected that variant because it needed 2 accesses to the result D . but i neglected to write down why, possibly was simple brain fluke.
asciilifeform: diana_coman: nitpicks / spiffy karnaugh simplifications / etc. welcome as always.
asciilifeform: the tricky bit is that remaining 5% -- ops introduced since that draft, loadable microcode, init logic, etc )
asciilifeform: on other front, phf : on occasion of the most recent bolix thread , i went and looked again at the http://btcbase.org/log/2018-01-17#1771955 artifact ; it is interesting that they provided 128 iron types, incl. bignum, but not a 'bignum of fixed N words'. i guess in '80s ~nobody was thinking of crypto at all. ( and i was prolly unduly pessimistic to the orig finder of $item, it is prolly 95% of what's needed for cycle-accurate clone.☝︎☟︎
asciilifeform: ideally, at some point we actually get that 8192-bit ALU chip, and whole thing can be... 0 ln
asciilifeform: ( and on the other end of the digestive tract -- inlining. i'ma quite certainly issue a v-branch that removes inlining, on microcontroller it typically wins 0 , while making 100x bulkier bin )
asciilifeform: 1 of the reasons i wrote the series with the 'and here we have egypt', 'and now we remove egypt', etc. is specifically to show 'well you can cut 1000 ln here if you're ok with 500x longer run times' , i can picture applications where one might want this
asciilifeform: ( ffa has 0 deps outside of gnat itself and system character i/o, currently posix's )
asciilifeform: perhaps fyootoor folx will find ways to cut sumthing.
asciilifeform: in unrelated lulz, $ wc -l libffa/* >> 3930 , $ wc -l ffacalc/* >> 1184 ; and story not even finished yet. ( tho ch1's 'RSA occupies around 3000 lines, incl. comments' was not a lie, it's exactly what the minimal rsa of ch9 weighs... )
asciilifeform: ( is there a prb plugin for excel yet ?1 )
asciilifeform: i have nfi what they get, for all i know 'wall street' is 100% microshit-excel powered even now.
asciilifeform: those folx do occasionally pay for software to be written, but the work (perhaps deservingly) is ranked as janitorial and paid accordingly (esp. given where the grunts are to live)
asciilifeform for most part innocent of that racket, has nuffin to add re subj
asciilifeform: they hire 'the scum we have, not the scum we wish we had'(tm)
asciilifeform: arguably it is better to be '100% theoretical' and have 'workshop' that fits in briefcase, as e.g. phf does
asciilifeform: Mocky: as mircea_popescu is fond of pointing out, workshop is very much 2edged sword
asciilifeform: it's unfortunate that mircea_popescu is asleep right nao, otherwise he could tell us about how we're idjits and how working for living is for lusers, and how troo hero can run on sunlight and do as he pleases☟︎
asciilifeform: ( and only even existed on paper in west coast sv shitholes; where stipulation was 'IF you've shat out your quota before friday', which typically is approx as likely as in gulag in 1950 )
asciilifeform: afaik this went away with the 1st 'dotcom' hysteria
asciilifeform: traditionally, folx who show symptoms of being able to survive outside of the reich, disqualified.
asciilifeform: ( and iirc, the cost is in fact ~open-ended~, and is proportionate to how many hours the pinkertons actually feel like sinking into particular d00d )☟︎
asciilifeform: presumably they've introduced some new demented syntax for integer divides ? i have nfi, and could not be arsed to find out.
asciilifeform: http://btcbase.org/log/2018-11-29#1875930 << hilariously, i recently tried to run a simple numeric proggy on a box infested with python3 , and found that it utterly breaks the numeric stack : once you do e.g. x = x / 3 you can no longer e.g. x >> 1 -- because the / converted it to 'float' ! holy mother of fuck.☝︎
asciilifeform: spyked: if you're interested in arm64ifying cuntoo, i recommend to begin with rk.
asciilifeform: presently, cuntoo won't run there (even if trinque's process can be coaxed into building arm64 bins) cuz it has no way of blessing the kernel.☟︎
asciilifeform: then and only then , c101pa will turn into an item like rk, where you can operate strictly with self-built contents
asciilifeform: it's a solvable, of course, problem , theoretically 100% of the iron init coad is published . but somebody would have to put in the sweat to port it into e.g. stock uboot.
asciilifeform: ( and yes google's loader ~will~ load custom kernels, but only if you sign'em with their tool, so then gotta keep whole shitchain around )
asciilifeform: iirc phf did turn his c101pa into ~some~ form of usable
asciilifeform: http://btcbase.org/log/2018-11-29#1875935 << last i knew , there were still a coupla open problems re actually using that box ( in particular, i did not yet succeed, and presently haven't the time to continue, in baking a bootloader for it that loads non-googlistic kernels )☝︎
asciilifeform: Mocky: funnily enuff, they dun always bother to mention. i get spam calls erry week, where d00d pitches 'x,y,z,exactly what you do,come work for us' 'ts/sci ?' 'of course' ~click~
asciilifeform: ( spam did not see it fit to mention what, precisely, happens if you sell it for 5cents... lightning strikes ? )
asciilifeform: meanwhile in spam traps : 'usd coin! buy and sell for $1.00, where supported'
asciilifeform: ^ 26, to be exact, 'ivories' ( the rest weitek and 3620 rubbish )
asciilifeform: trinque: i suspect was moar of a 'plug embrasure of pillbox' idea than 2waymission
asciilifeform: ( took place in a typical salt mine, with mix of what passes for normal folks, and 'cleared'; asciilifeform ended up resigning, rather than taking holy orders , was quite loathesome pit in 9000 ways )
asciilifeform: ( d00d had pretty good gig: opened safe in the morning, closed in evening, and played 'wow' all day... )☟︎
asciilifeform: ( but no moar, can't afford, in the words of actual live usg seekrecy politruk , to asciilifeform : 'today instruction is 'let it burn' ' )
asciilifeform: kinda like how they used to have 'clearanced' firemen, to put out fires in usg shitholes
asciilifeform: Mocky: typically cisco grunts 'clearanced' not even for any interesting seekrit, but simply to be permitted on the grounds in usg dc where they cart the crates to
asciilifeform: ( i expect they used it as clock & address latch generator )
asciilifeform: ~nobody pays, folx format their hdds and cry into drink
asciilifeform: it's a cargocult, for the most part, a la spam.
asciilifeform: mircea_popescu: fwiw asciilifeform personally reversed coupla hundred 'ransomware' trojan turds, almost always the addr is ~empty
asciilifeform: mircea_popescu: the fatwa claims winblowz cryptodisk-flavoured virii 'ransom' addr, so prolly 9000 tx
asciilifeform: if whole crock o'shit is a scheme to win a titcoin or two from mircea_popescu , gotta give points for originality
asciilifeform: it actually wasn't clear from the fatwa, whether the pertinent folx are already on the stake in washington, and preet has the privkey, or loose
