tmsr - Search: a

266900+ entries in 1.883s

asciilifeform: (as discussed in a turd of mine, http://www.loper-os.org/?p=1390 and elsewhere)

asciilifeform: re: c0qlovers and proof-of-whatever: a particularly egregious case of glass bead game.

cads: oh, key, copumpkin is also a #coq regular

MisterE_: asciilifeform: is right, education is a business before all esle

cads: mircea_popescu: sell some Coq nerds on the importance of implementing a formally verified blockchain algorithm and further specialization to a btc implementation :)

mircea_popescu: at a wall or stack of sand bags or w/e

asciilifeform: (i once discovered that my uni used to have a rifle range. gone.)

mircea_popescu: a howitzer can fire blanks on the football field just fine

ozbot: MIT graduates cannot power a light bulb with a battery. - YouTube

mircea_popescu: da fuck mech engineer you are can't build a hovitzer

benkay: more like a potato gun

asciilifeform: implementing btc would be a little like having the mech eng. students build a working howitzer.

cads: I'd love to see a haskell or agda implementation

mircea_popescu: "humanities" "professors" that have no idea what a college is and can not speak latin,

mircea_popescu: we're fortunate to live in a world where nobody has any clear measuring stick to be able to measure exactly how tall the pile of shameful excrement they find themselves under is.

asciilifeform: can't speak for other unis, the cs dept. i studied in was a vacuum cleaner for slurping up DOD moneys

mircea_popescu: "what, you have not implemented bitcoin as a term project ? you're defunded. 100%"

mircea_popescu: and i seriously do not understand what a rector must be thinking to not close down their cs department after this

benkay: mircea_popescu: it's a goddamn shame that everyone's leaving it to the self-taught hacks

mircea_popescu: than "make a bitcoin implementation"

Bugpowder: man, gox back down to where it started... what a derp

mircea_popescu: as in a sane world no uni with a cs department could have done anything else in 2013 as a term paper

mircea_popescu: there are 5k universities proposing they have cs departments, which is a fraud

copumpkin: I'm a big fan of the tune in sonmi-451 meets chang, and the various times it recurs throughout the rest of the soundtrack

BingoBoingo: Mark's face is shaped in such a way, I imagine, he imagines he can just hug away the scam.

cads: if a soundtrack is good I usually watch the movie

copumpkin: so, on a more important note

mircea_popescu: but they're defo not a flaw.

benkay: the flaw is in people using the txid as a bookkeeping device which satoshi explicitly warned against iirc

mircea_popescu: it's a feature!

benkay: anyways, this malleability thing as mentioned above is not really a flaw, cads.

BingoBoingo: Doesn't he also keep a bunch of tomatoes prisoner or am I confused.

cads: "While transactions are signed, the signature does not currently cover all the data in a transaction that is hashed to create the transaction hash. "

mircea_popescu: benkay you know he's the asshole who stole my bentley and gave it to a bunch of kids from like poor countries in india or some shit, and in exchange they hacked a bunch of iphones for him

mircea_popescu: in a more intimate manner.

copumpkin: anyway, it wasn't a threat of loss of bitcoins

mircea_popescu: i think it was a topic of discussion at least monthly.

copumpkin: it isn't really all that much of a problem

cads: oh yeah, I'd heard of a sizeable market crash.

cads: So knowing the nth letter of say an english message will definitely give a probability distribution for things like "what word does this letter belong to" or "is this the middle or end of a word."

cads: benkay: I currently /am/ a factory worker :)

mircea_popescu: benkay you familiar with how if you read only the nth letter in an arbitrary string you may find a message in there ?

benkay: cads: you can find greater job satisfaction at a lower rate doing stochastic inventory and supply chain stuff. that said, you have to live in factories or warehouses and interact with line staff from time to time.

cads: the thing I find very useful about the calculus is that, forget finance, say you're dealing with an arrival process in a factory production cell or in an autonomous agent - now /that/ is a situation where your models basically become the magic word of god.

cads: Sounds like something a fund manager would name his secret pet model

BingoBoingo: The stuff that made Madonna dump A-Rod because his Batting average and WAR stopped being good numbers.

cads: I've been butting heads with the stochastic calculus and I think I'm about ready to start reading Probability with Martingales - random variables, random processes, and statistics are starting to feel a lot more natural.

mircea_popescu: i have a different model.

cads: cool, I'll give joshi a spin

mircea_popescu: "on becoming a quant", see if you hate it

