log☇︎
532400+ entries in 0.325s
asciilifeform: about same as a teapot.
decimation: heh yeah probably not for the logic of that day
asciilifeform: that'd be the logical thing.
decimation: I'm surprised they didn't use the heat coming off the nuclear core for some purpose
asciilifeform: my guess is that the rocket itself was viewed as 'redundant'
decimation: maybe that was considered enough redundancy? who knows.
decimation: well, there are two in the unit "A" and "B"
decimation: well, maybe that's why there are two 'squibs' to release the electrolyte?
asciilifeform: (one might imagine a museum exhibit could have been 'censored' but there is no obvious place in the guidance barrel for a second)
asciilifeform: i find it peculiar that only one such battery appears to have been mounted
decimation: asciilifeform: I like how the internal schematic is etched on the device
assbot: UK flights chaos: Air traffic control computers using software from the 1960s - Telegraph ... ( http://bit.ly/1CH8RH5 )
decimation: http://www.telegraph.co.uk/news/aviation/11291495/UK-flights-chaos-Air-traffic-control-computers-using-software-from-the-1960s.html < " Prof Thomas said the NAS system was written using a now defunct computer language called Jovial, meaning Nats has to train programmers in Jovial just to maintain the antiquated software. "
asciilifeform: unrelated, http://www.delcoremyhistory.com/Products/missilebattery.htm << how to build battery with 'infinite' shelf life? here's one way
mod6: the last 3 commands of that build script never seem to run for some reason
mod6: ah, no that's not stripped.
asciilifeform: and is 22mb the stripped elf ?
mod6: well look at that: http://dpaste.com/1Y82G5E
decimation: maybe the next version will include an ascii-art image of dr. mccarthy
decimation: I was reading a newer C++ text today and laughed when I saw it
decimation: asciilifeform: did you know that the latest C++ standard includes a lame implementation of 'lambda'?
decimation: I use a BlackBerry mainly because I’m so restricted in what I can do that it’s basically just messages, and it’s still easier for me to tap off the [BlackBerry]. But basically most of my non-work-related stuff, I’m working off the iPad."
decimation: "And you’re still with the BlackBerry, right?
decimation: now that's something I can stand for!
decimation: we want strong encryption that can be compromised
decimation: "So there’s no scenario in which we don’t want really strong encryption. The narrow question is going to be if there is a proper request for … this isn’t bulk collection, this isn’t sort of fishing expeditions by government."
decimation: "I’m as strong as I have been. I think the only concern is our law enforcement is expected to stop every plot. Every attack. Any bomb on a plane. The first time that attack takes place in which it turns out that we had a lead and we couldn’t follow up on it, the public’s going to demand answers." < 'leadership' at its finest
decimation: "Let’s talk about encryption. What’s wrong with what Google and Apple are doing? You have encrypted email — shouldn’t everybody have encrypted email, or have their protections? Everybody should. And I’m a strong believer in strong encryption."
assbot: President Barack Obama Speaks with Kara Swisher (Full Transcript) | Re/code ... ( http://bit.ly/1AQrRWV )
decimation: 'no one' in the sense of anyone employed directly be usg
decimation: it's that no one knows how they work exactly
decimation: indeed, the problem with the machines isn't that they are broken
asciilifeform: so are, one might note, their machines.
asciilifeform: for the 'old boys'
asciilifeform: and hence this.
asciilifeform knew he would not have time to write later this week
asciilifeform: other than that, looks perfect
BingoBoingo: You are very welcome and thank you.
asciilifeform: BingoBoingo: neato! ty
decimation: apparently the 'new' system is a complete rewrite in ada
decimation: yeah the ibm 9020 was programmed in JOVIAL
assbot: Control Panel, Air Traffic Control Computer, IBM 9020 | National Air and Space Museum ... ( http://bit.ly/1AQp4xc )
decimation: back then they were using ancient mainframes that were pitiful in their capabilities
asciilifeform thought that this was well-established
asciilifeform: size it down to 640x480 perhaps
decimation: another example is the 'next gen' faa routing system
asciilifeform: quite a few usg-sponsored war projects are still -struggling to modernize to ada-
asciilifeform: decimation: that's traditional notation for a standard that no longer has a working group but has not been retracted
decimation: wouldn't you put it in the 'algol' family?
decimation: "23-Jan-2015 MILITARY STANDARD Sixteen-Bit Computer Instruction Set ArchitectureMIL-STD-1750A, dated 12-Apr-2010, remains inactive for newdesign; however, the document is valid for use."
asciilifeform: and guess which are the only two programming languages to have 'rationale manuals' for every aspect of the language ?
asciilifeform: at any rate, all of the ada-related material is thoroughly public
asciilifeform: considering that the sole remaining makers of the product described in that one are chinese...
decimation: asciilifeform: you can probably get access to mil-std's
[]bot: Bet placed: 1 BTC for Yes on "BTC to top $500 before 1st May" http://bitbet.us/bet/1120/ Odds: 94(Y):6(N) by coin, 94(Y):6(N) by weight. Total bet: 1.1 BTC. Current weight: 99,996.
decimation: http://archive.adaic.com/projects/atwork/boeing.html << "For these projects, Honeywell purchased DDC-I, Inc.'s Ada Compiler System, using it as the front-end source for Honeywell's symbolic debugger. "
asciilifeform: gnat/gcc lacks support for some of the more exotic chips used
asciilifeform: - actually - i can think of one
asciilifeform: but this being one of the only two programming languages in existence which are -standardized in their entirety-, in principle there is no reason - aside from retardation - to use a proprietary ada
asciilifeform: there are proprietary ada systems, yes. i have not been able to learn who uses them, and for what.
asciilifeform: at any rate, all of the 'standard library' is public
decimation: no it's the real time os I think
asciilifeform: for which the chumps, yes, pay
[]bot: Bet created: "BTC to top $500 before 1st May" http://bitbet.us/bet/1120/
asciilifeform: the certificate has nothing to do with ada per se
decimation: I guess the difference is the 'usg certificate'
asciilifeform: (one of the conditions for the ancient usg mandate establishing ada 'foundation' is that the product must be gpl'ed)
decimation: the trouble is that it seems the real toolchains used by these projects are all $$$ commercial
asciilifeform: without the 'bondage & discipline' stylistic aspects
asciilifeform: as in, something that actually provides the same functionality
asciilifeform: i've learned that there is not actually a good substitute for ada, as of yet.
decimation: I wasn't aware that it was still going strong in non-defense areas
decimation: asciilifeform: that was a neat link about ada
decimation: no, that would require a 'cheapening factor' of around 10000
asciilifeform: nothing that threatens to put it in your friendly local illegal machine shop, much less your kitchen.
decimation: but not the orders of magnitude needed
asciilifeform: the energy required to melt Si is ever the same
asciilifeform: high vacuum, for instance, is still achieved in much the same ways as in 1930s
asciilifeform: none of the items that comprise most of the expense have changed since day one.
decimation: then again, I can envision a tradition fab becoming cheaper
asciilifeform: (resolves to 'maxwell's daemon')
asciilifeform: good thermodynamic reasons to conclude that it is not doable in the general case
decimation: the alternative would be to have some kind of technology that would enable the precise manipulation of atoms at scale
asciilifeform: but to somehow lay out electrical logic elements at the customary densities without resort to a $1B factory.
asciilifeform: we don't necessarily need to 'shrink the classical fab'
asciilifeform: that's the wrong thought.
decimation: I don't see how one could 'shrink' a fab into anything smaller than it is (as it currently exists)
asciilifeform: the only thing that seems certain imho is that starting from existing concept of ic fab is a dead end ☟︎
asciilifeform: decimation: thus far, it is.
asciilifeform: welcome to propagation delays 100s of mSec long. and idiot proprietary toolchains
decimation: I guess my point is that it seems to be science fiction to me
decimation: but we are talking chip printing
asciilifeform: sucks for exactly the same reasons as ordinary fpga
decimation: what if an actual fab created a grid of transistors, and a home laser could 'blow' the appropriate areas for the wanted logic
asciilifeform: as it demands high vacuum, among other finicky and expensive things
asciilifeform: that'd be the extant 'ion beam workstation'
decimation: the beam would spray 'dope' in the appropriate spots?
decimation: not to mention the provision of masks, etc
decimation: asciilifeform: I was thinking about a 'home chip fab'
BingoBoingo: asciilifeform: Working on that with cazalla