Show Idle (> d.) Chans


| Results 78001 ... 78250 found in trilema for 'the' |

mircea_popescu: zx2c4 that's the same thing.
mircea_popescu: if you want a lot of monyz, business is the only way. there, you risk losing it, and you learn what it is and how it works. if that's not of your interest, you can never have it. period. even if you think you do, for whatever reason. are you familiar with the all-amusing ers example ?
zx2c4: the reason is actually, "so that i can have a fixed income without any concrete labor obligations"
mircea_popescu: zx2c4 looky, the only reason you want "an infinity of monyz" is "so that i don't have to tihnk of monyz anymore", which is simply the way you've rephrased "so i can be stupid with impunity" in a way to meet your blindspots.
zx2c4: i realize that's the classic trope -- it's the kind of thing you read about all the time
douchebag: once trinque vertifies that's the issue you'll repay them mircea_popescu - correct ?
mircea_popescu: zx2c4 this certainty is borne out of nothing in particular. i've been sitting here for many years, watching many kinds and sorts of people getting power beyond their means.
douchebag: yeah because SluttyDiamond is having the same problem
zx2c4: oh, i really don't think that'd be the case
mircea_popescu: and in exactly the way a toddler suddenly getting 2000 Nm impulse would be worse off.
zx2c4: the latter point -- because you suppose i'd convert it to EUR and that'd harm BTC in general?
mircea_popescu: zx2c4 you'd be terribly worse off, and so would be the bitcoin ecosystem.
mircea_popescu: douchebag it's almost certainly due to their not having had keys ; because otherwise payments work.
mircea_popescu: evolution at work, the reason the fish doesn't remove the bloodsucker is that the bloodsucker is so designed as to sit in the fish's blind spot.
zx2c4: i'd be wary of any 'deal' that's different from: 'i'm given money. you're given warm feelings of having helped the internet.'
mircea_popescu: zx2c4 it relates specifically to the "which is why real funding for wireguard would be so much better". no, it wouldn 't be. you'd just end up trapped in some sort of bullshit deal.
zx2c4: but interesting read nonetheless
BingoBoingo: So many experiments in programming the wetware today!
mircea_popescu: i promise you it's worth the read ; if you read it and think otherwise you can come here an' complain.
mircea_popescu: zx2c4 it's more generally about how the whole sucker business works.
zx2c4: mircea_popescu: this article is about making a company right? i'm not doing that. im just writing painstaking careful code and giving it to the world for free
mircea_popescu: zx2c4 you ever read http://trilema.com/2015/you-know-what-gets-no-airplay-unflattering-truth/ ? it'd explain the matter thoroughly.
mircea_popescu: no, it would just mean you'd be the sucker.
mircea_popescu: i don't follow the logic ?
mircea_popescu: kinda why i never bothered ; basically the whole "tech" imperial flea circus is this game of trying to outsource your costs on a sucker. whether it's ugc or gsoc, or "investing" or w/e else.
zx2c4: large part of the student motivation is the mentoring, i suppose
zx2c4: yea. it pays worse than real internships. so the pool of students willing to do it is smaller than what you'd wish
mircea_popescu: except of course if they're also dreaming of great towering riches in exchange for doing what they were going to do anyway.
zx2c4: mostly really under-qualified applicants. but if you already know students who are smart, or have some better means of reaching out to them than just the gsoc landing page, then it's possible to hand select people you'd like to work on stuff, and give them summer funding.
mircea_popescu: zx2c4 how's that work out btw ? i vaguely considered it for eulora but never actually bothered to push the point.
mircea_popescu: douchebag maybe i checked too late. anyway, ima wait for the man to come by and set this straight.
zx2c4: mircea_popescu: for the most part, though trying to get some interns this summer via GSoC
mircea_popescu: zx2c4 you pretty much work alone on the thing, don;t you ?
douchebag: could that be the reason?
mircea_popescu: so then do what you like. you'll never be rich, but with some luck you'll never die
mircea_popescu: BingoBoingo he's the wiredguard guy.
mircea_popescu: are you here for the tits ? :D
ben_vulpes: mircea_popescu: are you verifying the otps in private?
mircea_popescu: thatbitchlola not this long usually ; im waiting for trinque to show up there's something weird going on.
mircea_popescu: thatbitchlola you can voice yourself now ; say !!up to deedbot in a pm, then !!v the string it gives you (have to decrypt first)
thatbitchlola: im getting another girl right now!
mircea_popescu: hanbot these are gonna become incantations lol. "hi i'm here to show you my tits" "<< it's good for about half a n hour, don't dilly-dally." and so on.
hanbot: <mircea_popescu> will give the old farts in the chicago senate heartburn. << haha there's a fact
mircea_popescu: thatbitchlola well, you get the publicity value.
mircea_popescu: will give the old farts in the chicago senate heartburn.
mircea_popescu: that way you can move into the future, conduct your negotiations as "three bitcents for 9348aafb and 2.5 bitcents for ffa03994"
mircea_popescu: so then what's yo lazy ass waiting for, get the hos writing neh!
mircea_popescu: alright ; so they your girls or not ?
mircea_popescu: thatbitchlola http://trilema.com/2014/ill-pay-for-your-tits/ << recognize any of the tits there ?
mircea_popescu: douchebag so did we mostly see thatbitchlola 's stable, or are these actually unrelated caches ?
hanbot: douchebag : just sayin', a lot of people read these logs. it gets tedious reading the announcement over and over again.
hanbot: err, between their names and their own statement of purpose.
hanbot: it's pretty clear why they're here, between their saying so and their own statement of purpose. why do you put 1 - 5 lines of announcement for every.single.one?
ben_vulpes: and clearly none of them can type on their own
douchebag: and i refer them here
hanbot: douchebag what's with the overbearing announcement of each and every chick you invite in here?
douchebag: mircea_popescu: is the one you need to talk to
mircea_popescu: thatbitchlola and gotta come over to see the girls ?
BingoBoingo: Then specify it por favor. Stahp spreading Chicago centricism and marginalizing rural voices.
mircea_popescu: so now... you're still not going to say how much the all-nighter is for a pair ?
thatbitchlola: he explained how this is how to secure communications that the feds cant crack
thatbitchlola: and then he showed me the price of bitcoin and its like 8000 now! wtf whyy???
BingoBoingo: danna33: You are looking at the wrong side of the pointer. Gotta rotate it 45 degrees to your right
a111: Logged on 2018-04-12 17:27 mircea_popescu: zx2c4 the good news is that i am now finally in a position to explain what EXACTLY is meant by "terrorist" : that feeling in http://btcbase.org/log/2018-04-12#1797417 when shit keeps coming and coming and coming up. what is it, if not spiritual terror ?
thatbitchlola: if the price is right
thatbitchlola: they will do anything
thatbitchlola: depends on the girl and what the guy is into
mircea_popescu: so how much for the pair ?
thatbitchlola: i used to be a prostitute, now i pimp out the younger girls
mircea_popescu: a hey there.
danna33: mircea_popescu: I am here for the titsforbits
mod6: fwiw, other than this little hiccup, been running great.
mod6: lol, ok Sir. Thanks for the advise.
mircea_popescu: if they go up in step you have a pretty decent empirical reason to use raids like everyone else :D
mod6: (i gleaned 'lseek()' from the 0x8 syscall, not sure if im accurate on that tho)
mircea_popescu: mod6 keep an eye on the following item : lseek deaths vs increases of relocation counts.
mod6: anyway, will take it up with them. but that's probably what i've been chasing for the lsat few weeks.
mod6: yeah. and these chumbawumbas also sold me an old ass drive too
mircea_popescu: mod6 61 relocation events... i guess it's starting to go the way of rust.
mod6: Here's the output from smartclt against that device: http://p.bvulpes.com/pastes/E8Iml/?raw=true
a111: Logged on 2018-04-13 15:15 mod6: I did a core dump, and the call stack seems to indicate when I'm "stuck", it's stuck in an lseek() call.
mircea_popescu: check out teh sudden productivities. what's that written there TrixxC , minnow ?
mircea_popescu: for instance, i'd very much like a spos for my torrent box -- a fs that only allocates the disk in 1mb chunks would be good ; a better nic driver would be better.
mircea_popescu: other similar assumptions could be baked, "this is a phuctor ; this is a torrents box, etc". but irrespective -- if any is baked it's a special purpose and if none is baked its a general purpose os.
mircea_popescu: the moment we bake in the assumption that "this is a bitcoin node", suddenly the os is no longer gp ; we'll want a special fs in there etc.
mircea_popescu: now then, a "general purpose operating system" is "that set of code which is trusted implicitly", "as long as it makes no particular assumptions about the rest of the code that will run on the machine".
mircea_popescu: spyked how about THIS definition for the operating system : "that set of code that is trusted implicitly". this then makes EVERYTHING on a windows machine operating system, which i contend is right and proper -- the necessary result of opaque monolith systems design is universalization of the os.
diana_coman: or at least that was the old idea as far as I know it
diana_coman: mircea_popescu, hm, the blood they have what; life = vitality there
tittybang: what was the code again?
mircea_popescu: it has a decent atmosphere of psychotic terror, but otherwise yes, some evil dood is sucking the life out of chained children to prolong his own.
diana_coman: ah, ah, I think I know the sort; some inept "story line" in short bits and otherwise still gotta do the clicking for this or for that, either "farm" or "puzzle" or whatevers same thing underneath
mircea_popescu: meanwhile in spykedisms, 'I further propose that current definitions of the term operating system are ill-conceived, and that the problem of how to properly design a general-purpose operating system is in principle unresolvable, first and foremost because there is no such thing as a "general-purpose operating system"'
diana_coman: yes, a very palpable sense of "why bother do anything anymore" / "no hope, no tomorrow, no nothing" sort of thing
mircea_popescu: why'd someone package a "click through my art" in flash is anyone's guess. wtf the parasitosis!
mircea_popescu: "why bother do anything anymore" right. nuts.
diana_coman: for all the supposed Easter and all the supposed town, it felt for the first time like the villages in Baragan; possibly part of the explanation it's also the first time I saw queues (as in actual queues, more than 20 people) at the ..."currency exchange and pawn shop" places
mircea_popescu: in other news, http://www.jo99.fr/ << check out the "game" this artist chick came up with. it's something else.
diana_coman: the one in the woods quite as usual if changed for the usual erosion that has been going on in that area ever since I know it; the town-wilderness was somehow sad beyond description
danielpbarron: and in living what he imagines to be a righteous lifestyle, is perhaps less likely to turn to the truth
danielpbarron: but the lost man is not saved by his abstinence either
mircea_popescu: the brief discussion supports the interpretation, her justification ultimately was "maybe i find something".
danielpbarron: drunkards wills not inherit the kingdom of God; a lost man is not saved by drinking a lot -- the strong drink offer is twofold: if you are going to perish (burn in hell), you might as well enjoy life now ; and, maybe in your drunkeness you will see the folly of your lifestyle, and turn to God
danielpbarron: not so painful there
jhvh1: danielpbarron: [KJV] Romans 3:23 :: For all have sinned, and come short of the glory of God;
mircea_popescu: but of course, the methodist heresy is strong in our colonies, they imagine sin is the form of sin to avoid looking at the substance of anything.
mircea_popescu: by the time some waitress somewhere's willing to try just about any chemsludge in the hope she might extract herself from the imposition of the world as she perceives it, you'd be at serious pains to show her much of a sinner.
danielpbarron: mircea_popescu, yes i was just discussing that yesterday. the lost man who thinks his life sucks verses the lost man who thinks his life is great : the former is at least one step closer to the truth of the matter
mircea_popescu: danielpbarron amusingly enough, the argument can well be brought that the seeking lost are closer than the content.
danielpbarron: http://btcbase.org/log/2018-04-13#1797998 << heh, a response to "i tell people what not to do" -- shivalry, did you know the Bible tells us to encourage your indulgences for so long as God hasn't forced you to believe in Him?
mod6: i do have core files available if you request them. will pgp-gram them to you, rather large tho.
mod6: thanks for taking a peek at the disasm
mod6: there ya go
mod6: The disassembly linked in there is gone now, reposted here: http://p.bvulpes.com/pastes/eT1BM/?raw=true
BingoBoingo: Generally since aggression nodes began the trb ecosystem has been much more sync'd from my perch.
mod6: I did a core dump, and the call stack seems to indicate when I'm "stuck", it's stuck in an lseek() call.
mod6: thanks for the update diana_coman. i've been running with that patch too -- I've had some falling behind I believe not related to his vpatch, and instead related to ssd disk flakyness (as detailed in last month's SoBA).
BingoBoingo: So there is a very small fraction of the people normally at the CoWork on Fridays here. I can't tell if it is because it is Friday the 13th or if it is the Mumps outbreak.
deedbot: http://thetarpit.org/posts/y04/06d-what-is-an-os.html << The Tar Pit - What is an operating system?
mircea_popescu: nah it's ok lilly_ , you'll be famous for the hundred dollar phonecall. neeeext.
lilly_: I do this one then brb
mircea_popescu: hey there.
shivalry: Yea I have ckang help then. Ty
shivalry: mircea_popescu: My friend want to do too, can they use this account?
shivalry: Idk, the idea of someones life revolving around appeasing me. Seems powerful feeling.
mircea_popescu: what buy. they volunteer.
shivalry: You actually buy them outright?
mircea_popescu: but this is principally a measure of how broken the society they come from actually is.
mircea_popescu: in any case, without exception known or possible, the adult that hallucinates childhood as a preferrable state has ~other~ issues.
mircea_popescu: rather than trying to revert to an imagined childhood to resolve whatever frustation/block, how about just being an adult.
mircea_popescu: so the good talk therapist would point out to the person interested in this particular magic pill exactly what he'd say to the "i want ai because i don't have a gf" nut : "have you tried the NATURALLY OCCURING solutions first ?"
shivalry: It shouldn't be used as the sole means but rather a tool is where people get it misunderstood.
mircea_popescu: there's no good reason to suspect the above model is not exactly the case with neurons and neotenification. moreover, there's EXCELLENT reason to suspect the interest is quite psychogenic.
shivalry: I suppose the retardation is more difficult, similar to something thats been oxidized.
mircea_popescu: this is not possible, very strictly, because specialization happens in a single enthalpic direction : through information loss. no specialized cell will ever be a stem cell again, exactly in the way no broken glass will become the glass it was again.
shivalry: What about psychotherapy ? MDMA in a clinical environment for PTSD
mircea_popescu: leaving aside the very obvious "why on earth would you want something like that", it's a matter of certainty that no such wonder is chemically achievable.
shivalry: I believe the mind can be made malleable again under the right circumstances.
shivalry: I've only done this for BFs so unless they put them somewhere, not to my knowledge.
mircea_popescu: so what do you do, other than having big eyes ?
shivalry: In Asia they have surgery for big eyes I believe
mircea_popescu: in the greek tradition, they're outright oxen sized!
shivalry: Are they really that big? like bugs?
mircea_popescu: shivalry where'd you get the eyes so big!
douchebag: and then they take for fuckever every
douchebag: i tell them to hurry the fuck up
mircea_popescu: ima start making them redo if they manage to get devoiced.
a111: Logged on 2018-04-13 00:42 zx2c4: spyked: http://btcbase.org/log/2018-04-12#1797801 tamarin (and cryptoverif and proverif) spit out the proof too. tamarin has a nice mode that will draw diagrams and flow charts too to make it easier to digest the proofs. people even have scripts to convert the output into latex in case you want an academic paper for free...
mircea_popescu: http://btcbase.org/log/2018-04-13#1797925 << defo publish all this, then. or is it published already ?
a111: Logged on 2018-04-12 21:38 asciilifeform: whether it is possible to create this condition mechanically, purely from result of vehicle's motion -- i do not know
mircea_popescu: http://btcbase.org/log/2018-04-12#1797879 << well, it does suggest the solution to the cold fusion problem : MAKE THE ITEM MOVE WITH ROCKET!!1
a111: Logged on 2018-04-12 21:29 jurov: i think the vortex sorts particles by momentum, not necessarily by temperature
mircea_popescu: http://btcbase.org/log/2018-04-12#1797814 << this'd be the one extra item vtronics might eventually get, if this ever comes to exist in a proper sense.
a111: Logged on 2014-02-26 14:52 mircea_popescu: they let it run overnight, among the conclusions it had arrived to by morning was "napoleon had an infinite number of arms"
a111: Logged on 2018-04-12 20:48 asciilifeform: spyked: if you recall, back in the 'minsky age', that was the initial attraction of mechanical 'reasoners' -- discovery of ~simple~ inferences
mircea_popescu: btw, does it occur to anyone else that #trilema is way ahead of i dunno, black-chicks-code or whatever other imperial nonsense in terms of both headcount, volume or value of female participation in techgeneering ?
mircea_popescu: http://btcbase.org/log/2018-04-12#1797734 << hey. he has a point there, if you're gonna bilk it gotta bilk it.
mircea_popescu: zx2c4 specifically for the "empty room" problem he brought up. do you follow the logic there ?
trinque: kittycollector and sashahsas, you used the same address. someone is lazy.
lobbes: technical design aside though, there's still that obvious fact that we have to rely on various $mtgoxes for market price :/ Though I'm not sure what be a better source for a fiat-btc exchange rate (iirc this was a mini-thread somewhere in logs)
lobbes: Then I have Process B that is triggered on changes to that database doing the various "market price" retrieval and volume averaging. Process B inserts retrieved data into database and Process A responds accordingly
lobbes: been thinking through tickerbot design, and seems like the sane thing would be to have Process A (which is an instance of logbot-genesis with "logbot-multiple-channels-corrected" patch) running that makes changes to a postgresql database.
a111: Logged on 2018-04-12 20:20 spyked: zx2c4, I've been looking over the tamarin protocol verification paper and I'm curious, what does "symbolic verification" mean? also, what's the thing's output? is it just a "yes, properties hold" or does it also output the proof?
zx2c4: spyked: http://btcbase.org/log/2018-04-12#1797801 tamarin (and cryptoverif and proverif) spit out the proof too. tamarin has a nice mode that will draw diagrams and flow charts too to make it easier to digest the proofs. people even have scripts to convert the output into latex in case you want an academic paper for free...
a111: Logged on 2018-04-12 18:35 asciilifeform: http://btcbase.org/log/2018-04-12#1797532 << as far as i can tell the 'rsa has structure! but aes, surely not' is instance of minsky's empty room ( http://btcbase.org/log/2014-11-13#920444 )
zx2c4: asciilifeform: http://btcbase.org/log/2018-04-12#1797596 obviously aes has quite a bit of structure too, but there's a difference
a111: Logged on 2018-04-12 18:06 mircea_popescu: http://btcbase.org/log/2018-04-12#1797132 << this counterstructure argument is actually quite strong ; may indeed be stronger than the proponent realizes.
zx2c4: mircea_popescu: asciilifeform: http://btcbase.org/log/2018-04-12#1797528 http://btcbase.org/log/2018-04-12#1797506 -- in case you're interested in the ecc stuff more, the formally verified fiat and hacl implementations are not the only ones we have. we also have constant time accelerated x86 adx and bmi2 implementations https://git.zx2c4.com/WireGuard/tree/src/crypto/curve25519-x86_64.h and also constant time accelerated arm neon implementations
a111: Logged on 2018-04-12 07:03 trinque will get to these tomorrow, girls
asciilifeform: spyked: i dun have anything against mechanical proof per se; but it is NOT a substitute for fits-in-head, because there is nor cannot be any such substitute. and the mass of the theorem-verifier is to be included with the mass of the program, for the purpose of 'is this head-fittable'. but possibly i repeat old thread.
a111: Logged on 2018-04-12 20:52 asciilifeform: http://btcbase.org/log/2018-04-12#1797799 << if this looks monstrous, prepare to barf when you consider how much the ~verifier~ weighs
spyked: http://btcbase.org/log/2018-04-12#1797811 <-- been there. and the kernel is not monstrous (paper: http://www.cs.ru.nl/~freek/courses/tt-2012/papers/sadhana.pdf -- funfact: a bastard version of mccarthy's "maxwell equations" lies buried somewhere in there), but attempting to use it to solve even simple problems from 7th grade mathbook can lead to huge codebase. and will inevitably bring the computer-aided mathematician to an existential
ben_vulpes: bang gas is then a pressure-drop triggered combustion?
asciilifeform: neh that's not 'premixed in the tank' lol
asciilifeform: whether it is possible to create this condition mechanically, purely from result of vehicle's motion -- i do not know
asciilifeform: ben_vulpes: there is of course another way to get dry air
ben_vulpes: i think it puts the water in the wrong place. you get dry, hot air which you'd then have to cool and compress into the engine and cold wet air (possibly with the water condensed out entirely with a spigot)
ben_vulpes: you get some gases that speed up, pulling energy out of the gases that slow down which dump energy into the higher speed gases. not purely a 'sorter'.
ben_vulpes: jurov: it's alll the same thiiiiing
jurov: but i don't know if same temperature means h2o and o2 molecules have same momentum? or they have same kkinetic energy?
jurov: i think the vortex sorts particles by momentum, not necessarily by temperature
asciilifeform does not harbour any illusions that this is 'easy pill' -- think, e.g. korolev would have had this pill, if it were so easy. but curious re the prohibitive boojum specifically.
ben_vulpes: this is the ramjet
ben_vulpes: not on the tarmac
asciilifeform: the motion of the rocket ( align the tube with the motion axis, naturally ) does this for you, neh
ben_vulpes: you'll want to compress it somewhat for reasons of efficiency; consider again the diesel and its turbo
asciilifeform: why not pipe it straight to the chamber.
asciilifeform: colour me again thick, why does the dry air require cooling ? esp if your intended use for it is rocket oxidizer
asciilifeform: consider what happens in the vortex. center tap gives you 'cold end', which contains the heavier objects, incl. water
ben_vulpes: heh well then you gotta cool the dryer, dontcha
asciilifeform: ben_vulpes: don't fixate on the cooling ; i proposed it as simple means of producing 'dry' air
asciilifeform: ben_vulpes: you'd want prolly something like the 'mouth' of mig-15
ben_vulpes: asciilifeform: yeah here and there, more frequently we simply flooded the workpiece with coolant.
ben_vulpes: might work if you had enough expander and volume to slow the intake down and get it out of the incompressible regime
asciilifeform: intake of 'whistle' goes to the house air hose
asciilifeform: btw ben_vulpes probably has held in his hands, the tube : they are often found in machine shops
ben_vulpes: "The Use of the Expansion of Gases in a Centrifugal Field as Cooling Process"
ben_vulpes: there is an expander in the diagram, had a sign error
asciilifeform: ben_vulpes: colour me thick, but how does the compression of oncoming gas ~pull out~ heat ? consider how 'reentry heat' comes about.
ben_vulpes: it'll cool, sure, but nowhere near as much as if it were a gas, as the gas will condense and pull further heat out of the local system.
ben_vulpes: just cribbing from wikipedia here, but "there is no longer cooling observed since cooling requires compressibility of the working fluid"
asciilifeform: ben_vulpes: iirc wirbelrohr works just the same on liquids
asciilifeform: must point out, i haven't the faintest reason to think that it would work; was specifically curious re whynot
ben_vulpes: refrigeration depends on compressibility of the working fluid
asciilifeform: ( as well as the fact that it has to work 'from parking lot to mach X' )
asciilifeform: as i understand, would be constrained by possible length of the tube and the strength of the material from which it is made
ben_vulpes: my first q is what is the breadth of intake gas velocities and fluxes that such a device could handle
asciilifeform: ben_vulpes: gives you clean, h2o-free o2, if the spigot is placed correctly in the vortex, as i understand
asciilifeform: ben_vulpes: http://btcbase.org/log/2018-04-12#1796970 << here's a thing i wondered about for many yrs : is there any reason why a wirbelrohr could not do the job of 'frost control' in an 'airbreather rocket' ?
asciilifeform: ( and i dun think i need to explain that the mecha-proof is ~meaningless~ without reading the claimed verifier )
a111: Logged on 2018-04-12 20:16 spyked: anyway, back to http://btcbase.org/log/2018-04-12#1797753 : also, I ran a http://p.bvulpes.com/pastes/hYZVy/?raw=true out of curiosity. results: cca 150k LoC of proof (of which ~10k just the basic definitions) that generate another cca 100k LoC of C code. but to be fair, this is for more than just 25519
asciilifeform: http://btcbase.org/log/2018-04-12#1797799 << if this looks monstrous, prepare to barf when you consider how much the ~verifier~ weighs
asciilifeform: 'reasonable' meaning, on top of mere compactness, other fine things like heaplessness
asciilifeform: ( somewhere along the lines of http://btcbase.org/log/2018-02-02#1780200 thread )
asciilifeform: http://btcbase.org/log/2018-04-12#1797798 << 1 of the things on asciilifeform's 'wish list', is a reasonable ada http serv
asciilifeform: but this was enuff for the tech to find its way to the cargocultists.
asciilifeform: unfortunately it never went far beyond 'rediscovered pythagor's theorem'
asciilifeform: spyked: if you recall, back in the 'minsky age', that was the initial attraction of mechanical 'reasoners' -- discovery of ~simple~ inferences
spyked: more to the point, this is similar to asciilifeform's "auditability" question. is there a way to obtain a (ideally human-readable) set of deductions out of the prover?
spyked: zx2c4, I've been looking over the tamarin protocol verification paper and I'm curious, what does "symbolic verification" mean? also, what's the thing's output? is it just a "yes, properties hold" or does it also output the proof?
a111: Logged on 2018-04-12 19:58 spyked: http://btcbase.org/log/2018-04-12#1797506 <-- ain't gonna bitch about that. but just for lulz: http://archive.is/tatUF and to think, proof systems (Coq, Isabelle/HOL, etc.) exist mainly to slap humans on their wrists when they err.
spyked: anyway, back to http://btcbase.org/log/2018-04-12#1797753 : also, I ran a http://p.bvulpes.com/pastes/hYZVy/?raw=true out of curiosity. results: cca 150k LoC of proof (of which ~10k just the basic definitions) that generate another cca 100k LoC of C code. but to be fair, this is for more than just 25519
spyked: whole thing's a mess, but I'm organizing the code so that I can eventually replace it with something else.
spyked: okay then, I'm gonna work it off this. it'd be enough to replace the "drakma" http client with something lighter, and I'd already cut about half of it. the dependency tree leads to two xml parser libraries being used (plus other redundant stuff).
trinque: nope, current thing is a sad pythonball hanging off the side.
spyked: trinque, yeah, I'm actually playing with cl-feed-parser to get an idea of what's required for the feed bot, going to spec it and all. I grabbed it off the githubs ( https://github.com/tkych/cl-feed-parser ) and the number of dependencies is irksome, so if you happen to know a better alternative other than building my own, I'm open to suggestions
deedbot: ben_vulpes updated rating of mircea_popescu from 4 to 5 << master of the realm
spyked: http://btcbase.org/log/2018-04-12#1797506 <-- ain't gonna bitch about that. but just for lulz: http://archive.is/tatUF and to think, proof systems (Coq, Isabelle/HOL, etc.) exist mainly to slap humans on their wrists when they err.
trinque just ran the same command as from cron, pretty weird
trinque: gotta figure out why the cron job keeps getting stuck.
spyked: hey trinque, the front page of deedbot.org shows "Bot's address: [...] (balance {u'message': u'Method not found', u'code': -32601})" on 2nd line. looks outta the ordinary.
a111: Logged on 2018-04-12 19:23 asciilifeform: avgjoe: understand, 'looking up' tells you just about nothing if you do not have any existing trust of any of the people who wrote the item you are 'looking up' in.
lobbes: I was going to hop on to state this very point, but alf beat me to it so I will simply underline and point to trilema article referenced twice above. My own trust for various people (read: cryptographically backed identities) in here was not immediate, but evolved over the 4 years I've spent interfacing with said people. >> http://btcbase.org/log/2018-04-12#1797719
avgjoe: and the logs in these days :D
avgjoe: and a couple of months ago i was lucky to cash out in bitcoin the crazy (at least for me) amount generated by solving captchas
ben_vulpes: well it's more of a nineties yahooforum pink sheet stock but that's neither here nor there
avgjoe: then this coin has gained popularity for supposed scalability features that i've never investigated
asciilifeform: avgjoe: there is no magical document that proves trustworthiness. but there is, just like thousand years ago, working with people, and developing relation with them
asciilifeform: avgjoe: understand, 'looking up' tells you just about nothing if you do not have any existing trust of any of the people who wrote the item you are 'looking up' in.
trinque: note that a horde of titties just came through and used the thing on the basis of knowing douchebag
trinque: someone will have to make the argument in favor of average joes
avgjoe: that's would be nice, then it's up to the average joe to look up the history and wot
ben_vulpes: puts one miles ahead of eg localbitcoins, puts the personal aspect of trust front and center.
trinque: depends on whether I think people oughta come in through existing users, or not
ben_vulpes: trinque: dude has a point, self-referential though it might be faq.html would benefit from an "i am trinque, and have been running this service for members in good standing of the #trilema wot and others before it since XXX"
avgjoe: i mean, ok, it works for noobs, but at the same time you don't know instantly who is managing the keys
trinque: my point was that you can't answer the question of whether to trust me as you sit there now

|