logs archiveChat DB / Freenode / #programming / 2015 / November / 5 / 12
Melonpan
snyp: `xft:Monaco:pixelsize=10`
pyon
lf94: And now you see why I don't bother with these things.
snyp
Melonpan: i use this one https://gist.github.com/epegzz/1634235
Melonpan
snyp: You should consider pixelsize=12 too.
snyp
Melonpan: oh
Melonpan
snyp: Choose `pixelsize` btw.
snyp
Melonpan: hmm looks cool
a bit blurry
Melonpan
snyp: That's weird.
Wait, I have Monaco for powerline too, IIRC.
I used to.
pyon
Melonpan: What's your screen resolution?
lf94
pyon: Generally what I did back in "the terminal obsession days", is extract the font to /usr/share/fonts/, run fc-cache -fv as both regular user and root, and then start `xfontsel` to see if the system sees the font. If so, I search for the font in the menus, select the...there's a word for it but I'll use `font selector line`, and paste it into .Xdefaults
Melonpan
pyon: 1280x1024.
pyon
Melonpan: Damn you. I miss my old 1280x1024 monitor.
:-(
lf94: Too much work.
I seriously can't be arsed configuring these things.
That is, unless I have you guys to tell me how to.
pewpau
Hi. Trying to figure out something, I don't know what that something is yet. So, regarding the "for all" notion, namely (an upsidedown A) 'V'. I read Vx( expression ) as "for all X, 'expression' is true". There is one problem I have with that: it's just too simple, too .. kindergarten stuff. It gives me a brain fart. It makes me feel stupid. So I must be missing something here? Am I? I mean, is there anything deeper in the semantics here or is
that it?
lf94
Alternative: Edit -> Select Font in Emacs, start ERC :>
pyon
lf94: Heh.
Emacs is great, but ERC is buggy.
lf94
ERC has been great for me
I switched back to hexchat, since I'm using gvim again.
pyon
pewpau: Predicate logic is far from easy.
Melonpan
pyon: :P
snyp: Well...
snyp: This is broken.
snyp: Wait, let me patch it up.
snyp
Melonpan: i see
pewpau
pyon: so far I just want to kill myself of boredom. It's not hard anywhere. That's why I'm trying to figure out wheter I'm simply just don't get it
it's WAY TO simple for me to have gotten it right
lf94
Well you predicate logic is more than just that
Melonpan
snyp: This one does not have embedded bitmap.
lf94
Do you know what modus ponens is pewpau
snyp
Melonpan: ah
Melonpan
snyp: Wait, let me do something after I take a shower.
snyp: I may have to extract the bitmaps into a bdf file.
Since I'm not really that good with fonts either! :P
snyp
Melonpan: ok
pewpau
lf94: yes, but that notion. Is that it? You simply just read it as "for all x"? I know there are implications of it, but there are many implications of 1+1 as well. Have I understood the "for all" notion perfectly?
1+1=2 *
pyon
pewpau: You haven't understood a logical connective or quantifier, unless you know its introduction and elimination rules.
lf94
That's it, for all x's, which just means there can be more than 1 instance of an x
it's just semantics really
people usually just leave it out, sometimes not
same goes for "there exists"
pyon
pewpau: And, sadly, the syntax used by logicians to define rules of inference is obscure as sh*t.
pewpau: It makes normal mathematical notation look straightforward.
lf94
pyon: but dat logic mang
Melonpan
snyp: Also, is pixelsize 10 bigger than size 8?
snyp
Melonpan: almost the same size
pyon
lf94: btw, for all x, P(x) doesn't guarantee that there exists any x for which P(x).
lf94: 
lf94: For instance, the sentence all pigs that fly are green is trivially true - because no pigs fly.
lf94
I never said that pyon
I just said there is more than 1 instance of an x
that's what's implied
pyon
What I'm saying is that there need not even be a single instance!
pewpau
pyon: I've seen those things. They aren't challanging I think. Pretty obvious. But I still lack the "deeper" meaning of it all. I understand how and why it works, but something inside me just feel that it's all too "thin" somehow. Something is fishy.
lf94
Yeah I understand that
not sure how else to explain myself
Melonpan
snyp: I'll give you pixelsize 12 then.
pyon
pewpau: Formal logic is nothing but applied computation.
lf94
there can be no xs, there can be 1 x, there can be many xs
pewpau
pyon: it even boils down to neurology and evolution (FACT), but still I just wanna say that "logic sucks ass, give me something harder"
lf94
but it applies to any if there are any
pyon
pewpau: So the meaning of logical connectives and quantifiers is given by their computation (introduction and elimination) rules.
pewpau: If you think logic isn't hard, you're deluded.
pewpau
pyon: exactly, I'm deluded so something is wrong here and that's what I'm trying to figure out.
pyon
pewpau: Logic in general is so hard that humans can't do it reliably.
lf94
pyon formulate this for me into a logical expression
pewpau
I know we aren't made for such computations. But the construct of logic (which we've invented), it's not hitting me hard enough for me to believe that I've truly understood it
snyp
Melonpan: just write 12 there?
stoned
Good morning
pyon
lf94: applies to any of there is any --> sure.
pewpau
lf94: afaik, logic can't do imperatives
lf94
pyon nevermind I can't even think of something that would map nicely into a logical expression
rindolf
stoned: hi, sup?
stoned
Trying to deal w/ cron problem
funrep_
so ive written this JAXB code
in java
pyon
lf94: heh
funrep_
https://gist.github.com/anonymous/6337683bcf343b9afc48
lf94
is it sunny outside?
funrep_
but i get errors when i try parse, i dont understand what
pyon
funrep_: oh, gawd, beautiful :-)
stoned
It's a daily feed parser script in php that runs daily in cron, but it doesn't update the DB. It works from cli, manually. But It won't work from cron.
Melonpan
snyp: Wait, let me make an attempt at patching.
pyon
funrep_: Nut where's your code?
But*
funrep_: my bad.
I didn't see it below.
snyp
Melonpan: ok
lf94
there are no clouds outside; it is light outside; if there are no clouds and it is light out then it is sunny; is it sunny outside?
like in reality that statement is false
it can be night time and still "light out" thanks to street lights
or some crazy astronomical event
« 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 »