log☇︎
345900+ entries in 0.194s
polarbeard: do we agree in using an external tool for this? ☟︎☟︎
asciilifeform: mod6: the principal obstacle is the lack of a computer.
mircea_popescu: http://btc.yt/lxr/satoshi/source/src/util.cpp#0771 << this doesn't actually work, i've seen gb+ debug.logs ☟︎
mod6: you buy a flash rom (from S.NSA? or from local place you trust??) then get V, build a flashable universe, flash the card, drop it into some device and then you can talk to it over some wire from your work station
mod6: i think it could be pretty neat, in the end.
mod6: eh, sorry: does the idea of a flashable universe built from rotor still make sense.
mod6: does anyone else think that this is *not* a decent consideration at least? even taking into consideration the issues we ran into with pogo?
mod6: yah, i still think this might be a resonable path. but lot of thought still must go into this whole thing. tonight was a great discussion on it tho.
mircea_popescu: mod6 that's what started all this
asciilifeform: mod6: this was my original objective with pogo
mircea_popescu: no. i deny all such allegations at this time.
mod6: asciilifeform: so are we basically, with rotor, able to not only build a static bitcoind, but couldn't we also build a flashable rom that contains said static binary - a flashable universe so to speak?
mircea_popescu: incidentally in today's random : https://projects.csail.mit.edu/church/wiki/Models_with_Unbounded_Complexity
asciilifeform: i promise to say if i ever manage to cleave these.
mircea_popescu: check it out, he no longer cleaves things :D
mircea_popescu: are you an engineer or a priest today ?
asciilifeform: but that 'has to'
mircea_popescu: asciilifeform nothing converges if the path to convergence is expensive.
asciilifeform: sorta why i say it has to converge.
mircea_popescu: so this has to be pondered upon.
mod6: sure, the whole: 1, 2, inf. problem.
mircea_popescu: understand mod6 : the thing that scared me above isnm't per se the fact that now we need 4, but that well... it grew. might be we're sitting on some unbounded complexity / a loose recursion tail.
mircea_popescu: lol i'ma cook you some toilet soup in a moment!
asciilifeform: mircea_popescu: it's my motherfucking tx debugger
asciilifeform: i'm not even 100% convinced that it isn't braindamaged yet, must be seen
mircea_popescu: asciilifeform so you added tinyscheme to have sexpr rather than json, and now you telnet into scheme ?
ben_vulpes: the shit these reversers can do
asciilifeform: it runs in own thread, you telnet into it
asciilifeform: so you can meaningfully probe the living trb
asciilifeform: ben_vulpes: i got it to compile ages ago, the tricky bit is to add useful tendrils into it
ben_vulpes: this is a wonder i would greatly like to see myself
mircea_popescu: mod6 in the end we'll need a v thread for the source, one for the manual, one for linux make one for bsd make etc ? like 4 ?
ben_vulpes: how does tinyscheme couple into ri source?
asciilifeform: ben_vulpes: that i am carrying out presently
asciilifeform: ben_vulpes: thread concerned an experiment
assbot: Logged on 23-01-2016 18:15:49; mircea_popescu: dude speaking of "provability" bs. FSB are "provably secure" because it can be proven they're at least as hard as regular syndrome decoding. which is np complete. while we don't actually know if THAT is in fact resolvable in polynomial time or not, nevertheless... PROVEDLY SECURE!!11
assbot: Logged on 24-01-2016 02:36:26; asciilifeform: tinyscheme welded onto trb
mircea_popescu: but riddle me this : how does user know his openbsd make process isn't satan's own ?
mod6: yeah, for now. seems the most viable approach.
mircea_popescu: so basically my tentative takeaway here is that we'll mostly try to maintain broad linux-compatibility and try and help interested parties keep the wheels oiled and turning on stuff like bsd.
asciilifeform: (i happen to have done both)
asciilifeform: polarbeard: or go to school, if you're the sort of person who goes in for that
mircea_popescu: (or from a security perspective, esp the cpu and memory)
asciilifeform: polarbeard: you open a book and read ? start with, e.g., tannenbaum ?
mircea_popescu: polarbeard most of those will have to be written de novo, basically. esp the filesystem.
polarbeard: how do you talk with the cpu, memory, network, disk?
mircea_popescu: asciilifeform yeah i guess most of the problem comes from that chasm. we're not the first to meet it.
asciilifeform: polarbeard: based on trb.
asciilifeform: mircea_popescu: bsd is retarded from the linux pov (or, if you're a bsd aficionado, vice-versa)
mod6: right. exactly similar to this.
mircea_popescu: polarbeard that's an even sadder story.
mircea_popescu: mod6 this i called the "pogo" approach to it.
mod6: its a thing, it gets flashed on to some firmware, and it basically just is, you can talk to it and use it, but it is its own thing.
polarbeard: bitcoinos would be based on what? I think that's the interesting part
mircea_popescu: asciilifeform is ifdefs REALLY the only way to do this ?
mod6: <+mircea_popescu> mod6 here's the problem with "Bitcoinos" : you will want it adapted for bitcoin needs, which necessarily means it won't be your tool of choice for doing almost anything else, which necessarily means maintaining it will be a pain in the ass. << agree. I think that what I'm getting at is maybe it ends up being like cisco ios.
asciilifeform: mircea_popescu: not if it gangrenes the code with #ifdefs.
mircea_popescu: wouldn't it be a shitton cheaper to not need a vm layer if at all avoidable ?
assbot: Logged on 22-01-2016 00:00:44; BingoBoingo: So next year will be 3 months to sync, 2018 4 months, 2019 5 months etc.
asciilifeform: perfectly happy to run it in vm on them, if it comes to it
mircea_popescu: so you want to not be able to run bitcoin on them ?
asciilifeform: serious toilet-kitchen separation problem
asciilifeform: from where comes this perverse scenario of 'one box'
asciilifeform: that was not the point.
asciilifeform: there is no space in the future for commodore 64, and yet i have one
mircea_popescu: so i'm not terribly interested in that line of thought.
mircea_popescu: there's no space in the future for windows.
adlai: mircea_popescu: ever heard of 4th gen ATMs? (not the kind that gets skimmed)
mircea_popescu: see, that';s thje bitch here : missile guidance has to be on missile and there only. there's no benefit from it running on jane's computor.
asciilifeform: i already have this choice with many other things
mircea_popescu: asciilifeform but this faces you with the unpleasant choice of whether to not play tetris or not run bitcoin on your homebox.
adlai also got an upfront btc donation to do this so ~shrug~
asciilifeform: that you won't play tetris on
adlai: asciilifeform: because large amounts of data are worth paying small amounts of btc to immortalize, today; and small amounts of data will always be worth paying large amounts of btc to immortalize - even tomorrow.
mircea_popescu: im not making any calls here, just running the horse around the field.
asciilifeform: mircea_popescu: trying to wiggle out from under this is misguided imho.
mircea_popescu: mod6 here's the problem with "Bitcoinos" : you will want it adapted for bitcoin needs, which necessarily means it won't be your tool of choice for doing almost anything else, which necessarily means maintaining it will be a pain in the ass.
mod6: so we may think of a different way of doing something like this, maybe it's not a full OS of sorts, maybe its a embedded deal.
assbot: Loper OS » Practical Blockchain Telegraphy. ... ( http://bit.ly/1LY30Hl )
adlai: the general goals being - get the data in there, as cheaply as possible, without same standards as http://www.loper-os.org/?p=1490 and some reasonable method to random-access without having to reconstruct the entire turd
mod6: i guess my thought is, if we wanna make bitcoinos - we will end up forking either SVR4 or BSD, and then getting married.
mircea_popescu: mod6 to my mind it's almost as if we bit a recursion girder over here. "v presses source". "ok how do i build it ?" "uh... i guess you need a v-make genesis and follow that for your os." "ok... how do i do that ?" "well... get v-make-make and..."
mod6: yeah, very much so. a good conversation to have though, as our future roadmap depends on some early-on food for thought.
mircea_popescu: anyway. i suppose this entire compatibility general issue will need more thinking about.
mircea_popescu: BingoBoingo yeah the part where your otherwise reasonable idea breaks down is where deedbot is not really a webservice
adlai notes that a) archive.is works for backup b) deedbot provides verification alone c) the blockchain works for paranoid-max backup, if you pay your way
BingoBoingo: In case the documents get "Oberlin'd"
BingoBoingo: If reddit is to be denied links so ought they.
BingoBoingo: mircea_popescu: So that I don't have to link fiat uni web sites.
mircea_popescu: BingoBoingo srsly why are you putting your uni library in the deedbot.
mircea_popescu: phf you seriously considering maintaining a bsd rotor thing ?
asciilifeform: if somebody wants to maintain a parallel universe 'v' et al where the bsd flags make it go, i will take off my hat to them.
mircea_popescu: and so then bsd support, like windows or crapple support, would be a bolt-on ?
asciilifeform: i dare say that expecting a vaguely linuxlike ~build environment~ is not unreasonable
mircea_popescu: and so what, we're officially targetting "anything that's unix post bsd pre systemd" ?
mircea_popescu: "bitcoinos" is a symbol here. may mean linux, whatever the fuck it means.
asciilifeform: understand, if someone ~wants~ to maintain a nintendo port, let'em
asciilifeform: build the linux variant ?
mircea_popescu: asciilifeform so if someone has a box that they're using, they can't run a bitcoin node there unless they run it under bitcoinos ?
asciilifeform: what, i also do a winblows toolchain now ?