Show Idle (>14 d.) Chans


← 2018-11-28 | 2018-11-30 →
00:55 mircea_popescu Mocky these schmucks i swear...
00:55 mircea_popescu BingoBoingo argentine sub was diesel.
00:57 mircea_popescu http://btcbase.org/log/2018-11-28#1875895 << all that's left of the us pretense to an economy is government wankolade.
00:57 a111 Logged on 2018-11-28 22:17 Mocky: so many of the jobs out there want secret government clearance now, jeez. who do they think they are kidding with their super secret shit
01:04 BingoBoingo mircea_popescu: Sub was diesel, but sub and reactor are both outside Argentina's maintenance ability
01:04 mircea_popescu along with a toothpick factory.
01:09 mircea_popescu incidentally, the whole usg "clearance" wank narrowly mirrors the quatari "sponsorhip employment" wank.
01:10 mircea_popescu http://btcbase.org/log/2018-11-29#1875920 << in the quaint words of the virgin mary, "yes."
01:10 a111 Logged on 2018-11-29 01:07 Mocky: "must be open sores contributor, love python 3" what's next? "line cook, must love toasters with cancel buttons"
~ 1 hours 16 minutes ~
02:27 deedbot http://bimbo.club/?p=95 << Bimbo.Club - TMSR Log Summary - 11/14/2018
~ 6 hours 2 minutes ~
08:30 spyked http://btcbase.org/log/2018-11-27#1875118 <-- point well taken. my schedule is still a bit erratic at the moment, so what do you think about making the switch on monday (3rd dec)? I'll be tuned in starting cca 6pm utc.
08:30 a111 Logged on 2018-11-27 14:38 trinque: spyked: point is a simple "hey trinque, lets make the swap at $date, and get the PM subscriptions ported over meanwhile"
08:31 spyked re pm feeds: if no one objects to this, just gpg me a list of the feeds and the recipients and I'll add them manually.
08:35 spyked http://btcbase.org/log/2018-11-27#1875503 <-- /me ordered a c101pa from shitazon recently, will make prime target for cuntoo testing.
08:35 a111 Logged on 2018-11-27 19:51 mircea_popescu shall buy a lappy just to try trinque's thing on!
08:44 spyked http://btcbase.org/log/2018-11-27#1875439 <-- this has been on my mind after seeing http://trilema.com/2018/this-gns-thing/#selection-317.47-317.193 . the next immediate step in my queue after publishing rss bot vpatches will be to look at automating communication with deedbot.
08:44 a111 Logged on 2018-11-27 19:12 mircea_popescu: i imagine that'll be spyked's next thing, bot-driven vtrees mirror service.
~ 56 minutes ~
09:41 asciilifeform http://btcbase.org/log/2018-11-29#1875935 << last i knew , there were still a coupla open problems re actually using that box ( in particular, i did not yet succeed, and presently haven't the time to continue, in baking a bootloader for it that loads non-googlistic kernels )
09:41 a111 Logged on 2018-11-29 13:35 spyked: http://btcbase.org/log/2018-11-27#1875503 <-- /me ordered a c101pa from shitazon recently, will make prime target for cuntoo testing.
09:41 asciilifeform iirc phf did turn his c101pa into ~some~ form of usable
09:46 asciilifeform ( and yes google's loader ~will~ load custom kernels, but only if you sign'em with their tool, so then gotta keep whole shitchain around )
09:47 asciilifeform spyked: http://btcbase.org/log/2018-09-08#1848779 was where i stopped last.
09:47 a111 Logged on 2018-09-08 19:07 asciilifeform: http://btcbase.org/log/2018-09-08#1848650 << update : flashing in the uboot with the dram turd from vendor fw, did nothing detectable
09:49 asciilifeform it's a solvable, of course, problem , theoretically 100% of the iron init coad is published . but somebody would have to put in the sweat to port it into e.g. stock uboot.
09:50 asciilifeform then and only then , c101pa will turn into an item like rk, where you can operate strictly with self-built contents
09:51 asciilifeform presently, cuntoo won't run there (even if trinque's process can be coaxed into building arm64 bins) cuz it has no way of blessing the kernel.
09:53 asciilifeform spyked: if you're interested in arm64ifying cuntoo, i recommend to begin with rk.
10:01 asciilifeform http://btcbase.org/log/2018-11-29#1875930 << hilariously, i recently tried to run a simple numeric proggy on a box infested with python3 , and found that it utterly breaks the numeric stack : once you do e.g. x = x / 3 you can no longer e.g. x >> 1 -- because the / converted it to 'float' ! holy mother of fuck.
10:01 a111 Logged on 2018-11-29 06:10 a111: Logged on 2018-11-29 01:07 Mocky: "must be open sores contributor, love python 3" what's next? "line cook, must love toasters with cancel buttons"
10:03 asciilifeform presumably they've introduced some new demented syntax for integer divides ? i have nfi, and could not be arsed to find out.
10:05 asciilifeform http://btcbase.org/log/2018-11-29#1875928 << it does indeed ; usg ministry of whateverthefuck in fact charges corp 20-30k $ for the privilege of having a new d00d pierced into secre-pederasty
10:05 a111 Logged on 2018-11-29 06:09 mircea_popescu: incidentally, the whole usg "clearance" wank narrowly mirrors the quatari "sponsorhip employment" wank.
10:07 asciilifeform ( and iirc, the cost is in fact ~open-ended~, and is proportionate to how many hours the pinkertons actually feel like sinking into particular d00d )
10:09 asciilifeform traditionally, folx who show symptoms of being able to survive outside of the reich, disqualified.
~ 1 hours 7 minutes ~
11:17 Mocky looks like Roger Ver's bitcoin.com is looking for java and js developers for their mining team http://archive.is/MlomS
11:19 Mocky "74 applicants last week" heh
11:21 asciilifeform lol!
11:22 asciilifeform http://btcbase.org/log/2018-11-20#1873779 << see also
11:22 a111 Logged on 2018-11-20 03:38 mircea_popescu: i have nfi, it's pretty fucking lulzy though. i mean, there's a long list of these defeateds by "fate", but he's one of the most hysterically humiliated humbugs.
11:23 asciilifeform apparently at least 4 still-not-gone-for-glue horses in usg's stable ( gavin, buterin, wright, ver )
~ 18 minutes ~
11:42 Mocky so many damn recruiters. they're like mosquitos in a swamp. they all want to 'have a call' and then 'a skype' 'see if you'll be a good fit'. ugh. two years out of college with a degree in hr, you're gonna decide if i'm worthy to be submitted for a job, and then pressure me to take low ball offer.
11:43 Mocky this is why i worked for the same company for 14 years, i hate this shit. but also what made me soft target for their betrayal
11:48 Mocky i'm convinced this whole ecosystem of outside recruiters is 100% byproduct of startup "investing" that props up the illusion of "high growth" companies that burn thru cash by hiring people so they will qualify for more money
11:54 * asciilifeform 100% in agreement with Mocky , saecular work suxx
12:00 Mocky the only activity in life that makes me understand why people turn to the bottle
12:00 asciilifeform Mocky: i've even worked in a salt mine where the bottle was Officially (i shit thee not) issued, erry friday at noon.
12:00 asciilifeform 'happy time'
12:01 Mocky lol
12:01 asciilifeform srsly there was a bar, of sorts, built in, on the grounds
12:01 asciilifeform ( same people where http://btcbase.org/log/2018-11-28#1875901 )
12:01 a111 Logged on 2018-11-28 22:46 asciilifeform: ( d00d had pretty good gig: opened safe in the morning, closed in evening, and played 'wow' all day... )
12:03 Mocky reminds me of "20% time", "work on your own projects on friday since we know you'll be doing that anyway"
12:04 asciilifeform afaik this went away with the 1st 'dotcom' hysteria
12:04 Mocky haven't seen it with my own eyes, even then
12:05 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 )
12:07 Mocky I interviewed with a job once that offered "unlimited paid time off" but inside reports were that anyone who tried to use was instantly on the shit list
12: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
12:10 Mocky in truth i do feel like idjit for being old man without the brains to have saved anything. i don't even have a workshop full of shit like asciilifeform
12:11 asciilifeform Mocky: as mircea_popescu is fond of pointing out, workshop is very much 2edged sword
12:11 asciilifeform arguably it is better to be '100% theoretical' and have 'workshop' that fits in briefcase, as e.g. phf does
12:13 BingoBoingo https://www.elobservador.com.uy/nota/-como-estan-hoy-los-precios-para-alquilar-en-la-temporada-de-verano--2018101920160 << Argentina's pesos falls, but the attempted controlled descent taking Uruguay's peso down is "The dollar strengthening"
12:14 asciilifeform Mocky: to a 1st approximation, 'saving' in the reich dun actually work, see e.g. http://btcbase.org/log/2018-08-23#1843888 , http://btcbase.org/log/2017-06-05#1666161 , http://btcbase.org/log/2016-11-29#1574483 , elsewhere.
12:14 a111 Logged on 2018-08-23 17:37 asciilifeform: and indeed usgulag is powered by not only printing press but confiscating savings from ~randomly-picked engineers, little-league 'ceo', etc . a la mr stack.
12:14 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'
12:14 a111 Logged on 2016-11-29 02:36 asciilifeform: there was iirc something about how an economic landscape stable enough for 'savings' is an ephemeral and quite unnatural thing, rather like billiard table
12:16 asciilifeform it dun even matter so much what the supposed 'savings' are denominated in -- eventually you're out of work and they get wiped.
12:16 asciilifeform reich is set up to ensure that this happens with clockwork regularity to ~erry worker bee.
12:20 asciilifeform ( another great way to lose shirt is 'start company , try to sell useful product ' , a+++ worxxx )
12:23 asciilifeform some folx get to the bottle after 20yrs in workschwitz and cowardice, some after 1,2,3,4 attempts to break out, end result same
12:23 asciilifeform and (at least in asciilifeform's observation) the competent engineer types get to bottle ~sooner~ than the chair warmers.
12:24 Mocky i can't even complain, i ended up with exactly what I wanted as a 20yo, "write software, have a lot of kids"
12:26 Mocky as long as I still had kids at home, never tried to get out
12:26 mircea_popescu http://btcbase.org/log/2018-11-29#1875956 << in similar news, there's a gautier, mississippi.
12:26 a111 Logged on 2018-11-29 16:17 Mocky: looks like Roger Ver's bitcoin.com is looking for java and js developers for their mining team http://archive.is/MlomS
12:26 asciilifeform oh hey guten tag mircea_popescu
12:26 mircea_popescu hola.
~ 20 minutes ~
12:47 mircea_popescu http://btcbase.org/log/2018-11-29#1875954 << whole shitshow runs like that, "open ended", to make the most of "moneyed". i recall back when i was looking at shooting lawsky imbecile in the head, had brief discussion with "legitimate" new york "detective agency".
12:47 a111 Logged on 2018-11-29 15:07 asciilifeform: ( and iirc, the cost is in fact ~open-ended~, and is proportionate to how many hours the pinkertons actually feel like sinking into particular d00d )
12:47 mircea_popescu was pretty lulzy, typical-to-TV-altreality new york "contractor", "well... we'll have to put 8 men on it in three shifts... that's 54876983769287563984798634... and then..."
12:48 mircea_popescu i was like... lolok.
12:50 mircea_popescu http://btcbase.org/log/2018-11-29#1875962 <<< was even dood here for a while, did ~jack shit but loudly for a year or so.
12:50 a111 Logged on 2018-11-29 16:42 Mocky: so many damn recruiters. they're like mosquitos in a swamp. they all want to 'have a call' and then 'a skype' 'see if you'll be a good fit'. ugh. two years out of college with a degree in hr, you're gonna decide if i'm worthy to be submitted for a job, and then pressure me to take low ball offer.
12:50 mircea_popescu the problem with a country consisting of doing-other-people's-laundry expects is that... well...
12:51 mircea_popescu http://btcbase.org/log/2018-11-29#1875963 << speaking softly ~withouy~ carrying a big stick is a very poor strategy.
12:51 a111 Logged on 2018-11-29 16:43 Mocky: this is why i worked for the same company for 14 years, i hate this shit. but also what made me soft target for their betrayal
12:53 mircea_popescu http://btcbase.org/log/2018-11-29#1875964 << quite exactly. you ever read http://trilema.com/2015/you-know-what-gets-no-airplay-unflattering-truth/ ? there's a complex GRP-like system that folded the us economy, and yes the red hot core was mis"investing".
12:53 a111 Logged on 2018-11-29 16:48 Mocky: i'm convinced this whole ecosystem of outside recruiters is 100% byproduct of startup "investing" that props up the illusion of "high growth" companies that burn thru cash by hiring people so they will qualify for more money
12:55 mircea_popescu led to the usual symptoms of imperial decay -- monetization of real estate (a bad idea throughout, even if it repatriated the money japs made selling toyotas/sinking detroit in the 70s -- sorta like arsenic is bad for you even if it "keeps syphilis inactive" and so on) ; the star model driving and being driven by the fashion cycle, and so the fuck on.
12:55 mircea_popescu (grp, glucose-regulated protein, "chaperones" in microbiology)
12:58 mircea_popescu http://btcbase.org/log/2018-11-29#1875967 <<< most of wall street works like this, actually.
12:58 a111 Logged on 2018-11-29 17:00 asciilifeform: Mocky: i've even worked in a salt mine where the bottle was Officially (i shit thee not) issued, erry friday at noon.
12:58 asciilifeform mircea_popescu: by my reckoning, ~90% of the software worx in usa ( just about all of remainder being -- direct usgisms )
12:58 asciilifeform fit this description, that is
12:58 mircea_popescu i meant re the bottle. your "boss" will take you "partying" at approved venues etc.
12:58 asciilifeform 'we are hiring developers' 'why' 'we got 100m series a'
12:58 asciilifeform aa
12:59 asciilifeform iirc in e.g. jp you can't even work (if yer a d00d) if ya dun drink
13:00 asciilifeform and makes sense that 'partying at approved place', otherwise grunt could party at who-knows, maybe run mouth..
13:00 asciilifeform ( 100% iron reich logic )
13:01 mircea_popescu aha.
13:01 mircea_popescu esp the sort of scum they hire.
13:02 asciilifeform they hire 'the scum we have, not the scum we wish we had'(tm)
13:02 mircea_popescu the work-on-wallstreet is rather visible a collegiate track, sorta like "nigger".
13:03 mircea_popescu back in the days of pam grier's youth, her brother going "i'm black. i don't dance. i don't athlete. i don't sing. wtf should i do ?!" was kind-of a joke. now though...
13:03 * asciilifeform for most part innocent of that racket, has nuffin to add re subj
13:04 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)
13:04 mircea_popescu considering the shit they get...
13:04 mircea_popescu iirc i reviewed a typical example.
13:05 asciilifeform i have nfi what they get, for all i know 'wall street' is 100% microshit-excel powered even now.
13:05 mircea_popescu let me dig it up.
13:05 asciilifeform ( is there a prb plugin for excel yet ?1 )
13:06 mircea_popescu http://trilema.com/2013/why-mpex-is-better-than-fiat-institutions-part-349085-we-dont-use-excel/#selection-77.0-81.426 << standard of wall street software.
13:12 mircea_popescu meanwhile in totally unrelated news, https://dod.defense.gov/About/Biographies/Biography-View/Article/1281505/ellen-m-lord/
13:12 mircea_popescu what the fuck do they do now, cross jews and hares ?!
13:15 mircea_popescu http://btcbase.org/log/2018-11-29#1875978 << fuck sunlight, i spent hours in the tropically warm bay waters slutwrestling, i am so burned i'm peeling.
13:15 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
13:16 mircea_popescu http://btcbase.org/log/2018-11-29#1875979 << and you're quite right to feel that way.
13:16 a111 Logged on 2018-11-29 17:10 Mocky: in truth i do feel like idjit for being old man without the brains to have saved anything. i don't even have a workshop full of shit like asciilifeform
13:18 mircea_popescu ahahaa argentine peso 37 to the dollar. fucktards.
13:18 mircea_popescu and i bet you they're STILL going around pretending.
13:20 mircea_popescu "oh, dollar '''strengthened''', this building's value DOUBLED TO MATCH brekekekekekeke"
13:21 BingoBoingo It takes more than 37 argentine pesos to get a dollar on this side of the river
13:21 mircea_popescu im sure.
~ 31 minutes ~
13:53 asciilifeform http://btcbase.org/log/2018-11-29#1876036 << sounds like asciilifeform would last 10min in mircea_popescustan. asciilifeform burns to crisp on 39th parallel , in ~20m
13:53 a111 Logged on 2018-11-29 18:15 mircea_popescu: http://btcbase.org/log/2018-11-29#1875978 << fuck sunlight, i spent hours in the tropically warm bay waters slutwrestling, i am so burned i'm peeling.
13:53 asciilifeform ( on at least 1 occasion, even in winter )
13:57 asciilifeform http://btcbase.org/log/2018-11-29#1876034 >> '... degree in chemistry from the University of ...' << tovarasul elena ceausescu !111
13:57 a111 Logged on 2018-11-29 18:12 mircea_popescu: meanwhile in totally unrelated news, https://dod.defense.gov/About/Biographies/Biography-View/Article/1281505/ellen-m-lord/
13:57 Mocky I got my first "so burned i'm peeling" in 2018, 3 hours on motorcycle in tank top mid day, late june.
14:06 asciilifeform in unrelated lulz, $ wc -l libffa/* >> 3930 , $ wc -l ffacalc/* >> 1184 ; and story not even finished yet. ( tho ch1's 'RSA occupies around 3000 lines, incl. comments' was not a lie, it's exactly what the minimal rsa of ch9 weighs... )
14:06 asciilifeform perhaps fyootoor folx will find ways to cut sumthing.
14:10 asciilifeform ( for comparison: e.g. http://btcbase.org/log/2017-07-08#1680705 ; or, current trb is ~22k loc, ~not~ incl. the dep balls )
14:10 a111 Logged on 2017-07-08 03:49 asciilifeform: i just counted gpg 1.4.10 : 156,436 loc -- and that ain't counting the autoconf liquishit, or the libs it pulls in
14:11 asciilifeform ( ffa has 0 deps outside of gnat itself and system character i/o, currently posix's )
14:13 asciilifeform 1 of the reasons i wrote the series with the 'and here we have egypt', 'and now we remove egypt', etc. is specifically to show 'well you can cut 1000 ln here if you're ok with 500x longer run times' , i can picture applications where one might want this
14:15 asciilifeform ( and on the other end of the digestive tract -- inlining. i'ma quite certainly issue a v-branch that removes inlining, on microcontroller it typically wins 0 , while making 100x bulkier bin )
14:18 asciilifeform ideally, at some point we actually get that 8192-bit ALU chip, and whole thing can be... 0 ln
14:18 asciilifeform !#s best machine is no machine
14:18 a111 9 results for "best machine is no machine", http://btcbase.org/log-search?q=best%20machine%20is%20no%20machine
14:18 asciilifeform ^ see also.
14:19 asciilifeform ( specifically http://btcbase.org/log/2018-10-25#1866192 thrd )
14:19 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.
14:21 diana_coman asciilifeform, and the loc is not the whole story either; I'd much rather read *your* 1000 loc than Koch's 100 loc
14:21 asciilifeform why ty diana_coman
14:21 diana_coman although ofc it's more like Koch's 1mn loc ~always
14:22 * diana_coman just ate ffa 3, will sign
14:22 asciilifeform oh hey
14:24 asciilifeform on other front, phf : on occasion of the most recent bolix thread , i went and looked again at the http://btcbase.org/log/2018-01-17#1771955 artifact ; it is interesting that they provided 128 iron types, incl. bignum, but not a 'bignum of fixed N words'. i guess in '80s ~nobody was thinking of crypto at all. ( and i was prolly unduly pessimistic to the orig finder of $item, it is prolly 95% of what's needed for cycle-accurate clone.
14:24 a111 Logged on 2018-01-17 20:04 fromloper: asciilifeform: someone uploaded "I-Machine Architecture Specification" to Bitsavers three days ago, I thought you might find it interesting: http://www.bitsavers.org/pdf/symbolics/I_Machine/I-Machine%20Architecture%20Specification.pdf
14:24 asciilifeform the tricky bit is that remaining 5% -- ops introduced since that draft, loadable microcode, init logic, etc )
14:24 asciilifeform err, 64
14:24 asciilifeform types.
14:24 asciilifeform aanyways.
14:25 asciilifeform diana_coman: nitpicks / spiffy karnaugh simplifications / etc. welcome as always.
14:26 diana_coman asciilifeform, the only thing re ch3 that I keep circling because not entirely clear why so is the "overflow in means *or* on word"
14:26 asciilifeform diana_coman: btw you may find it entertaining that i found several vers of the carry & borrow eqns in my orig notes -- including yours. but for some reason i originally rejected that variant because it needed 2 accesses to the result D . but i neglected to write down why, possibly was simple brain fluke.
14:26 asciilifeform diana_coman: plox to link to line ?
14:28 diana_coman asciilifeform, http://btcbase.org/patches/ffa_ch3_shifts.kv#L462
14:28 diana_coman i.e. if one shifts right by 2 bits but provides an overflow of 8 bits than 6 of them get simply or-ed, it's not like they get pushed in
14:29 asciilifeform diana_coman: how would a shift by 2 provide overflow of 8 ?
14:29 diana_coman it doesn't provide it, no
14:29 asciilifeform you mean, what if one were to feed it one when cascading ?
14:30 diana_coman yes, feed it one, whether cascading or not; the point is: what is the meaning of overflow in exactly for a shift op?
14:30 asciilifeform it will produce garbage, yes. i considered to make OF_in a limited type, but it would slow down the place where the item is actually used, substantially ( ada does not offer a fast bit-count-on-word operation )
14:31 asciilifeform observe that the operators of fz_shifts are not exported in ffa.ads ( ch11 unified api ) , they are strictly for internal use in the lib.
14:31 asciilifeform this is one of the reasons why.
14:31 diana_coman aha; imho this sort of thing would be great added to the comments there
14:31 asciilifeform diana_coman: i'ma absolutely add it to comment and discuss in ch14 mail bag.
14:31 diana_coman thank you!
14:33 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 )
14:34 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 )
14:35 asciilifeform but the same guarantee cannot be given for erry internal component, not without geological runtime.
14:36 asciilifeform i'ma add commentary/warnings when diana_coman et al point out good additional places where; but no one should live with expectation that ~all~ possible ways to break ffa by monkeying with internals, will be listed
14:37 asciilifeform ( the only guarantee i can offer in good conscience is that nuffin can be broken by operating the ~external~ controls -- but even there user is required to see whether his cpu has barrel shifter (see ch13 discussion) , constant-time mul ( see ch9 discussion ) )
14:37 diana_coman asciilifeform, it's not about exhaustive list of ways-to-break, certainly not
14:37 asciilifeform right
14:38 asciilifeform and in principle i'm not averse to adding detail to comments. ( this is exactly the reason why comments exist -- show what is not necessarily evident from the coad )
14:39 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
14:41 asciilifeform i.e. one will call, roughly, P(pcodestring, ffawidth, ffaheight, maxsteps) and get output.
14:41 asciilifeform (this is, for most part, already what cmdline does. aside from 'maxsteps' not having yet been introduced Officially, cuz no loops yet)
14:46 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.
14:46 asciilifeform 'best rake is no rake'
14:49 asciilifeform at 1 time, was used in the constant entry ( nibble inserter ) routine, then the latter was replaced with rewritten http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_io__adb.htm#29_14 , nao sole remaining use is in the knuth divider.
14:49 asciilifeform orig was writing from pov of 'most general possible set of subcomponents' , but this is not necessarily what is wanted in the end product, esp. from loc-cut pov.
14:51 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
14:51 asciilifeform my current aim is that in ch22 ( see also http://www.loper-os.org/?p=2735 ) any subcomponents not used, are to be cut; and any that have strictly 1 invocation, are to be made sub-functions and remain visible solely in the scope where used.
14:52 asciilifeform diana_coman: this is a+++ good, it is exactly how it is meant to be read
14:52 asciilifeform anyffing that dun make immediate sense in ~that~ light oughta be either changed or commented.
14:58 asciilifeform on 2nd pass of log, noticed that i did not answr http://btcbase.org/log/2018-11-29#1876084 : answr is, it is for shifting ~into~ a FZ . ( if this wasn't clear from thread ) ftr.
14:58 a111 Logged on 2018-11-29 19:30 diana_coman: yes, feed it one, whether cascading or not; the point is: what is the meaning of overflow in exactly for a shift op?
15:01 diana_coman aha, that was my understanding of it
15:02 asciilifeform right. ( and as presently stands, i've abolished all but 1 of the algos where this actually takes place )
15:03 * asciilifeform bbl,teatime
~ 2 hours 40 minutes ~
17:44 asciilifeform unrelatedly, to whom does trb noad 69.197.146.42 belong ?? it's been wedged for year+
17:44 asciilifeform !#s 69.197.146.42
17:44 a111 1 result for "69.197.146.42", http://btcbase.org/log-search?q=69.197.146.42
17:46 asciilifeform srsly, whoever's poor neglected box this is -- fucking put in 'aggression' or pull the plug, thing is eating mains current to no useful end
17:48 * asciilifeform can't even count nao how many time had convo, 'hulp! my noad is hanging' 'didja aggression' 'no...' '...'
17: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.. )
~ 24 minutes ~
18:14 lobbes asciilifeform: heh that's my trb box. funny thing is, I -do- have aggression on that one >> http://btcbase.org/log/2018-07-14#1834350
18:14 a111 Logged on 2018-07-14 00:16 lobbes: http://btcbase.org/log/2018-05-22#1816438 << in other news, you were not kidding! my trb (hdd + aggression) has moved a mere 20K blocks in one month
18:15 lobbes however, I have not yet tried timer patch on that one yet
18:16 * lobbes really needs to get hands into that thing and feel around
~ 1 hours 18 minutes ~
19:34 mircea_popescu http://btcbase.org/log/2018-11-29#1875991 <<-->> http://btcbase.org/log/2018-11-29#1876120 remarkable similarity. i suppose at this point to repeat that "socialism is about hindering the worthy to prop up the unworthy" is too much of a truism.
19:34 a111 Logged on 2018-11-29 17:23 asciilifeform: and (at least in asciilifeform's observation) the competent engineer types get to bottle ~sooner~ than the chair warmers.
19:34 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.. )
19:37 mircea_popescu http://btcbase.org/log/2018-11-29#1876053 << the dependency shitballs are very much the problem though. dragging in all sorts of crap, by the mn loc, including wxwidgets or w/e, not to mention crapossl and so on.
19:37 a111 Logged on 2018-11-29 19:10 asciilifeform: ( for comparison: e.g. http://btcbase.org/log/2017-07-08#1680705 ; or, current trb is ~22k loc, ~not~ incl. the dep balls )
19:38 mircea_popescu http://btcbase.org/log/2018-11-29#1876064 << she has a point.
19:38 a111 Logged on 2018-11-29 19:21 diana_coman: asciilifeform, and the loc is not the whole story either; I'd much rather read *your* 1000 loc than Koch's 100 loc
~ 28 minutes ~
20:06 asciilifeform mircea_popescu: wx liquishit , qt, jettisoned loong ago. but bdb, openssl , boost, remained
20:07 mircea_popescu a right, qt.
20:07 mircea_popescu ~same
20:07 asciilifeform 100x fatter turd mass
20:07 asciilifeform ( than wx were )
20:07 asciilifeform brb
~ 43 minutes ~
20:50 deedbot http://bimbo.club/?p=96 << Bimbo.Club - TMSR Log Summary - 11/15/2018
21:05 zx2c4 ahoy
21:11 asciilifeform !#s zx2c4
21:11 a111 218 results for "zx2c4", http://btcbase.org/log-search?q=zx2c4
21:12 asciilifeform zx2c4: long time no see. what brings ya back ?
~ 16 minutes ~
21:28 zx2c4 two things
21:28 zx2c4 one benign, one bothersome
21:28 zx2c4 the first is curosity
21:29 zx2c4 the second is wireguard needs funding for 2019 and thought this nation might help carry the weight
21:29 zx2c4 also i'm wondering what the usual trilema party line is on rust vs ada
21:29 asciilifeform zx2c4: didnt mircea_popescu send you a coin ?
21:29 zx2c4 he did yea
21:29 asciilifeform !#s rust
21:29 a111 205 results for "rust", http://btcbase.org/log-search?q=rust
21:29 asciilifeform ^
21:31 zx2c4 (reading)
21:31 zx2c4 http://btcbase.org/log/2017-05-10#1654303 haha
21:31 a111 Logged on 2017-05-10 21:29 phf`: i'm rewriting everything that asciilifeform is releasing in Ada in Rust, because it's secure AND modern!
21:31 asciilifeform http://btcbase.org/log/2017-03-30#1634699 << summary
21:31 a111 Logged on 2017-03-30 14:13 asciilifeform: why would anybody even name a comp lang 'rust' ? how about a surgical antiseptic named 'putrescence' ?
21:33 asciilifeform in all seriousness, i don't even presently know of a more leprous pile of shit, either on pedigree or technical pov.
21:33 zx2c4 haha
21:33 zx2c4 you dont think the borrow checker eliminates large classes of problems in a performant and somewhat elegant way?
21:34 asciilifeform the what?
21:34 zx2c4 rust's ownership and borrow semantics
21:36 zx2c4 hey ffa in ada
21:36 zx2c4 nice post
21:36 asciilifeform zx2c4: weren't you here last yr for a 'the technical cannot be separated from the political' and 'if program+all accessories doesn't Fit In Head, it is garbage, not proof' thread ?
21:36 zx2c4 no i dont think so
21:37 zx2c4 presumably the premise is something along the lines of complexity making things impossible?
21:37 asciilifeform http://btcbase.org/log/2018-05-04#1809389 << prev visit
21:37 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.
21:39 asciilifeform zx2c4: point being, i don't practice haskellism. and nit from being illiterate yokel who has nfi how. it so happens that i know how. but consider the whole approach to be braindamaged .
21:40 asciilifeform and, in parallel, to be an organized campaign of sabotage against ~concept~ of actual correctness in programs.
21:41 zx2c4 _organized campaign of sabotage_
21:41 zx2c4 that's a much larger accusation
21:41 asciilifeform wtf is the point of 'here's a proof but you need this here 100MB of gnarl to ~run~ it and of course you will trust output, or are you a terrorist'
21:41 asciilifeform proof is proof when it fits in head, now just as in euclid's time.
21:41 zx2c4 have you seen HACL*?
21:41 zx2c4 https://github.com/project-everest/hacl-star
21:42 zx2c4 Kind of an interesting project
21:42 zx2c4 They write proofs in F* showing equivalence between some functional description and some imperative description
21:42 asciilifeform have seen
21:42 zx2c4 And then they're able to lower the F* down into C
21:42 zx2c4 Which is pretty readable
21:42 asciilifeform zx2c4: try to think about what i actually said tho
21:42 zx2c4 The proof, however, is gone from the C
21:43 zx2c4 Well of course everyone prefers simpler proofs that fit in the head
21:43 asciilifeform if you need a 'proof system' to prove $assertion, you have NOT proven it. not to me.
21:43 zx2c4 Simpler code that you can read in a sitting
21:43 zx2c4 And so forth
21:43 zx2c4 But it turns out now all things are so easily provable as such
21:43 zx2c4 Not all math is as simple as Elements
21:43 asciilifeform then they aint proven, basta.
21:44 zx2c4 Hasn't writing always been a tool to expand our knowledge / understanding / assurance beyond a single mind?
21:44 asciilifeform not fits in head ? not proven. ( i did not say ~whose~ head, but imho safe to suppose that whole f# microshitiana garbage pail fits in no head )
21:45 zx2c4 Write down thoughts from one day, use writings to your benefit the second day, and now you're two people in essence
21:45 asciilifeform zx2c4: theorem that dun fit in any 1 skullcase, aint proven.
21:46 asciilifeform this is a political declaration, not an astronomical observation, zx2c4
21:46 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
21:46 asciilifeform not enuff to 'posit'
21:47 asciilifeform gotta actually exist ( and 'genius' btw is the fella who makes the 'fit in 1 head' fit in 9000. )
21:47 asciilifeform !#s heaviside
21:47 a111 21 results for "heaviside", http://btcbase.org/log-search?q=heaviside
21:47 asciilifeform ^ see also.
21:48 zx2c4 I'm not even quite sure what you mean by "fitting"
21:48 zx2c4 There are some things I could only prove if I had a paper
21:48 asciilifeform fortunately there is a convenient demo
21:48 asciilifeform ffa. see esp the passage re parachute.
21:49 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
21:49 asciilifeform the statement is quite serious, i and some yet-unknown number of other people will literally bet arse on our grasp of ffa correctness.
21:50 asciilifeform the attribute which permits this approach, vs haskellism and other idolatrous rituals to mechanical molloch, is called 'fits in head'.
21:50 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.
21:50 zx2c4 Certainly a good pedagogical practice
21:53 asciilifeform let's take from other end of digestive tract. consider 1 AND gate. idealized, no metastability, no breakdown voltages, literally 'ands' two logical values. ( can have physically limited to % of c speed, if you like, but this is uninportant )
21:53 asciilifeform with me so far ?
21:53 zx2c4 so this state of "being proven" for you -- it requires some kind of intuitive bullet shot from start to finish of all particulars of a certain logical progression? and any deference of that to outside tools (like paper, or intermediate results with forgotten details) ruin the intuition?
21:53 asciilifeform lemmas ok, paper ok
21:53 asciilifeform so long as in the end it clicks in your crankcase and is as obvious as that and gate.
21:54 zx2c4 alright and you'd freely admit that when you write things down and solve intermediate lemmas, its often the case that by the time you get to the end, you don't have in the forefront of your brain the details of all intermediate steps anymore
21:54 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'
21:55 asciilifeform zx2c4: i like paper. and even chalk.
21:55 asciilifeform but they are devices for eventually rearranging contents of your head, permanently, rather than substitutes for head,
21:56 zx2c4 so perhaps you prefer chalk and slate to paper then
21:56 asciilifeform i sometimes even use computer algebratrons, in exploratory work. but would never consider presenting output straight from one as 'here, correct'
21:56 zx2c4 a temporary buffer, rather than a rolling log
21:57 zx2c4 sage?
21:57 zx2c4 z3?
21:57 asciilifeform 'derive'
21:58 asciilifeform ( on some occasion, also macsyma )
21:58 asciilifeform but is immaterial, next will ask what kinda chalks.
21:58 zx2c4 haha, was just curious. i presume you're ancient
21:59 asciilifeform depends how you consider
21:59 * asciilifeform turns 35 next wk
22:00 zx2c4 oh. then derive and macsyma surely are jokes
22:00 asciilifeform deadly serious.
22:00 * zx2c4 stares
22:00 asciilifeform ( wait till he learns that asciilifeform has a fleet of e.g. dos boxes. )
22:00 zx2c4 just install Coq for heavens sake
22:01 asciilifeform or that FUCKGOATS rng is built to speak rs232 at 115200 baud and always will be
22:01 asciilifeform or that ~ nuffing in asciilifeform's machine room postdates '09
22:02 zx2c4 hey i like good ol rs232 too
22:02 asciilifeform zx2c4: whole reason i bother with this thread is to explain why no, i would ~not~ like to suck the coq, if you will
22:02 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
22:03 asciilifeform haskellism is like dope for intellectually-bent folx. it is addictive but ultimately ruin.
22:03 zx2c4 (coq is from the late 80s. its still in use, but i guess you could use the 2009 version...)
22:03 asciilifeform intellectual bankruptcy.
22:04 asciilifeform zx2c4: lemme ask, on what authority am i to accept the correctness of a proof generated via e.g. coq ?
22:05 zx2c4 i can see that critique of haskellism. endless intellectual masturbation (hello trilema?) that doesn't actually drive at any essential truth. there's a particular benefit in demanding truths remain small rather than large
22:05 asciilifeform i have not read src of coq, to do so would take 20yr ( and i dun mean 'skim', but to find total proof of correctness of whole shebang and load into MY head )
22:05 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...
22:06 asciilifeform and i'm to take it seriously after that ? pray tell why ?
22:06 zx2c4 it's convenient?
22:06 asciilifeform as it is i have less nausea for even honeopaths than for mecha-proof folks
22:06 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
22:07 asciilifeform homeopaths at least only bamboozle the irredeemably stupid
22:07 asciilifeform zx2c4: you may find it interesting to learn that i once worked in a dour 'salt mine' where shat out 'correctness proof' all day. in 'sage.'
22:08 zx2c4 (i learned algebra back in the day from a professor who wrote a haskell program to generate our textbook... presumably in your mind, my foundational education could not be more screwed up https://en.wikipedia.org/wiki/Dave_Bayer )
22:08 asciilifeform 'darpa' paid.
22:08 asciilifeform sucked beyond my ability to describe.
22:10 zx2c4 z3 is nice for things like
22:10 zx2c4 https://xn--4db.cc/ltPtHCKN/py
22:10 zx2c4 https://git.zx2c4.com/WireGuard/tree/src/crypto/zinc/poly1305/poly1305-x86_64-glue.c#n72
22:11 zx2c4 that z3 script gives a little more assurance we didn't screw up the radix conversion here
22:11 asciilifeform it was a misery. and 'sage' made it ~more~ of misery, if yer gonna commit 'machine proof' atrocities, has no biz doing in a non-homoiconic lang (i.e. any non lisp)
22:11 zx2c4 heh
22:12 asciilifeform zx2c4: lemme ask you this -- those mecha-proofs of yours, how much do you actually believe in'em ?
22:13 asciilifeform i.e. wouldja bet life of self, wives, pets, whole clan of yours, on there being no boojum in coq, z3, other claimed brain substitute of the day ?
22:14 zx2c4 no. they're mostly just tools
22:14 asciilifeform i'd hope that i dun have to explain that when you write a cryptosystem, you are in fact asking other people to do this.
22:14 zx2c4 to do what
22:15 asciilifeform to jump on ~your~ parachute, that you sewed.
22:15 zx2c4 oh. yea, as i said, they're mostly just tools
22:15 asciilifeform tools for what ?
22:15 zx2c4 an additional check against my feeble human reasoning
22:15 asciilifeform how wouldja describe for what
22:15 zx2c4 it also lets me try things super fast without thinking
22:15 zx2c4 and then think backwards in order to reason about its correctness later
22:16 asciilifeform so like paper ?
22:16 zx2c4 sort of
22:16 zx2c4 more efficient paper
22:16 asciilifeform then why do you advertise and publish the 'proofs' ?
22:16 zx2c4 huh?
22:16 asciilifeform i dun publish my 'derive' barf
22:16 asciilifeform or chalk board contents
22:17 zx2c4 i think in crypto most people refer to it as "verification"
22:17 zx2c4 rather than proof
22:17 asciilifeform whereas 'here is my z3 proof' is typically published for cachet among haskellist co-religionists
22:17 zx2c4 i save my z3 script so that
22:17 zx2c4 later if im changing the code
22:18 zx2c4 in addition to reasoning about it
22:18 zx2c4 i can quickly re-check my work
22:18 asciilifeform it dun verify jack shit. is machine barf. just like the raw output of your compiler, except less meaningful
22:18 zx2c4 make sure i didnt so something immediately dumb
22:18 asciilifeform if you can follow the proof by hand
22:18 zx2c4 in the example above, its pretty easy to prove that by hand
22:18 asciilifeform can you, for the one for that routine you linked ?
22:18 asciilifeform how much does it weigh ?
22:19 zx2c4 it's not bad at all
22:19 zx2c4 its a radix conversion
22:19 zx2c4 highschool contest math
22:19 asciilifeform lessee the proof ?
22:19 zx2c4 fair enough
22:20 asciilifeform what i see in the link, is a buncha c code, with pointerisms
22:20 asciilifeform does your proof demonstrate that none of them can overflow, regardless of what happens , say ?
22:21 zx2c4 right. shows that the carrys work out without overflows given certain bounds on the input
22:22 asciilifeform ... or that the #define ULT(a, b) ((a ^ ((a ^ b) | ((a - b) ^ b))) >> (sizeof(a) * 8 - 1)) macro dun turn to barf in the preprocessor on acct of some esoteric beard shaving from dennis richie ?
22:22 asciilifeform and i could continue..
22:23 zx2c4 "unsigned less than"
22:24 zx2c4 dennis probably wants those variables surrounded by ( )
22:24 asciilifeform consider, zx2c4 , i can show that nuffin in my arithm routines can overflow a buffer. even if you were to turn ada's overflow checks off. without any complicated tooling.
22:25 zx2c4 with good comments? or some nice feature of ada? or easy arithmetic youre implementing? or what?
22:25 asciilifeform i can show this because the inputs , for given size, literally do not affect the program branch flow.
22:25 asciilifeform zx2c4: with bare hands.
22:25 zx2c4 carrys/overflows are handled explicitly or something?
22:25 asciilifeform consider to read the series.
22:26 asciilifeform http://www.loper-os.org/?cat=49 << convenient link.
22:26 zx2c4 what you've described sounds good. im wondering if it's the result of comments, the result of just better organized code, or the result of some nice features of ada you're using
22:26 asciilifeform no magical feature of ada
22:27 asciilifeform tho it does helpfully give pascal-style pass by ref, to avoid pointerisms
22:27 zx2c4 explicit carries everywhere, cool
22:28 zx2c4 what's W_Carry?
22:28 asciilifeform it is result of the specific mathematical approach taken. where code must remain SMALL and NO branching on cryptobits, other than death on div0, is permitted. no memory indexing on cryptobits, either.
22:28 zx2c4 or, rather, where can i see the implementation of W_Carry
22:28 asciilifeform zx2c4: see ch1
22:29 zx2c4 Shift_Right((A and B) or ((A or B) and (not S)),
22:29 zx2c4 Bitness - 1)
22:29 zx2c4 aahh that trick
22:29 asciilifeform you can browse whole ch13 at http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa_calc__adb.htm , if lazy
22:29 asciilifeform html concordance.
22:30 zx2c4 ever see this book https://jjj.de/fxt/fxtbook.pdf
22:31 asciilifeform yep
22:31 asciilifeform iirc you recced it last time
22:31 zx2c4 O_o really?
22:31 zx2c4 that would be very surprising
22:31 asciilifeform possibly was sumbodyelse
22:31 zx2c4 !s fxt
22:32 zx2c4 !#s fxt
22:32 a111 3 results for "fxt", http://btcbase.org/log-search?q=fxt
22:32 asciilifeform it's sitting in a 3ring here in my tortureroom for whatever reason.
22:32 * zx2c4 sleeps
22:33 asciilifeform nighty
22:42 asciilifeform http://btcbase.org/log/2018-11-30#1876333 << dun seem to be in the logs, possibly was in a private letter from sumbody..
22:42 a111 Logged on 2018-11-30 03:31 asciilifeform: possibly was sumbodyelse
22:43 asciilifeform ( it's a not-terrible numerics schoolb00k , ftr )
22:45 asciilifeform let's bounce the rubble, also.. http://btcbase.org/log/2018-11-30#1876304 >> ftr i have iron right here where this will bomb, cuz byte not 8bit there.
22:45 a111 Logged on 2018-11-30 03:22 asciilifeform: ... or that the #define ULT(a, b) ((a ^ ((a ^ b) | ((a - b) ^ b))) >> (sizeof(a) * 8 - 1)) macro dun turn to barf in the preprocessor on acct of some esoteric beard shaving from dennis richie ?
22:45 asciilifeform ( longtime tuned-in folx, will know what irons )
22:46 asciilifeform i'ma bet was not acctd for in the 'proof'isms..
22:48 asciilifeform btw , q for ffa readership, can anybody think of a way to make the digit slider routine non8bitbyte-clean ? ( beyond having ffa eat its pistol on boot if it finds itself on such machine, lol )
22:49 asciilifeform http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_io__adb.htm#29_14 << subj. presumes existence of 'nibbles'
22:49 asciilifeform afaik all of ffz outside of fz_io , is arbitrary bytebitness and wordbyteness -clean..
22:50 asciilifeform *ffa
22:50 * asciilifeform bbl,meat,and will come back on console with actual kbd lol
~ 55 minutes ~
23:46 mircea_popescu 0.o
23:50 mircea_popescu http://btcbase.org/log/2018-11-30#1876164 << dude, get the fuck off the planet, and take your pompously vacuous self-important idiocy with you.
23:50 a111 Logged on 2018-11-30 02:36 zx2c4: nice post
23:51 mircea_popescu what the everloving fuck.
23:52 mircea_popescu next shit out of your dumb mouth fails to string match apologizing for being quite so fucking stupid, i'ma fix the negligence whereby you can still speak here.
23:53 zx2c4 On my phone right now, woke up from a dream to see this, not sure if im still dreaming. Care to explain what's provoked your ire?
23:53 mircea_popescu !!rate zx2c4 -1 moron
23:53 deedbot Get your OTP: http://p.bvulpes.com/pastes/3POmi/?raw=true
23:54 zx2c4 My "nice post" remark wasnt sarcastic, if thats what youre responding to
← 2018-11-28 | 2018-11-30 →