log☇︎
19800+ entries in 0.194s
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 ? ☟︎
asciilifeform: what i see in the link, is a buncha c code, with pointerisms
zx2c4: its a radix conversion
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.
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)
zx2c4: that z3 script gives a little more assurance we didn't screw up the radix conversion here
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 )
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.' ☟︎☟︎
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
zx2c4: well, as it turns out, coq had some amazing fallacy in its core code a few years back resulting in the ability to prove any statement true...
zx2c4: i 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
asciilifeform: zx2c4: lemme ask, on what authority am i to accept the correctness of a proof generated via e.g. coq ?
zx2c4: I agree with you in spirit -- I think learning details of a proof enough that you have all of it in your head is a good pedagogical approach and gives you more mathematical agility as you progress forward. I just don't know about the ontological statement regarding the proof's validity
asciilifeform: ( wait till he learns that asciilifeform has a fleet of e.g. dos boxes. )
zx2c4: a temporary buffer, rather than a rolling log
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?
zx2c4: Certainly a good pedagogical practice
asciilifeform: fortunately there is a convenient demo
zx2c4: There are some things I could only prove if I had a paper
asciilifeform: this is a political declaration, not an astronomical observation, zx2c4
zx2c4: Hasn't writing always been a tool to expand our knowledge / understanding / assurance beyond a single mind?
zx2c4: Simpler code that you can read in a sitting
asciilifeform: if you need a 'proof system' to prove $assertion, you have NOT proven it. not to me. ☟︎
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'
zx2c4: that's a much larger accusation
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.
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 ?
zx2c4: you dont think the borrow checker eliminates large classes of problems in a performant and somewhat elegant way?
asciilifeform: in all seriousness, i don't even presently know of a more leprous pile of shit, either on pedigree or technical pov.
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' ?
asciilifeform: zx2c4: didnt mircea_popescu send you a coin ?
mircea_popescu: a right, qt.
mircea_popescu: http://btcbase.org/log/2018-11-29#1876064 << she has a point. ☝︎
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. ☝︎☝︎
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
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?
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. ☝︎
asciilifeform: diana_coman: this is a+++ good, it is exactly how it is meant to be read
asciilifeform: diana_coman: i'ma also note, _O_I is used strictly in fz_mod : http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_divis__adb.htm#83_14 ; prolly oughta be inlined ~there~ and abolished as a global (even internally) function.
asciilifeform: 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 )
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? ☟︎
asciilifeform: diana_coman: how would a shift by 2 provide overflow of 8 ?
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. ☝︎☟︎
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.
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 )
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... )
BingoBoingo: It takes more than 37 argentine pesos to get a dollar on this side of the river
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
asciilifeform: ( is there a prb plugin for excel yet ?1 )
mircea_popescu: iirc i reviewed a typical example.
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...
mircea_popescu: the work-on-wallstreet is rather visible a collegiate track, sorta like "nigger".
asciilifeform: iirc in e.g. jp you can't even work (if yer a d00d) if ya dun drink
asciilifeform: 'we are hiring developers' 'why' 'we got 100m series a'
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.
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. ☟︎
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". ☝︎
mircea_popescu: http://btcbase.org/log/2018-11-29#1875963 << speaking softly ~withouy~ carrying a big stick is a very poor strategy. ☝︎
mircea_popescu: the problem with a country consisting of doing-other-people's-laundry expects is that... well...
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.
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. ☝︎
mircea_popescu: http://btcbase.org/log/2018-11-29#1875956 << in similar news, there's a gautier, mississippi. ☝︎
Mocky: i can't even complain, i ended up with exactly what I wanted as a 20yo, "write software, have a lot of kids"
asciilifeform: ( another great way to lose shirt is 'start company , try to sell useful product ' , a+++ worxxx )
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.
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. ☝︎☝︎☝︎
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 ☟︎☟︎☟︎
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
asciilifeform: srsly there was a bar, of sorts, built in, on the grounds
asciilifeform: Mocky: i've even worked in a salt mine where the bottle was Officially (i shit thee not) issued, erry friday at noon. ☟︎
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. ☟︎
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.
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 ☝︎
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. ☝︎
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.
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.
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 ) ☝︎
a111: Logged on 2018-11-27 19:51 mircea_popescu shall buy a lappy just to try trinque's thing on!
spyked: http://btcbase.org/log/2018-11-27#1875503 <-- /me ordered a c101pa from shitazon recently, will make prime target for cuntoo testing. ☝︎☟︎
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.
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"
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. ☝︎
mircea_popescu: along with a toothpick factory.
Mocky: blockchain engineer is a job title now?
a111: Logged on 2018-11-28 01:31 mircea_popescu: i never heard before of some guy who CAN live independently, moving to rural shithole to not be bothered, and then having ~same to show for a year of his life as mod6. at least that dood is holding down a job and a coupla kids meanwhile.
asciilifeform: in other lulz : https://www.worthpoint.com/worthopedia/1lb-14-7oz-vintage-symbolics-vsli-242998915 << photo of what appears to be a pile of bolix ivories, sold for (!) gold recycler recently. epic.
asciilifeform: trinque: i suspect was moar of a 'plug embrasure of pillbox' idea than 2waymission
asciilifeform: ( took place in a typical salt mine, with mix of what passes for normal folks, and 'cleared'; asciilifeform ended up resigning, rather than taking holy orders , was quite loathesome pit in 9000 ways )
trinque: mircea_popescu: lulzy, but my coffers aren't stocked up for a supreme court fight just yet ☟︎
BingoBoingo: Mocky: In my corner of old country that's how things have been for a few years. Want a tech job? Take you pick of Boeing, mystery contractors scattered in strip malls around the airforce base, or put up with commuting to Saint Louis proper
a111: Logged on 2018-11-28 19:44 asciilifeform: !Q later tell phf turns out i was wrong re the rom, the rom-shaped object is actually a 1980s 'programmable event timer' thingie, am2971adc
BingoBoingo: Latest G20 lulz is Argentina is going to see if they can afford to buy a nuclear power plant and management of said plant from Russia
mircea_popescu: The corrosive psychological effect of “nyet” on the American hegemonic psyche cannot be underestimated. If you are supposed to think and act like a hegemon, but only the thinking part still works, then the result is cognitive dissonance. If your job is to bully nations around, and the nations can no longer be bullied, then your job becomes a joke, and you turn into a mental patient. << pretty much exact.
mircea_popescu: a there we go.
mircea_popescu: asciilifeform the WHOLE thing is the posturing involved. it really sticks in teh usg's craw whenever it runs into real world not giving a shit about what its mommy told it.
mircea_popescu: back then, btc was cheap, possibly made a few thousand.
asciilifeform: it's a cargocult, for the most part, a la spam.
asciilifeform: if whole crock o'shit is a scheme to win a titcoin or two from mircea_popescu , gotta give points for originality
asciilifeform: ( e.g. capacitor, can replace, if one knows where, a la http://www.loper-os.org/?p=1871 ; but there are other pieces )
mircea_popescu: BingoBoingo "has targeted a two Bitcoin addresses as"