Forum logs for 29 Nov 2018
| mircea_popescu: | Mocky these schmucks i swear... | [00:55] |
| mircea_popescu: | BingoBoingo argentine sub was diesel. | [00:55] |
| mircea_popescu: | http://trilema.com/forum-logs-for-28-nov-2018#2499565 << 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 | [00:57] |
| 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:04] |
| mircea_popescu: | incidentally, the whole usg "clearance" wank narrowly mirrors the quatari "sponsorhip employment" wank. | [01:09] |
| 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" | [01:10] |
| deedbot: | http://bimbo.club/?p=95 << Bimbo.Club - TMSR Log Summary - 11/14/2018 | [02:27] |
| 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:30] |
| 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:31] |
| 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:35] |
| 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. | [08:44] |
| 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:41] |
| 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:46] |
| 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:47] |
| 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:49] |
| asciilifeform: | then and only then , c101pa will turn into an item like rk, where you can operate strictly with self-built contents | [09:50] |
| 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:51] |
| asciilifeform: | spyked: if you're interested in arm64ifying cuntoo, i recommend to begin with rk. | [09:53] |
| 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:01] |
| asciilifeform: | presumably they've introduced some new demented syntax for integer divides ? i have nfi, and could not be arsed to find out. | [10:03] |
| 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:05] |
| 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:07] |
| asciilifeform: | traditionally, folx who show symptoms of being able to survive outside of the reich, disqualified. | [10:09] |
| Mocky: | looks like Roger Ver's bitcoin.com is looking for java and js developers for their mining team http://archive.is/MlomS | [11:17] |
| Mocky: | "74 applicants last week" heh | [11:19] |
| asciilifeform: | lol! | [11:21] |
| 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:22] |
| asciilifeform: | apparently at least 4 still-not-gone-for-glue horses in usg's stable ( gavin, buterin, wright, ver ) | [11:23] |
| 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:42] |
| 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:43] |
| 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:48] |
| * asciilifeform | 100% in agreement with Mocky , saecular work suxx | [11:54] |
| 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:00] |
| 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:01] |
| Mocky: | reminds me of "20% time", "work on your own projects on friday since we know you'll be doing that anyway" | [12:03] |
| asciilifeform: | afaik this went away with the 1st 'dotcom' hysteria | [12:04] |
| Mocky: | haven't seen it with my own eyes, even then | [12:04] |
| 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:05] |
| 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:07] |
| 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:08] |
| 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:10] |
| 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:11] |
| 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:13] |
| 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:14] |
| 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:16] |
| asciilifeform: | ( another great way to lose shirt is 'start company , try to sell useful product ' , a+++ worxxx ) | [12:20] |
| 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:23] |
| 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:24] |
| 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. | [12:26] |
| 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:47] |
| mircea_popescu: | i was like... lolok. | [12:48] |
| 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:50] |
| 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:51] |
| 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:53] |
| 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:55] |
| 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:58] |
| asciilifeform: | iirc in e.g. jp you can't even work (if yer a d00d) if ya dun drink | [12:59] |
| 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:00] |
| mircea_popescu: | aha. | [13:01] |
| mircea_popescu: | esp the sort of scum they hire. | [13:01] |
| 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:02] |
| 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:03] |
| 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:04] |
| 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:05] |
| 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:06] |
| 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:12] |
| 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:15] |
| 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:16] |
| 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:18] |
| mircea_popescu: | "oh, dollar '''strengthened''', this building's value DOUBLED TO MATCH brekekekekekeke" | [13:20] |
| BingoBoingo: | It takes more than 37 argentine pesos to get a dollar on this side of the river | [13:21] |
| mircea_popescu: | im sure. | [13:21] |
| 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:53] |
| 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. | [13:57] |
| 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:06] |
| 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:10] |
| asciilifeform: | ( ffa has 0 deps outside of gnat itself and system character i/o, currently posix's ) | [14:11] |
| 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:13] |
| 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:15] |
| 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:18] |
| 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:19] |
| 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:21] |
| * diana_coman | just ate ffa 3, will sign | [14:22] |
| asciilifeform: | oh hey | [14:22] |
| 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:24] |
| asciilifeform: | diana_coman: nitpicks / spiffy karnaugh simplifications / etc. welcome as always. | [14:25] |
| 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:26] |
| 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:28] |
| 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:29] |
| 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:30] |
| 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:31] |
| 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:33] |
| 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:34] |
| asciilifeform: | but the same guarantee cannot be given for erry internal component, not without geological runtime. | [14:35] |
| 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:36] |
| 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:37] |
| 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:38] |
| 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:39] |
| 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:41] |
| 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:46] |
| 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:49] |
| 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:51] |
| 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:52] |
| 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? | [14:58] |
| diana_coman: | aha, that was my understanding of it | [15:01] |
| asciilifeform: | right. ( and as presently stands, i've abolished all but 1 of the algos where this actually takes place ) | [15:02] |
| * asciilifeform | bbl,teatime | [15:03] |
| 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:44] |
| 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:46] |
| * asciilifeform | can't even count nao how many time had convo, 'hulp! my noad is hanging' 'didja aggression' 'no...' '...' | [17:48] |
| 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.. ) | [17:50] |
| 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:14] |
| lobbes: | however, I have not yet tried timer patch on that one yet | [18:15] |
| * lobbes | really needs to get hands into that thing and feel around | [18:16] |
| 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:34] |
| 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:37] |
| 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 | [19:38] |
| asciilifeform: | mircea_popescu: wx liquishit , qt, jettisoned loong ago. but bdb, openssl , boost, remained | [20:06] |
| 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 | [20:07] |
| deedbot: | http://bimbo.club/?p=96 << Bimbo.Club - TMSR Log Summary - 11/15/2018 | [20:50] |
| zx2c4: | ahoy | [21:05] |
| asciilifeform: | !#s zx2c4 | [21:11] |
| a111: | 218 results for "zx2c4", http://btcbase.org/log-search?q=zx2c4 | [21:11] |
| asciilifeform: | zx2c4: long time no see. what brings ya back ? | [21:12] |
| zx2c4: | two things | [21:28] |
| zx2c4: | one benign, one bothersome | [21:28] |
| zx2c4: | the first is curosity | [21:28] |
| 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:29] |
| 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:31] |
| 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:33] |
| asciilifeform: | the what? | [21:34] |
| zx2c4: | rust's ownership and borrow semantics | [21:34] |
| 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:36] |
| 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:37] |
| 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:39] |
| asciilifeform: | and, in parallel, to be an organized campaign of sabotage against ~concept~ of actual correctness in programs. | [21:40] |
| 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:41] |
| 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:42] |
| 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:43] |
| 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:44] |
| 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:45] |
| 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:46] |
| 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:47] |
| 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:48] |
| 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:49] |
| 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:50] |
| 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:53] |
| 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:54] |
| 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:55] |
| 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:56] |
| zx2c4: | sage? | [21:57] |
| zx2c4: | z3? | [21:57] |
| asciilifeform: | 'derive' | [21:57] |
| 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:58] |
| asciilifeform: | depends how you consider | [21:59] |
| * asciilifeform | turns 35 next wk | [21:59] |
| 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:00] |
| 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:01] |
| 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:02] |
| 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:03] |
| asciilifeform: | zx2c4: lemme ask, on what authority am i to accept the correctness of a proof generated via e.g. coq ? | [22:04] |
| 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:05] |
| 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:06] |
| 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:07] |
| 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:08] |
| 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:10] |
| 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:11] |
| asciilifeform: | zx2c4: lemme ask you this -- those mecha-proofs of yours, how much do you actually believe in'em ? | [22:12] |
| 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:13] |
| 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:14] |
| 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:15] |
| 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:16] |
| 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:17] |
| 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:18] |
| 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:19] |
| 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:20] |
| zx2c4: | right. shows that the carrys work out without overflows given certain bounds on the input | [22:21] |
| asciilifeform: | ... or that the #define ULT(a, b)i) >> (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:22] |
| zx2c4: | "unsigned less than" | [22:23] |
| 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:24] |
| 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:25] |
| 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:26] |
| asciilifeform: | tho it does helpfully give pascal-style pass by ref, to avoid pointerisms | [22:27] |
| zx2c4: | explicit carries everywhere, cool | [22:27] |
| 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:28] |
| zx2c4: | Shift_Right((A and B) orii, | [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:29] |
| zx2c4: | ever see this book https://jjj.de/fxt/fxtbook.pdf | [22:30] |
| 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:31] |
| 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:32] |
| asciilifeform: | nighty | [22:33] |
| 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:42] |
| asciilifeform: | ( it's a not-terrible numerics schoolb00k , ftr ) | [22:43] |
| 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)iii) >> (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:45] |
| asciilifeform: | i'ma bet was not acctd for in the 'proof'isms.. | [22:46] |
| 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:48] |
| 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:49] |
| asciilifeform: | *ffa | [22:50] |
| * asciilifeform | bbl,meat,and will come back on console with actual kbd lol | [22:50] |
| mircea_popescu: | 0.o | [23:46] |
| 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:50] |
| mircea_popescu: | what the everloving fuck. | [23:51] |
| 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:52] |
| 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:53] |
| zx2c4: | My "nice post" remark wasnt sarcastic, if thats what youre responding to | [23:54] |
Category: Logs
