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
BingoBoingo: mircea_popescu: Sub was diesel, but sub and reactor are both outside Argentina's maintenance ability
mircea_popescu: incidentally, the whole usg "clearance" wank narrowly mirrors the quatari "sponsorhip employment" wank.
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"
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: 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 19:51 mircea_popescu shall buy a lappy just to try trinque's thing on!
a111: Logged on 2018-11-27 19:12 mircea_popescu: i imagine that'll be spyked's next thing, bot-driven vtrees mirror service.
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"
a111: Logged on 2018-11-29 06:09 mircea_popescu: incidentally, the whole usg "clearance" wank narrowly mirrors the quatari "sponsorhip employment" wank.
Mocky: "74 applicants last week" heh
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.
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.
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
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
Mocky: the only activity in life that makes me understand why people turn to the bottle
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... )
Mocky: reminds me of "20% time", "work on your own projects on friday since we know you'll be doing that anyway"
Mocky: haven't seen it with my own eyes, even then
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
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
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.
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'
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
Mocky: i can't even complain, i ended up with exactly what I wanted as a 20yo, "write software, have a lot of kids"
Mocky: as long as I still had kids at home, never tried to get out
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
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".
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 )
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..."
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: the problem with a country consisting of doing-other-people's-laundry expects is that... well...
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
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
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: (grp, glucose-regulated protein, "chaperones" in microbiology)
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: i meant re the bottle. your "boss" will take you "partying" at approved venues etc.
mircea_popescu: the work-on-wallstreet is rather visible a collegiate track, sorta like "nigger".
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...
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
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
mircea_popescu: "oh, dollar '''strengthened''', this building's value DOUBLED TO MATCH brekekekekekeke"
BingoBoingo: It takes more than 37 argentine pesos to get a dollar on this side of the river
Mocky: I got my first "so burned i'm peeling" in 2018, 3 hours on motorcycle in tank top mid day, late june.
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
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.
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
diana_coman: although ofc it's more like Koch's 1mn loc ~always
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"
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
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?
diana_coman: aha; imho this sort of thing would be great added to the comments there
diana_coman: asciilifeform, it's not about exhaustive list of ways-to-break, certainly not
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
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?
lobbes: however, I have not yet tried timer patch on that one yet
lobbes really needs to get hands into that thing and feel around
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.
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.. )
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
zx2c4: one benign, one bothersome
zx2c4: the first is curosity
zx2c4: the second is wireguard needs funding for 2019 and thought this nation might help carry the weight
zx2c4: also i'm wondering what the usual trilema party line is on rust vs ada
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!
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' ?
zx2c4: you dont think the borrow checker eliminates large classes of problems in a performant and somewhat elegant way?
zx2c4: rust's ownership and borrow semantics
zx2c4: no i dont think so
zx2c4: presumably the premise is something along the lines of complexity making things impossible?
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.
zx2c4: _organized campaign of sabotage_
zx2c4: that's a much larger accusation
zx2c4: have you seen HACL*?
zx2c4: Kind of an interesting project
zx2c4: They write proofs in F* showing equivalence between some functional description and some imperative description
zx2c4: And then they're able to lower the F* down into C
zx2c4: Which is pretty readable
zx2c4: The proof, however, is gone from the C
zx2c4: Well of course everyone prefers simpler proofs that fit in the head
zx2c4: Simpler code that you can read in a sitting
zx2c4: But it turns out now all things are so easily provable as such
zx2c4: Not all math is as simple as Elements
zx2c4: Hasn't writing always been a tool to expand our knowledge / understanding / assurance beyond a single mind?
zx2c4: Write down thoughts from one day, use writings to your benefit the second day, and now you're two people in essence
zx2c4: Oh, I mean, if you're willing to allow for anybody's head (as i presume you mean by mentioning ~whose~ head), then you just posit an incredible genius
zx2c4: I'm not even quite sure what you mean by "fitting"
zx2c4: There are some things I could only prove if I had a paper
zx2c4: I more or less know the process involved but don't have all of the steps in my head. And as I wrote it down, I forget the details of previously written steps while working out current new steps. Yet I have faith in the process of writing it down systematically and having intermediate results from pages prior
zx2c4: > At this time we will walk through the mechanics of our Karatsuba multiplier, so as to cement in the reader’s head the correctness of the routine, and lay groundwork for the optimization which is introduced in Ch. 12B.
zx2c4: Certainly a good pedagogical practice
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: 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
zx2c4: so perhaps you prefer chalk and slate to paper then
zx2c4: a temporary buffer, rather than a rolling log
zx2c4: haha, was just curious. i presume you're ancient
zx2c4: oh. then derive and macsyma surely are jokes
zx2c4: just install Coq for heavens sake
zx2c4: hey i like good ol rs232 too
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
zx2c4: (coq is from the late 80s. its still in use, but i guess you could use the 2009 version...)
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
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: 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: (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 )
zx2c4: z3 is nice for things like
zx2c4: that z3 script gives a little more assurance we didn't screw up the radix conversion here
zx2c4: no. they're mostly just tools
zx2c4: oh. yea, as i said, they're mostly just tools
zx2c4: an additional check against my feeble human reasoning
zx2c4: it also lets me try things super fast without thinking
zx2c4: and then think backwards in order to reason about its correctness later
zx2c4: more efficient paper
zx2c4: i think in crypto most people refer to it as "verification"
zx2c4: i save my z3 script so that
zx2c4: later if im changing the code
zx2c4: in addition to reasoning about it
zx2c4: i can quickly re-check my work
zx2c4: make sure i didnt so something immediately dumb
zx2c4: in the example above, its pretty easy to prove that by hand
zx2c4: it's not bad at all
zx2c4: its a radix conversion
zx2c4: highschool contest math
zx2c4: right. shows that the carrys work out without overflows given certain bounds on the input
zx2c4: "unsigned less than"
zx2c4: dennis probably wants those variables surrounded by ( )
zx2c4: with good comments? or some nice feature of ada? or easy arithmetic youre implementing? or what?
zx2c4: carrys/overflows are handled explicitly or something?
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
zx2c4: explicit carries everywhere, cool
zx2c4: or, rather, where can i see the implementation of W_Carry
zx2c4: Shift_Right((A and B) or ((A or B) and (not S)),
zx2c4: that would be very surprising
a111: Logged on 2018-11-30 03:31 asciilifeform: possibly was sumbodyelse
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 ?
a111: Logged on 2018-11-30 02:36 zx2c4: nice post
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.
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?
zx2c4: My "nice post" remark wasnt sarcastic, if thats what youre responding to