asciilifeform: the other bit is that 'i'll die a hunchback, but hey i have a shovel and can enhunchback my neighbour, he will share in the misery' is a 'logical' process. the spartans, i suspect, understood this, i.e. it is catastrophically stupid to 'live and let live' the deformed. esp. the mentally deformed.
asciilifeform: phf: also at a certain point 'they don't know about tmsr' evaporates and turns into 'they studiously ignore, like bernstein'
asciilifeform: phf: i'll admit that my favourite thing in these is.. the ads
asciilifeform: hey i know a TCP jokehey i know a TCP jokehey i know a TCP jokehey i know a TCP jokehey i know a TCP jokehey i know a TCP jokehey i know a TCP joke[barf]
asciilifeform: shinohai: but it Unhappened!111 ergo dun count
asciilifeform: 'Bancor ended up reimplementing their own functions for arithmetic. That is, their own add, subtract, multiply, and exponentiation. ... The sum total number of dedicated tests for these math functions is 6. Multiplication is tested solely by multiplying 2957 by 1740.' << lulzy
asciilifeform: evidently d00d is one of the chumps dismayed by the phase transition
asciilifeform: and they're 20 year olds with two years of programming experience.'
asciilifeform: happen first, but A is guarded by B, and C ensures that B cannot happen." This is a temporal logic proof, over a certain code path. It's complex, fragile in the face of code evolution, and totally unacceptable in professional code development. We want flat, simple invariants, maintained by following best practices. Without regard for the correctness of the student's code, we grade such cases a 2 out of 10. They ought to know better,
asciilifeform: meanwhile, among the ethermonkeys, 'they have messy code paths, don't follow best practices, and happen to work by the skin of their teeth. The code works on a good day with the wind on its back. But when it comes to corner cases, things get awfully complex. In the course I teach, when I point out such situations to students, they go into a diatribe that goes "well, you see, the problem can't arise because for it to happen, A has to
asciilifeform: # of 'international komyoonity' planes shot down, to date there, afaik : 0
asciilifeform: incidentally 'будут приниматься на сопровождение в качестве воздушных целей' could read more accurately as 'will be tracked as aerial targets', which can mean anything from 'shoot on sight' to 'we'll make angry faces'
asciilifeform: wasn't half the point of the syria thing, from lizard pov, to test current ru equipment ..?
asciilifeform: ( 'from this moment on, in the sky of syria, ru aviation will treat any aircraft belonging to the west's international-coalition, such as are found west of euphrates, as aerial targets'
asciilifeform: in other noose, 'впредь в районах выполнения боевых задач российской авиацией в небе над Сирией любые воздушные объекты международной коалиции к западу от реки Евфрат будут приниматься на сопровождение в качестве воздушных целей'
asciilifeform: shinohai: you have utp direct from pole ?!
asciilifeform: ( esp. if you have petrol-powered secondary backup mains -- these tend to have noisy output )
asciilifeform is not a thin man; but can walk dawn - midnight noprob
asciilifeform: there is something to this. asciilifeform usedto wurk with a buncha american d00dz, not all of whom even fatter than asciilifeform !, and they would not hear of the idea of ~walking~ to restaurant <1km from office
asciilifeform: mircea_popescu: getting up from the terminal on occasion is good for people, it is one of the reasons asciilifeform doesn't hurry to automate various chores
asciilifeform: STILL NOT IN CONSTANT TIME because apparently mother dropped him as a child
asciilifeform: and then i look in shitpile of paperz and find that some d00d actually did this, called it 'subtractive karatsuba', used in some microcontroller,
asciilifeform: and realized, while doing this, that in fact you don't need 2k+2 bits for the karatsuba intermediates, you can do instead of (x0+x1)*(y0+y1) , (x0-x1)*(y0-y1), and then you don't need to propagate carries, but only take absolutevalue and xor the borrows to see if gotta invert the resulting term☟︎☟︎
asciilifeform: by and large, india today ain't exporting the j.c.bose's, no.
asciilifeform: was not a massive wave of emigration, tho, not like j00z from su
asciilifeform: mircea_popescu: most of the working-head hindus you might conceivably run into outside of india, were pushed out in 1970s-80s 'red' phase, when untouchables took over academia and had a sort of american-style 'diversity' shitfest
asciilifeform: the folx asking on 'shit overflow' re 'how do i make for loop plz dear Sir help' are the... other kind
asciilifeform worked with both kinds of india, for many many years. can distinguish 'brahmin or not' in ~3min of conversation
asciilifeform: ( among owners reputed to stand for Buy Other Stereo Equipment ! )
asciilifeform: there's even a bose in usa, possibly alive today, sold overprices stereos
asciilifeform: overabundance of options breeds divinations.
asciilifeform: diana_coman: and to those who have ~worse~ plug also..
asciilifeform: mircea_popescu: actually $subj is pretty good manual. beat the living shit out of what europe had going at the time ( and until end of 16th c, in some aspects )
asciilifeform: afaik the ancients actually bought the 'propitious time' thing. it was as real to them as 'launch at the right transit time of the orbits' is to modern rocketeer
asciilifeform: esp in re monarch's marriageable children
