logs archiveIRC Archive / Freenode / #emacs / 2015 / October / 15 / 1
JordiGH
subopt: ,,df upcase-initials-region
fsbot
upcase-initials-region is an interactive built-in function in
`casefiddle.c'.
(upcase-initials-region BEG END)
Upcase the initial of each word in the region.
Subsequent letters of each word are not changed.
In programs, give two arguments, the starting and ending
character positions to operate on.
subopt
JordiGH: Thanks!
Fuco
JordiGH: but what's so weird about looking at someone's face and then asking them out? Isn't that how all dating works? You don't know a person before you spend time with them.
JordiGH: of course you can get set-up marriage and be happy with that... but ehm, I would call *that* a weird social thing...
JordiGH
Fuco: I think successful dating is usually a bit more than "I like your face, let's take it from there."
Fuco
like what
cluck
monkjan heard that, JordiGH is done for. rip mi hermano
gattsu
Fuco: Facebook stalking
rromans
this is definitely the channel I go to for dating tips
         

Fuco
rromans: definitely
bremner`
M-x I-am-lonely
gattsu
M-x love-dr
dazed_and_amused
(load-library "tinder.el")
JordiGH
Let's listen to some Chiac hip hop instead, preceded by a Mayan introduction: https://www.youtube.com/watch?v=mCzwCtae0UY
nullie
nice choir
Sketch
Fuco: well, if you are most nerds you wait until you spend enough time with someone that you realize you like them, by which time you are already friendzoned, and end up forever alone
deego
how do you completely inhibit horizontal splits? I have this, but when the third window pops up, it still ends up being a horizontal split. (setq split-width-threshold 0)
cluck
"here are all my weird fetishes" "i'm ok with that, i'm too lazy to bother with that" "i can live with that. deal."
JordiGH
nullie: It also has conjugation lessons on "relaxer".
gattsu
cluck: sounds like a reasonable introduction
ryanprior
If I have a function which takes a while to run (say, a second) and I need its return value in both the (interactive) portion of a command for autocompletion, then again in the body of the command, how can I hoist the value out of the (interactive) scope to the function scope to reuse it later?
nullie
somehow "conjugation" reminds me about haskell
Fuco
Sketch: I don't think that counds as starting dating... apparently it means something else than I think. Language barrier hits us again
Sketch
Fuco: or perception barrier ;)
JordiGH
Sketch: I forget, you speak French, right?
monkjan
no, let's listen to an orchestra play zelda music: https://www.youtube.com/watch?v=Wg8d3TJzVl0
Fuco
perception what
nullie
let's develop language solely on theoretical math constrcts
and harness power of Unicode
or better, latex
monkjan
doo do doo do
         

bremner`
Let's make a PHP of math.
monkjan
cluck: what did I hear?
Fuco
well okay let's make fun of a serious issue!
I'm going to learn chinese instead, you insensitive clods...
bremner`
Fuco: good plan.
nullie
could mathematicians prove complex theorems using programming language?
Fuco
yes
JordiGH
nullie: That's Coq. but it's not used by mathematicians, but computer scientists.
bremner`
only a Coq would try that
,judges
fsbot
It was very close, but bremner` won by a nose.
JordiGH
Well, some mathematicians do use it, but most do not think in terms of Coq.
nullie
I've read about crisis in math field, when people tend to be specialists
and cannot understand problems from other areas of math
thang1
Well to be fair, math is really fu*king large
ryanprior
I think that's inevitable as math gets much bigger and more diverse.
thang1
And in order to actually push the field further in ANY direction you need to specialize an incredible amount
bremner
nullie: that's true in CS too, which is much younger
thang1
It's not like you're using preexisting math to go somewhere new, you're finding out the new math which is way harder because there's no direct way to double check your work
ryanprior
Imagine people in ##math saying: I've read about crisis in computer field, when people tend to be specialists and cannot hack on codebases they haven't seen before.
Fuco
ryouma`
s/they haven't seen before//
JordiGH
nullie: That "crisis" has been going on for at least 150 years or so.
Or longer.
I think Gauss was the last one who "knew" all known mathematics of his time.
Fuco
no, Von Neuman
bremner
rudybot: que es mas macho, Liebniz o Newton?
rudybot
bremner: Odin-: liebniz shot first?
JordiGH
Fuck no, 20th century mathematics was already way too big.
Fuco
fu*k yes
ryouma`
ryanprior: i often try to avoid interactive and do querying directly
Fuco
He made major contributions to a number of fields,[3] including mathematics (foundations of mathematics, functional analysis, ergodic theory, geometry, topology, and numerical analysis), physics (quantum mechanics, hydrodynamics, fluid dynamics and quantum statistical mechanics), economics (game theory), computing (Von Neumann architecture, linear programming, self-replicating machines, stochastic computing),
and statistics
that's pretty much all of math
nzst
i sense a goal post is about to get pushed
bremner
but VN wasn't even scottish??
fsbot
Reply unclear, try again
ryanprior
ErdQs died in '96 and worked in, not all fields, but many fields of math.
JordiGH
Fuco: No homological algebra, and no k-theory (but ok, k-theory started the year he died).
wasamasa
JordiGH: lol, as if I'd want to sell you anything
ryouma`
can all of math be brought under the aegis of a single math subfield?
Fuco
ryouma`: of course, mathematical logic
wasamasa
JordiGH: no, just a document answering some FQAs, that's all
ryouma`
i mean, refactor, guys
nullie
superfiled
Fuco
which is just category theory in disguise
ryouma`
does measure theory cover a bunch of other fields?
Fuco
yes
ryouma`
rudybot: does all of cs come under the aegis of church-turing?
rudybot
ryouma`: There are some disturbing similarities(except for the violence)between Aegis Oil of On Deadly Ground and BP in the gulf and that movie was 16yrs ago.
JordiGH
Fuco: No apparent contribution to group theory?
Fuco: Not one measely result in Galois theory?
Fuco
you didn't say "contributed a significant result", you said "knew"
knowing groups is pretytu fundamental in quantum mechanics...
JordiGH
Fuco: I'm pretty sure not even he would have been able to read every specialist paper coming out in the mid 20th century.
He didn't know all known mathematics, it's impossible. It's already way too big in the 20th century.
Fuco
whatever, this is pointless
JordiGH
There is a point: mathematics is *HUUUUUGE*
Number theory has over two millenia of history.
when were computers invented? 60 years ago?
150, if we're generous?
monkjan
i've mathed in my day
« prev 1 2 3 4 5 next »