36400+ entries in 0.311s
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: i used to be
a prostitute, now i pimp out the younger girls
mircea_popescu: danna33 52454fae << it's good for about half
a n hour, don't dilly-dally.
mircea_popescu: thatbitchlola 563661f6 << it's good for about half
a n hour, don't dilly-dally.
mircea_popescu: if they go up in step you have
a pretty decent empirical reason to use raids like everyone else :D
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.
shinohai: hey mircea_popescu that Trixxi girl messaged me on telegram and said she made
a gpg key in kleopatra
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.
trinque: mircea_popescu: btw, that thing's coming along, gotta slap
a kernel and bootloader on it, and we're done. maybe this evening.
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.
a111: Logged on 2018-04-13 16:14 mircea_popescu: ah, yeah. anyway, it's pretty much
a game of puzzle based on that chick's art.
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.
☟︎ mircea_popescu: tittybang 4b656366 << it's good for about half
a n hour, don't dilly-dally.
mircea_popescu: because totally children have like intrinsic value and we give
a shit and whatnot.
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.
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"'
mircea_popescu: ah, yeah. anyway, it's pretty much
a game of puzzle based on that chick's art.
☟︎ 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!
danielpbarron: and in living what he imagines to be
a righteous lifestyle, is perhaps less likely to turn to the truth
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
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.
a111: Logged on 2018-04-13 04:40 shivalry: Do you live
a Christian lifestyle?
mod6: thanks for taking
a peek at the disasm
diana_coman: mod6, I had
a look at that dump but sadly I can't say I get what's going on exactly atm
mod6: I did
a core dump, and the call stack seems to indicate when I'm "stuck", it's stuck in an lseek() call.
☟︎ 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_: Sorry had
a phonecall, same # mircea_popescu ?
shivalry: You need
a documentary. Ideas are received better through media sometimes.
shivalry: I am just unsure how such
a situation works in practice.
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: 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: 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.
mircea_popescu: consider
a simple and more obvious case : taking
a specialized cell and convincing it to revert to stem situation.
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.
mircea_popescu: (i kid you not, ox-eyed was
a compliment 3k years ago)
trinque: technically that one has 3 tits. what
a steal.
mircea_popescu: eh what is all this bs with taking > half an hour to produce
a pic.
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...
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
a111: Logged on 2018-04-12 19:42 avgjoe: no, it's
a easy/fake study to have more spare time keeping government grants
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:48 asciilifeform: mircea_popescu: blake2 is bernstein's hash ( consists of
a slightly modified chacha, his symmetric algo )
a111: Logged on 2018-04-12 20:55 asciilifeform: ada's spark is
a similar, if somewhat uglier/bulkier, thing
ben_vulpes: bang gas is then
a pressure-drop triggered combustion?
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: could make
a good intercooler for garage flugenthingers
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
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: my first q is what is the breadth of intake gas velocities and fluxes that such
a device could handle
a111: Logged on 2018-02-02 22:32 asciilifeform: idea is
a http server in <1000 ln of ada, approx.
a111: Logged on 2018-04-12 20:10 trinque:
a muntzed drakma would be
a fine thing, I'd sign
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?