log☇︎
7600+ entries in 0.071s
mircea_popescu: romania was never as broke as in the 90s, at least not since the 30s. and it never in its history gave as good answers to fundamental problems.
mircea_popescu: i very much doubt it was "brejnev's bean counters" that told soviet man to be stupid ; much as i doubt it was ceausescu who told morons to be morons, and IGNORE 16 months of their own life because "didn't sign up for this", and not eat the fucking fish because "how dares owner think of us as cattle when that's exactly what we are", and so on.
mircea_popescu: asciilifeform this concept of "amortize" as you use here is EXACTLY of the nature of brejnev's economic thinking
asciilifeform: little thing, quite un-pdplike physically, approx same size and shape as mircea_popescu's spectrum clone
mircea_popescu: so, you know, "as the 70s dawned, russian man came to this weird personal belief that he who thinks last wins". i suppose in a sense could be abomb-psychosis driven.
mircea_popescu: so i suppose topical : that sounds like a story she's happy to have missed. AS LARVA.
mircea_popescu: meanwhile at the retard farms, LordMPofTMSR "Not even kidding." Lola_25 "Umm... what?" LordMPofTMSR "Think of it as an intelligence test. That you're failing." Lola_25 "Great! It seems like a quiz that I'm happy to fail" LordMPofTMSR "You failed everything to date, what "happy". You're happy like the chair's "happy" it can't walk : since it can not walk anyway... Now get lost." ☟︎
asciilifeform: i somehow missed reading this one as a larva
asciilifeform: usg claims ownership of all gamblers, http://trilema.com/2015/a-new-software-licensing-paradigm/#selection-133.0-140.0 - style; and thereby prosecutes pokerists in same style as e.g. cig smugglers in nyc
BingoBoingo: It's uruguay, as long as you don't advertise Uruguay marijuana to Uruguayos they don't care much, otherwise fall back to http://trilema.com/2013/simple-yet-effective-way-to-troll-white-rich-american-people/ nuclear option
lobbes: danielpbarron: fwiw my pizarro rockchip has served me well thus far as a home for both auctionbot and for mp-wp. Hell, you could run a mirror for your church's www in the event it goes down AND host the poker bot
asciilifeform: http://btcbase.org/log/2018-12-01#1877246 << ~same price as in the boonies in usa ☝︎
a111: Logged on 2018-08-01 22:03 mircea_popescu: there is no such thing as data that is all three of 1) random ; 2) useful and 3) buffered.
danielpbarron: as for me, there is the poker bot that i haven't done yet, but i don't know that it needs its own whole machine
a111: Logged on 2018-12-01 00:43 asciilifeform: from looking with the right magnifying glass, asciilifeform formed distinct impression that jp was raped by usg in erry hole not once, as ordinarily supposed, but ~twice~.
mircea_popescu: \http://btcbase.org/log/2018-11-30#1876891 << kinda the problem, this is how airports end up owning a fleet of eg iceploughs : "we only need them 3 days each decade -- but as it happens it's always the exact fucking three day you can't possibly fucking find one to rent, of these items that otherwise go for 500 a day." ☝︎
asciilifeform: currently it's a mostly empty country, with a few 'mercedes' plants as 'economy'
asciilifeform: or ate food as edible. etc
asciilifeform: ( or smelled air as clean )
asciilifeform: i dun think i in entire life saw bldgs as sweet as the ones in timis.
asciilifeform: as cadence crapola
asciilifeform: as it is, they've copied ALL of the ameri-idiocies, incl. 'closed errything'
amberglint: he also tries to sell it as a GTA and Doom machine
amberglint: the Elbrus designers can count as native, no?
asciilifeform: amberglint: also familiar. it went to same place as all the non-pdpclone su stuff.
BingoBoingo: <asciilifeform> sounds approx as appealing as krokodil << Use is pretty much exclusive to pichis and children
asciilifeform: sounds approx as appealing as krokodil
asciilifeform: as it is, 30% of maxint is still maxint as far as asciilifeforms go
BingoBoingo: Apartments of the same or smaller size as Pizarro habitation module have a list price of ~100,000 USD even for sale. Rent for 14,500 to 16,000 pesos.
asciilifeform: from looking with the right magnifying glass, asciilifeform formed distinct impression that jp was raped by usg in erry hole not once, as ordinarily supposed, but ~twice~. ☟︎
asciilifeform: was pretty concrete thing, rather than vapour as ordinarily presented in anglowank.
asciilifeform: BingoBoingo: why so far as brazil? what, BingoBoingostan has no university ?
asciilifeform: i dun have a moolah empire that could run one as public service.
asciilifeform: ( as i understand , it's a++ real estate, supposing you were to redditbag all of the bipedals )
BingoBoingo: <asciilifeform> prolly oughta add that surplus SEM in particular ( and similar irons ) 1) generally live in usa 2) dun exactly fit in smuggle-trunk under old shirts << If you can produce an invoice I can recieve it as a prepackaged good
asciilifeform: lol mircea_popescu phrases it almost as if asciilifeform were buridaning in front of a set table
asciilifeform: if i had the floor space, would just pick up surplus SEM, it costs approx same as ~good~ optic funnily enuff
mircea_popescu: (this is not strictly about jpg. ~any~ image compressing/processing/fucking with the sensor data is dubious. even using such a thing as the camera's "soft" focus (as opposed to the lens-driven hard focus, some handhelds offer this internal processor-driven cvasi-focus) is a bad idea for this task. exact discussion of "whitening" and other such pattern-inserting nonsense from crypto)
mircea_popescu: the idea being that there's an absolute limit to optical microscopy due to quantum phenomena (hence the heisenberg reference, his original work as critiqued by bohr dealt exactly with this). however, these limits also depend on frequency, and from comparing measurements in different lights one can get some error correction.
asciilifeform: naturally designer gave the machine hints as to where to put what
asciilifeform: ideally you find the repeating patterns of transistorage and go straight to functional units ( granted this is only practical for bolix, 486, and newer, where there actually ~exist~ these units, as opposed to hand-optimized arbitrary transistorage )
mircea_popescu: yes -- nevertheless, it'd actually make fucking sense, as opposed to prayer-driven methodology.
asciilifeform: as it is, micrography only good as 'part of balanced diet' along with http://btcbase.org/log/2018-11-29#1876069 intel and the like. ☝︎
SeanRiddle: I'm taking jpgs with the camera and then stitching those with fiji. It looks as good to me as using RAW, but a lot easier.
asciilifeform: ( then can encode txt as dest addrs )
asciilifeform: current mit is a kind of nursing home, as i gather
Mocky: asciilifeform, listed as note in https://btc.com/61fea39f4f22e3190fc48c24047c9e52a7a37e2f2d03c242eed016921830e044
asciilifeform: amberglint: pdp10 is approx as interesting as nintendo tho
asciilifeform: 'Figure 24 show some statistics about Ivory. The size of the chip was about a centimeter-and-a-half on a side in the earliest version which was done using 2-micron CMOS technology. The first commercial version will be done in a 1.6 micron process and will be about a centimeter on a side, as is the TI chip. This makes it a very large, (but not impossibly large), chip to fabricate. There are about 255,000 actual transistors on the die.
asciilifeform: 'It is of tiie same complexity as an Intel 80386 or a Motorola 68030. Figure 21 is a photomicrograph of the chip (chip people always seem to need to show their chip pictures). The Ivory chip is more or less divided into three horizontal slices; the top is the datapath and stack cache, the middle is the control system, and the bottom is the memory interface. In the middle of the control system is a very large microstore, again compara
asciilifeform: item was 1 of the 1st ( if not ~the~ first ) machine-layout'd ic's, so it won't be as simple to re as the early 80s cpus
asciilifeform: it's approx same item as 386, chemically
asciilifeform: i pictured zx2c4 as also young, but i have nfi specifically
asciilifeform: ( there are 'lifers' in ru, typically 5+ corpses on ea., but they typically have life expectancy of ~7y . 1 survived to parole age last yr, it was enuff of an oddity that it was taken up in the fishwraps as newz )
asciilifeform: in current-day ru, as i understand you need repeated (1 corpse generally not suffice) wetwork to merit >decade
asciilifeform: d00d whose cot is by the grate has the duty of 'keeping the road', as they called it (again nfi in english world what it is called there, much less in spanish empire)
asciilifeform: https://github.com/project-everest/hacl-star/blob/master/code/bignum/Hacl.Spec.Bignum.Fproduct.fst << holy fuq, the sort of liquishit that d00d's links offered as proofolade... picture trying to ~read~ this. ( and there's 9000 of'em )
zx2c4: i think in crypto most people refer to it as "verification"
zx2c4: oh. yea, as i said, they're mostly just tools
zx2c4: more seriously, if you're mostly after small computer programs to help you out when exploring a field but eventually do the proof by hand, z3 and sage wind up being super practical as day to day work horses
asciilifeform: as it is i have less nausea for even honeopaths than for mecha-proof folks
zx2c4: well, as it turns out, coq had some amazing fallacy in its core code a few years back resulting in the ability to prove any statement true...
zx2c4: I agree with you in spirit -- I think learning details of a proof enough that you have all of it in your head is a good pedagogical approach and gives you more mathematical agility as you progress forward. I just don't know about the ontological statement regarding the proof's validity
asciilifeform: i sometimes even use computer algebratrons, in exploratory work. but would never consider presenting output straight from one as 'here, correct'
asciilifeform: grasp obvious in its totality, as in there is literally NO hesitation to strap the thing on and 'if mistake -- any mistake -- i hit cement at terminal velocity'
asciilifeform: so long as in the end it clicks in your crankcase and is as obvious as that and gate.
zx2c4: > At this time we will walk through the mechanics of our Karatsuba multiplier, so as to cement in the reader’s head the correctness of the routine, and lay groundwork for the optimization which is introduced in Ch. 12B.
zx2c4: I more or less know the process involved but don't have all of the steps in my head. And as I wrote it down, I forget the details of previously written steps while working out current new steps. Yet I have faith in the process of writing it down systematically and having intermediate results from pages prior
zx2c4: Oh, I mean, if you're willing to allow for anybody's head (as i presume you mean by mentioning ~whose~ head), then you just posit an incredible genius
zx2c4: Not all math is as simple as Elements
zx2c4: But it turns out now all things are so easily provable as such
asciilifeform: proof is proof when it fits in head, now just as in euclid's time.
a111: Logged on 2018-05-04 17:23 asciilifeform: zx2c4: as a matter of fact, is IS a conclusion i can jump to trivially. because your supposed 'person' is actually a nameless cockroach beneath my feet. because he is not in the wot, and thereby not distinguishable from the 90000..+ faux 'humans' usg manufactures on daily basis to further its psyops.
a111: Logged on 2018-11-29 22:50 asciilifeform: ( observe -- sans agression, the moar reliable is your hosting, the ~more~ certain your noad is to get perma-wedged, as it'll never reboot and never satisfy shitoshi's 'catch up only on cold boot' idjit condition.. )
asciilifeform: ( observe -- sans agression, the moar reliable is your hosting, the ~more~ certain your noad is to get perma-wedged, as it'll never reboot and never satisfy shitoshi's 'catch up only on cold boot' idjit condition.. ) ☟︎
asciilifeform: right. ( and as presently stands, i've abolished all but 1 of the algos where this actually takes place )
diana_coman: that's fine, note that my feedback is given as I read them so without actual knowledge of what happens later/where exactly they are used
asciilifeform: diana_coman: i'ma also note, _O_I is used strictly in fz_mod : http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_divis__adb.htm#83_14 ; prolly oughta be inlined ~there~ and abolished as a global (even internally) function.
asciilifeform: incidentally even the currently given 'external api' is eventually to be 'internalized', in the sense that user input is expected to be in P-code (presently named as 'ffacalc') and output ditto
asciilifeform: idea being , exported routines ( current set is shown in http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa__ads.htm ) are to be 'safe on all electrically possible inputs' , with the exception of div0 (user is commanded to test for div0, as example in http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa_calc__adb.htm#172_17 )
asciilifeform: and this is prolly not the only instance of the item. ( i discussed it briefly in ch11 , in the section where preconditions -- ended up moving many preconditions to the exported wrappers, they slow things down quite substantially when present on inner-looped invocations, as they prevent (for obv reason) inliner )
asciilifeform: diana_coman: nitpicks / spiffy karnaugh simplifications / etc. welcome as always.
a111: Logged on 2018-10-25 19:15 asciilifeform: at the risk of repeating ancient thread -- 'the best machine is no machine', it weighs nuffin, needs no maintenance. and the best proggy, is no proggy at all, if a problem can be solved without writing proggy, it ought to be. erry line of coad can be rightfully pictured as an act of intellectual littering. y'know, like throwing cig butt or bottle on the ground in the park.
a111: Logged on 2018-11-29 17:08 asciilifeform: it's unfortunate that mircea_popescu is asleep right nao, otherwise he could tell us about how we're idjits and how working for living is for lusers, and how troo hero can run on sunlight and do as he pleases
asciilifeform: those folx do occasionally pay for software to be written, but the work (perhaps deservingly) is ranked as janitorial and paid accordingly (esp. given where the grunts are to live)
Mocky: as long as I still had kids at home, never tried to get out
Mocky: i can't even complain, i ended up with exactly what I wanted as a 20yo, "write software, have a lot of kids"
a111: Logged on 2017-06-05 19:09 asciilifeform: it is interesting how phrase 'life savings' already has an archaic 'patina coat' -- same flavour as 'workhouse', 'savings & loan', 'joint stock'
asciilifeform: arguably it is better to be '100% theoretical' and have 'workshop' that fits in briefcase, as e.g. phf does
asciilifeform: Mocky: as mircea_popescu is fond of pointing out, workshop is very much 2edged sword
asciilifeform: it's unfortunate that mircea_popescu is asleep right nao, otherwise he could tell us about how we're idjits and how working for living is for lusers, and how troo hero can run on sunlight and do as he pleases ☟︎
asciilifeform: ( and only even existed on paper in west coast sv shitholes; where stipulation was 'IF you've shat out your quota before friday', which typically is approx as likely as in gulag in 1950 )
a111: Logged on 2018-11-28 01:31 mircea_popescu: i never heard before of some guy who CAN live independently, moving to rural shithole to not be bothered, and then having ~same to show for a year of his life as mod6. at least that dood is holding down a job and a coupla kids meanwhile.
asciilifeform: ( i expect they used it as clock & address latch generator )
mircea_popescu: BingoBoingo "has targeted a two Bitcoin addresses as"
a111: Logged on 2018-11-28 18:14 asciilifeform: phf: imho the ultimate bolix caper would be to rack a coupla working clones at pizarro & rent'em out. but admittedly this is , presently, nearly as far as the moon
asciilifeform: tho it strikes me as a thing that oughta boost res
asciilifeform: mircea_popescu: iirc he had a self-building-to-ext-hdd gentoo thing ( but naturally 0 clue as to what-next )
a111: Logged on 2018-11-01 17:43 mircea_popescu: looky, the past 3 days' work could have been done just as well in 2015 as today.
asciilifeform: BingoBoingo: as mircea_popescu is quite fond of pointing out, they can shoot these any time they like , by 'oops wrong address for swat'; no particular need for oddball new fatwas for that