259500+ entries in 0.166s
a111: Logged on 2016-09-13 20:17 mircea_popescu: you can just
take
the next control code free from pete's list and go with it.
a111: Logged on 2016-09-12 15:07 mircea_popescu: seems
the cannon fires 400gram projectiles, about 70/s. so it expells 30kgs of material per second ; and it weighs 150
tons.
scriba: Logged on 2016-09-13: [19:48:48] <trinque> heh,
this guy expects english
to have a phrase for insulting someone lacking knowledge of specifics / experience
mircea_popescu: (the joke being, for
the physically innocent,
that sound is shockwave in gas, and consequently getting gas
to move faster
than sound is a challenge.)
mircea_popescu: possible.
the problem
there being
that
the concept itself is like recursivity - poorly understood.
mircea_popescu: large part of spec's job is exactly in
the negative. a good spec allows me
to construct a complete negative of
the item.
this is much more important
than commonly realised
mircea_popescu: and
this is rather what a specification is. doesn;t allow you
to produce a human ; but it allows me
to reject some of your "human" products as not-human.
mircea_popescu: those
two decimals, 4 significant digits, are actually accurate over
the fucking population. variations are rare and slight.
mircea_popescu: yes, but
that's an anthropological measure, of
the ilk of "femur length in humans is 26.75% of height"
mircea_popescu: anyway. standard allows you
to (predictably, ie, unsurprising
to
third party) accept or reject instantiated examples.
this does not automatically allow you
to instantiate examples,
though it very often helps.
mircea_popescu: intercourse lasting above
ten minutes with female capable of orgasm on command with pelvis sufficiently
toned
to appreciably seal on who is serious about and dedicated
to
the
task of pleasing
the cock.
mircea_popescu: the part where you can spec
things
that don't actually fit in head. for instance, i can specify "a good fuck", or "an acceptably behaved slut" or "a boring housewife"
mircea_popescu: i can say "the population of argentina has a
total sum IQ of 170 over ~40mn people" ;
this may be so or not, whatever ; interpreted by
the reader. you can ask "o yeah, if you can build
things
then how would you go about building folded hypercube ?".
to which i won't answer. for
the reason. are
they both caricatures ? maybe so. does
that do anything ?
mircea_popescu: depends how you define better. but it stands in a way
the question does not.
mircea_popescu: "what would you say
to
this mental image of mine which i call by a name i culled from reality and whose existence is here predicated on supporting my position in an inexistent argument ???"
mircea_popescu: no, but because
the question is based on a presumption
that doesn't hold in practice.
scriba: Logged on 2016-09-13: [17:51:53] <asciilifeform>
the reason why we ~have~ spec-by-program is because it is
the only actual alternative
to fits-in-head.
mircea_popescu:
http://log.mkj.lt/trilema/20160913/#420 << no, it's a "workable" alternative
to go
to fucking school and learn
to
think. which means languages, not math. "but mp, i'm a slut, i have big udders, why should I" oops i was reading from
the wrong sheet, i mean "but mp, i'm a mathgeniusboy, why should i" blabla.
scriba: Logged on 2016-09-13: [17:46:58] <trinque> llvm will never actually implement c/c++ as currently "specified" by
the existence of gcc
scriba: Logged on 2016-09-13: [17:41:16] <asciilifeform>
to be fair i have nfi how
to possibly escape from specifying byte order.
mircea_popescu: i generally
think everyone stands by
their assertions until
they say otherwise anyway
mircea_popescu: "i stand by my assertion
that x" isn't
terribly helpful.
scriba: Logged on 2016-09-13: [17:16:41] <ben_vulpes>
http://discuss.ardupilot.org/t/ardupilot-and-dronecode/11295 << "Due
to
their overwhelming desire
to be able
to make a proprietary autopilot stack
the Platinum members staged what can only be called a coup.
They removed all
top level open source projects from DroneCode, leaving only
their own nominees in
the
Technical Steering Committee."
mircea_popescu: you can just
take
the next control code free from pete's list and go with it.
☟︎ mircea_popescu: separately, if you want
to register a bot you can have autovoice for it ; but in general it's a good idea
to sort out
the part where it voices itself as we're headed
that way ;
the autovoice
thing is a stopgap and
temporary.
scriba: Logged on 2016-09-13: [17:01:55] <PeterL> what is
the procedure for gettiing a bot voiced? I rewrote scoopbot
to get
titles of links, do I need
to get it
talking
to deedbot/gpg decrypting
things
too?
mircea_popescu:
http://log.mkj.lt/trilema/20160913/#344 <<
to limit noise
the idea is
that whoever puts a link in is responsible
to provide context for it ; rather
than rely on automatic bot function. bots are
to read
their own www logs when referenced and
that's it.
mircea_popescu: i suppose effort
to bridge
the gap has been made, perhaps most notably
the "literate code"
thing, but still. spec is not code ; code is not spec.
scriba: Logged on 2016-09-13: [16:49:30] <asciilifeform>
the impracticality of 'code as specification' is wholly from
the nonexistence of sane programming systems
phf`: fancy, like we're in
the future or something
jhvh1: trinque: We did not notice
the loss of fighter
trinque: !~translate RU
to EN не заметили потерю бойца
Framedragger: (in
truth, can't compare
to *actually great* moving long shots etc, not in
the same league at all, admittedly)
trinque: heh,
this guy expects english
to have a phrase for insulting someone lacking knowledge of specifics / experience
trinque: or
that page mentions "RTFM"
trinque: sounds a bit like
the "do you even"
thing.
trinque: spb (~stephen@freenode/staff/spb): [Global notice] We've put a cloth over
the self-destruct button so
that nobody pushes it again. << ahahaha
Framedragger: ..and now
the relevant stuff is in searchable logs! YOU'RE WELCOME no but, sorry for spam
Framedragger: ftr,
the relevant capabilities in linux seem
to be CAP_NET_RAW and CAP_NET_BIND_SERVICE
Framedragger: [looks good, gun read laters. meatspace stuff,
ttyl]
Framedragger: imho one should not start prototyping gossipd on
tcp due
to
the whole stateful nature of
tcp. it would make
things *appear*
to be so much easier - implicit packet ordering and stream control, etc. - and when
things eventually need changed it's gonna suck00r bigtime
Framedragger: asciilifeform: right. which is not a super strange
thing
to require anyway imho;
this may be required when IP is dissected for gossipd purposes, anyway. (sure, ideally
the whole
thing should be (eventually) ditched.
trinque: hm, wget -r seems
to not be bringing back a111
this
time, lol
trinque: things still
trickling in.