pankkake: I'm trying a herbijujular strategy!

Apocalyptic: unless you submit it before the script has a chance to set the new token ofc

pankkake: there's a usuability issue, when you put an order, you get into the page in POST mode; refreshing it would likely submit the order a second time

mircea_popescu: a ty.

mircea_popescu: because i am currently carrying a shitton of puts, which i would contractually be allowed to execute at the 430 bs bitcoincharts price

mircea_popescu: of course...this opnes up a fucking conundrum from hell,

benkay: mp wrote a spec that performs

mircea_popescu: at a time long ago when nobody had heard of such a case or imagined it likely.

Bugpowder: A prediction of the future

Bugpowder: though a nefarious agent could potentially take an options position and bribe them to remove it for assured profit.

Bugpowder: I just want to short 50 DITM puts. A pittance.

mircea_popescu: ThickAsThieves i just gave you above a list of last times it quoted!

mircea_popescu: one at a time

Bugpowder: I have a history of crushing MPOEbot. I think MP fears my awesome trading powers and has pulled the bot.

benkay: i don't really much care in the grand scheme of things but its a point what needs making.

mircea_popescu: so make a watcher and do some research.

asciilifeform: there is a statue on the campus, car-sized, so many of the locals think it must be a gigantic sea-turtle.

Apocalyptic: benkay, a mix between turtle and derp

mircea_popescu: i think you misrepresent a convenience for a right.

ThickAsThieves: saying it's a hassle to fix a broken service?

asciilifeform: a hilarious find, from the same trip: http://imgur.com/6JhjQeY

benkay: ThickAsThieves that sounds like a call for a subscription market service.

mircea_popescu: cuz it's a fucking hassle to fiddle with its feed, it being hardened ;/

mircea_popescu: so it can't possibly a) look good or bad b) make mpex anything.

mircea_popescu: and that the bot is a private offering which is in principle not required to offer anyone any convenience other than its backers.

Apocalyptic: I wrote some crypto challenges a couple of years ago, involving breaking hash functions and differential crypto, they might interest you

asciilifeform: Apocalyptic: just so happens i'm into a number of things.

mircea_popescu: i think there may be a cascading effect where if it misses one it asks too often and then it gets banned for an interval

ThickAsThieves: <Bugpowder> mircea_popescu: ty... Hoping to see MPOEbot make a triumphant return soon. /// unlikely til Gox reopens wd's

asciilifeform: (picture, say, street swept by long spool of wire with a broom on one end and a lunchbox-sized driver on the other.)

Bugpowder: mircea_popescu: ty... Hoping to see MPOEbot make a triumphant return soon.

mircea_popescu: right. which is what invalidates (from a purely philosophical pov) the approach

mircea_popescu: right. but still, people spoke of the mystery back when it was not yet a problem

asciilifeform: novel in the classic sense of transforming a 'mystery' into a mere 'problem'.

asciilifeform: i tend to think of 'fundamental' in the literal sense. that is, becomes a foundation for a recognizably novel class of things

mircea_popescu: certainly the strange behaviours of quantum that manifest at a macro level, from magnetism to histerezis, would perhaps count.

mircea_popescu: the cellphone is a trivial greek trinket. they didn't know how to make it, but they did have them in their speech

mircea_popescu: now, obviously the fact that star-trek revolves around ipads does exactly nothing in a discussion of prior ipad art

asciilifeform: though perhaps an aficionado of tentacle porn could cough up a counter-example.

asciilifeform: as far as i could tell, the last fellow who pondered a related question was mr. t, when he coughed up the ac motor.

asciilifeform: 2 yrs. ago i figured out how to flex a fairly ordinary multi-conductor cable in an arbitrary spot, at an arbitrary angle, purely electrically. ☟︎☟︎☟︎

asciilifeform: mircea_popescu: in a world where every "idea" is in fact chewed and spit and chewed so many times by so many generations by now all that's left is the spit itself << not quite.

BingoBoingo: Looks like Openex just processed a batch of withdrawls. Once these things confirm it will be time to shoot them over to x-bt

benkay: did i just get mircea_popescu to watch a video?

mircea_popescu: prolly a much better environment for him anwyay.

mircea_popescu: yeah even on the internets ppl need a little time

Apocalyptic: first ATC deposits will confirm in a couple of hours given the network rate, no much action to be expected until then

mircea_popescu: like you know, trade as a happening.

Duffer1: it was a joke, cryptsy is a joke ^.^