log☇︎
281200+ entries in 0.178s
Apocalyptic: I just want the problem as a CNF file
asciilifeform: Apocalyptic: depending on whether you want to implement a useful sat-solver, it could easily take years.
ben_vulpes: why do you want this, Apocalyptic ?
Apocalyptic: asciilifeform: well ok I may have underestimated the time ☟︎
jurov: i'm wondering how this is ever a $100 project, too
asciilifeform: Apocalyptic: 'Updated the price to 100 USD. It's really not a complicated task, everything is outlined in the paper. An average C++ programmer knowing operator overloading should be able to do it in 2-3 hours.' << ahahahahaha ☟︎
deedbot: [Daniel P. Barron] Who saw this wonder? - http://danielpbarron.com/2016/who-saw-this-wonder/
ben_vulpes not particularly disposed to write an irc bot either
ben_vulpes: trinque: lowers the energy barrier for me to do the thing mircea_popescu and asciilifeform were talking about
trinque: old anyway, I'll let ya know when, and it'll be in the form of a signed vpatch
ben_vulpes has a fuzzy memory, is on the road though and not disposed to dig it up
trinque: lemme work on cleaving the commands from the botstuff and then I can give ya the sauce if you want it
trinque: asciilifeform: neat, have a particular project you're going to mill?
asciilifeform: even came with isa (yes) card for dos (yes) box to drive the old steppers (dead)
asciilifeform: ancient thing, needs new steppers, but otherwise clean.
asciilifeform: ben_vulpes may be entertained to learn that asciilifeform finally has cnc machine.
ben_vulpes reads thread
mircea_popescu: yeah. dunno who'd be looking for something like that to do, lessee...
asciilifeform: so it will have to happen.
asciilifeform: at any rate, the web message box is a useful thing, and in fact the only way for heathens to talk into gossipd transmitter in the future.
mircea_popescu: it makes the shipwright a shipwright rather than a strange sort of shaman.
mircea_popescu: note that irrespective of the merits of the personalized waves theory, this forbidance is nevertheless productive.
mircea_popescu: no, it is forbiding him to consider REMOTE CONTROLLED water.
asciilifeform: this is like forbidding ship builder to consider water.
mircea_popescu: you may not make predictions on the basis of not understood behaviour!
mircea_popescu: yes but it is verboten to engineer on the basis of nonsense.
asciilifeform: the same sense the behaviour of my trb node's upstream makes.
asciilifeform: they'll ban the ip, and come up with some idiot excuse
trilema-webchat: my client #17 says : "i am the real dao attacker"
mircea_popescu: the chat line is a submit form, goes to chat bot.
mircea_popescu: person wants to update the page, they have buttons just like anyone else.
mircea_popescu: if anyone wants the project, can be (probably SHOULD be) implemented as pure html, just a form. ☟︎
asciilifeform: also chat thing is a bunch of js, what's to keep us from hosting same, sans captcha etc. ?
mircea_popescu: not that i've seen.
a111: Logged on 2016-07-14 13:04 mircea_popescu: https://kiwiirc.com/client/irc.freenode.net/trilema << for the record, kiwiirc seems much better solution than freenode's webchat. we should prolly switch to using this as web-side connection.
asciilifeform: http://btcbase.org/log/2016-07-14#1502841 << what was wrong with the old chat ? ☝︎
mircea_popescu: ask anyone from the art school freshman class.
mircea_popescu: no it's totally how it goes!
mircea_popescu: Framedragger honestly, that it supports tor seems to me a counter argument to using anything.
shinohai: freenode make you use the dreaded sasl connection for tor
Framedragger: ah, actually freenode blocks connection eventually anyway since tor node in dnsbl and whatnot, so that's not a good argument anyway i guess
Framedragger: mircea_popescu: there's no captcha for the kiwiirc webchat thing only if your ip request is quite unique etc. if you e.g. go from tor (*ducks*) then you get presented with the lovely cloudflare captcha where you have to solve shit for multiple times until you pass. but at least no default captcha i guess
deedbot: [» Contravex: A blog by Pete Dushenski] The security implications of Pokemon Go. - http://www.contravex.com/2016/07/14/the-security-implications-of-pokemon-go/
mircea_popescu: freenode put in that pos google captcha at some point
shinohai: kiwi has sexy cli version that is easy on eyes.
mircea_popescu: https://kiwiirc.com/client/irc.freenode.net/trilema << for the record, kiwiirc seems much better solution than freenode's webchat. we should prolly switch to using this as web-side connection. ☟︎
a111: Logged on 2016-07-14 02:37 mod6: As far as the "V Mirror" thing, that I know alf hates, I move forward on the basis that one doesn't have to use it, even though it is there. This may not be ideal, but it's bridge between both "easy" and "manual"
shinohai: ;;later tell mod6 http://btcbase.org/log/2016-07-14#1502771 <<< remember i told you i did a test rum where i replaced V's mirror w/ my localhost deps and it still builds as expected. ☝︎
gribble: Error: That is an invalid IRC nick. Please check your input.
a111: Logged on 2016-07-14 02:37 mod6: As far as the "V Mirror" thing, that I know alf hates, I move forward on the basis that one doesn't have to use it, even though it is there. This may not be ideal, but it's bridge between both "easy" and "manual"
shinohai: ;;later tell http://btcbase.org/log/2016-07-14#1502771 <<< remember i told you i did a test rum where i replaced V's mirror w/ my localhost deps and it still builds as expected. ☝︎
trinque: what's an order of magnitude or two ?!
trinque: mp's gnupg made it through, was a couple megs
a111: Logged on 2016-07-14 02:11 mod6: trinque: is there a max length for deeds? (just curious about the above ^, some of these might be mightly large)
trinque: http://btcbase.org/log/2016-07-14#1502702 << only as imposed by resource constraints. If the deps don't make it through the process I'll be at the keyboard tomorrow and will help make it happen. ☝︎
mod6: weird. i'll have to look into that.
a111: Logged on 2016-07-14 01:58 mircea_popescu: mod6 did you check/sign the copies ?
tb0t: Project: trb, ID: 12, Type: F, Subject: Makefiles for building full orchastra, Antecedents: , Notes: http://btcbase.org/log/2016-07-14#1502667
mod6: %p trb 12
tb0t: Project: trb, ID: 12, Type: F, Subject: Makefiles for building full orchastra, Antecedents: , Notes:
mod6: %p trb 12
a111: Logged on 2016-07-14 01:58 mircea_popescu: mod6 did you check/sign the copies ?
mod6: %e trb 12 F "Makefiles for building full orchastra" "http://btcbase.org/log/2016-07-14#1502667" ☝︎
tb0t: Project: trb, ID: 12, Type: F, Subject: Makefiles for building full orchastra, Antecedents: , Notes:
mod6: %p trb 12
mod6: Anyway, this is great! I aught to write this up and put this into the ticket notes.
mod6: oh thats right, it just expected you to do this manually. which i automated.
asciilifeform: nah, it just expected them to be there
mod6: or rotor? i'd have to look.
mod6: asciilifeform: i believe that perhaps your stator script did something of the like.
mircea_popescu: since you're too poor to have blog
mod6: Thanks for both of your input this evening.
asciilifeform: also i have this notion that we already had this, in some draft version, and i lost it.
mod6: To me, this seems to satisfy the requirements we've been kicking around for a while.
mod6: Yeah, the makefiles will do this. It'll check the "shit" folder and what not, and look. If there continue, if not, halt. UNLESS, the -go-get-the-shit flag is passed in the invocation.
asciilifeform: not from the net.
mod6: So i feel like it's one or the other. People need a way to press one button and build -- not everyone is clued.
asciilifeform: you do it when you buy a new disk. that's it.
asciilifeform: there is NO reason to download them on every build
asciilifeform: and in many cases, in particular the one now contemplated, is wholly unnecessary: fetching the trb deps is a once-per-machine thing
mod6: I tend to agree with you -- but i believe that the entire thing reduces to a "downloader script" outside of V if I remove the mirrors part.
mircea_popescu: asciilifeform gotta cut the branches in the proper order lest you break your teeth.
mod6: Yes, you believe that one should read and verify these vpatches on their own, place them in by what they say, and who wrote them. Instead of getting a big ball of wax automatically.
asciilifeform: my position is that the customary degree of automagic: 'auto-fetch latest widget from central repo!11' - is not something that ought to be kept.
mircea_popescu: mod6 which v mirror thing is this ?
mod6: As far as the "V Mirror" thing, that I know alf hates, I move forward on the basis that one doesn't have to use it, even though it is there. This may not be ideal, but it's bridge between both "easy" and "manual" ☟︎☟︎☟︎
asciilifeform: possibly even deedbotted - though i have not been able to turn up the link
mod6: I do tend to favor that, as opposed to signing my own death warrant.
mircea_popescu: that's why i want them stored in deedbot and sealed up.
mircea_popescu: look, we can't not sign the things - these asswipes KEEP CHANGING THEM
mod6: mechanically checked and verified, but something i wrestle with none the less.
asciilifeform: it was the 'sign tarballs of liquishit' thing that led me to http://www.loper-os.org/?p=1545
mod6: its the difference between "easy" and "manual".
mod6: i can see this both ways too. i still wrestle with the whole "V Mirror" thing too.
mircea_popescu: "oh, it's the downloader".
asciilifeform: this 'here are the turds' thing are not something that ought to become habit.
asciilifeform: sign that.
a111: Logged on 2016-07-14 02:09 mod6: a person wants to build, presumably with the makefiles, but could be a build script... they pass the builder a flag that says "get these deps for me automatically", at which time, it'll go and fetch the deed(s) and verify them, decode them, and place them in the correct place and continue building.
asciilifeform: http://btcbase.org/log/2016-07-14#1502694 << i'd make the downloader, if there must be one, a separate script. ☝︎
asciilifeform: in the sense of enumeration.