logs archiveChat DB / Freenode / #programming / 2015 / November / 5 / 14
Melonpan
snyp: Give me some time.
rindolf
pyon: ah.
Melonpan
snyp: You'll thank me for this later.
beaky
what tools do you use for configuration management of e.g. deployment of production or testing environments
snyp
Melonpan: hmm.. ok.
beaky
(i use ansible but are there easier tools)
Compulsed
beaky: Ansible, as it is an amazingly easy to use. Though it is a slight learning curve to get some serious stuff done.
beaky
ansible makes alot of sense
you just declaratively list tasks, your inveonrtry, and your variables, then you run
snyp
Melonpan: you can upload it to gist or github maybe? i will check later tonight? t gtg now.
beaky
(and additional stuff is with python)
Melonpan
snyp: Is that airline or powerline?>
snyp
Melonpan: airline
Melonpan
snyp: I'll just tell you once it's done later.
snyp
ok. i'm off for now. will be back in a 2 hours.
Melonpan
snyp: Cya, pm once back.
pewpau
<pyon> pewpau: But it's not necessarily what your intuitive sense of for all is.
pyon, what isnt?
pyon
pewpau: The actual meaning of the for all connective
beaky
woah whats happening
pyon
s/connective/quantifier/
pewpau
pyon: yeah, that's what I'm looking for. What is the actual meaning?
excet the obvious part that I read in a book
pyon
pewpau: For starters, it depends on the logic you're using.
jeaye
beaky: The armies of Mordor have been unleashed.
pewpau
pyon: I understand the formal parts
pyon
pewpau: There are many formal logics. And the same connectives and quantifiers, if they exist in two or more of them, have different meanings in each of those.
pewpau: Well, there's no meaning beyond the formal one. It's just a game with symbols.
two or more of those* logics*
pewpau
pyon: and that buggs me, that there isn't much to it beyond the formal definitions. It makes me feel that I've "missed something"
as if the logicians aren't trying hard enough (but I know they are, I don't question that)
pyon
pewpau: Could you tell me, straight away, what the introduction and elimination rules for for all are, in either classical or intuitionistic logic?
pewpau
it makes me think about what math was 2k years ago. Euclidean math for example. Just look how they did primes then and compare it to now. That's what I feel about logic.
pyon
pewpau: Um, logic has advanced a fu*king lot, *especially* in the last century.
Melonpan
(Action) wonders if pyon ever sleeps.
pewpau
pyon: actually no. I'm still studying that part. But I know it's just some more formal rules that you apply. That's way beyond my point.
pyon
Melonpan: I do.
Melonpan: Sometimes.
Melonpan
pyon: :P
pyon: For the first time yesterday, I slept at 23:00.
Well, it was more like 23:20.
pewpau
pyon: that only proves my point. That it has advanced a lot. Then, if I was living a century ago, I'd be "right" with my concerns here.
Melonpan
But it still counts, right?
pyon
Melonpan: Heh. :-)
Melonpan
pyon: BRB though, I'm going to watch the girl who loves boners, I mean bones.
pyon
pewpau: Probably.
beaky
what was life like before ansible
pewpau
pyon: so, "this is where logic is today and I'm learning it" is what I'm doing when I'm opening those logic books? :ppPPp
pyon
pewpau: dunno
pewpau
what buggs me too is that I can't fill in that "unknowns" that people like Gödel did. So, I'm learning an incomplete field, of course. It just makes me feel weird somehow.
pyon
pewpau: What do you mean unknowns?
pewpau
pyon: well, they are unknown :P. Think of them as what 0 is to math or evolution to biology
pyon
pewpau: To be more precise, I have no idea how to even parse I can't fill in that "unknowns" that people like Gödel did.
pewpau
pyon: let's say that you're an biologist 400 years ago. Let's assume that you get divine insight into evolution theory and then have it taken away from you. Wouldn't studying biology after that make you feel uneasy?
pyon
pewpau: divine insight --> Science doesn't work that way.
pewpau: And, why would it make me feel uneasy? Science is about finding out how the world works. Our understanding is never perfect, and there's always more out there to find out.
pewpau
pyon: for the sake of argument, instead of me saying "someone discovers evolution, teach it to you and then sergically removes that knowledge from your brain but leave a small part of it left just enough for you to know that something is missing in todays biology"
that's why I just said " divine insight"
pyon
pewpau: This is drifting more towards a badly done philosophy debate - and I'm having none of it.
Anyway, time to get ready to go.
alexander_Bell1
Hi there, I was playing with the twisted logging-proxy script to see if I could write custom HTML back to the browser, so I replaced t his
proxy.ProxyRequest.process(self)
with
proxy.ProxyRequest.write("<html><body><p>Testing 123...</p></body></html>")
my modified version of the logging-proxy here:
http://pastebin.com/ymHQWigq
pewpau
pyon: indeed there is! Always more there to find out. And sometimes you wonder, "have it been discovered already"? So you check, and often people say "there's nothing there". We don't know what could be there because we haven't discovered it yet. And sometimes you just don't know it but it's there in the litterature. That's why I'm asking odd questions about logic.
alexander_Bell1
The problem is instead of writing that custom HTML back to the browser, I get this:
exceptions.TypeError: unbound method write() must be called with ProxyRequest instance as first argument (got classobj instance instead)
Why isn't it working?
schquid
proxy.ProxyRequest.write(proxy.ProxyRequest, ...) I'd assume
pewpau
Is there anything beyond the formal definitions of things? Or is that where the rabbit hole ends?
alexander_Bell1
schquid, that yields literally the same traceback
I tried that before btw
schquid
alexander_Bell1, a quick google suggests proxy.ProxyRequest().write("...")
Melonpan
Well.
That episode felt like 5 minutes.
rindolf
Melonpan: which one?
Numb3rz
hello world whats new??
Melonpan
rindolf: 5th episode of Sakurako-san.
Numb3rz
rindolf:sup buddy??
Mario_task4it
Hello coders
Melonpan
pyon: I can't help but think that incompetent cop-kun is bone girl-san's fiance.
Mario_task4it
check it out my new freelancing website for web Professionals... http://www.task4it.me
we are open to any feedback programmers can do
rindolf
Numb3rz: I solved Project Euler #377.
Mario_task4it
first 100 pre-registered member can acess our website free for 2 months
schquid
Mario_task4it, don't advertise
Mario_task4it
ah ok
sorry about that
blehblah
rindolf: the proof that there are only 11 such primes would blow my mind
lf94
Mario_task4it, schquid is the administrator here. He accepts payments in periods of 1 month for channel advertisements.
Mario_task4it, the rate is 30 cents per display.
Numb3rz
rindolf: I can wait to start them Im still learning Java lol
rindolf
blehblah: only 11 such what?
Numb3rz: OK.
blehblah
rindolf: oops. i was looking at #37
(Action) dyslexia sets in... :D
rindolf
blehblah: ah.
pyon
Melonpan: Sorry, just arrived to my office.
« prev 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 next »