log☇︎
65900+ entries in 0.012s
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: iirc he is the orig author of the ersatz ivory emulator
asciilifeform: ( reti is the other half of dks-and-reti skeleton crew )
asciilifeform: maybe he knew that the money were running out, lol
asciilifeform: even if it worked
asciilifeform: so might not work
asciilifeform: iirc d00d doesn't exactly speak the king's englisch
asciilifeform: mircea_popescu: iirc there was a captioned version on youtube. but seems to have evaporated.
asciilifeform: ( note that no one in ru has any doubt how to pronounce d00d's name, because чаушеску makes perfect sense )
asciilifeform: which this
asciilifeform: i'm missing the proper letter on this particular terminal anyway lol
asciilifeform: and it ran ok at 8mhz.
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: and with ~zero~ overflowandcrashlang 'legacy' crapolade in the stack.
asciilifeform: ( they had to be )
asciilifeform: by all indications, they were pretty effective -- but, far more importantly -- extremely compact.
asciilifeform: just as ceaucescu was content to 'steal' vlsi from the decaying west, i am perfectly content to steal the algos from bolix.
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: aaha
asciilifeform: ( consider -- if the 'meaning can be had from context', why is the word even there on the page ? )
asciilifeform: http://btcbase.org/log/2015-07-05#1188842 << see also ☝︎
asciilifeform: this is the inevitable doom of people who will not read.
asciilifeform: it has to be seen.
asciilifeform: i dun normally recommend 'screen films' but there is simply no other way to properly summarize what bolix was.
asciilifeform: apeloyee: ever see the infamous kalman reti film ? ( http://btcbase.org/log/2014-11-16#925610 mirror still seems to work ) ☝︎
asciilifeform: 'emperor' drinks same flavoured water as the prole, today.
asciilifeform: BingoBoingo: if 'coke' dies, 'pepsi' will reign, the basic idea remains
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: apeloyee: actually i do not particularly like it
asciilifeform: btw phf seems like ivory not happenin' any time soon ( see thread http://btcbase.org/log/2017-11-14#1737657 ) . ☝︎
asciilifeform: phf: my understanding is that author was simply doing homework ☟︎
asciilifeform: aaaa lol
asciilifeform: so roughly 'baker'
asciilifeform: ( originally a kalash is a type of breading )
asciilifeform: 'tis a pretty common name actually
asciilifeform: aa
asciilifeform: or some other
asciilifeform: which linked chix is the 1 in question ? the film extra, or the academic
asciilifeform: wassat
asciilifeform: same way we avoid gavinization of trb, for instance.
asciilifeform: ^
asciilifeform: i want a functioning scriptron on, e.g., my dos box.
asciilifeform: and the multi-GB liquishit ecosystem they drag along
asciilifeform: but yes, to ditch the pyturds and perlisms
asciilifeform: apeloyee: i ain't got a proper lispm, and neither does anybody else
asciilifeform: 2015 iirc
asciilifeform: bbbut the museum ! ( they opened a 'ceaucescu's summer palace' thing , with golden errrythings )
asciilifeform: 'hey cool, he DIDN'T have fridge-of-bud')
asciilifeform: sorta accounts for my somewhat contrarian reaction to the much-advertised 'golden toilet' aspect of ceaucescu
asciilifeform: just like the lowest prole
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: ( the noun is lost, but придворный remains 'courtier' )
asciilifeform: waitasec is this false cognate with the ru
asciilifeform: time machine escapee.
asciilifeform: sorta half of what makes'im interesting imho
asciilifeform: hey americans to this day have ~0 problem 'respecting', e.g., washington, despite slave fleet ( and on top of it, near-total unletteredness )
asciilifeform: just as sov folx were not
asciilifeform: or possibly he wasn't prepared to piss on his pushkin ?
asciilifeform: http://btcbase.org/log/2017-11-14#1737917 << yes that was it! ty davout ☝︎
asciilifeform: which could mean, for instance, dispensing with entire concept of interned string
asciilifeform: i would like to see the minimal practical nonlisp loc, in such an animal
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: it's the same as doing nothing
asciilifeform: i did note this, you don't escape by gluing upper bits to equal 1
asciilifeform: apeloyee exactly half of the bitness of modulus.
asciilifeform: it is possible, this way, to leak 'half a bit' instead of whole.
asciilifeform: apeloyee: see http://btcbase.org/log/2017-11-14#1737387 approach ☝︎
asciilifeform: nah, in the sense where neither i nor anybody else can distinguish hash(fg output) from hash(we fuck pigs) , without knowing the answer ahead of time
asciilifeform: ( aside from knowing the riddle key )
asciilifeform: under every known scrutiny .
asciilifeform: ( see ancient metathread running back to 2013 )
asciilifeform: afaik even the shoddiest 1980s hash algo, produce ~perfect 'white noise'. hence the popularity of faux-rng via hashwhitener etc.
asciilifeform: aa
asciilifeform: hm?
asciilifeform: ( suffers from the flaw of potentially never terminating tho )
asciilifeform: dun suffer, in principle, from the nextprime()-problem
asciilifeform: hash-until-isprime
asciilifeform: consider function :
asciilifeform: incidentally, if one believes in hashes per se,
asciilifeform: lol
asciilifeform: (i.e. such that there is ~nothing~ that can be said in advance re what kind of prime will be chosen)
asciilifeform: but it remains open q , whether it can be done correctly (equiprobably)
asciilifeform: well if done with nextprime() then yes worst
asciilifeform: this is troo hm
asciilifeform: its only flaw is that it leaks via time
asciilifeform: and is as balanced as your rng is honest
asciilifeform: nextprime gives countprimes(n) possible outputs.
asciilifeform: and how the hell does it compare to 'add the digits' -- there you get $base possible outputs
asciilifeform: what means 'not equiprobable'
asciilifeform: where narrow pipes
asciilifeform: blender-toilets are standard in some locales, in fact
asciilifeform: at any rate, prime-constructor ( see apeloyee's thread re subj ) is entirely separate problem from 'prime hash'
asciilifeform: ( and definitely not ffatronic )
asciilifeform: you get a handful of primes this way, before the arithmetic becomes unwieldy
asciilifeform: it suffers from all of the limitations of other hashes.
asciilifeform: ( nothing to stop you from imposing other types of hash in between, incidentally . as i did in the pubexp example )
asciilifeform: call it hash, yes, that outputs a prime.