105400+ entries in 0.828s
pete_dushenski: danielpbarron: like soap, once
a few people start using it...
mod6: maybe i was smoking crack. got him
a bit confused with pascal and the war, and the accounting bit
mircea_popescu: in truth clockworkery had been
a slowly evolving craft since greek antiquity.
mircea_popescu: in
a stroke of incomprehensible, ancient beings brilliance, minimal value of bitbet as established by signed contract in 2012 (100 btc) is almost within 10% of liquidation value of bitbet as established by free market / receiver, of ~89.35.
mircea_popescu: davout to try and get
a final settlement here, i owe you 199.45006789, add to which 13.37 ; you owe me 86 for to be distributed to the shareholders, add to which 4.83378422 from the hotwallet, add to which 3.35043347 (335.04334737×.01), comes to 118.63585027 altogether. that sound right ? winner pay you yet ?
☟︎ mod6: btw, these logs could use
a hh:mm:ss ts on the front
pete_dushenski: asciilifeform: washington bridges might not be falling, but what kind of
a nation's capital closes light rail lines ?
mircea_popescu: asciilifeform> like the sov towns in far east that are frozen ghost towns now. << this makes one hell of
a trip btw.
BingoBoingo: Apparently some asshole dug into
a 10 inch natural gas pipe
BingoBoingo: So, I drove by well over
a million dollars in ruined construction equipment this morning.
mircea_popescu: hanbot no, she physically mans the kiosk. like the job someone would be normally hired to do, and get
a wage.
hanbot: mircea_popescu it's possible something like that is the cheaper option for
a certain sort of person in
a certain sort of context
mircea_popescu: these people are, basically, very dedicated cultists. they WANT
a CERTAIN SOMETHING to be how things work. and will disregard and ignore anything and everything else. because they're not, fundamentally, opressed. they're, fundamentally, nazis.
mircea_popescu: da fuck, most buskers make more than her by
a fat margin.
mircea_popescu:
a similar cognitive process would be to say :
a) i don't fuck bricks ; b) another exists ; c) therefore, another fucks bricks.
mircea_popescu: this isn't
a point, this is
a psychogenic bit of nonsense.
mircea_popescu: so... no. no folks. no anything. just
a snake of pressed shit eating its tail and wondering why the process is lossy.
mircea_popescu: nothing you can possibly touch in
a day of trying has an owner. nothing.
mircea_popescu: in entirely unrelated but omfg i can't believe this - cascadia dwelling derpy mother of slavegirl that wants to think of self as "fiber artist" but otherwise crochets like any old woman since time immemorial, landed what to her appears as
a very good deal. she sells her stuff in
a senior citizen center gift shop. for
a 15% comission. to understand each other : she provides the merchandise. she provides the sales workforce. sh
mircea_popescu: cpu should have proper cache ; wtf is
a "register" even in 2016.
mircea_popescu: it's
a cheap hack to get things cached through "registers", sure.
mircea_popescu: "it wasn't
a real company because we didn't count for shit in the sale"
pete_dushenski: phf: if the sale of
a bitcoin company for 250k btc didn't get mentioned,
a measly 86 btc sale doesn't stand much chance of crossing the lips of the peeple
mircea_popescu: so you like templeos because it has persistence and graham because, apparently, gavin doesn't have to work for
a living.
mircea_popescu: phf they mostly get mentioned derisively, tho. it's
a sort of templeos/timecube/whatever, they got their alt-reality, sticking to it, nothing happens in it, etc.
phf: so i don't read hackernews or reddit, they are mentioned here
a lot though, so i decided to check if
a sale of bitcoin company for 86BTC (damn) is going to get mentioned anywhere. nope. nada.
mircea_popescu: "Ada.Text_IO is
a "package" that comes with Ada. (In Ada 83, the package name is just Text_IO, and for compatibility, Ada 95 also accepts the shorter name.) We'll learn more about packages later."
mircea_popescu: asciilifeform geometry doesn't really matter until physics decides d^x is
a factor :D
mircea_popescu: (contrary to what noob scientists may think, "
a breadbox" is neither arbitrary nor undefined in that sentence)
mircea_popescu: anyway, re earlier discussion, i guess it'd be worth belabouring the point that nothing therein contained is an argument against using ada. it's still
a great technical solution, for bounds checking, for other reasons, it's still
a great practical solution, for native linkability with c object code, for other reasons. same stands for scheme, still best option for
a scripting language for bitcoind.
mircea_popescu: lol i guess you're gonna buy
a new car with the btc thus saved ?
idioter: hello. i made
a withdrawal on coinbr.com from mpex about 4 days ago. i have been told i need to talk to mircea popescu about it.
phf: about 2 minutes round time, yeah that's what i'm getting just doing an aggressive reconnect. note that there's possibly
a lack of log visibility few seconds before it "quit"
phf: i feel like i have some code laying around to do comparison, but won't have wandwidth for
a bit
mircea_popescu: anyway. the forever-bitcoin, ready to be buried under the sea or w/e, is not happening. because : "<mircea_popescu> how are you going to define
a sorting rule for
a type you don't know yet. <asciilifeform> by knowing it ?" is actually inescapable.
☟︎ mircea_popescu: i am left without
a solid basis to protest the use of magic numbers in code ;/
phf: well, it was post-war boomers, left leaning hippie intelligentsia who grep up on asimov and such, in
a country awash with free money, all that euro gold
mircea_popescu: im thinking it was actually
a delusion, driven by peculiar circumstance that was both exceptional and unlikely to repeat.
phf: of course, general purpose computer was always
a device that high cast professional would sit in front in order to do computations, augmented by external systems or additional special purpose interchangeable boards. at least that was
a pretty shared vision from engelbard to symbolics before the microcomputer
☟︎ phf: the person that i was
a [big bank] vendor with is actually doing that right now.
a trained apl-er and mathematician, having spent few years interacting with [big bank] decision makers now consults on
a handshake basis for companies that need
a problem solved, but don't care if it comes with
a pretty windows gui
☟︎ mircea_popescu: in short, and to sum up : there may never exist such
a thing as the "general purpose computer"
phf: (that's one of the reasons i thought one of the more effective ways of organizing computer human interaction is have an equivalent of dune mentat backed by
a computer, i.e. an advisor to decision makers who performs computation and analysis. something like that existed at the height of apl, and i know
a handful of now old apl-ers who sat on boards and were responsible almost exclusively for "running the numbers")
mircea_popescu: this'd make the "march lords in
a wot - take your fief and guard it" naive approach to date actually very well grounded both factually and now philosophically ; and also offer
a ready explanation of "why all this shit everywhere!"
mircea_popescu: or to put it another way : the reason software houses denegerate into makework facilities is much more fundamental than any sort of policy. in point of fact,
a numeric computer of the sort we're using is NOT useful in either logic or math but as
a shorhand for an actual logician or mathematician that takes the abortive nonsense the machine spits out, and enchants it into actual usable truth.
mircea_popescu: so yea, i would say this is very much equivalent. we CAN'T actually make computer systems. and every time we try to make
a larger one, we're stuck re-calculating
a sort of "pi"
mircea_popescu: i agree the crisis may only be in my head, but in point of fact i'm getting
a whole paradigm reallignment thing, slightly queasy atm.
phf: mircea_popescu: fwiw
a lot of vlsi research in the 70s and 80s was about that, how do we make bedrock
a lot less engineery, but that all died with microcomputer revolution(sic)
mircea_popescu: let's work
a simple example. suppose the case is that your machine is required to behave coherently with the rule that " among even numbers 2 - 8 is as much of
a range as 1-4 is among natural numbers". the MOMENT your solution to this was "simple, just take $i*2", you have in fact c'd it.
phf: it's
a philosophical discussion, and mp, not being
a programmer, is realizing that ada or c or .. is not actually it from where he stands, doesn't mean can't be used, just not magick.
☟︎ mircea_popescu: asciilifeform you can't define jack shit for
a cpu without actually lying somewhere about what you did. is the problem.
phf: mp keeps saying that you don't have
a way to solve it as an abstract
mircea_popescu: and for that matter, among even numbers 2 - 8 is as much of
a range as 1-4 is among natural numbers.
mircea_popescu: jurov ranges are
a sort of abstraction unavailable to computers.
mircea_popescu: there is no way to represent "all the numbers between 1 and 2" in
a finite space.
mircea_popescu: i picked it as
a point because of the "abstract number" thing, ie, redefine 4.
mircea_popescu: to the question "why did they not define EVEN correctly, eschewing this problem they perceive with mod" you answer that " ada is
a civilized lang like commonlisp and there is NOT
a presumption that integers are machine words !". This objection, if accepted as the correct response, ALSO invalidates using, say, XOR, and for the same reason.
mircea_popescu: the problem is this : in ada manual it is said, "So we see that the predicate in the subtype Even cannot be
a static predicate because the operator mod is not permitted with the current instance. But mod could be used in an inner static expression." ; it is further said "and, in addition,
a call of
a Boolean logical operator and, or, xor, not whose operands are such static predicate expressions, and,
a static predicate expres
mircea_popescu: how are you going to define
a sorting rule for
a type you don't know yet.
mircea_popescu: so this is what i mean by "it's
a c" : whatever the fuck you do, it's still going to be an ugly hack where you "can't define this" but nevertheless define THAT, which is just as broken.
mircea_popescu:
a math machine is one where you define bitcoin max coins and the sum works properly and the series converges to 21mn
mircea_popescu: an engineering machine is one where you define bitcoin max coins as it's defined, and you end up with
a max equal to 20999999.9769 btc.
phf: alf is deeply infatuated at the moment with ada, so you should wait
a few months :p