log☇︎
16400+ entries in 0.004s
asciilifeform: last i looked, didn't turn up a leaked copy anywhere.
asciilifeform: currently i've nfi where, if indeed at all, 'pro' differs from the public gnat.
asciilifeform: https://www.adacore.com/products/certification-materials etc
asciilifeform: the 'pro' item is iirc advertised as 'certified', whatever that means
asciilifeform: diana_coman: only from entomological pov. i.e. do they break the opensores one deliberately , to upsell to the payware? or both equally braindamaged.
asciilifeform: ( but i do not presently know, nor inclined to buy it to find out )
asciilifeform: commercial gnat complies
asciilifeform: diana_coman: another interesting q is -- whether the co
asciilifeform: diana_coman: i suspect this aint the last time we find that gnat breaks standard
asciilifeform: meanwhile, in vintage lulz, http://www.os2museum.com/wp/lies-damn-lies-and-wikipedia/
asciilifeform: one interesting twist, the machine actually has an ionization gauge below the bottom, under the crosshair. and control panel allows to specify exposure in terms of the gauge output, but in nonsensical 'AEC' arbitrary unit
asciilifeform: such 'quiet' tubes aint used in medicine, so very little to go on.
asciilifeform ~still~ frustratingly wedged with mircea_popescu's tube puzzle , turns out the 'S' constant for 35kV aint published anywhere, incl. the tube vendor ! and no info published re how to determine it from principles, seems like it gotta be measured by hand.
asciilifeform: ( and the various semaphorisms that it makes necessary )
asciilifeform: good % of the riotous complexity of the sadkernel, once you subtract deviceisms, is the slicer
asciilifeform: mircea_popescu: unix imho is pretty typical piece of tard 'sleight of hand', where offers illusion that 'you can have 9000 continuous threads'
asciilifeform: why the fuck machine even has an interrupt controller, if idjit programmers run slicer to continuously poll e.g. blocking i/o . it's ridiculous.
asciilifeform: aha!
asciilifeform: slicing is ~massive~ waste of cycle
asciilifeform: and oughta have 1 thread per core, and the rest -- yield
asciilifeform: i strongly suspect that it's fundamentally braindamaged idea
asciilifeform: while on subj, asciilifeform aint even sure if the traditional slicing scheduler is Right Thing
asciilifeform: btw when we plant gnatism on bare irons, will have to implement a scheduler, and it is 'black art' of sorts ( how big to make the quantum ? how to apportion slices to cores ? etc )
asciilifeform does not currently know, when introduced
asciilifeform: hm
asciilifeform: near as i can tell, it's a vestige from days of running on os with no scheduler (dos etc)
asciilifeform: mircea_popescu: i've had occasion to move the stack limit ( when tested ffa with massive fz widths, recall , all allocations are on stack ) but not otherwise
asciilifeform: mircea_popescu: i suspect that diana_coman is the 1st to actually measure, since 1990s (if indeed anyone bothered then)
asciilifeform: i dun recall whether i put this in the log, but asciilifeform found that if proggy does not use tasks, the 2 variants appear to build identical binary
asciilifeform: wtf is even the point of zcx on pc ( not speaking of http://btcbase.org/log/2019-02-12#1895611 horrors ) then. ☝︎
asciilifeform: pretty interesting
asciilifeform: ^ pictured is 'pi', which is item similar to rk, but rejected by asciilifeform on acct of multi-MB blobism and massive unkillable (afaik) fritz chip core
asciilifeform: would look rather like the https://media.rs-online.com/t_large/F8268825-01.jpg heathen board
asciilifeform: really oughta have a backplane connector, also ( the actual rk, takes up good 70-80% of enclosure space with cabling and legs )
asciilifeform: ( asciilifeform would luvv a rk-like item baked by sane folx, could easily be half the size or smaller, i.e. w/out the useless ports, and perhaps with e.g. sata instead )
asciilifeform: for compactness
asciilifeform: rk actually has a video port, but asciilifeform baked the kernel w/out support for it
asciilifeform: ( this is what we do on rk )
asciilifeform: tho imho would work just as well to use serial
asciilifeform: http://btcbase.org/log/2019-02-28#1899694 << it does, to what do you suppose BingoBoingo connects the console to see whether alive ☝︎
asciilifeform brb,tea
asciilifeform: ( theoretically can do 70kV, per the sticker, but power supply deliberately capped by vendor, so as to get 100% absorption by the cabinet shields and sell as 'contained' or whatever oshaism it was called )
asciilifeform: the tube in asciilifeform's instrument maxes out at 35kV @ 0.3mA .
asciilifeform: mircea_popescu: they're commercially available , for cost of ~bmw , but i dun want one here lol
asciilifeform: i want lower/upper bound at least, or how the fuq to even know if could flip bit.
asciilifeform: defo
asciilifeform: mircea_popescu: i dun have a 10MeV source ( do you ?? ) . tho i suppose one could float the thing on balloon and hope to get lucky with cosmic ray..
asciilifeform went to compute mircea_popescu's q, 'just how much did it eat', apparently it's a bitch : absorption constant varies by chip, and in heavy industry folx mostly gave up , they stick dosimetric film underneath the board. i'ma get an upper bound tho, it's important q when we do the bitflip thing.
asciilifeform: so, to answ http://btcbase.org/log/2019-02-28#1899681 , it's a fat 0. as known even 100y ago.. ☝︎
asciilifeform: for all i know, he was even right.. at petavolt or sumsuch. but , hate to disappoint, not at kV or even mV.
asciilifeform: ( funnily enuff, old man edison thought otherwise, was convinced that one could 'alchemize' with xray 'if you just crank it up enuff' ! )
asciilifeform: mircea_popescu: on my planet, if you want remanence, you gotta bombard with neutrons, not photons...
asciilifeform bbl
asciilifeform thought 'oughta transparent..' and closed hole in the sample shelf with paper.
asciilifeform: apparently has cruft in it, opaque at 20-35 !!
asciilifeform: last lulzbit before asciilifeform to bed : the fibrous crud in the photo ? is 1 sheet of printer paper !
asciilifeform: aha, is what the dentists do. i'ma gild that lily when it turns out to need gilding tho, so far can already clearly distinguish 2 layers of pcb.
asciilifeform too lazy atm to compute approx dose from this, in civilized units
asciilifeform: has eaten 30m or so, at various energies, largely towards 35k end
asciilifeform thus far can add only that the victim fg still worx..
asciilifeform: normally the killing dose for $chip is determined empirically.
asciilifeform: hence trickier
asciilifeform: aha
asciilifeform: mircea_popescu: they dun move tho, what 'moves' is the free radical
asciilifeform: ( and even there, 'tomographic' pic, i.e. from range of angle, gives moar bang for bux , possibly )
asciilifeform: the multi-voltage thing will make serious diff when we reverse e.g. 6+-layer pcb and the like.
asciilifeform: re flipped bits -- actually considered soft xray as a potential diddle for e.g. google's fritz chip. possibly worth a shot at some pt.
asciilifeform: in the bolix board, i'ma pull the ics before it goes into the oven, they're all socketed, so sorta academic.
asciilifeform: typically gate wedged into metastability . difficult to calculate tho.
asciilifeform: sorta why dentist stuffs aluminum filter in the muzzle when xray. < 20kV or so just cooks meat, without reaching film.
asciilifeform: mircea_popescu: at long wavelength, all but epsilon ends up going to cook the chip
asciilifeform: i'ma also try scintillator + ordinary photopaper ( some folx report usable pics via same )
asciilifeform: scintillator wins sensitivity in trade for contrast, tho.
asciilifeform: ( crate is due in coupla days from nao )
asciilifeform: will prolly look vehehehery diff with the scintillator cassette + proper fujifilm
asciilifeform: .. either that, or the dental film dun expose much at 10
asciilifeform: i expect this is typical (FG is pretty thin as far as pcb goes)
asciilifeform: http://btcbase.org/log/2019-02-28#1899634 << forgot to add detail : 0 penetration at 10kV (aside from through unoccluded holes) ☝︎
asciilifeform brb,meatsystems
asciilifeform: mircea_popescu: is certainly how i started reading him (initially had good stuff in 'small picture' re su/usa parallel)
asciilifeform: well i do have 3..
asciilifeform: ( typically this involves 150kv+ xray, which goes straight through the film w/out exposing it, and film is then exposed by electrons emitted from ~underneath~ )
asciilifeform: the ~real~ gold would be if could emissograph it. like those rembrandts. but i dun think my current gear is up to it.
asciilifeform: y'know, cotton wad, with diamond paste
asciilifeform: really oughta ~lap~'em off, rather than conventional end mill
asciilifeform: right
asciilifeform: if i had 9000 units to work with, then defo would
asciilifeform: mircea_popescu: from the lit, seems like it's an iffy way to take off layers, tends to induce thermal cracks
asciilifeform: ( heat sink is on opposite side )
asciilifeform: potentially -- can even come off and leave working unit
asciilifeform: it's not even clear that this dance is req'd, of yet, seems like there's a lid which simply needs to come off, on these
asciilifeform: can grind off micron at a time.
asciilifeform: (given as already have 1)
asciilifeform: mircea_popescu: will prolly end up with cnc mill
asciilifeform: mircea_popescu: as of yet -- nuffin
asciilifeform: congrats mod6 !
asciilifeform does not know why this had to wait for 30 YEARS, but dun intend to let it wait another 3
asciilifeform: dun even need ~that~ much magnification -- chip has 2uM features, and ordinary scanner already has 4uM x 4uM pixels.
asciilifeform: ... after that, perhaps xray backscatter on the exposed die, or similar exotica.
asciilifeform: ... with the finest-grain film available , naturally, + http://btcbase.org/log/2018-11-28#1875800 . ☝︎