asciilifeform: is compact description, but yes.
asciilifeform: now that i think about it, if i were mircea_popescu , ffa would have gone more than simply twice as fast, it takes considerable time to reload the problem into head , after a long dive into the saecular sewers
asciilifeform: i dun have any notion that ' mircea_popescu oughta pay for the mpi ' , it was made without any such agreement. ditto the serpent archaeology etc.
asciilifeform: i could attempt to answer what i ~think~ is the question
asciilifeform: the implication of 'had to do some things' is 'but instead sat' neh ?
asciilifeform: the 'self-indulgent indolence' of implementing in a year+ what usg academitards could not do in 30 years
asciilifeform: made originally ( as amply described in the logs , at every step of the way ) for universal numbertheoretical ciphrator.
asciilifeform: in the process of writing one on top of my mpi, i realized that the approach is unsound, and will eventually get people killed. so went straight to what became ffa.
asciilifeform: there was 1 implementation.
asciilifeform: mircea_popescu: it was signalled five ways to pluto. or, say it now, did mircea_popescu think that cramer-shoup remained unimplemented because 'lazy self-indulgent idjits' ?
asciilifeform: and 'uses the components of elgamal' and 'leaks like a sieve if we use koch's routines, via side channel' required additional pedanticism somehow ?
asciilifeform: mircea_popescu even showed symptoms of having actually read the c-s orig paper, and presumably knew that it is a numbertheoretical cipher.
asciilifeform: ( clearly marked in the src per se, likewise, e.g. http://btcbase.org/patches/mpi_second_cut#L5350 )
asciilifeform: incidentally the work was reported in s.nsa broadcasts. sanitized-mpi is a s.nsa product.
asciilifeform: i will stand and say, asciilifeform did exactly the Right Thing, prepared , with proper care wartime ersatz ( mpi ) for if ( as turned out to be the case ) proper item ( ffa ) takes years.
asciilifeform: will argue that for mpi asciilifeform did 'no work' ?
asciilifeform: mircea_popescu: http://trilema.com/2016/btmsr-block-cipher-competition/#comment-123805
asciilifeform: in other 1333337lulz, 'Claymore's Dual ETH miner's remote management interface is prone to an unauthenticated remote stack buffer overwrite that can be triggered by simply sending an overly long api request to the management interface resulting in an unbound `(v)sprintf` style buffer overwrite when trying to log to file or console.'
asciilifeform: format is trivial, just a buncha lines of known length, with ordinary newlines; a frame is simply certain # of'em
asciilifeform: ( and i suppose i could nitpick, 'USG.StrictlyAnyOtherCAImplicitlyTrustedByAllUSGbrowsers manages to lose a public key' oughta read 'private key' )
asciilifeform: it isn't as if being buffett is something that were dropped from the sky by malevolent martians on unsuspecting people. it's a thing the 'sufferers' work for decades for, compete with other candidates for politruk ( or for http://btcbase.org/log/2017-12-01#1745249 , depending on flavour ) , it is very much a conscious choice
asciilifeform: and bonus 'altering and concealing a record, to wit, his Facebook account, with intent to impede the FBI's ongoing investigation' didjaknow.
asciilifeform: meanwhile in swamp dekulakizations , http://wotpaste.cascadianhacker.com/pastes/lPzAc/?raw=true >> 'The Defendant will execute an agreement to forfeit ... Jobs Lane, Bridgehampton, NY: $4.00 million Baxter Street, New York, NY: $3.70 million St. James Drive, Palm Beach Gardens, FL: $1.25 million Fairfax Street, Alexandria, VA: $2.70 million ... owned by Mr. Manafort and his wife, Kathleen. The Baxter Street property is co-owned by
asciilifeform: and yes 6 is being forced in via same mechanism as 5, i.e. they are methodically exterminating archives of source that built cleanly without 5, and replacing -- whenever possible, silently -- with new 'improved' .
asciilifeform: and forces newgccism machinewide (despite the boldfaced lie re 'can keep other compilers')
asciilifeform: (c++11/14/etc.ism is a rather half-hearted attempt to make '70% bugridden reimplementation' of ada, in cpp, as retrofit. iirc we had a thread a few yrs ago re subj)
asciilifeform: work that ruins the worker for the company of civilized people, has that effect.
asciilifeform: mircea_popescu: to make the matchbox 'computer' wholly unixlike, it ought to occasionally fail to open
asciilifeform: compare tanks from same war, not from 50yr apart, similarly.
asciilifeform: speaking here of items that actually stood as competitors, for however long
asciilifeform: the utter and complete lunacy of 'bazaar' was obvious in 2012. and 2001. and 12, and 1, and there's whole motherfucking biblical parable re the tower etc
asciilifeform: 'This is probably also why libtool's configure probes no fewer than 26 different names for the Fortran compiler my system does not have, and then spends another 26 tests to find out if each of these nonexistent Fortran compilers supports the -g option.
asciilifeform: 'Needless to say, this is more than most programmers would ever want to put up with, even if they had the skill, so the input files for autoconf happen by copy and paste, often hiding behind increasingly bloated standard macros covering "standard tests" such as those mentioned earlier, which look for compatibility problems not seen in the past 20 years'
asciilifeform: mircea_popescu: they operate somewhat like malware obfuscators -- idea, seems, is not to make the sham impenetrable ( this is not physically possible, typically ) but to make the effort of getting to the bottom of every possible idiocy, -ev.
asciilifeform: there's also the simpler alternative, which i originally assumed they use -- simply pulling 'employability' stats out of thin air
asciilifeform: http://btcbase.org/log/2017-12-03#1745763 << my current reading of the shoemaker is that he was some combo of senility and 'tilt' (being under attack from ~all angles by the empire, and unable to do much of anything in the way of genuine push-back )
asciilifeform: http://btcbase.org/log/2017-12-03#1745762 << the pizzeria people didn't do anything that, e.g., bush's 'wmd' people didn't do. only diff is that one did it while inca emperor, and demolished a good chunk of whole continent, while other -- did it while penniless hobos, and perforated a roof in an old house.
asciilifeform: ( btw nobody yet asked why ffa is now a standalone-built static lib, rather than as before , a set of sources to be simply dropped into other projects. answer is -- binary audit )
asciilifeform: ( 'ideal mathematically-sufficient' ffa would probably include solely egyptian multiplier, for example. )
asciilifeform: what does dividing it by word bitness ( Word'Size ) accomplish ?
asciilifeform: 1 .. Indices'Last is simply a way to say 'exactly same as Indices, but 0 is forbidden'
asciilifeform: not really comparable to what iirc prev thread was about, hypothetical kW sw transmitter in usa suburbia wastescape
asciilifeform: meanwhile, trotskyite and buharinite wreckers on trial, https://archive.is/Hc6QT >> http://wotpaste.cascadianhacker.com/pastes/kPHNg/?raw=true >> 'A former U.S. National Security Agency employee pleaded guilty on Friday to illegally taking classified information outside the spy agency that an intelligence official said was later stolen from his home computer by Russian hackers' etc
asciilifeform: i get empty page
asciilifeform: mircea_popescu: it dun have infinite depth tho ( impractical )
asciilifeform: BingoBoingo: in so far as i can tell, having access to actual comp is not necessarily good for a kid
asciilifeform: even on c64 ( 1980s micro popular in the west ) it was pretty simple. was my 1st comp in usa, and i wrote a cyrillic thing, but useless ( what to read! )
asciilifeform: diana_coman: observe that the one place where we give any shit at all re octets, is the printer, and there we simply shift Byteness*2 times.
asciilifeform: avoid delayed transactions, but you will be able to use any service compatible with Payment Protocol.'
asciilifeform: it's a resurrection of circa-2014 embraceandextendism -- 'let's impose prbtronic sslistic payment-via-tcp, and at the same time spam some moar spamola, make blox less breathable'
asciilifeform: (i.e. temporary)
asciilifeform: the 2 things i did not forbid (though wanted to) were recursion (can't... karatsuba) and implicit-loops (can't... array assignments)
asciilifeform: forbids oop, uniturdism, threads and asynchrony of any form, constructs that require complex runtime support, 'unprincipled exceptions' (chiefly c-style type-casts), pointers (yes), and a few others
asciilifeform: lotta goodstuff in mp's wp.
asciilifeform: at some point i'ma plunder mpwp for useful patches again ( i lost steam when discovered that the spam filtrator cannot be made to work on my hoster )
asciilifeform: the expense of lifting mass into orbit is the real biter; orbital station is comparable to solid gold pyramid
asciilifeform: the ease of monkeying with radio nav, is why east and west empires both sank $maxint into terrain-trackers in '80s ( what, if anything, this came to, i have nfi )
asciilifeform: it'll change 0 in practice, enemy can still quite easily 'pull' your, e.g., bomber, in some direction off course by amplifying your own genuine signal
asciilifeform: ( iirc we had the 'physically impossible to make cryptoauthenticable navigational or time signal, as others can receive and retransmit with delay' thread. )
asciilifeform: 'SPC Thomas was an 18B trainee. He was first caught attempting to bribe an instructor with beer, and then later had a panic attack during an AAR while in the 18B FTX. During his relief board counseling, he attempted to blackmail 18B cadre by telling them that if relieved and returned to his unit, he would have to annotate that he witnessed the instruction of secret/noforn course material to international students. This was a complete
asciilifeform: he levied was proven inaccurate or untrue. But as a student, he was given complete top cover and left unimpeded to continue creating havoc, and was not held accountable for the numerous integrity violations he committed. He graduated with his peers.' << win.
asciilifeform: 'o CPT Jimenez, currently in 7th Group, was the single source of several 4th Battalion investigations. He wrote anonymous emails, started IG complaints, or propagated rumors about virtually every single phase of the SFQC. His continual fabrications were verifiably false, and his numerous accusations resulted in several investigations that hampered operations for over a dozen cadre and battalion leadership. Literally every accusation
asciilifeform: and, importantly, works on resistant tb
asciilifeform: ( also not sure how comparable is the psychology of krokodilism, which is a form of morphinism, to gabriel_laddeling. )
asciilifeform: it was imperial jp that first put meth into mass production
asciilifeform: tho for a deposed emperor and quisling figurehead ( ceremonially crowned by invading jp ) he ended not so badly -- in communist nomenklatura when he finally died
asciilifeform: 'William James describes a man who got the experience from laughing-gas; whenever he was under its influence, he knew the secret of the universe, but when he came to, he had forgotten it. At last, with immense effort, he wrote down the secret before the vision had faded. When completely recovered, he rushed to see what he had written. It was : “A smell of petroleum prevails throughout.” '
asciilifeform: 'stable' is a mirage, everybody dies of sumpthin.
asciilifeform: 'list yer failed companies'
asciilifeform: how does a cad proggy compete with vaccuum co tho
asciilifeform: 'Antecedent companies are iRobot (ie roomba. founded 1990, IPO $100MN in 2005 at 24/share), Neato (raised 45MN, 2005, acquired by 'Vorwork', a German household appliances firm this Sept. Fiscal details unavailable). Both ventures attempted an 'AI' ...' << what means 'antecedent ventures' ?
asciilifeform: BingoBoingo: mp's fdr is prominently missing
asciilifeform: shinohai: looks like it's simply the most recent reorg their box saw, neh ?
asciilifeform: there is a mode ( see also log ) where it doesn't insert anything, that is used traditionally to compile gnat itself. but there it hard-enforces adacore's weird style scheme, and cannot be forced not to. i'ma have to patch.
asciilifeform: ( there is not , for perfectly fundamental reasons, a compiler that can be blindly trusted -- to work correctly, not even speaking of thompsonism here )
asciilifeform: usgmail has no mprating.
asciilifeform: http://wotpaste.cascadianhacker.com/pastes/dpo8I/?raw=true << sample rts eggogology , to round out the thread.
asciilifeform: 'Internal GNAT implementation mode. This should not be used for applications programs, it is intended only for use by the compiler and its run-time library. For documentation, see the GNAT sources. Note that -gnatg implies -gnatw.ge and -gnatyg so that all standard warnings and all standard style options are turned on. All warnings and style messages are treated as errors.'
asciilifeform yet again, for 3rd time in 2 yrs, attempted and failed to build a 'zero foot print runtime' for gnat -- to abolish the 3MB of liquishit it shits into every executable.
asciilifeform: witness the traditional 'tlp' symptoms of walking around with no inclination to ~try~ such a thing, or anything at all, with own hands, and see why this dun work with any known automaton ruleset ( do i have to say why, or readers already know ? )
asciilifeform: i'll point out, for completeness, the traditional alternatives of: the bottle, and the library
asciilifeform: can haz link to example ?
asciilifeform: i get the impression that mircea_popescu ended up in more of a 'martian colony' position than he'd like -- stuck importing literally all of the necessities of life
asciilifeform: so why wisconsin not empty of its pensioners yet
asciilifeform: the interesting bit is that the corp nominally still exists : http://www.umt.ro , makes bmw gearboxes or what was it, in some back corner of the massive campus full of ???.
asciilifeform: 'steampunk' monument.
asciilifeform: as i understand it, whole idea of 'backed currency' is intrinsically chumpatronic.
asciilifeform: ( each own ada compilationunit. )
asciilifeform: 'I am utterly frustrated with the software I have to deal with. Windows is beyond comprehension! UNIX is no better. DOS is no better. There is no reason for an OS. It is a non-thing. Maybe it was needed at one time.' etc.
asciilifeform: sadly for kjj, as i understand he is stuck with this key 4evah, unless he wants to buy a boeing for mpex...
asciilifeform: 'Prague's High Court on November 24 upheld a lower court's ruling allowing the extradition of Yevgeny Nikulin, whom the United States accuses of hacking computers and stealing information from major Internet companies including LinkedIn and Dropbox.'
asciilifeform: but indeed goes back to subj of thread, asciilifeform is stuck with 1880s state of the art, i.e. plugboard, for switching console b/w boxen, in a room where there is simply nomoar wall to hang moar lcd onto.
asciilifeform: used to operate moar comps in a room than there is room for consoles.
asciilifeform: 1 display <-> n comps
asciilifeform: 'Even if you don’t enroll in Face ID, the TrueDepth camera intelligently activates to support attention aware features, like dimming the display if you aren't looking at your iPhone or lowering the volume of alerts if you're looking at your device. For example, when using Safari, your device will check to determine if you're looking at your device and turns the screen off if you aren’t.' << ahahahhawut
asciilifeform: and having been 'in' it to begin with at ANY point is symptomatic of severe problems ~on your end~
asciilifeform: ben_vulpes: you gotta make a temp copy.
asciilifeform: 'And that party will be awesome. It will contain real people. It will have cheese dip. And premium gouda. And tasty Hostess treats. Yes, even Chocodiles. And people with actual souls. People with consciousness. From Socrates to Billy Ocean. The collective progress of Humankind. Of which you are no longer a member. Sorry, toad pimple. You forever vanquished your right to lay claim to the progression narrative of the human race.'
asciilifeform: it is nearly impossible to remove the tentacles
asciilifeform: gabriel_laddel: most of yer impurity is not the laevo- isomer but intermediate cruft
asciilifeform: BingoBoingo: i gotta nitpick, there is afaik no direct connection b/w meth and tooth decay. strictly in the temptation to 'hey i didnt sleep, why brush teeth..'
asciilifeform: '... an experiment in creating a home built around purpose, intention, and exploration. We are 13 residents and we employ experimental, fluid use of space, sharing behaviors and the creation of new ways of being. Within our space we have short term guest spaces and during the day the space is used by writers, artists, hackers and film makers.'
asciilifeform: whaack: if you really want to run the example proggy, will have to get hold of 4.9 somehow
asciilifeform: 'DAYDREAMER activates a top-level LOVERS goal because it is not involved in a LOVERS relationship, and one or more of its need states subsumed by the relationship are unsatisfied. A new concern is created and a positive motivating emotion of interest is created and associated with the new concern. The intrinsic importance of the goal is 0.9. This becomes the magnitude of the motivating emotion, as well as the current value for the mo
asciilifeform: iirc 'libressl' was an attempted whitewashing of openssl turd by the usual suspects.
asciilifeform: phf: iirc the sha256 in 'ironclad' is simply a c wrapper around turdssl
asciilifeform: ben_vulpes: it's pretty simple, makes use of ada's programmable stream
asciilifeform: diana_coman and other ada n00bz may find the item interesting, it is a complete proggy ( in the bare bone sense )
asciilifeform: but it is in fact a complete block-eater, with the exception that it does nothing useful with scripts.
asciilifeform: whaack: posted simply so that you can see how tx hashes come to exist
asciilifeform: whaack: unofficial demo of adatronic block eater. takes a raw binary block on commandline, parses, prints computed hashes.
asciilifeform: mircea_popescu: a tx does not carry own hash inside it ( how could it ), one has to compute it on the fly
asciilifeform: ( mine did not process scripts and so is currently of 0 direct use for whaack's item. but it does show how to compute tx hash )
asciilifeform: almost impossible to bring up crypto in heathendom without a 'voice in the crowd' 'helpfully' reminding about 'standardized, well-designed aes'
asciilifeform: diana_coman: lemme give specific example. start with splitting 1 byte. to split byte B into X and Y, you take byte R from rng, and compute B xor R = X. then Y = R . X xor Y = B .
asciilifeform: diana_coman: well 'a candidate replacement for the algorithm used at that time under the name of “Advanced ..' is not quite it, they competed for the usg tourney crown
asciilifeform: mod6: trb ml was really not imho the proper place for it: mpi is not used in trb
asciilifeform: also on phf's http://btcbase.org/patches?patchset=mpi&search=
asciilifeform: ... sci-hub.la turns out still worx ( reminds of ye olde mpex... )
asciilifeform: in other lulz : http://www.openwall.com/lists/oss-security/2017/11/21/4 ( https://archive.is/N6vFJ ) << 'bignum fuzzer that compares the results of mathematical operations (addtion, subtraction, multiplication, ...) across multiple bignum libraries. Among these is the Go programming language, specifically the "math/big" package [1]. Recently, the fuzzer found a problem in its exponentiation operation...'
asciilifeform: also phf's linked pediwiki item is hilarious : '...floating material in lava lamps, extracting random data from the pictures, and using the result to seed a pseudorandom number generator.[1] Although the secondary part of the random number generation uses a pseudorandom number generator, the full process essentially qualifies as a "true" random number generator due to the random seed that is used.'
asciilifeform: with bigger, bigger wall of lamps, each time.
asciilifeform: phf: consider the sheer degree of unabashed cargocultism in the endless rehash of the lava lamp thing
asciilifeform: ( will also point out, the lamps per se contribute ~0 entropy, arrangement is really ~same as hashwhitening output of camera static with the lens cap on )
asciilifeform: mircea_popescu: lolwat do you mean 'have roof' ? indeed whole thing would be quite impossible outdoors
asciilifeform: doorway was ok, simply cut the lights in the rest of the house.
asciilifeform: quite civilized compared to current-day monkeylandia
asciilifeform: relatedly, asciilifeform sawed ffa into independent subunits ( e.g. mults, bitops, divides, etc. ) for smooth compilation, reading, and blogomatics.
asciilifeform: 'Under its own policies, Facebook should have flagged these ads, and prevented the posting of some of them. Its failure to do so revives questions about whether the company is in compliance with federal fair housing rules, as well as about its ability and commitment to police discriminatory advertising on the world’s largest social network.' << ohnoez, plebes illicitly trying to practice freedom of association
asciilifeform: nobody would even contemplate paying the ludicrous 500k-1mil usd for a motherfucking cardboard box, other than at gunpoint.
asciilifeform: wat's wrong with scheme-style simple state machine that knows when to cons a new cell , where symbol names begin/end, and which becomes the car/cdr .
asciilifeform: ( granted, it is not an ~impossible~ matter, as it would be if the proggy had been written in pointerlang. but merely ~difficult~. )
asciilifeform: ben_vulpes: buy the plug, the actual-copper 30amp 4conductor cable, and make new cord, then attach to the internal bolts.
asciilifeform: ben_vulpes: 30amp 220v cord dun come in 'extension' in usa, for the obvious reason that the cable dun come in real-copper and the socket dun come in non-chinese, ergo automatic fire hazard.
asciilifeform: the segshitter's 'wrong' is deliberately crafted disinfo, for the consumption of redditards. why would they recant.
asciilifeform: in application to d00d who never showed any symptoms of intrinsic (i.e. theorems) -- yes
asciilifeform: who makes a compiler like this, and why, is anybody's guess. for all i know, we're the first folx ever to use gnat and at the same time give half a shit re speed.
asciilifeform: o develop the pronouncing dictionary we have used the largest online dictionary for Romanian language, the DexOnline dictionary [13]. DexOnline dictionary is freely available, can be downloaded from the Internet as a mysqldump generated SQL file and used in accordance with the terms of GNU General Public License. The database can be easily restored on a MySQL database server.'
asciilifeform: 'Based on the input grapheme codes, the neural networks generate one by one the 30 bit code indicating the presence or the absence of the 30 articulatory features. The output feature vectors are compared with the encoded vectors of the phonemes used. The distance between the output vector and each coded vector is calculated using Manhattan distance function and the system response is chosen as the vector with the smallest distance. T
asciilifeform: re asciilifeform's local shithole, moar interesting observation -- at one time the comp sci dept was ~90% male. today -- after subjects like 'operating systems', 'compilers' -- where you gotta form a working mental model of what the fuck yer doing, or you have no chance , and the working material is not amenable to 'i'ma randomly hammer until it works' -- no moar.
asciilifeform: mircea_popescu: the men leave when a profession is deskilled. at least in the weaver example.
asciilifeform: 'We will be publishing a diversity audit of Make: as a company and our properties, and will be setting goals to drive progress on these issues' << самокритика !1111
asciilifeform: from same rag , moar brit lulz, https://archive.is/lmpYM >> 'Guy Hedger was killed at around 3am on April 30 after intruders entered his £1 million home in Castlewood, Ashley, near Ringwood, Hampshire'
asciilifeform: in what sense is the contemplated item 'js' then ?
asciilifeform: as for js, it is intrinsically, deeply and infectiously retarded, on a level that is difficult to compactly express -- e.g. http://btcbase.org/log/2016-08-10#1517759 is merely ~one~ aspect
asciilifeform: important bit is that it be authenticable.
asciilifeform: 'rare art' is simply low-tech pre-bitcoin btc for lizards
asciilifeform: the english one, afaik, is 19th c, at least most recent as exists on www >> https://ia800500.us.archive.org/15/items/webstersunabridg29765gut/29765-8.txt << for completeness.
asciilifeform: there's a whole bunch of'em on www. asciilifeform has not formally collected, compared, yet.
asciilifeform: i suppose compared to, say, microshit -- yes
asciilifeform: ( we did the proof here, it did not withstand the harsh lamps )
asciilifeform: mircea_popescu: the odd thing re blaze is that , unless there was a completely other matt blaze working for at&t -- he's the d00d with the only published attempt at a provably hard symmetric cipher , in 1990s
asciilifeform: address all complaints to the original idjit, who stole it from fuck-knows-where and felt compelled to crypt it and obfuscate his winturd so that presumably others could not easily find what he ripped off
asciilifeform: deedbot removes voice from gabriel_laddel << poor d00d, must've amputated hands nao, not only feet
asciilifeform: ben_vulpes: ideally would work on all known c compiler, and from there build gcc buildroot-style, and from there - world
asciilifeform: but notion of unix is that you can take whatever c compiler you got, and bootstrap
asciilifeform: it does if you magicize a compiled gcc sure
asciilifeform: the surest pill is simply not to have 5 on the box. at. all.
asciilifeform: ben_vulpes: linker in 5 is incompatible with 4, likely explains such cases
asciilifeform: returning to dictionaries -- it's a piton, for penetrating the otherwise impenetrable n00b texts ( e.g. children's lit ) . not a 'hey i am nigerian and i found an englisch dictionary and nao i speak to you about our road to riches and fame'
asciilifeform: also i will note that english is a pretty poor example for this thread, it is missing so many pieces that folx who ~think~ in it are visibly handicapped in all walks of life, not merely for learning ro
asciilifeform: ( can go straight to example, Details := (1..10 => 'x', 11..13 | 21..23 | 27 | 29 => 'y', others => ' '); )
asciilifeform: well apparently threatens to become ordinary, rather than magically tax-exempt For Reasons, income
asciilifeform: ianal but there's a genuine eggog in there -- either that 50k is ~income~ for the chump^H^H^Hstudent; or it ain't, and it then also is not expenditure ( i.e. something to be written off taxables ) for mit
asciilifeform: ( all implementations of rsa in common use, are unsuitable for real time programs, on account of leaking private key via timing side channel )
asciilifeform: Ingolfr_Arnarson: it isn't a complicated item, but does demand a sane rsatron
asciilifeform: and invites chumper to install 'incognito internet browser plugin' and other joys
asciilifeform: !~later tell ben_vulpes https://github.com/threonorm/simulisp/blob/master/SCHEME-79/SCHEME-79%20Lisp%20on%20a%20chip.pdf << ( yes, pdf, it's an ancient scan, 1981 ) very spiffy review article by sussman re the famous scheme79 chip; also pertinent to anyone writing simple lisptrons of whatever kind
asciilifeform: '-1 was value seen in other simple implementations and drops out of simple hardware implementations.'
asciilifeform: mircea_popescu: https://archive.is/8mp39 << from horse's mouth
asciilifeform: 'The lack of a carry bit complicates multiple-precision arithmetic – GMP, MPFR ... RISC-V does not detect or flag most arithmetic errors, including overflow, underflow and divide by zero ... Most popular programming languages do not support checks for integer overflow, partly because most architectures impose a significant runtime penalty to check for overflow on integer arithmetic and partly because modulo arithmetic is sometim
asciilifeform: 'risc-v' is a well-crafted attempt to steal the name, much like gypsies tried to steal even the name of the country they lived in
asciilifeform: i.e. 'reduced instruction set' comp
asciilifeform: they also managed to waste the time of compiler back-end people, linux kernel folx, etc. with it.
asciilifeform: but nobody afaik sells a siliconized hard implementation of it. and i dun expect that anyone will. because wtf.
asciilifeform: moar concretely they go around propagandizing that if you build a fpga board you gotta use it, because 'mips is patented' ( in what country ? even in usa patent is 25y ) or 'risc-v is simplest' ( uh, nope ) and other idiocy.
asciilifeform: it's got jumps. but they blow the pipeline.
asciilifeform: it has interrupt, and jumps.
asciilifeform: standard compliance (we also had thread) is a massively underappreciated thing. it is why, e.g., diana_coman was able to take the serpent thing and build it, cleanly and without change, 20+yrs after its writing
asciilifeform: but as we discussed in old thread, the single most serious problem of ada, is that it is quite difficult to implement an adatron. esp if you actually go for standard compliance.
asciilifeform: ( nitpickers will note that rs232 implies particular voltages . and yes, you need a voltage converter to use ttl (e.g. fg) with actual rs232. which is inevitable, because i did not want to put a 200kHz-oscillating 5v to plusminus12v chip on fg. )
asciilifeform: if you dun have serial, you dun have a comp, in entirely the same way that if you cannot read latin letters you are not literate.
asciilifeform: mircea_popescu: rs232 is a 1960s standard, and doesn't go away simply because wintel stopped including the plug on the mobo. and world's simplest and most widely-supported standard for digital comms, moar so than ethernet ( i have whole pile of devices with 0 nic but several serialports ) , and will remain, regardless of what wintel does.
asciilifeform: but the latter is to be the reference, and the former -- i 'hand compile' ~from~ the reference
asciilifeform: iirc diana_coman simply opens /dev/ttywherever and reads.
asciilifeform: discussion was re 'reference implementation'
asciilifeform: motherfuckers, there is not a single comp made in 40 years that doesn't have a carry flag. WHY YOU HID IT
asciilifeform: diana_coman: how do you propose to rotate without it ? as i see it, the language standard simply has a rotate-shaped hole in it
asciilifeform: folx without ideology are like dodo. simply waiting for the ship fulla dogs to land.
asciilifeform: ( reading the linked item, it would be impossible to infer that it is ~not~ one )
asciilifeform: mircea_popescu: it's a pretty good olympiad problem, actually, to show why PeterL's scheme is still a bad idea even though '17' scenario is ruled out given as he capped the lower bitness at 512
asciilifeform: mircea_popescu: simply arresting the rot dun take much: i expect 'cuntoo' repo box will suffice. once isp winter is over...
asciilifeform: to simplify karatsuba and other algos.
asciilifeform: it simply won't terminate until pq is 4096b.
asciilifeform: it's unbeatable and simple.
asciilifeform: ^ typical example
asciilifeform: plain and simple wreckers, with no asterisks.
asciilifeform: 'The price of the cryptocurrency in the Southern African nation jumped as high as $13,499' but in which $ ?
asciilifeform: point being that they are independent components that could be changed out
asciilifeform: also helps that my mpi builds a standalone static lib
asciilifeform: asciilifeform certainly did not make any attempt to sanitize the remaining routines or otherwise ascertain correctness, however
asciilifeform: prior to realizing that ffa is the troo path, asciilifeform actually planned to entirely re-do the mpi item
asciilifeform: mircea_popescu: my sigs for the mpiism are on the linked pg.
asciilifeform: and it's a perfectly legit ( manually ground, from mpi, just like trb genesis was from 0.5.3 ) genesis.
asciilifeform: your copy of mpi-genesis.tar.gz was lost, or wat
asciilifeform: diana_coman's item is moar or less the right thing, except that it is impossible to link to individual line
asciilifeform: ( runtime generic instantiation certainly did not exist, and really has no analogous item in any other statically compiled language afaik )
asciilifeform: ada ( even asciilifeform's 'fascist' ada subset ) is not exactly pascal. imho the most notable departure is the array slice abstraction, which makes for a 90% moar compact ffa ( and applies to almost anything else dealing in bitstrings, for that matter )
asciilifeform: oh did i mention that the antenna per se, turned out to be... old lamp cord
asciilifeform: i now recall some anthropologist who had problems giving fiction, incl simple hypotheticals, to some african sad sacks
asciilifeform: ( in further continuation of the microscopy q : what the everliving fuck happened to the beta ray microscope ? theoretically can do ~same thing as sem, but no need for massive electron gun, million volt power supply, or the vacuum pumps. where is it ?? )
asciilifeform: ( even despite the 'being someone' point, consider that 1 sailor who jumped from sov ship. usa did not send him back... )
asciilifeform: mircea_popescu: re 'defectors' it is a quite nostalgic subject for asciilifeform , because it is an item from meanwhile wholly vanished, like roman empire, age, where escape from an empire was simply a matter of getting through a wall
asciilifeform: rather than simply i buy a plane ticket.
asciilifeform: ( nationalism dun work in usa because with what; and verboten in su because ottoman-style empire )
asciilifeform: the 2 were not contemporaneous.
asciilifeform: sorta how northrop does not see itself in competition with cessna
asciilifeform: i suspect that he simply did not even think about it.
asciilifeform: mit was never in the business of selling comps
asciilifeform: su had, interestingly, early and stillborn attempt at lispm
asciilifeform: whole thing was a valiant effort to make a thing that was just short of technologically impossible.
asciilifeform: what's the use of simultaneously lighting up a whole line, simply to blow the clock cycle on reading 1 bit ??
asciilifeform: there being a relationship at all, comes from the fact that the two types of bucket regularly get emptied into one another
asciilifeform: but a page is simply a fixed qty of addressable machinewords
asciilifeform: Kalman was hired after that by Symbolics Technology, Inc., who had acquired the assets of Symbolics from the bankruptcy court, to work on further productizing the emulator for the Alpha. This was used by John Mallery at MIT to run his document distribution system for the White House during the Clinton presidency. When the owners of that venture decided that a financial company had no business owning a computer company, a private ind
asciilifeform: 'Kalman Reti worked for Symbolics from 1982 through 1992, mostly on VLSI tools for Ivory but also writing low-level device support (e.g. a LMFS recovery utility, R/W optical drive support, LZW compressor, etc.) The last few years of that were spent doing customer consulting. After being laid off when Symbolics went into chapter 11, Kalman worked for Apple in Cambridge, first on MCL and later, after MCL was sold to Digitool, on Dylan.
asciilifeform: the bolix people fit a complete lisp-to-silicon system in less space than taken by original 'wolfenstein' .
asciilifeform: unlike every single extant piece of computing artifact .
asciilifeform: by all indications, they were pretty effective -- but, far more importantly -- extremely compact.
asciilifeform: apeloyee: the other thing to consider, is that the preserved bolix material has ~unspeakably~ rich ( and quite high snr ) collection of artifacts, perhaps 1000 asciilifeform-years of work. take the ns vlsi compiler alone. i have the binaries, but not the src. and ~someone~ will have to make a sane (i.e. fully lispified and zero-externals) vlsitron.
asciilifeform: i dun normally recommend 'screen films' but there is simply no other way to properly summarize what bolix was.
asciilifeform: 'emperor' drinks same flavoured water as the prole, today.
asciilifeform: apeloyee: but on the other hand any attempt to build a sane arch, without fully grasping the bolix stack, from ic to the compiler, is lunacy.
asciilifeform: phf: my understanding is that author was simply doing homework
asciilifeform: of course reality caught up with poor shoemaker's imagination, and today's 'emperors' indeed have not only front porches but armchair with tv with foxnoose, and refrigerator full of 'bud'
asciilifeform: http://btcbase.org/log/2017-11-14#1737923 << i gotta add to this before it runs away : when making ~scriptlang~ ( rather than an actual lispm ) very different set of design tradeoffs might be acceptable, it they reduce complexity and in particular nonlisp LOC
asciilifeform: hey, d00d pumped his listening-before-talking muscle for so long that it's schwartzneger-sized
asciilifeform: and how the hell does it compare to 'add the digits' -- there you get $base possible outputs
asciilifeform: ( nothing to stop you from imposing other types of hash in between, incidentally . as i did in the pubexp example )
asciilifeform: apeloyee: it makes , e.g., udp (512byte) impossible.
asciilifeform: the 'everyone has same e' thing was slipped in under clinton , when his nsa invested in 'acre of asics' with e=3|e=65537 presumption baked in
asciilifeform: the amount of computation that you must do, and bits you must buffer, to do friend-or-foe, is considerably larger.
asciilifeform: maybe ants also have complicated requirements for how to humiliate. but ! ddt still worx!
asciilifeform: complete with prodigal son etc
asciilifeform: ( re ro crackpottery, asciilifeform is 2/3 through pacepa's tome , and marvels over the d00d's complete omission of how ~he himself~ came to be loyal servant of 'worst ever cruellest evil emperor' )
asciilifeform: the archetypical example is 'digits of pi'
asciilifeform: generally there are cheaper ways to make use of 'key' to chump rng
asciilifeform: afaik the only remaining, and most obvious 'loss' is the one implicit in prime number theorem ( where , wat, ~10k possible rng outputs correspond to same prime output )