log☇︎
39000+ entries in 0.266s
diana_coman: mod6, fwiw I'm again locked out of trilema-mod6 ("channel is invite only")
mod6: That's all I've got. Here's a link to that if curious: http://logs.bvulpes.com/trilema-mod6?d=2018-4-30
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).
a111: Logged on 2017-08-04 22:56 asciilifeform: and this is true of pretty much any box that makes decent trb node (i.e. has sata3 + ssd )
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.
lilly_: I do this one then brb
shivalry: Yea I have ckang help then. Ty
mircea_popescu: i guess.
shivalry: I am just unsure how such a situation works in practice.
shivalry: I suppose it goes both ways though too...
mircea_popescu: i guess. seems like a shitty reason though.
shivalry: I would like some slave boys 😍
mircea_popescu: mmm. like http://trilema.com/2017/why-would-any-girl-want-to-be-a-slave/ i guess ? or http://trilema.com/2010/nsfw-mosu-cu-joarda/ ?
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: I suppose the retardation is more difficult, similar to something thats been oxidized.
shivalry: I believe the mind can be made malleable again under the right circumstances.
mircea_popescu: i'm kinda happy with my mind as it is, myself.
shivalry: Nope, I just like to see how people look at such things
mircea_popescu: well, i change my mind on occasion, but alter it ? not really.
shivalry: I've only done this for BFs so unless they put them somewhere, not to my knowledge.
mircea_popescu: well, i don't know you well enough.
mircea_popescu: i mostly tell people what not to do.
mircea_popescu: i believe.
shivalry: In Asia they have surgery for big eyes I believe
mircea_popescu: (i kid you not, ox-eyed was a compliment 3k years ago)
douchebag: i tell them to hurry the fuck up
mircea_popescu: i mean shivalry
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
a111: Logged on 2018-04-12 21:29 jurov: i think the vortex sorts particles by momentum, not necessarily by temperature
a111: Logged on 2018-04-12 20:55 asciilifeform: spyked: in re proof machines, i'm much moar interested in items like ACL2 , where you can affix your hand-written program to a hand-written proof of correctness in a mechanically-reliable way
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 ?
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
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?
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: mircea_popescu: http://btcbase.org/log/2018-04-12#1797532 why stronger than i realize? ☝︎
saturn_: i did not get my bitcoins yet xc
asciilifeform: spyked: it'll happen. tho i am aiming for folx to end up answering 'this did not need sparkism, it is evidently correct to naked eyes'
spyked: http://btcbase.org/log/2018-04-12#1797815 <-- must confess that I am eager to read FFA spark. ☝︎
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.
ben_vulpes: yeah i can't this thread anymore, too damn seductive.
ben_vulpes: anyways i have a girthy sql to wrestle and http://logs.bvulpes.com/trilema?d=2018-3-23#317862
ben_vulpes: "i know, let's premix our fuel and oxidizer!"
asciilifeform: whether it is possible to create this condition mechanically, purely from result of vehicle's motion -- i do not know ☟︎
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)
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: ben_vulpes: don't fixate on the cooling ; i proposed it as simple means of producing 'dry' air
asciilifeform: ( though i suspect something like it would even work in a 'springy' solid. see 'phonons' etc )
asciilifeform: must point out, i haven't the faintest reason to think that it would work; was specifically curious re whynot
asciilifeform: as i understand, would be constrained by possible length of the tube and the strength of the material from which it is made
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: spyked: in re proof machines, i'm much moar interested in items like ACL2 , where you can affix your hand-written program to a hand-written proof of correctness in a mechanically-reliable way ☟︎
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
a111: Logged on 2018-04-12 20:10 trinque: a muntzed drakma would be a fine thing, I'd sign
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? ☟︎
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 ☝︎☟︎
trinque: a muntzed drakma would be a fine thing, I'd sign ☟︎
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).
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
trinque: spyked: any chance you want to do mircea_popescu's requested RSS bot? I've got plenty on my plate as it stands.
trinque: that I knew, but ty
lobbes: trinque, while yer digging I noticed that wot.deedbot.org appears to have not updated in a bit (e.g. I unrated "blazedout419" a few weeks ago, yet still shows >> http://wot.deedbot.org/3320BCA7825525AD077203C331F36D29A4D93652.html)
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: after seeing that raiblocks was just some random coin, i tried to understand better bitcoin and found trilema as a very valid starting point, no-frills like, to use bitcoin in a responsable manner
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
avgjoe: then this coin has gained popularity for supposed scalability features that i've never investigated
avgjoe: i'm a student, I've discovered bitcoin thanks to raiblocks
trinque: I will at least say mircea_popescuine features come way first.
trinque: wottronics says I do
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: I am at "dog on internet" status for you
avgjoe: so if I understand correct: all the deedbot functions are ready to go for a newcomer, except for the wallet function that works well after having a good wot connection
avgjoe: trinque: may I also ask, is just the wallet feature that need human presence or deedbot does other semi-auto functions?
trinque: asciilifeform: sure, maybe some guy trusts me and I think he's crazy
trinque: avgjoe: the point being, while I can give you a lot of nice words about not stealing your bitcents, this doesn't amount to much.
asciilifeform: i had nfi this was noncommutative
trinque: I measured from him.
asciilifeform: ( i rated him earlier today )
trinque: I am the operator yes.
avgjoe: ok, so as long as i see trinque alive on irc i can feel safe about my test bitcents on it
avgjoe: is a feature for doing off chain transactions by trusting the human meat or i'm missing something?
asciilifeform: i've no particular objection to snake oil from king cobra vs from japanese viper; but as i observed earlier, the sudden popularity of bernsteinism has never been explained to my satisfaction.
mircea_popescu: i know, i know. just saying, "we picked the non-chosen candidates at random, go sue."
avgjoe: i supposed that was an hot wallet feature
avgjoe: a curiosity about the deedbot wallet feature: if i use that feature, who is controlling the keys?
mircea_popescu: i dunno what your experience with "peer review" is, but as far as anyone involved is aware, exactly no review goes on in those circumstances. see sokal & all.
a111: Logged on 2018-04-12 16:25 zx2c4: i havent compiled a list of Name+WrittenReview. maybe i should do that
TrixxC: i brb there is someone at door
britknee: I haven't actually been, by blood
mircea_popescu: britknee oh, i was in columbia recently.
mircea_popescu: http://trilema.com/2018/land-of-coffee-land-of-winds-land-of-oddly-moistened-bints/ << that's from the day i died at sea
britknee: oh I will put the word out then
asciilifeform: mircea_popescu: aite, i'ma return to packing launch capsule, bbl