log☇︎
211300+ entries in 0.067s
asciilifeform: mircea_popescu: the function of the 'extra' gates does not become clear unless you understand why extant cpus (which do not use muller's c-gate) need 'clocks' at all
asciilifeform: it lets you have asynchronous circuits without metastability problems
asciilifeform: (even though it is used virtually nowhere...)
asciilifeform: i regard c-gate as among the greatest inventions in 20th c. electronics
asciilifeform suggests actually understanding what adlai linked to
asciilifeform: nope.
asciilifeform: mircea_popescu: the c-gate !?!
asciilifeform: mircea_popescu: the reasons whereby ruby sucks have nothing to do with the representation
asciilifeform: and 1000 is, often, optimistic
asciilifeform: know the saying 'picture is worth 1000 words' ? it isn't a joke
asciilifeform: adlai: a good chunk of the total world of engineering fits in this category
asciilifeform: where are the moles?
asciilifeform: lol re: usg spending $maxint to extract apple symmetric key from cpu
asciilifeform: https://firstlook.org/theintercept/document/2015/03/10/strawhorse-attacking-macos-ios-software-development-kit << at least they cite thompson.
asciilifeform: compiler-infection is as old as time.
asciilifeform: !s TWINKLE
asciilifeform: there is no physical/electrical reason why it can't worh the other way
asciilifeform: because idiocy
asciilifeform: have to go through all $maxint of it and ask, ask, ask...
asciilifeform: jurov: think about how you can't 'ask' every machine word in your ram simultaneously whether it 'equals such-and-such'
asciilifeform: jurov: a von neumann limitation.
asciilifeform: removing bricks from on top another brick, will not make the latter a faster runner...
asciilifeform: like strapping weights to a runner
asciilifeform: artificially clamping your memory -> stupider
asciilifeform: it's only true in the opposite
asciilifeform: ^ will sign under every word of that
asciilifeform: y is, the more intelligent/productive you can be.'
asciilifeform: 'What’s the real difference between having a type signature in your short-term memory or prominently displayed in your second monitor? What’s the real difference between writing a comment in your mind or touch-typing it as fast as you create it? Just some speed. Just some time. And the more visible that type signature is, the faster you can type out that comment, the larger your ‘memory’ gets. And the larger your memor
asciilifeform: the original '7' thing was re: short-term memory and juggling arbitrary symbols as strings
asciilifeform: mircea_popescu: likely thinking of a different 'store'
asciilifeform: i promised yesterday to say why i quit the ibm green phosphour terminal; this was why
asciilifeform: it is.
asciilifeform: which was a mega-l0l
asciilifeform: because one encounters sometimes more than 7 levels of nesting
asciilifeform: i've seen it trotted out as an argument that it is impossible to program in common lisp
asciilifeform: i think he was speaking of the 7 levels of stack thing
asciilifeform: when you teach the pets to reassemble kalash, will it be visually (tactile!) or verbally ?
asciilifeform: human languages as a class aren't even automatically unambiguous structurewise, and to hammer them into this shape results in the kind of verbiage that led people to invent 'squigglies' in the first place.
asciilifeform: or simply to the fact that straight line of alphabet yes, can unambiguously describe everything. but it takes titanic space for a large class of concepts
asciilifeform: easily most of real life
asciilifeform: let's suppose they weren't implicit.
asciilifeform: whatddoihavetodo, scan a schoolbook! lol
asciilifeform: in this problem!
asciilifeform: l0l!
asciilifeform: glommed on separately somewhere ?
asciilifeform: and what of the bounds ?
asciilifeform: there is a reason why newton and leibniz both came up with new symbols for this example
asciilifeform: forces you to demunge it in your head
asciilifeform: mircea_popescu: simple mapping to the word brutally linearizes the expression
asciilifeform: to illustrate what is being spoken of
asciilifeform: http://www.tutapoint.com/kcimages/TripleIntegraParaboloidPlate_.jpg << pulled out of the aether arbitrarily for folks who had too many years from school
asciilifeform: but used 'weird symbols' not found on my keyboard, was the point
asciilifeform: it isn't nonverbal in the sense of what geometers liked to do
asciilifeform: with varying params
asciilifeform: i said triple
asciilifeform: brainspacewise
asciilifeform: good abstractions are not only orthogonal and well-chosen, but -compact-
asciilifeform: what a bitch it'd be
asciilifeform: but going back to mathematical notation for a spell - let's write, e.g., a gnarly triple integral, in plain humanlang.
asciilifeform: there we go.
asciilifeform: batch programmers typically never even saw the machine...
asciilifeform: because that was surely the ultimate 'derp zapper'
asciilifeform: now wondering if mircea_popescu will suggest bringing back batch processing
asciilifeform: (mathematically - in 'batch mode' - yes. usably in real time - no)
asciilifeform: some things -can't- be emulated usably
asciilifeform: and one that breaks, in practice, the turing thesis
asciilifeform: but perhaps the basic idea is clear
asciilifeform: to explain this in usable detail would take a while
asciilifeform: adlai: if you're curious, i quit the emulator when i realized that even the text output absolutely trivial on a dataflow machine cannot be rendered in real time on a von neumann box (simply attach dependency graph to each rectangle of video buffer ram)
asciilifeform: iirc mircea_popescu had an article re: same.
asciilifeform: the basic idea was known to the ancients as 'spoonfull of shit in a barrel of honey'
asciilifeform: as well as down
asciilifeform: adlai: if i could choose just one small idea from my entire set of writings to survive, it would be that 'abstractions push up'
asciilifeform: adlai: because c os
asciilifeform: adlai: because started falling into c shitpit
asciilifeform: adlai: shelved ☟︎
asciilifeform: fucking watch it
asciilifeform: not that one.
asciilifeform: adlai: nope.
asciilifeform: sumthinglikethat
asciilifeform: yet another example of an item for which you absolutely need a moving picture
asciilifeform: because thing wasn't just some idiot talking, but a film of the machine in use
asciilifeform: kakobrekla offered that time
asciilifeform: so we cached it.
asciilifeform: adlai: but the original google video was censored
asciilifeform: adlai: it used to be a link to my site
asciilifeform: now all of this probably plays into mircea_popescu's thesis, because it turns out that the main use of graphical bitmaps in a 'symbolics' box or in my emacs is to better shovel text around
asciilifeform: obligatory: http://files.bitcoin-assets.com/var/SymbolicsTalk28June2012.m4v
asciilifeform: mircea_popescu: no dice. spent as little time as did with box because a good chunk of it is replicated in my modern 'emacs' - with which i've made just about everything in my adult life
asciilifeform: or for that matter mathematical symbols. modern mathematics -began- when they switched from naked words to the occasional piece of graphical 'garbage'
asciilifeform: but pray tell what were the 'timewasters' on a 'symbolics' box ?
asciilifeform: i understand the appeal of 'this is the fucking army, you will paint the snow white until your fucking beg'
asciilifeform: mircea_popescu: it forces people to think, and it simplifies the task of rooting out thoise who haven't << why not goose quill pen, then
asciilifeform: a la incas or east eur. / east asia circa ww2
asciilifeform: there is also colonization and industrial rendering for biodiesel.
asciilifeform: processing of homo redditicus by countereconomic 'hobbyist' sick fuck is only one possibility
asciilifeform: lol
asciilifeform: or other pet
asciilifeform: leg shape in toilet on upper right hand corner of photo is ben_vulpes ?
asciilifeform: ben_vulpes got the dog properly level ?