asciilifeform: sometimes the 'construct future with past' thing gets taken up and run ragged, though. as in the case of 'square the circle with ruler and compass' problem that drove folks batshit until 19th c even.

asciilifeform: 'show me nazi internet' (mr mold)

asciilifeform: this is normally where 'alt history' storytellers fail, yes

asciilifeform: everybody eventually runs out of book.

asciilifeform: ^

asciilifeform: because 'notation is worth 80 iq'

asciilifeform: while being entirely wrong by our lights

asciilifeform: romans could very well have 'proved' that their arithmetic is 'optimal'

asciilifeform: however, there are still interesting boojums:

asciilifeform: (being able to prove that you can't do better runtime than particular algo, say)

asciilifeform: it is actually a very rare thing

asciilifeform: hence 'end of a class'

asciilifeform: highest compliment paul e. could give a colleague was to say 'this is from The Book'

asciilifeform: he liked to say that god had a book, containing the best possible proof of each theorem

asciilifeform: this class.

asciilifeform: mircea_popescu: didja know that paul erdos had a story about these ?

asciilifeform: (along with anyone else)

asciilifeform: such as the bacteria that eventually eat everybody's girlfriend

asciilifeform: there very much ~is~ such a thing as 'stupid and effective'

asciilifeform: back to the miners, i say that if money were the handy iq test mircea_popescu suggests it is, this kind of situation would be quite impossible.

asciilifeform: recuntissance by fire (tm) ☟︎

asciilifeform: i suppose - geologically...

asciilifeform: 8k years was 'a little bit' ?

asciilifeform: so what i'm saying is, pluto is sitting there, made of priceless unobtainium, and schmucks are schmucking around

asciilifeform: mircea_popescu has it

asciilifeform: and it isn't like ten dies would take up unpalatable floor space

asciilifeform: creates the heat nightmare

asciilifeform: why the fuck does 'as much has as possible' have to be packed in one die ?

asciilifeform: i'll name just one (because i am not in the business of handing out free advice to derpatronicists) -

asciilifeform: there is a whole array of strange things that miner builders do, which puzzle me greatly

asciilifeform: l0l

asciilifeform: life of miner is a life of a soldier, disposable, as mircea_popescu reminded us last night

asciilifeform: (that the hidden boojum would not stay hidden, is a no-brainer. idea would be to exploit the first-mover advantage, naturally)

asciilifeform: what's the logic here?

asciilifeform: think of what just one backroom cocksucking deal with a major microcontroller maker to include hidden miner would have been worth.

asciilifeform: aha

asciilifeform: but that 0.2% is made of a long list of bad decisions

asciilifeform: (as discussed in 2013 here)

asciilifeform: partly this is on account of the derpitude of keeping them all in a warehouse, rather than having chumps pay for power

asciilifeform: which is 100% of what is presently sold as 'btcasic'

asciilifeform: partly this is on account of using 'hardcopy fpga'

asciilifeform: (afaik, there are still no true asics!)

asciilifeform: why?

asciilifeform: this is logical, but for some reason this scenario did not play out re: bitcoin asics

asciilifeform: not impossible, but not strictly a matter of 'wanting to' either

asciilifeform: a piece of pluto.

asciilifeform: come, get.

asciilifeform: we know where it sits

asciilifeform: better example - pluto

asciilifeform: it is possible that it does not exist

asciilifeform: in that it is sitting 'there' to be dug up

asciilifeform: proof of twin-primes conjecture is also 'approachable' by this token

asciilifeform: which is the item mircea_popescu is describing as not existing? and which - not ?

asciilifeform confused

asciilifeform: it's more of a 'i can lift rocks but not porcupines'

asciilifeform: how strong is your 'want muscle'

asciilifeform: well that'd be a kind of perverse but technically correct definition of 'will'

asciilifeform: or vice-versa

asciilifeform: whereas i contend that it is possible to be 'napoleon' with theorems and 'spineless piece of shit' with girlz

asciilifeform: mircea_popescu: my contention was that you describe will as a spectrum, perhaps between 'spineless clerk' and 'napoleon'

asciilifeform: and has his working arm.

asciilifeform: if he's an arm wrestling champ !

asciilifeform: other thing is that the meat brain is not a von neumann machine, and has specific circuits for certain problems. it is possible to walk around with those damaged and others - functional

asciilifeform: driver sans car sits and makes 'vroom, vroom' noises; car without driver - sits, rusts.

asciilifeform: intelligence is 'car,' will is 'driver'

asciilifeform: will is not a scalar. perelman has will, mircea_popescu has will, i have will, and napoleon had will, and comparing magnitudes alone is rank nonsense

asciilifeform: mircea_popescu: well, the impression i get is that you think 'will' is a scalar

asciilifeform: mircea_popescu: fire away

asciilifeform: there are no other proggies on pogo

asciilifeform: why the ceremonies.

asciilifeform: decimation: i'd have bitcoind snarf time straight from the rtc chip

asciilifeform: why the fuck not ?

asciilifeform: decimation: and can't do this without a proggy that opens sockets ?

asciilifeform: then why ntp

asciilifeform: decimation: what good does that do ?

asciilifeform: highest end amd mobo of ~8 yrs ago

asciilifeform: the very same

asciilifeform: l0l i think ~it~ is on my mobo

asciilifeform: probably better than most pc mobos

asciilifeform: it is

asciilifeform: may as well suggest atomic

asciilifeform: decimation: the thing you linked to costs more than pogo...

asciilifeform: 'your mileage may vary'

asciilifeform: and i've had ones die after <5

asciilifeform: i have a 15 yr-old one that's still going

asciilifeform: (tm) (r)

asciilifeform: 'brother can you spare a dime'

asciilifeform: gotta partition it

asciilifeform: of course it won't mount

asciilifeform: what's on the drive ?

asciilifeform: shinohai: what are you running ?

asciilifeform remembers very well

asciilifeform: just the raw animal

asciilifeform: or wait, no

asciilifeform: ^ proof of concept

asciilifeform: https://raw.githubusercontent.com/pedrib/PoC/master/generic/i-c-u-fail.txt

asciilifeform: more or less.

asciilifeform: it is in ~EVERYTHING THAT USES UNICODE~

asciilifeform: unfortunately

asciilifeform: it isn't a gentoo-specific thing