log☇︎
525900+ entries in 0.363s
asciilifeform: so not a magical guarantee (want guarantees, pray to the gods?)
asciilifeform: this naturally rests on the 'turtles' and 'elephants' of your priors, e.g. hardware functioning as printed on the box, and so on
asciilifeform: e.g., show that output of ecdsa signing routine can only be affected by the given parameters and not by anything else
asciilifeform: but you can still do a few useful tricks like taint/flow analysis
asciilifeform: (this trivially follows from turing's 'halting theorem.' no need to invoke herr gödel even.)
asciilifeform: re: proof: studious readers of log may recall the old thread where we spoke of general-case attributes of a proggy being unprovable
asciilifeform: they let the 'doctors' bleed them, too.
asciilifeform: what of that.
asciilifeform: ben_vulpes: kings, queens in the past sailed on vessels that no one in their right mind would climb on today
ben_vulpes: my point is that large fractions of a planet's worth of btc are already bet on btc.
ben_vulpes: perhaps talk to others who are risking 'a planet' worth of btc already on...extant btc.
ben_vulpes: the life insurance policies are dwarfed by the operational costs and value of the machine in question.
asciilifeform: where only some piddling 300 life insurance policies have to be paid out ☟︎
asciilifeform: even a lowly airplane has triple+ majority-circuit cpu
ben_vulpes: i've not the planet.
asciilifeform: would you bet a planet on that ?
asciilifeform: but for something like a battlefield bitcoind, this kind of thing probably cannot be avoided.
asciilifeform: i can't recommend this for 'tetris' (that was a homework)
asciilifeform: well, stops hurting after your arse dilates to fit
asciilifeform: ben_vulpes: i've historically been a skeptic of 'provably' whatevers, because the required furniture, in my experience, never failed to interfere with 'fits in head' - and the promised are often overblown
asciilifeform: BingoBoingo: wanna write the first provably-correct pgp ?
assbot: 1. Getting Started with SPARK — SPARK 2014 Toolset User's Guide 16.0.0w documentation ... ( http://bit.ly/1Ak5e87 )
BingoBoingo: appears to have been flattering arse cam "heroic angle" edition
BingoBoingo: Film definitely points to a leak in the hotel room
trinque: sure, I guess I was talking about in the context of modern US politics
asciilifeform: the 'new' dates to at least... richelieu.
trinque: asciilifeform: I mean the social news cycle fad "leak" is now established
BingoBoingo is leaning towards authentic on the accumulation of amateurisms actor and camera.
trinque: obviously a new channel through which to broadcast that which must be assumed to be true, because it's "leaked!"
trinque: there was some "big leak" recently that stank of intelligence agency
trinque: ultimately this functions very well, constructed or not, right?
asciilifeform: (naturally, in a scene where this is not expected, and out of edge of camera)
trinque: asciilifeform: true
trinque: snowden could've been handled the whole way
asciilifeform: trinque: point an actual loaded rifle at the actor. optionally, fire over his head. was actually done in su on at least one film set
asciilifeform: as if one can't get arbitrarily clumsy theatre student
trinque: flushing with fear on command is to my knowledge not possible ☟︎
BingoBoingo: asciilifeform: The part where snowden seems aspie clumsie as opposed to trained actor clumsy suggests this just might be historical snowden
asciilifeform: BingoBoingo: what reason is there to think that the film is of actual events ?
BingoBoingo: Greenwald jsut seems stressed at the wrong times
asciilifeform: everyone with access to the goods who hasn't dumped them to public unredacted and whole is ipso facto part of that set.
trinque: mmm, he could be the guy limiting the hang-out?
asciilifeform: like other bipedal turds (e.g., schneier)
asciilifeform: up to << sitting on the docs pile ?
trinque: hard to fake
trinque: snowden looked genuinely flushed with fear at the fire alarm
trinque: just curious as to what you think greenwald's upt o
BingoBoingo: trinque: Public domain because court. Torrent at leisure
trinque: BingoBoingo: you think snowden's an act?
BingoBoingo: asciilifeform: Seems to be actual documentary
trinque: greenwald has that smug sjw vibe to him
asciilifeform for some reason thought it was a hollywood production
BingoBoingo: asciilifeform: Appears to be actual HK snowden tape for much of the film
asciilifeform: BingoBoingo: they used the real one ?!
BingoBoingo: Greenwald and hour in totally has shitgnome smell
asciilifeform notes that ada draft dates to '79
trinque: I'm sure the relationship goes the other way round
trinque: so I have to insert new funding txns into its transaction table
trinque: I also need to automate it being aware of having been sent new funds; it keeps its own count
trinque: and now that bundle is published
cazalla: so i made a bitbet under the influence and couldn't fund it until later, i assume 0 conf address listed for it in /propositions/ is the address of which i need to fund? ☟︎
trinque: other than that, I need to build the part that announces the new bundle link in here
asciilifeform: http://www.tc.umn.edu/~puk/tetris.txt << from comments, tetris in traditional ada
trinque: provided this is doing what's desired I'll cron job the publishing part
trinque: if anyone wants to eyeball that and give feedback, please do
trinque: https://blockchain.info/address/1BkCTj36DMdcF8TVa1by9zfwdcMFm3VAES << note the unconfirmed txn
trinque: uploads to http://deedbot.org
assbot: Tetris in SPARK on ARM Cortex M4 - The AdaCore Blog ... ( http://bit.ly/1FHKyeU )
BingoBoingo: Per the film Snowden was fingered much earlier than news stories suggest
BingoBoingo: lol, snowden with the blanket over the head
BingoBoingo trying to drunkwatch the newly public domain citizenfour
BingoBoingo: mircea_popescu: Aren't they liquidating on craigslist?
BingoBoingo: Basically it seems. Changetip territory
mike_c: so it's like, free to give away
mike_c: ^ 200 satoshis is worth less than an ad view at $2 cpm ☟︎
BingoBoingo: Seems like a way to keep people playing a game where "advanced" play is simply botting your balance to 0 faster. Honest stuff.
mike_c: by the time you lose it, you're maybe hooked.
mike_c: even still. just letting people play without having to deposit first seems like a great idea.
Stunna: as an anti-bot measure, then it steps up quite considerably
mike_c: yeah, but, it's only 200 satoshis. Is that method working for you guys? not sure how long you've been doing the faucet.
mike_c: Stunna: that must be working for you. genius idea.
mike_c: what a scam. i lost my free 200 satoshis on the first roll
BingoBoingo: I trials." ^
BingoBoingo: "How about thalidamide? Thalidamide appears inactive in NCI-60 screens and appears to fail to inhibit angiogensis in in vitro screen. Thalidamide tested in vivo, however, significantly inhibits tumor growth in xenograft models that use multiple myeloma, esophageal squamous cell carcinoma, lung cancer, cervical cancer, and melanoma. Thalidamide when dosed in combo with bevacizumab and docetaxel showed remarkable efficacy in phase I
assbot: PAINs And Good Old Med Chem. In the Pipeline: ... ( http://bit.ly/1FHsUrD )
Stunna: BingoBoingo: don't think it's related to that, the internet I've been using past few days has been dying on me every 20mins or so
danielpbarron: he is still connected to freenode
BingoBoingo: ;;later tell gabriel_laddel Maybe consider less descriptive quit messages?
BingoBoingo still thinks of BTC related use for numbers station
gabriel_laddel: Eliana: "All you jews think about is money!"
gabriel_laddel: "Well did you get the $50?"
BingoBoingo: Just hard to say what one thinks of the prior day's destractions when they wake the next day.
BingoBoingo: asciilifeform: With your standards for blog text probably would be hard to stretch it into something satisfying you as an author.
gabriel_laddel: * Eliana enters the church while Abigail waits outside. *
asciilifeform: BingoBoingo: hard to stretch that to fit qntra news theme, methinks
gabriel_laddel: Eliana: Wow, 50! Let's try it out
BingoBoingo: asciilifeform: If your shiva hands have time to do a quick irony piece... qntra...
asciilifeform: iirc sp technically never made peace with ru. ☟︎
BingoBoingo: Well, Franco was a trendsetter
asciilifeform: especially funny that - spain.