asciilifeform: (if it ~had~, you would not need to program it)

asciilifeform: http://btcbase.org/log/2016-06-23#1488107 << it isn't about 'moar neurons', but simply that it requires info which the machine ~doesn't have~ ☝︎

asciilifeform: quite anticipatory of computer.

asciilifeform: mircea_popescu: there is pretty rich literature of tales re djinn etc who carry out literal words to comical disaster.

asciilifeform: open with bare hands ?

asciilifeform: l0l!

asciilifeform: and doesn't fuck hammers, conversely.

asciilifeform: or scissors.

asciilifeform: or as can openers.

asciilifeform: i expect mircea_popescu doesn't use gurlz as hammers either

asciilifeform: tool should be as predictable as possible.

asciilifeform: where we conclusively, imho, nailed the 'smart tools' idiocy

asciilifeform: complete with mr mold's wolfram alpha essay

asciilifeform: didn't we ~just the other day~ have a 'hole hawg' thread ?

asciilifeform: other than by being UNAMBIGUOUSLY told.

asciilifeform: because how the fuck does machine know what the operator wants

asciilifeform: mircea_popescu: not a thing the machine can ever resolve.

asciilifeform: Framedragger: 'prolog' is a thing. but seldom used for everyday programming because it removes the programmer's ability to reason about COST

asciilifeform: because meaning of a program is not contained wholly in the program.

asciilifeform: 'can't possibly mean' is not a thing

asciilifeform: http://btcbase.org/log/2016-06-23#1488052 << this #includes dwim. ☝︎

asciilifeform goes for coffee , also bbl

asciilifeform: mircea_popescu: which same thing?

asciilifeform: Framedragger: you don't get a free pass from godel by using floating point.

asciilifeform: Framedragger: it's a dodge.

asciilifeform: (if satoshi's - a few months)

asciilifeform: go and cut from program. if well-written, will take you whole life.

asciilifeform: ^ because human text is low-entropy.

asciilifeform: and yes there is a transition-to-layers-of-slime point where the programmers give up on simplification and start piling up crud

asciilifeform: and diana_coman has it.

asciilifeform: mircea_popescu: http://www.xach.com/naggum/articles/3103356827666810@naggum.no.html

asciilifeform: mircea_popescu: to an extent we have this. consider naggum's c++ liars essay.

asciilifeform: or how about a lift that maybe-goes down or maybe-up

asciilifeform: *that

asciilifeform: would mircea_popescu like, e.g., pgptron, that maybe-multiplies some maybe-primes if it feels like it hat day in its sim-menstrualcycle?

asciilifeform: mircea_popescu: what specifically is contemplated here..?

asciilifeform: firmware ships with bamboozling, prayer, monkey grunts, 'i didnt fuck him', 'cheque is in the mail' language processor.

asciilifeform: greeks, kant, et al --> ~unambiguous~, deliberate language. definitely doesn't come from factory in hyooman firmware, has to be installed aftermarket.

asciilifeform: ^ any of them

asciilifeform: $s hypertalk

asciilifeform: recall the hypertalk thread?

asciilifeform: human meat has some very spiffy coprocessor for speech, etc. but it doesn't actually help so much with writing program (and often actively hinders)

asciilifeform: ... and human lang is quite low entropy.

asciilifeform: hyoomans have been talking for considerably longer than they've been programming..

asciilifeform: http://btcbase.org/log/2016-06-23#1487842 << in that sense. 1) we don't have the huffman table for it in our meat , unlike human text 2) well-designed program has very high entropy. ☝︎

asciilifeform: fact of life, sad.

asciilifeform: mechanism dun compress.

asciilifeform: $s computers you can't program

asciilifeform: that is good for very little.

asciilifeform: until folks realized that you get soup

asciilifeform: the 'fuzzy logic' thing was in style in '80s for a brief spell ☟︎

asciilifeform: hm?

asciilifeform: printolade by the bucket - sure.

asciilifeform: and certainly not with actual money.

asciilifeform: but won't pay 1,000.

asciilifeform: i can believe.

asciilifeform: over decades

asciilifeform: usg will pay 1, 2 ransoms

asciilifeform: mircea_popescu: but shallow market depth

asciilifeform: not even as pig.

asciilifeform: not even if you have his bank acct.

asciilifeform: and i dun think a typical chump is ever worth remotely near 4fig.

asciilifeform: ~nobody has where to use.

asciilifeform: mircea_popescu: we had this thread also.

asciilifeform: hence litecoin.

asciilifeform: at the time there was no scrypt asic.

asciilifeform: because why the fuck not.

asciilifeform: hit each chump for 4fig usd of ding , for a few bux return each

asciilifeform: somebody crawled shithub for aws creds and cashed in

asciilifeform: ah lel that was in the logz

asciilifeform: submission is the single slowest piece.

asciilifeform: (more, really, figure as of 2 days ago)

asciilifeform: ssh key set is about 20k in thus far.

asciilifeform: the otp thread?

asciilifeform: http://btcbase.org/log/2016-06-23#1487823 << mr mold correctly identified academia as one of 3 pillars of 'the cathedral' (lizard enforcers) - the other 2 being the controlled press, and usg civil service proper ☝︎

asciilifeform: aha

asciilifeform: http://btcbase.org/log/2016-06-23#1487809 << wasn't it 'hockey stick graph' ? ☝︎

asciilifeform: http://btcbase.org/log/2016-06-23#1487770 << 404? ☝︎

asciilifeform: because shitkeys (dsa etc)

asciilifeform: including 0.

asciilifeform: http://btcbase.org/log/2016-06-23#1487752 << prety sure this is in the logz: a 'submission' can have ANY number of moduli in it, because subkeys. ☝︎

asciilifeform: mircea_popescu: because monkeys

asciilifeform: $s sussman

asciilifeform: diana_coman: it is now taught as official state of the art, believe it:

asciilifeform: diana_coman: we had a thread re programming as medieval medicine. it is in the logs...

asciilifeform: diana_coman: there are maybe 20 programmers then.

asciilifeform: hanbot: what can i say, he didn't buy the 'seekrit evidence' and now sees mircea_popescu as вредитель etc. and very tiresomely repetitive.

asciilifeform: and the still-tuned-in #t folk, to lesser extent

asciilifeform: e.g., punkman

asciilifeform: mircea_popescu: he's working the stay-behind folks.

asciilifeform: hanbot: he's been at it without skipping a beat ever since his shitburial.

asciilifeform: rather than as any kind of rational creation.

asciilifeform: other reason is that most programmers don't write code in the sense that, e.g., mircea_popescu writes essays. instead, they take a shit, and strip away elements of the shit until the compiler is happy and the 'tests' pass.

asciilifeform: proggy does not compress. head does not have the handy lossy compressor, as for human text. ☟︎

asciilifeform: two reasons.

asciilifeform: this is elementary.

asciilifeform: http://btcbase.org/log/2016-06-23#1487717 << mircea_popescu ~wrote it~. whereas nobody ever has or will write 10mil executable anything with own hands. ☝︎

asciilifeform: this still doesn't lead to exponential burn

asciilifeform: which - whatddoyaknow - confirms that mircea_popescu was partly right, the turd broadcasts a random selection of mempool at all times...

asciilifeform: mircea_popescu: http://btc.yt/lxr/satoshi/source/src/main.cpp?v=asciilifeform_add_verifyall_option#2331 << mechanism in question.